Основные числа теории графов

1. Хроматическое число графа.
Основные числа теории графов - student2.ru – неориентированный граф без петель.
Граф Основные числа теории графов - student2.ru называется правильно раскрашенным, если каждой его вершине приписан какой-либо цвет, а две соседние вершины окрашены в разные цвета. Минимальное число цветов, в которое может быть окрашен правильно раскрашенный граф, называется хроматическим числом графа Основные числа теории графов - student2.ru . Если Основные числа теории графов - student2.ru , тогда Основные числа теории графов - student2.ru называют Основные числа теории графов - student2.ru хроматическим.
Теорема: для того, чтобы связный неориентированный граф без петель являлся бихроматическим необходимо и достаточно, чтобы он не содержал простых циклов нечетной длины.
Доказательство:
I Необходимость
Пусть Основные числа теории графов - student2.ru – бихроматический.
Предположим противное: пусть в нем содержится простой цикл нечётной длины
Основные числа теории графов - student2.ru
Получено противоречие.
II Достаточность
Пусть Основные числа теории графов - student2.ru не содержит простых циклов нечетной длины
Удаляем ребра в циклах так, чтобы удалить циклы и граф Основные числа теории графов - student2.ru стал деревом Основные числа теории графов - student2.ru
Основные числа теории графов - student2.ru Основные числа теории графов - student2.ru - бихроматический
В силу четности циклов вершины, которые соединяют удалённые ребра, буду окрашены в разные цвета. И поэтому правильная раскраска графа не нарушится. ч.т.д.
Рассмотрим некоторую вершину Основные числа теории графов - student2.ru . Через Основные числа теории графов - student2.ru обозначим степень вершины, то есть число инцидентных ей ребер (если при это вершина содержит петлю, то считаем её дважды).
Основные числа теории графов - student2.ru Основные числа теории графов - student2.ru
Основные числа теории графов - student2.ru
Основные числа теории графов - student2.ru
Если стеки всех вершин графа чётные, то граф называют чётным.
Через Основные числа теории графов - student2.ru обозначим наибольшую из степеней вершин графа.
Тогда справедлива Теорема:
Для любого неориентированного графа справедлива следующая оценка: Основные числа теории графов - student2.ru .
Определение: плоским называется граф, вершины которого являются точками плоскости, а ребра – непрерывными плоскими линиями без самопересечения, такими, что никакие 2 ребра не имеют общих точек, кроме инцидентных или общих вершин.
Любой граф изоморфный плоскому называют планарным графом.
Гипотеза: всякий планарный граф можно раскрасить не более чем 4 красками.
Если окрашены уже вершины Основные числа теории графов - student2.ru , то новые произвольно взятые вершины Основные числа теории графов - student2.ru мы приписываем минимальный из цветов, в который не окрашены соседние с ней вершины.

2. Число внутренней и внешней устойчивости.
Основные числа теории графов - student2.ru - ориентированный граф.
Рассмотрим Основные числа теории графов - student2.ru
Основные числа теории графов - student2.ru
Подмножество вершин J называется внутренне устойчивым, если Основные числа теории графов - student2.ru J Основные числа теории графов - student2.ru , то есть множество J не содержит соседние вершины.
Числом внутренней устойчивости графа Основные числа теории графов - student2.ru называется
Основные числа теории графов - student2.ru J Основные числа теории графов - student2.ru - максимальная мощность внутренней устойчивости
Подмножество E вершин графа называется внешне устойчивым множеством, если Основные числа теории графов - student2.ru E Основные числа теории графов - student2.ru

3. Цикломатическое число графа
Основные числа теории графов - student2.ru
Основные числа теории графов - student2.ru - число дуг, Основные числа теории графов - student2.ru – число вершин, Основные числа теории графов - student2.ru - число компонентов связности

Транспортные сети.

Говорят, что задана транспортная сеть, если заданы 2 объекта:

v Ориентированный связный граф Основные числа теории графов - student2.ru , обладающий следующими свойствами

Ø Основные числа теории графов - student2.ru не содержит циклов

Ø Основные числа теории графов - student2.ru - источник, не имеющая предшественников, Основные числа теории графов - student2.ru

Ø Основные числа теории графов - student2.ru – сток, не имеющая последователей, Основные числа теории графов - student2.ru

v Функция Основные числа теории графов - student2.ru , действующая из множества дуг в расширенный натуральный ряд, Основные числа теории графов - student2.ru ,
Основные числа теории графов - student2.ru - пропускная способность дуги.

Основные числа теории графов - student2.ru – множество дуг, входящих в Основные числа теории графов - student2.ru

Основные числа теории графов - student2.ru – множество дуг, исходящих из Основные числа теории графов - student2.ru

Функция Основные числа теории графов - student2.ru , называется потоком, если

· Основные числа теории графов - student2.ru

· Основные числа теории графов - student2.ru справедливо условие баланса
Основные числа теории графов - student2.ru

·
Основные числа теории графов - student2.ru

Тогда величина

Основные числа теории графов - student2.ru

- величина потока

Поток Основные числа теории графов - student2.ru называется максимальным, если его величина Основные числа теории графов - student2.ru .

Величина Основные числа теории графов - student2.ru - остаточная пропускная способность дуги Основные числа теории графов - student2.ru , если Основные числа теории графов - student2.ru , дуга называется насыщенной; а поток Основные числа теории графов - student2.ru , из которого каждый путь, идущий из Основные числа теории графов - student2.ru в Основные числа теории графов - student2.ru содержит хотя бы одну насыщенную дугу называется полным потоком.

Рассмотрим некоторое подмножество вершин графа Основные числа теории графов - student2.ru .

Основные числа теории графов - student2.ru

Множество дуг, начало которых лежит в множестве Основные числа теории графов - student2.ru , а концы в множестве Основные числа теории графов - student2.ru , называется ориентированным разрезом:

Основные числа теории графов - student2.ru – разрез

Пропускной способностью (величиной) разреза называется

Основные числа теории графов - student2.ru

Сам разрез Основные числа теории графов - student2.ru , называется Основные числа теории графов - student2.ru – разрезом, если Основные числа теории графов - student2.ru .

Основные числа теории графов - student2.ru – разрез Основные числа теории графов - student2.ru называется минимальным, если его пропускная способность меньше любого Основные числа теории графов - student2.ru – разреза Основные числа теории графов - student2.ru

Основные числа теории графов - student2.ru

Теорема: пусть множество вершин Основные числа теории графов - student2.ru , Основные числа теории графов - student2.ru тогда для любого потока Основные числа теории графов - student2.ru справедливо: Основные числа теории графов - student2.ru

Доказательство: докажем, что величина потока Основные числа теории графов - student2.ru для любого разреза есть

Основные числа теории графов - student2.ru

Основные числа теории графов - student2.ru

Рассмотрим Основные числа теории графов - student2.ru тогда Основные числа теории графов - student2.ru справедливо условие:

Основные числа теории графов - student2.ru

Основные числа теории графов - student2.ru

Включим Основные числа теории графов - student2.ru , прибавка только в первую сумму на величину потока:

Основные числа теории графов - student2.ru

Если начальная и конечная вершина дуги графа принадлежит множеству Основные числа теории графов - student2.ru , то потоки по этим дугам учитываются в первой и второй суммах, и поэтому взаимно уничтожаются, откуда и следует искомое соотношение:

Основные числа теории графов - student2.ru

Следствие:

1) Теорема Форда Фалкерсона:
Если для некоторого потока и разреза выполняется равенство:
Основные числа теории графов - student2.ru , то Основные числа теории графов - student2.ru , Основные числа теории графов - student2.ru .

2) Если для некоторого потока Основные числа теории графов - student2.ru и Основные числа теории графов - student2.ru – разреза выполняется
Основные числа теории графов - student2.ru
все дуги, входящие в этот разрез должны быть насыщенными,
и наоборот.

Доказательство: 1) пусть Основные числа теории графов - student2.ru - максимальный поток, Основные числа теории графов - student2.ru - величина данного потока, необходимо найти разрез равный Основные числа теории графов - student2.ru . Докажем, что существует такой Основные числа теории графов - student2.ru разрез: Основные числа теории графов - student2.ru .

Строим множество Основные числа теории графов - student2.ru :

1)разрез должен быть Основные числа теории графов - student2.ru – разрезом, поэтому Основные числа теории графов - student2.ru

2)если вершина Основные числа теории графов - student2.ru попала в

2а) Основные числа теории графов - student2.ru и есть дуга Основные числа теории графов - student2.ru , по которой Основные числа теории графов - student2.ru , то тогда Основные числа теории графов - student2.ru

2б) Основные числа теории графов - student2.ru и Основные числа теории графов - student2.ru причём Основные числа теории графов - student2.ru , то Основные числа теории графов - student2.ru .

Покажем, что разрез Основные числа теории графов - student2.ru является Основные числа теории графов - student2.ru – разрезом:

Основные числа теории графов - student2.ru по условию, покажем, что Основные числа теории графов - student2.ru .

Предположим противное: пусть Основные числа теории графов - student2.ru попала в Основные числа теории графов - student2.ru , тогда существует путь (цепь) из Основные числа теории графов - student2.ru в Основные числа теории графов - student2.ru , все вершины которого лежат в Основные числа теории графов - student2.ru , тогда рассмотрим 2 соседние вершины (все пары) Основные числа теории графов - student2.ru и Основные числа теории графов - student2.ru . Для всех дуг, соединяющие эти вершины, посчитаем:

Основные числа теории графов - student2.ru

Теперь в качестве Основные числа теории графов - student2.ru и построим другой поток.

Поток по каждой прямой дуге, попавшей по причине 2а увеличим на Основные числа теории графов - student2.ru , по причине 2б – уменьшим на Основные числа теории графов - student2.ru .

Тогда мы построим новый поток, условие баланса не нарушено:

Основные числа теории графов - student2.ru

Получено противоречие.

Покажем, что величина разреза совпадает с величиной потока. Рассмотрим дуги Основные числа теории графов - student2.ru - лежащие в разрезе:
1) Основные числа теории графов - student2.ru , если Основные числа теории графов - student2.ru согласно 2а Основные числа теории графов - student2.ru - противоречие.
Основные числа теории графов - student2.ru – насыщенная.

2) Основные числа теории графов - student2.ru , Основные числа теории графов - student2.ru , согласно 2б Основные числа теории графов - student2.ru - противоречие,
Основные числа теории графов - student2.ru для всех вершин.

Основные числа теории графов - student2.ru по теореме

Основные числа теории графов - student2.ru

Наши рекомендации