Устойчивость, покрытия, паросочетания в графе.

ОПР. Инвариантом графа G называется число, связанное с этим графом, которое принимает одно и то же значение на любом графе, изоморфном данному.

Вершина накрывает ребро , если это ребро инцидентно данной вершине.

Ребро, концидентное покрывает вершину. Каждое ребро и каждая вершина покрывают сами себя.

2 инварианта:

1) min число вершин (ребер) которые показывают все ребра (вершины).

2) наибольшее число несмежных ребер и наибольшее число несмежных вершин.

ОПР. Множество вершин, показывающих все ребра графа называют вершинным покрытием графа, а множество ребер, показывающих все вершины называют реберным покрытием графа.

ОПР. Множество вершин называется внутренне устойчивым, если они попарно не смежны.

ОПР. Внутренне устойчивое множество вершин называется пустым подграфом, если при добавлении хотя бы одной вершины, не принадлежащей этому множеству образуется хотя бы 1 ребро.

Характеристики:

ОПР. Max мощность пустого подграфа называется числом внутренней устойчивости или вершинным числом независимости.

ОПР. Мах число попарно несмежных ребер называется реберным числом независимости графа.

ОПР. Min мощность вершинного покрытия называется числом вершинного покрытия графа.

ОПР. Min мощность реберного покрытия графа называется числом реберного покрытия и обозначается .

ОПР. Min мощность множества вершин, показывающих все вершины графа называется вершинным числом внешней устойчивости графа и обозначается .

ОПР. Реберное число внешней устойчивости – min мощность множества ребер, показывающих все ребра графа.

ТЕОРЕМА: для любого нетривиального графа G = (x, G) справедливо следующее

4 + 6 = 5 + 5 = 10

ОПР. Множество ребер графа, в котором никакая пара ребер несмежна называется паросочетанием графа, а множество ребер паросочетаний, в которых число ребер равняется называется наибольшим паросочетанем графа. a, m, 0

Теорема Кёнига: для двудольного графа G число ребер в наибольшем паросочетании равно числу вершинного покрытия. .

 

Продолжение.

Толщиной графа G называется наименьшее число планарных графов, в результате объединения которых получается исходный граф G. Толщина планарного графа равна 1.

Нижняя оценка толщины t (G) определяется неравенством

, (9.3)

где – большее целое число, | X | = n, S_i – степень i -й вершины.

Планарные и плоские графы.

Граф G=(X, U) называется плоским, если его ребра, расположенные на плоскости, могут иметь общие точки только в инцидентных им вершинах, т.е. не пересекаются (рис. 9.1).

Граф, изоморфный плоскому и расположенный на плоскости с пересечением ребер, называется планарным (рис. 9.2).

Область плоскости, ограниченная ребрами плоского графа, внутри которой нет ни вершин, ни ребер, называют гранью. Ребра грани образуют простой цикл. Заметим, что плоский граф имеет всегда одну бесконечную грань, не ограниченную ребрами (f₆ на рис. 9.1).

Существует формула Эйлера, позволяющая установить связь между числом вершин n, ребер m и граней f плоского графа:

n – m + f = 2.

Теорема Понтрягина – Куратовского. Граф планарен тогда и только тогда, когда он не содержит подграфов, гомеоморфных полному графу K₅ и полному двудольному графу K_3,3 (рис. 9.3,а,б).

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

Теорема Харари. Граф планарен тогда и только тогда, когда он не содержит подграфов, стягиваемых к K₅ и K_3,3.

Теорема Харари является двойственной формой теоремы Понтрягина-Куратовского.

Минимальное число ребер, которое нужно удалить из графа, чтобы он стал планарным, называется числом планарности и обозначается Q(G).

Для полного графа K_n c n ³ 4 вершин Q(G) определяется как

.

 

Эйлеров путь в графе.

Маршрут (u₁, u₂,..., u_q) называется циклом, если в нем начальная вершина дуги u₁ совпадает с конечной вершиной дуги u_q.

Так, например, в графе, приведенном на рис. 3.1, последовательности дуг:

m₁ ={ u₁, u₅, u₂ }, m₂ ={ u₁, u₅, u₂, u₃, u₁₀, u₄ }, m₃ ={ u₁, u₅, u₈, u₁₀, u₄ },

m₄ ={ u₁, u₅, u₈, u₁₀, u₄, u₂, u₉, u₇, u₆, u₃ } – являются циклами.

Цикл называется эйлеровым, если он содержит все ребра графа ровно один раз.

Теорема (Эйлера). Граф содержит эйлеров цикл только тогда, когда все его вершины имеют четную степень.

Например, граф, изображенный на рис. 3.1, будет содержать Эйлеров цикл (m₄), а граф, изображенный на рис. 3.2, – нет.

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

Например, пути m₁ и m₃ являются простыми циклами, а путь m₂ не является простым циклом, так как вершина x₁ используется в нем дважды.

Простой цикл, проходящий через все вершины графа, имеет особое значение и называется гамильтоновым циклом. Конечно, не все графы обладают гамильтоновыми циклами. Так, например, путь m₃ является гамильтоновым циклом графа, приведенного на рис. 3.1, а граф на рис. 3.2 не имеет гамильтонова цикла. В отличие от эйлерового цикла для гамильтонова цикла неизвестен простой критерий его существования в произвольном графе.

Контуром называется цикл в ориентированном графе. Таким образом, контур является путем
(x₁, x₂,..., x_q), в котором совпадают начальная и конечная вершины, т. е. в котором x₁ = x_q.

На рис. 3.3 маршруты

, и

являются контурами.

Цикломатическим числом графа n (G) называется число независимых простых циклов, содержащихся в графе. Оно вычисляется по формуле:

n (G) = m – n + 1. (3.1)

Например, количество независимых контуров электрической цепи определяется цикломатическим числом.