logo
вапо

17.Модели теории графов.

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

Часто структурная схема описывается с помощью математической модели. Однако в настоящее время системы описываются с помощью схемы, состоящей из элементов и связей между ними. Такая схема называется графом.

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

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

Если связи между вершинами имеют размерную природу, то они обозначаются разными линиями и имеют различные веса, а графы называются взвешенными.

Теория графов имеет многочисленные приложения.

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

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

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

являются дугами) называется ориентированным.

Теория графов может рассматриваться как раздел дискретной математики (точнее – теории множеств), и формальное определение графа таково: задано конечное множество X, состоящее из n элементов (X = {1, 2, ..., n}), называемых вершинами графа, и подмножество V декартова произведения X ´ X, то есть V Í X2, называемое множеством дуг, тогда ориентированным графом G называется совокупность (X, V) (неориентированным графом называется совокупность множества X и множества неупорядоченных пар элементов, каждый из которых принадлежит множеству X).

Дугу между вершинами i и j, i, j Î X, будем обозначать (i, j). Число дуг графа будем обозначать m (V = (v1, v2, ..., vт)).

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

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

Основныя понятия теории графов.

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

Две вершины называются смежными, если они соединены ребром (дугой). Смежные вершины называются граничными вершинами соответствующего ребра (дуги), а это ребро (дуга) – инцидентным соответствующим вершинам.

Путем называется последовательность дуг (в ориентированном графе), такая, что конец одной дуги является началом другой дуги. Простой путь – путь, в котором ни одна дуга не встречается дважды. Элементарный путь – путь, в котором ни одна вершина не встречается дважды. Контур – путь, у которого конечная вершина совпадает с начальной вершиной. Длиной пути (контура)называется число дуг пути (или сумма длин его дуг, если последние заданы).

Граф, для которого из (i, j) Î V следует (j, i) Î V называется симметрическим. Если из (i, j) Î V следует, что (j, i) Î V, то соответствующий граф называется антисимметрическим.

Цепью называется множество ребер (в неориентированном графе), которые можно расположить так, что конец (в этом расположении) одного ребра является началом другого. Другое определение: цепь – последовательность смежных вершин. Замкнутая

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

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

Связностью графа называется минимальное число ребер, после удаления которых граф становится несвязным. Для ориентированных графов, если любые две вершины графа можно соединить путем, то граф называется сильно связным. Известно, что:

связность графа не может быть больше, чем [2m / n], где [x] – целая часть числа x; существуют графы с n вершинами и m ребрами,имеющие связность [2m / n]; в сильно связном графе через любые две вершины проходит контур.

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

В неориентированном графе степенью вершины i называется число di инцидентных ей ребер. Очевидно, di £ n – 1, i Î X. Граф, степени всех вершин которого равны n – 1, называется полным.

Граф, все степени вершин которого равны, называется однороднымВершина, для которой не существует инцидентных ей ребер(di = 0) называется изолированной. Вершина, для которой существует только одно инцидентное ей ребро (di = 1) называется висячей.

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