Московский государственный открытый университет им. В.С. Черномырдина
Опубликован: 20.01.2011 | Доступ: свободный | Студентов: 2278 / 487 | Оценка: 4.14 / 3.69 | Длительность: 27:06:00
Лекция 17:

Математические методы описания моделей конструкций РЭС. Элементы теории графов

< Лекция 16 || Лекция 17: 123 || Лекция 18 >

17. 2. Части графа

Граф G^{/ }= (X^{/}, U^{/}) является частью графа G (X, U), если X^{/} \subset  X и U^{/} \subset  U, т.е. граф содержит все вершины и рёбра любой его части.

Часть, которая наряду с некоторым подмножеством рёбер графа содержит и все инцидентные им вершины, называется подграфом.

Часть, которая наряду с некоторым подмножеством рёбер графа содержит все вершины графа ( X^{/} = X, U^{/} \subset  U ), называется суграфом.

Исходный граф по отношению к его подграфу называют надграфом, а по отношению к суграфу - сверхграфом.

Совокупность всех рёбер графа, не принадлежащих его подграфу (вместе с инцидентными вершинами ), образует дополнение подграфа (рис. 17.12).

Граф и его составляющие: а) граф; б) часть графа; в) подграф; г) суграф

Рис. 17.12. Граф и его составляющие: а) граф; б) часть графа; в) подграф; г) суграф

Связный неориентированный граф, не содержащий циклов, называют деревом.

Несвязный граф без циклов, отдельные компоненты связности которого являются деревьями, называют лесом.

Три различных дерева, которые можно  построить на множестве из трёх вершин

Рис. 17.13. Три различных дерева, которые можно построить на множестве из трёх вершин

Все приведённые деревья изоморфны друг другу, т.е. на трёх вершинах можно построить только одно неизоморфное дерево.

17. 3. Способы задания графов

Уже отмечалось, что произвольный граф можно задать совокупностью двух множеств: X - множества вершин и U - множества рёбер ( дуг ) графа или множества X и отображения Г множества X в X (X \text{ в }Y).

Условные обозначения таких графов G (X, U) и G (X, Г), соответственно.

Другой удобной формой описания графов является представление их с помощью матриц, методика формальной разработки которых хорошо разработана.

Матрица смежности

Из ранее сказанного известно, что две вершины x_{i} и х_{j} \in  X графа G (X, U) называются смежными, если они являются граничными вершинами ребра u_{k} \in  U.

Отношение смежности на множестве вершин графа можно определить, представив каждое ребро как пару смежных вершин, т.е.

u_{k} = (x_{i} , x_{j}) , k=l,2,..., q.

Для неориентированных графов такие пары неупорядочены, так что

u_{k} = (x_{i} , x_{j}) = (x_{j} , x_{i}),

а для орграфов - упорядочены, причём, x_{i} и x_{j} означают, соответственно, начальную и конечную вершины дуги u_{k}. Петля при вершине x_{j} в обоих случаях представляется неупорядоченной парой (х_{i }, x_{j}).

Множество вершин X вместе с определённым на нём отношением смежности полностью определяет граф.

Граф можно представить матрицей смежности.

Строки и столбцы матрицы соответствуют вершинам графа, а её (i j) элемент равен числу кратных рёбер, связывающих вершины х_{i } и x_{j} (или направленных от вершины x_{i} к вершине x_{j} для орграфов).

Например, для графа рис. 17.2, а, матрица смежности имеет вид

A =  \begin{array}{ccccccc}
& x1& x2& x3& x4& x5 &\\
\begin{array}{c} x1\\ x2\\ x3\\ x4\\ x5 \end{array} &
\left| \left|
\begin{array}{c} 0\\1\\0\\1\\2\end{array} &
\begin{array}{c} 1\\0\\1\\1\\0\end{array} &
\begin{array}{c} 0\\1\\0\\1\\0\end{array} &
\begin{array}{c} 1\\1\\1\\0\\1\end{array} &
\begin{array}{c} 2\\0\\0\\1\\0\end{array} &
\left| \left|
\begin{array}{c} \\ \\ \\ \\ \\\end{array}
\end{array}

Матрица смежности неориентированного графа всегда симметрична, а орграфа - в общем случае несимметрична. Неориентированным рёбрам соответствуют пары ненулевых элементов, симметричных относительно главной диагонали матрицы, а петлям - ненулевые элементы главной диагонали.

В столбцах и строках, соответствующих изолированным вершинам, все элементы равны нулю. Элементы матрицы простого графа равны 0 или 1, причём, элементы главной диагонали равны 0.

Правильность составления матрицы легко проверить: для неориентированного графа сумма элементов в каждом i -том столбце или строке соответствует степени вершины х_{i}. Если элементы матрицы a_{ii}, расположенные на главной диагонали, отличны от нуля, то это свидетельствует о наличии петель в вершине x_{i}.

Для неориентированного графа матрица смежности А симметрична относительно главной диагонали, так как a_{ij} = a_{ji}.

При решении целого класса задач проектирования РЭС приходится оперировать матрицами, которые строятся аналогично матрицам смежности, но значения их элементов определяются мерой (весом), связанной с ребром ( дугой ) графа.

В САПР широко используют две разновидности таких матриц: матрицу весовых соотношений и матрицу длин.

Матрица весовых соотношений

Это квадратная матрица С =   с_{i j}   _{n \times n} , общий элемент которой

c_{i j   }= \left\{
\begin{array}{l}
          t_{i j  },\text{если } x_{j}\text{ смежна }x_{i}\\                                                   
                               0 , \text{если }x_{j}\text{ не смежна }x_{i} ,
\end{array}

где t _{i j } - вес связи (x_{i} , x_{j}).

Применение матриц весовых соотношений позволяет учитывать различные требования к сокращению длины тех или иных электрических соединений в конструкциях РЭС, условия тепловой и электромагнитной совместимости отдельных элементов схемы и другие.

Матрица длин

Это квадратная матрица D =    d_{i j }  _{n\times n}, общий элемент которой

d_{i j}  =     \left\{
\begin{array}{l}
l_{i j },\text{ если }x_{i} \text{ и }x_{j}\text{ смежны};\\ 
0 ,\text{ если }x_{i}\text{ не смежна }x_{j},
\end{array}

где l_{i j} - длина ребра (X_{i} , x_{j}).

В евклидовой метрике расстояние между двумя точками на плоскости

l_{ij }= \sqrt{(s_i - s_j)^2 + (t_i - t_j)^2},

где s_{i} , t_{i} и s_{j}, t_{j} - координаты вершин x_{j} и x_{j}, соответственно.

Это выражение неудобно для использования в машинных программах, так как извлечение квадратного корня на ЭВМ требует больших затрат времени. Поэтому часто пользуются линейной метрикой, тем более, что при решении многих конструкторских задач она вполне оправдана.

Пример. При проектировании многослойных печатных плат трассировка соединений ведётся в каждом из слоёв во взаимно перпендикулярных направлениях, в связи с чем длина электрических связей между элементами с координатами (s_{i}, t_{i}) и (s_{j}, t_{j})

l_{ij} =   s_{i} - s_{j} |  +  t_{i} - t_{j}  .

Линейная метрика оказывается непригодной для решения задач, в которых имеет место вычисление производных по координатам (оптимизация нелинейных функций).

В этом случае расстояние между двумя точками представляется в виде степенной функции:

l_{i j} = (s_{i} - s_{j})^{k} + (t_{i} - t_{j})^{k} ,

где k - показатель степени (как правило, k = 2 ).

Матрицу длин используют при решении задач оптимизации размещения конструктивных элементов на плате, когда одним из критериев качества является минимум суммарной длины соединений.

Матрица инцидентности

Если вершина x_{i} является концом ребра u_{k}, то говорят, что они инцидентны: вершина x_{i} инцидентна ребру u_{k} и ребро u_{k} инцидентно вершине. В то время как смежность представляет собой отношение между однородными объектами ( вершинами ), инцидентность - это отношение между разнородными объектами ( вершинами и рёбрами).

При рассмотрении орграфов различают положительную инцидентность ( дуга исходит из вершины ) и отрицательную инцидентность ( дуга заходит в вершину ).

Рассматривая инцидентность вершин и рёбер графа, можно представить его матрицей инцидентности размера (p\times q), строки которой соответствуют вершинам, а столбцы - рёбрам.

Для неориентированного графа элементы этой матрица определяются по следующему правилу: ij - элемент равен 1, если вершина x_{i} инцидентна ребру u_{i } и равен нулю, если x_{i} и u_{i} не инцидентны.

В случае орграфа ненулевой ij - элемент равен 1, если x_{i} - начальная вершина дуги u_{i}, и равен -1, если x_{i} - конечная вершина дуги u_{i}.

Приведём пример: составим матрицу инцидентности для рис. 17.2,а.

S =  \begin{array}{cccccccc}
& u1& u2& u3& u4& u5 &u6&\\
\begin{array}{c} x1\\ x2\\ x3\\ x4\\ x5 \end{array} &
\left| \left|
\begin{array}{c} 1\\1\\0\\0\\0\end{array} &
\begin{array}{c} 0\\1\\1\\0\\0\end{array} &
\begin{array}{c} 0\\1\\1\\0\\0\end{array} &
\begin{array}{c} 0\\1\\0\\0\\1\end{array} &
\begin{array}{c} 0\\0\\1\\0\\1\end{array} &
\begin{array}{c} 0\\0\\0\\0\\0\end{array} &
\left| \left|
\begin{array}{c} \\ \\ \\ \\ \\\end{array}
\end{array}

Каждый столбец матрицы содержит обязательно два единичных элемента (для орграфа эти элементы всегда имеют различные знаки и равны, соответственно, 1 и -1 ).

Количество единиц в строке равно степени соответствующей вершины (для орграфа количество положительных единиц определяет положительную степень, а количество отрицательных единиц - отрицательную степень).

Нулевая строка соответствует изолированной вершине, а нулевой столбец - петле.

Следует иметь в виду, что нулевой столбец матрицы инцидентности лишь указывает на наличие петли, но не содержит сведений том, с какой вершиной эта петля связана (в практических приложениях это может быть несущественно).

Правильность составления матрицы S` легко проверить: число единиц в i-ой строке матрицы соответствует степени вершины x_{i} графа, а число единиц в каждом столбце - двум, так как каждое ребро соединяет две вершины графа. Единственное исключение составляет петля, дважды инцидентная одной и той же вершине.

Столбец, соответствующий петле, состоит из нулей, в результате чего матрица S не указывает на существование петель. Поэтому при изучении свойств графа с помощью этой матрицы необходимо исключить из него петли.

Граф однозначно задаётся матрицами смежности и инцидентности. В свою очередь, каждая из этих матриц полностью определяет граф.

Существуют простые приёмы перехода от одной матрицы к другой.

Кроме выше перечисленных разновидностей матриц используются также матрицы контуров, сечений и так далее. Эти матрицы используются, как правило, при анализе электронных схем, поэтому далее они не будут рассматриваться.

Контрольные вопросы

  1. На какие понятия опираются понятия теории графов?
  2. Для каких целей используются графы?
  3. Сформулируйте понятие графа.
  4. Как представляется граф геометрически?
  5. Что представляют собой ориентированные и неориентированные графы?
  6. В каких случаях и почему используются ориентированные и неориентированные графы?
  7. Какие вершины называют смежными?
  8. Какие вершины называют инцидентными?
  9. Что называют локальной степенью вершины?
  10. Что называют несвязным графом?
  11. Что называют маршрутом?
  12. Что входит в понятие " цепь "?
  13. Как составляется матрица смежности графа?
  14. Как составляется матрица инцидентности?
< Лекция 16 || Лекция 17: 123 || Лекция 18 >