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

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

< Лекция 16 || Лекция 17: 123 || Лекция 18 >
Аннотация: С использованием введенных в предыдущей лекции элементов теории множеств рассматриваются элементы теории графов при решении задач конструкторского проектирования.

Изложить основные понятия теории графов, знание которых является обязательным при современном конструкторском проектировании РЭС.

17.1. Основные понятия

Теорию графов применяют для решения таких задач, как анализ электронных схем, разбиение и размещение электронных элементов, проектирование проводного и печатного монтажа, сетевое планирование и многих других. Это объясняется тем, что использование графов сокращает объём вычислений по сравнению с другими методами и, сохраняя наглядность описания объектов (конструкций), позволяет строить компактные и удобные для реализации на ЭВМ алгоритмы преобразований и оптимизации.

Понятие графа G(X,U) опирается на понятие множества.

Под абстрактным графом или просто графом G(X,U) понимают совокупность непустого множества X и изолированного от него подмножества U (возможно, пустого), представляющего собой множество всех упорядоченных пар (x_{i }, x_{j}), где x_{i }, x_{j} \in X. Элементы множеств X и U называют, соответственно, вершинами и дугами графа. Следовательно, граф - это множество X всех вершин x_{i}, связи между которыми определены множеством рёбер U.

Геометрически граф можно представить в виде множества точек X = \{x_{j}\} (j = 1, 2,…, n) в n -мерном евклидовом пространстве E^{n} и множества простых, направленных самонепересекающихся кривых

\overline{U}= \{\overline{u}_{k}\}  (k = 1, 2,…, r) ,

соединяющих x_{i}, x_{j }\in  X, которые находятся в некотором отношении друг к другу.

То, что элемент x_{j} \in  X находится в отношении T_{i j  } к элементу x_{j} \in  X , отображается на графе соединением элементов x_{i } и x_{j } линией со стрелкой в направлении от x_{i} к x_{j}. Такие соединения вершин графа с указанием направления называют ориентированными рёбрами или дугами и записывают так:

\overline{u}_k = (x_{i}, x_{j}) \sim  x_{i} T_{ij} x_{j }.

Граф, в котором все вершины соединены дугами, называют ориентированным, направленным или несимметрическим графом.

Аналитически любой ориентированный граф описывается системой алгебраических уравнений, связывающих параметры x_{i }\in  X, и наоборот, любая система алгебраических уравнений может быть представлена в виде направленного графа.

Пример. Рассмотрим граф, показанный на рис. 17.1.

 Ориентированный граф

Рис. 17.1. Ориентированный граф

Этот граф определяет следующую систему уравнений:

\left \{
\begin{array}{l}
                                         x_{1} = T_{71}x_{7};\\
                                         x_{2} = T_{12}x_{1}+T_{52}x_{5};\\
                                         x_{3} = T_{23}x_{2};\\
                                         x_{4} = T_{14}x_{1} + T_{24}x_{2};\\
                                         x_{5} = T_{25}x_{2} + T_{85}x_{8};\\
                                         x_{6} = T_{56}x_{5} + T_{96}x_{9};\\
                                         x_{8 }= T_{78}x_{7} + T_{48}x_{4} + T_{98}x_{9};\\
                                         x_{9} = T_{89}x_{8}.\\
\end{array}

Граф, в котором для любых двух вершин x_{i} , x_{j} \in  X справедливо выражение T _{i j }= T _{j i }, называют неориентированным, ненаправленным или симметрическим графом.

В таком графе вершины x_{i} и x_{j } соединены ненаправленной кривой, называемой неориентированным ребром или просто ребром графа (рис. 17.2).

Неориентированные графы

Рис. 17.2. Неориентированные графы

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

При анализе электронных схем, наоборот, пользуются только направленными графами.

На рис. 17.2 неориентированные рёбра обозначены цифрами 1, 2, ….и т.д.

Две вершины x_{i} , x_{j} \in  X считаются смежными, если они определяют ребро ( дугу ) и, соответственно, два различных ребра ( дуги ) смежны, если они имеют общую вершину.

Иными словами, вершина x_{j} смежна x_{i }, если x_{j} \in  Гx_{i} , где Гx_{i} - отображение x_{i} на множестве X.

В связи с тем, что отображение Гх_{i} представляет собой совокупность всех вершин графа x_{i} \subset  X, смежных x_{i}, получаем ещё один способ задания графа:

Граф задан, если задано непустое множество Х и отображение Г множества Х_{i} в Х. Обозначим его G (Х, Г). При геометрической реализации такого графа каждую вершину x_{i} \in  Х соединяют со всеми вершинами x_{j} \in  ГX_{i}.

Например, для графа G (Х, Г) (рис. 17.2,б) можно записать:

X = \ x_{1}, x_{2}, x_{3}, x_{4}, x_{5}, x_{6}, x_{7}, x_{8}, x_{9}\ ; \\
 Гx_{1} = \ x_{2}, x_{4}, x_{7} ;  \\
Гx_{2} = \ x_{1}, x_{3}, x_{4}, x_{5}\ ;  \\
Гx_{3} = \ x_{2}\ ;  \\
Гx_{4} = \ x_{1}, x_{2}, x_{8}\ ;   \\
Гx_{5} = \ x_{2}, x_{6}, x_{8}\ ;\\
 Гx_{6} = \ x_{5}, x_{9}\ ;  \\
Гx_{7} = \ x_{1}, x_{8}\ ;  \\
Гx_{8} = \ x_{4}, x_{5}, x_{7}, x_{9}\ ;  \\
Гx_{9} = \ x_{6}, x_{8}\ .\\ ( .\)

Для графа

G (X, Г)
(рис. 17.2, а) запись будет следующей:

X = \ x_{1}, x_{2}, x_{3}, x_{4, }х_{5}\ ;\\
 Гx_{1} = \ x_{2}, x_{5}\ ;   \\
Гx_{2} = \ x_{1}, x_{3}, x_{4}\ ;  \\
Гx_{3} = \ x_{2}, x_{4}\ ;   \\
Гx_{4} = \ x_{2}, x_{3}, x_{5}\ ;   \\
Гx_{5} = \ x_{1}, x_{4}\ .

Вершина x_{i} инцидента ребру ( дуге ) u_{j}, если она является началом или концом ребра ( дуги ). Аналогично утверждение, что ребро ( дуга ) u_{j} инцидентно вершине x_{i} , если оно входит или выходит из этой вершины.

Число рёбер ( дуг ), инцидентных некоторой вершине x_{i}, называют локальной степенью вершины и обозначают \rho (x_{i}).

Для графа (рис. 17.2, б) можно записать:

\rho (x_{1}) = \rho (x_{4}) = \rho (x_{5}) = 3;\;\;  
\rho (x_{2}) = \rho (x_{8}) = 4;\\
\rho (x_{3}) = 1;\;\;    
\rho (x_{6}) = \rho (x_{7}) = \rho (x_{9}) = 2.

Учитывая, что каждое ребро неориентированного графа инцидентно двум вершинам, получим выражение, связывающее число рёбер графа со степенями вершин

\sum\limits_{i=1}^{n}{ \rho (x_{i}) }= 2 U , ( U()

где n  =  X  - число вершин графа ;

U - число рёбер графа.

Из этого выражения следует, что число вершин с нечётной степенью в графе чётное, так как при опускании всех вершин x_{i} с чётными степенями \rho (x_{i}) сумма слева остаётся чётной.

Вершину, неинцидентную никакому ребру ( дуге ), называют изолированной.

Граф, состоящий только из изолированных вершин ( u = \varnothing ), называют нуль - графом и обозначают G_{0}.

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

u = (x_{i}, x_{i}) \sim  x_{i} T_{i i} x_{i }.

Такую связь называют петлёй.

Если граф G ( X, U) имеет петлю при вершине x_{i }\in  X , то x_{i} \in  Гх_{i }.

Отсюда следует, что необходимым и достаточным условием отсутствия петель в графе является

\forall x_{i} \in  X [x_{i} \notin  Гx_{i}].

При геометрической реализации графа петля представляется замкнутой дугой, начинающейся и оканчивающейся в одной и той же вершине

x_{i }
и не проходящей через другие вершины графа. Поскольку концевые точки петли совпадают, то петлю считают неориентированной.

Граф называют конечным,если число его рёбер конечно и бесконечным, если число его рёбер бесконечно.

Граф называют однородным степени t, если степени всех его вершин равны t , т.е.

\rho (x_{1}) = \rho (x_{2}) = ……… = \rho (x_{n}) = t.
< Лекция 16 || Лекция 17: 123 || Лекция 18 >