3. Элементы теории графов

При изложении предыдущего материала уже были использованы модели в виде графов. Наряду с теоретико-множественным описанием моделей систем представление в виде графов является одним из наиболее распространенных.

ГрафГ – геометрическая фигура, построенная на множестве вершинV= {v₁,v₂, …v_m} и реберR= {r₁,r₂, …r_n}:

Г = (V,R). (3.1)

Если ребра ориентированы, то их называют дугами, а граф - ориентированным (орграфом). При этом вершины называютсяузлами.

а) б)

Рис. 3.1

Примеры использования графов для моделирования:

1. Неориентированные графы описывают (моделируют) дороги между населенными пунктами А, B,CиD(см. рис. 3.1, а).

2. Орграф описывает однонаправленные каналы передачи информации (см. рис. 3.1, б).

Дуга r_i, связанная с зломv_j, называетсяинцидентнойэтому узлу, причем, если заходит – положительно инцидентная, если выходит – отрицательно инцидентная.

Два узла v_kиv_iсмежны, если им инцидентна одна дуга. Аналогично, две дуги смежны, если они инцидентны одному узлу, причем, если одна выходит, а другая заходит – последовательно смежны, в противном случае - параллельно смежны.

Дуга, выходящая из узла и в нее же заходящая, называется петлей.

Узел, из которого дуги только выходят, называется истоком, а в который только заходят –стоком. Узлы сток и исток – висячие узлы.

Две системы S₁иS₂с заданными на них отношениямиR₁иR₂изоморфны, если:

1) их структурные элементы попарно взаимно однозначно соответствуют друг другу;

2) подмножество элементов А₁системыS₁связано отношениемR₁, тогда соответствующее подмножество (см. п. 1) А₂системыS₂связано отношениемR₂.

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

Связи в системе можно изображать двояко:

1) элементы – это вершины, а связи – дуги (вершинныйграф),

2) элементы – дуги, а связи – узлы (реберныйилисигнальныйграф).

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

Матрица смежности– квадратная матрица А = {a_ij},, гдеm– число узлов, т.е. А_mxm, для которой

Число единиц в матрице А равно числу дуг n.

Эта матрица обладает интересным свойством: если возвести матрицу А в k-ю степень, то каждый элемент матрицы А^kбудет равен числу путей из узлаv_iв узелv_jдлиной вkдуг.

Путь в графе – это последовательность последовательно смежных дуг, ориентированных в одном направлении.

Пример 3.1.

Как видно (см. рис. 3.2), через две (k= 2) смежные дуги можно попасть: из вершины 1 в вершину 4, из 2 в 1, из 2 в 3, из 3 в 4, из 4 в 1 и из 4 в 2.

Таким образом, можно алгоритмически определить, существует ли путь из v_iвv_jдлиной вkдуг. Очевидно, что если число узловm, максимальная степеньk, в которую нужно возвести А для определения самого длинного пути, равна (m– 1).

Матрица инцидентности– в общем случае прямоугольная матрица В = {b_ij},,, гдеm– число вершин,n– число ребер. Для орграфов:

Для неориентированных:

№№ вершин

Для примера 3.1 матрица инцидентности имеет вид:



Матрица структуры связейС = {c_ij} устанавливает отношения между дугами:

С = В^ТВ,

С – симметрическая матрица размером nxn, т.е. С_nxn, для которой

Рис. 3.3

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

Кроме этого, могут использоваться структурные матрицы, кодирующие отдельные свойства графов:

- наличие контуров (контур = замкнутый путь),

- наличие путей,

- отношения касания.

Касающимисяназываются пути, контуры или пути с контурами, если они содержат хотя бы один общий узел.

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

Достижимость– это существование пути из узлаv_iв узелv_j. Например, на рис. 3.3 путь из узла 1 в узел 4 имеет вид:

узел 1 W₁узел 2W₂узел 3W₄узел 4.

Может оказаться, что не все узлы достижимы из остальных узлов. В этом случае может быть выделен подграф Г₁, т.е. совокупность, подмножество узлов, для которого условие сильной связности выполняется. Например, граф Г (см. рис. 3.4) не сильносвязный, т.к. в узел 1 из узлов 2, 3 и 4 нет путей. Сильносвязной компонентой Г₁для графа Г состоит из узлов 2, 3 и 4 с соответствующими дугамиW₂–W₅.

Физический смысл сильной связности – наличие обратных связей (ОС) между всеми узлами или, другими словами, взаимозависимость (взаимовлияние) всех переменных в графе.

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

Структура простейшей системы управленияописывается графом (см. рис. 3.5), гдеW₁можно интерпретировать как модель объекта управления, аW₂– модель управляющего устройства. Узлы 1 – управлениеU, 2 и 4 можно интерпретировать как выходную величину объекта у, 3 (ε) –ошибка регулирования, узел 5 – задание х (желаемое значение величины у).

W₂

Рис. 3.5