
Lektsii_DM_Teoria_Grafov_2y_semestr
.pdf
Дискретная математика: теория графов
Алгоритм приведения графа G к планарному
1)Найти все подграф, гомеоморфные K3,3 и K5 .
2)Построить таблицу покрытия найденных в п.1 подграфов ребрами, которые их образуют.
3)Найти минимальное покрытие подграфов ребрами (удалив ребра, образующие покрытие, получим планарный граф).
Раскраска графов
Пусть |
G V ,U |
- некоторый граф и |
S V1,V2 |
,...,Vk |
- разбиение V |
||||||
|
|
|
|
|
|||||||
на k внутренне устойчивых множеств (разбиение означает, что |
|||||||||||
k |
|
|
|
|
|
|
|
|
|
|
|
Vi |
V |
|
Vi Vj |
|
|
i j |
|
|
|
|
|
i 1 |
|
|
и |
, если |
). В этом случае говорят, что |
||||||
|
|
|
|
|
|||||||
вершины графа допускают раскраску в k цветов (цвета по |
|||||||||||
номерам 1,2,..., k ). Хроматическое число h G |
- минимальное |
значение k , которое допускает раскраску графа.
Хроматическое число пустого графа равно 1. h Kn n.
h K p,q 2.
Алгоритм нахождения раскраски (хроматического числа)
1)Выделить все пустые подграфы графа.
2)Построить таблицу покрытий вершин графа пустыми подграфами.
3)Найти минимальное покрытие вершин графа пустыми
Document from www.cyberfac.ru |
- 41 - |

Дискретная математика: теория графов
подграфами (мощность минимального покрытия – это h G , а само покрытие определяет раскраску).
Пример
x2 |
x1 |
x3 |
x6 |
x4 |
x5 |
G1 x2 , x4 , x6 G2 x2 , x5 G3 x1 , x3 G4 x1 , x4 G5 x3 , x5
G
|
x4 |
|
x6 |
x5 |
x2 |
|
|
x4 |
|
x1 |
|
x3 |
x1 |
x5 |
x3 |
|
|
x6 x |
x |
x |
x |
x |
x |
4 |
5 |
3 |
4 |
1 |
5 |
v7
Document from www.cyberfac.ru |
- 42 - |

Дискретная математика: теория графов
|
G1 |
G2 |
G3 |
G4 |
G5 |
|
x1 |
|
|
1 |
1 |
|
|
x2 |
1 |
1 |
|
|
|
2 |
x3 |
|
|
1 |
|
1 |
x1 |
x4 |
1 |
|
|
1 |
|
|
x5 |
|
1 |
|
|
1 |
x6 |
x6 |
1 |
|
|
|
|
|
|
|
|
|
1 |
||
|
|
|
|
|
|
min G1,G3 ,G5 |
h G 3 |
одно из минимальных покрытий |
|
1
x2
2
x3 |
x4
1
x5 |
3 |
Оценки хроматического числа
1.
Теорема Кенига
Граф бихроматичен ( h G 2) тогда и только тогда, когда в G нет циклов нечетной длины.
2.
Теорема
p G h G , где p G - плотность графа G .
3. |
|
|
|
|
|
|
|
|
|
|
||
Теорема |
|
|
|
|||||||||
h G S G 1, где S |
G - степень графа G . |
|||||||||||
4. |
|
|
|
|
|
|
|
|
|
|
||
Оценка Бержа |
|
|
|
|||||||||
|
|
V |
|
|
h G |
|
V |
|
|
0 |
1 |
, где 0 - число внешней устойчивости графа |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|||||||
|
|
|
||||||||||
|
|
|
|
|
||||||||
|
|
0 |
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
G .
Document from www.cyberfac.ru |
- 43 - |
Дискретная математика: теория графов
5.
Теорема |
|
|
|
|
|
|
h G h Ga h Gb , где G Ga Gb , |
Va Vb . |
|
||||
h G max h Ga ;h Gb |
, где |
G G |
G |
V V |
. |
|
|
|
a |
b , |
a b |
||
h G h Ga h Gb , где G Ga Gb , |
Va Vb . |
|
||||
h G min h Ga ;h Gb |
, где |
G G G |
|
|
||
|
a |
b . |
|
|
Примеры
h C175 C174 ?
а) Графы не имеют общих вершин.
По теореме выше h C175 C174 h C175 h C174 3 2 5 . б) Графы имеют по одной общей вершине.
Отметим для нечетного цикла следующую раскраску: одна вершина в 3-й цвет, остальные в 1-й и 2-й цвета поочередно. На нашем графе вначале раскрасим в два цвета четный цикл (вместе с общей вершиной). Теперь рассмотрим нечетный цикл. В нем общая вершина оказалась закрашена каким-то цветом. Считаем этот цвет 3-им и закрашиваем все остальные вершины поочередно в два цвета (отличные от ранее выбранных, так как имеем граф суммы).
Итого использовали четыре цвета. h C175 C174 4.
в) Графы имеют по две общие, не смежные между собой вершины. Так как между двумя смежными вершинами в обоих графах
174 |
87 |
||
|
|
||
будет располагаться цепь длиной, по крайней мере, 2 |
|||
, |
соединенная с аналогичной цепью в другой части графа всеми
возможными связями, то h C175 C174 4 . Для четырех цветов раскраска существует всегда: сначала раскрашиваем четный цикл в два цвета, затем оставшиеся цепи нечетного цикла закрашиваем в
h C175 C174 4 .
Алгоритм приближенной раскраски графа (алгоритм Ершова)
Алгоритм основан на стягивании несмежных вершин:
Document from www.cyberfac.ru |
- 44 - |

Дискретная математика: теория графов
vi |
v j |
vi |
v j |
vivj vi vj
Стягивание проводить до тех пор, пока не получим полный граф. Мощность этого полного графа является оценкой хроматического числа сверху, а сам полный граф определяет приближенную раскраску графа.
Замечание В первую очередь желательно стягивать те вершины, расстояние
между которыми четно.
Пример |
|
|
|
|
x9 |
x10 |
x1 |
x2 |
|
x8 |
|
|
x3 |
x1x3 |
|
|
|
||
|
|
|
|
|
x7 |
x6 |
x5 |
x4 |
|
x9 |
x4 |
x10 |
x2 |
|
|
|
x1 |
x3 |
x5 x7 |
x8 |
|
|
||
|
|
|
|
|
x7 |
x6 |
x5 |
|
|
x9 |
x10 |
x1 |
x3 |
|
|
|
|
x2 |
x4 x10 |
x8 |
|
|
|
|
|
|
|
||
x7 |
x6 |
x5 |
x4 |
|
x9 |
x4 |
x10 |
x2 |
|
|
|
x1 |
x3 |
x2 x9 |
x8 |
|
|
||
|
|
|
|
|
x5 |
x7 |
x6 |
|
|
Document from www.cyberfac.ru |
- 45 - |

|
|
|
Дискретная математика: теория графов |
|
|
|
|||||
x2 |
x9 |
x4 |
x10 |
|
|
x2 |
x9 |
x4 |
x10 |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
x1x3 |
|
|
|
|
|
|
x6 x8 |
|
|
|
|
x x |
|
x8 |
|
|
x1 |
x3 |
|
|
|
|
5 7 |
|
|
|
|
|
x6 |
x8 |
x1 |
x3 |
|
||||
|
|
|
|
|
|||||||
x5 |
x7 |
x6 |
|
|
|
|
x5 |
x7 |
|
|
|
|
|
|
|
|
|
|
|
|
|||
x2 |
x9 |
x4 |
x10 |
|
|
|
2 |
3 |
1 |
2 |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
h G 4 |
4 |
|
|
1 |
|
|
|
|
x1 |
x3 |
|
|
|
|
|
|
|
|
x6 |
x8 |
x5 |
x7 |
|
|
|
1 |
4 |
1 |
3 |
|
|
|
|
|
|
|
|
|
Задача
Есть 3 предприятия, на которых должны выпускаться 11 изделий. Каждый тип изделий должен выпускаться только на одном предприятии. При выпуске изделий разного типа
( a,b,c,d,e, f , g,h,i, j,k ) могут использоваться общие детали и материалы. Для каждой пары изделий указан процент общих деталей и материалов. Необходимо распределить изделия по предприятиям так, чтобы на одном предприятии выпускались детали с наибольшим процентом общих деталей. Критерий: Минимум общих поставок для изделий, выпускаемых на одном предприятии был как можно больше.
a
b55 b
c60 80 c
d |
85 |
65 |
40 |
d |
|
|
|
|
|
|
e |
45 |
90 |
35 |
80 |
e |
|
|
|
|
|
f |
80 |
75 |
30 |
90 |
90 |
f |
|
|
|
|
g |
|
|
|
|
|
|
g |
|
|
|
50 |
30 |
70 |
35 |
65 |
30 |
|
|
|
||
h |
50 |
60 |
90 |
40 |
35 |
70 |
30 |
h |
|
|
i |
60 |
45 |
40 |
80 |
30 |
70 |
20 |
25 |
i |
|
j |
45 |
40 |
45 |
35 |
80 |
20 |
90 |
25 |
85 |
j |
k |
80 |
70 |
85 |
30 |
35 |
40 |
25 |
75 |
75 |
60 |
Document from www.cyberfac.ru |
- 46 - |

|
|
Дискретная математика: теория графов |
|
|
||
Граф несовместимости изделий G % |
|
|
||||
G |
20% |
|
G |
25% |
|
|
|
b |
c |
|
b |
|
c |
|
a |
d |
|
a |
|
d |
|
|
e |
|
|
|
e |
k |
|
|
k |
|
|
|
|
|
f |
|
|
|
f |
|
j |
g |
|
j |
|
g |
|
i |
h |
|
i |
|
h |
h G 20% 2 |
|
h G 25% 2 |
|
|
||
G |
30% |
|
G |
35% |
|
|
|
b |
c |
|
b |
|
c |
|
a |
d |
|
a |
|
d |
|
|
e |
|
|
|
e |
k |
|
|
k |
|
|
|
|
|
f |
|
|
|
f |
|
j |
g |
|
j |
|
g |
|
i |
h |
|
i |
|
h |
h G 30% 3 |
|
h G 35% 3 |
|
|
||
G |
40% |
|
h G 40% 3 |
|
|
|
|
b |
c |
Раскраска: |
|
|
|
|
a |
d |
a |
1, 2,3 |
f |
1 |
|
|
|
||||
|
|
|
|
|
||
|
|
e |
b |
1, 2 |
g |
3 |
|
|
|
|
|||
|
|
|
|
|
|
|
k |
|
|
c |
2 |
h |
2 |
|
|
f |
d |
1 |
i |
1 |
|
|
|
|
|
||
|
j |
g |
e |
3 |
j |
3 |
|
|
|
|
|
||
|
i |
h |
|
|
k |
2 |
Document from www.cyberfac.ru |
- 47 - |

|
Дискретная математика: теория графов |
|
|
G 45% |
h G 45% 3 |
|
b |
c |
Раскраска: |
f |
1 |
|
|
a |
d |
a |
1, 2 |
||
|
|
|
||||
|
b |
2 |
g |
3 |
||
|
|
|
||||
|
|
e |
h |
2 |
||
k |
|
|
c |
2 |
||
|
|
|
|
|||
|
|
d |
1 |
i |
1 |
|
|
|
f |
||||
|
|
|
|
|||
|
|
e |
3 |
j |
3 |
|
|
|
|
||||
|
j |
g |
|
|
||
|
|
|
k |
2 |
||
|
|
|
|
|
||
|
i |
h |
|
|
|
|
G |
50% |
|
h G 50% 3 |
|
|
|
|
b |
c |
Раскраска: |
f |
1 |
|
|
a |
d |
a |
1 |
||
|
|
|
||||
|
b |
2 |
g |
3 |
||
|
|
|
||||
|
|
e |
h |
2 |
||
k |
|
|
c |
2 |
||
|
|
|
|
|||
|
|
d |
1 |
i |
1 |
|
|
|
f |
||||
|
|
|
|
|||
|
|
e |
3 |
j |
3 |
|
|
|
|
||||
|
j |
g |
|
|
||
|
|
|
k |
2 |
||
|
|
|
|
|
||
|
i |
h |
|
|
|
|
G |
55% |
|
h G 55% 3 |
|
|
|
|
b |
c |
Раскраска: |
f |
1 |
|
|
a |
d |
a |
1 |
||
|
|
|
||||
|
b |
2 |
g |
3 |
||
|
|
|
||||
|
|
e |
h |
2 |
||
k |
|
|
c |
2 |
||
|
|
|
|
|||
|
|
d |
1 |
i |
1 |
|
|
|
f |
||||
|
|
|
|
|||
|
|
e |
3 |
j |
3 |
|
|
|
|
||||
|
j |
g |
|
|
||
|
|
|
k |
2 |
||
|
|
|
|
|
||
|
i |
h |
|
|
|
|
Document from www.cyberfac.ru |
- 48 - |

Дискретная математика: теория графов
G 60%
a |
b |
k |
j |
i |
c |
h |
|
h G 60% 3 |
|
|
Решение - G 55% |
|
d |
|
|
e |
I предп. |
a, d, f ,i |
|
II предп. |
b,c, h, k |
f |
III предп. |
e, g, j |
g |
|
|
Перечисление графов Группа. Группа подстановки
Группа – алгебра с одно бинарной операцией ( A,
), которая обладает следующими свойствами:
1) |
замкнутость |
|
|
|
|
|
||
|
i |
A |
и |
j A i |
j A |
|
|
|
|
|
|
|
|
|
|
|
|
2) |
ассоциативность |
|
|
|
|
|||
|
i |
j |
k i j |
k |
|
|
|
|
3) |
наличие нейтрального элемента |
|
|
|
||||
|
0 A i A 0 i i |
0 i |
|
|||||
4) |
существование обратного элемента |
|
|
|
||||
|
для |
A 1 A 1 1 |
|
0 |
||||
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
Группа подстановки. Пусть X x1, x2 , x3 . Подстановкой назовем
: X X .
Document from www.cyberfac.ru |
- 49 - |

Дискретная математика: теория графов
0 |
x |
x |
x |
|
1 |
2 |
3 |
|
|
|
x1 |
x2 |
x3 |
|
|
x1 |
|
x2 |
|
|
|
x |
x |
|
0 |
1 |
1 |
0 |
x2 x2 |
||
|
|
x |
x |
|
0 |
||
|
3 |
3 |
|
|
x3 |
1 |
x |
x |
1 |
2 |
|
|
x2 |
x1 |
1 x1x2 x3
2 |
x |
x |
1 |
2 |
|
|
x3 |
x2 |
2 x1x3 x2
3 |
x |
x |
1 |
2 |
|
|
x1 |
x3 |
2 x1 x2 x3
4 |
x |
x |
1 |
2 |
|
|
x3 |
x1 |
4 x1x3 x2
0 x1 x2 x3
x |
|
|
|
|
3 |
|
x1 |
x2 |
|
x3 |
||||
|
|
|||
|
|
x3 |
|
|
x |
|
|
|
|
3 |
|
x |
x |
|
x1 |
1 |
2 |
||
|
|
|||
|
|
x3 |
|
|
x |
|
|
|
|
3 |
|
x |
x |
|
x2 |
1 |
2 |
||
|
|
|||
|
|
|
x3 |
|
x |
|
x1 |
x2 |
|
3 |
|
|||
x2 |
|
|
||
|
|
x3 |
|
|
x |
x |
x |
|
|
|
|
5 |
1 |
2 |
3 |
|
x1 |
|
x2 |
x3 |
x1 |
|
|||||
|
x2 |
|
|
|
|
5 x1x2 x3 |
x3 |
|
|
|
|
|
|
A 0 , 1, 2 , 3 , 4 , 5 |
|
|
|
Операция: произведение подстановок |
i |
j ? |
|
|
|
Document from www.cyberfac.ru |
- 50 - |