Вы находитесь на странице: 1из 11

1 Граф, мультиграф, псевдограф

Пусть V − непустое множество (конечное), V (2) − множество всех двух-


элементных подмножеств V .
Граф − это пара: G = (V, E), где E ⊆ V (2).
Элементы V − вершины, элементы E − ребра.
Мультиграф − это пара G = (V, E), где V 6= ∅ − конечное множество,
E − мультимножество над V (2) (то есть возможны кратные ребра).
Псевдограф − это пара G = (V, E), где V 6= ∅ − конечное множество,
E − мультимножество неупорядоченных пар вершин, не обязательно раз-
личных (то есть возможны кратные ребра и петли).

2 Изоморфизм графов, автоморфизм


Графы G(V, E) и G0(V 0, E 0) изоморфны (G ∼
= G0), если существует биек-
ция ϕ : V → V 0 : ϕ(x)ϕ(y) ∈ E 0 ⇔ xy ∈ E.
Изоморфизм графа G в себя − автоморфизм.

3 Лемма о рукопожатиях
X
degG v = 2|EG|.
v∈V G

4 Подграф, порожденный подграф, остовный подграф


G = (V, E).
Граф H = (U, D) : U ⊆ V, D ⊆ E − подграф графа G.
Пусть U ⊆ V. Тогда G[U ] = (U, D), где D = {xy | x, y ∈ U, xy ∈ E} −
подграф графа G, порожденный U .
Пусть D ⊆ E. Тогда G[D] = (U, D), где U − множество концов ребер
D, − подграф, порожденный D.
Остовный подграф − подграф, содержащий все вершины.

1
5 Объединение, соединение, умножение графов
G = (V, E), G0 = (V 0, E 0).
1) Объединение. G ∪ G0 = (V ∪ V 0, E ∪ E 0).
Если V ∩ V 0 = ∅ ⇒ G t G0 − дизъюнктное объединение.
2) Соединение. V ∩ V 0 = ∅.
G + G0 = (V t V 0, D), где D = E ∪ E 0 ∪ {xy | x ∈ V, y ∈ V 0}.
3) Произведение. G × G0 = (V × V 0, D),
где D = {(x, y)(a, b) | x = a, yb ∈ E 0 или xa ∈ E, y = b}.

6 Дополнение к графу, реберный граф


G − дополнение графа G, если G = (V G, V G(2)\EG).
Реберный к G граф: L(G) = (EG, D), где D = {e1e2 | e1 смежно с e2 в G}.

7 Граф n-куба
V Qn = {0, 1}n.
EQn = {xy | x и y различаются ровно в одной позиции}.

8 Маршрут, цепь, простая цепь, цикл, простой цикл


G = (V, E).
(x, y)-маршрут: x0 = x, e0, x1, e1, . . . , xk , ek , xk+1 = y.
xi ∈ V, ei = xixi+1, ∀i.
Длина маршрута = k + 1.
x0 = xk+1 ⇒ замкнутый маршрут.
Если в маршруте все ребра различны, то если он незамкнутый, то это
цепь, если замкнутый − цикл.
Если в цепи все вершины различны − это простая цепь.

2
Если в цикле все вершины различны (кроме первой и последней) − это
простой цикл.

9 Связный граф, компонента связности


x, y ∈ V G − связные в G, если в G существует простая (x, y)-цепь.
G − связный, если ∀x, y ∈ V G − связные.
Максимальный по включению вершин и ребер связный подграф G − ком-
понента связности графа G.

10 Эксцентриситет, радиус, диаметр, центр графа


G − связный.
Расстояние между x, y ∈ V G = d(x, y) − длина кратчайшей (x, y)-цепи.
Эксцентриситет: e(x) = max d(x, y).
y∈V G
Радиус графа G: r(G) = min e(x).
x∈V G
{x | e(x) = r} − центр графа.
Диаметр графа G: d(G) = max e(x).
x∈V G

11 Двудольность, критерий двудольности


G = (V, E) − двудольный, если существует разбиение V = A t B : G[A] и
G[B] − пустые.
Критерий двудольности Кенига. G − двудольный ⇔ в G нет циклов
нечетной длины.

12 Орграф
G = (V, D). V − непустое конечное множество, D ⊆ V × V.

3
13 Лес, дерево, характеризация деревьев
Дерево − связный ациклический граф.
Лес − ациклический граф.
Теорема о характеризации деревьев. Для (n, m)-графа G следующие усло-
вия эквивалентны:
1) G − дерево.
2) G − связный, m = n − 1.
3) G − ациклический, m = n − 1.
4) G − граф, в котором любые две вершины соединены единственной про-
стой цепью.
5) G − ациклический, добавление нового ребра приводит к образованию
единственного цикла.

14 Теорема Кэли
Число помеченных деревьев на n вершинах равно nn−2.

15 Характеризация двусвязных графов


Для связного графа G порядка n > 2 следующие утверждения эквива-
лентны:
1) G − двусвязный.
2) Любые две вершины принадлежат простому циклу.
3) Любая вершина и любое ребро принадлежат простому циклу.
4) Любые два ребра принадлежат простому циклу.
5) ∀x, y ∈ V G, ∀e ∈ EG существует простая (x, y)-цепь, содержащая e.
6) ∀x, y, z ∈ V G существует простая (x, y)-цепь, содержащая z.

4
16 Точка сочленения, характеризация точек сочлене-
ния
x ∈ V G − точка сочленения, если в G − x больше компонент связности,
чем в G.
Характеризация точек сочленения. В связном графе следующие утвер-
ждения эквивалентны:
1) x − точка сочленения графа G.
2) ∃ разбиение V G\{x} = U t W : ∀a ∈ U, ∀b ∈ W : любая простая
(a, b)-цепь содержит x.
3) ∃a, b ∈ V G\{x} : любая простая (a, b)-цепь содержит x.

17 Блок, bc-дерево графа


Блок графа − максимальный по включению вершин и ребер подграф без
точек сочленения.
Пусть B и C − соответственно множества блоков и точек сочленения
графа G. Тогда графу G сопоставляется граф bc(G), у которого B ∪ C −
множество вершин и {Bicj : Bi ∈ B, cj ∈ C, cj ∈ Bi} − множество ребер.

18 Число вершинной связности


Число вершинной связности æ(G) − наименьшее число вершин, удаление
которых приводит к несвязному графу.

19 Теорема Менгера
Наименьшее число вершин, разделяющих две несмежные вершины x и y
равно наибольшему числу попарно непересекающихся (x, y)-цепей.

5
20 Терема Уитни
Граф G − k-связный ⇔ ∀ вершин x, y существуют k попарно непересека-
ющихся (x, y)-цепей.

21 Число реберной связности


Число реберной связности λ(G) для графа порядка n > 1 − минимальное
число ребер, удаление которых делает граф несвязным.

22 Терема о числах связности


Для любого графа G : æ(G) 6 λ(G) 6 δ(G).

23 Независимое множество, тупиковое, наибольшее, чис-


ло независимости
Множество S ⊆ V G − независимое, если ∀x, y ∈ S : xy ∈
/ EG.
Независимое множество S − тупиковое (максимальное), если ∀x ∈ / S :
S ∪ {x} не является независимым.
Независимое множество S − наибольшее, если оно наибольшее по мощ-
ности среди всех тупиковых. Его мощность − число независимости α0(G).

24 Вершинное покрытие, тупиковое, наименьшее, чис-


ло покрытия
P ⊆ V G − вершинное покрытие, если оно покрывает все ребра графа G.
Покрытие P − тупиковое (минимальное), если ∀v ∈ P : P \{v} − не
покрытие.
Покрытие P − наименьшее, если оно наименьшее по мощности среди всех
тупиковых. Его мощность − число вершинного покрытия β0(G).

6
25 Связь чисел покрытия и независимости
∀G : α0(G) + β0(G) = |V G|.

26 Паросочетание, тупиковое, наибольшее, число паро-


сочетания
M ⊆ EG − паросочетание, если ∀e, h ∈ M : e, h не смежны.
Паросочетание M − тупиковое (максимальное), если ∀e ∈ EG\M : M ∪ e
не является паросочетанием.
Паросочетание M − наибольшее, если оно наибольшее по мощности сре-
ди всех тупиковых. Его мощность − число паросочетания α1(G).

27 Реберное покрытие, тупиковое, наименьшее, число


реберного покрытия
Q ⊆ EG − реберное покрытие, если оно покрывает все вершины.
Реберное покрытие Q − тупиковое (минимальное), если ∀e ∈ Q : Q\{e} −
не реберное покрытие.
Покрытие Q − наименьшее, если оно наименьшее по мощности среди всех
тупиковых. Его мощность − число реберного покрытия β1(G).

28 Теорема о связи чисел паросочетания и реберного


покрытия
∀G без изолированных вершин: α1(G) + β1(G) = |V G|.

29 Совершенное паросочетание
Паросочетание совершенное, если оно является реберным покрытием.

7
30 Терема Кенига о числе паросочетания для двудоль-
ных графов
∀ двудольного графа α1(G) = β0(G).

31 Терема Холла о паросочетаниях


G = (A, B, E). В G существует паросочетание, покрывающее A ⇔
∀X ⊆ A : |NG(X)| > |X|.

32 Теорема Фробениуса о свадьбах


G = (A, B, E). В G существует совершенное паросочетание ⇔ |A| = |B|
и ∀X ⊆ A : |NG(X)| > |X|.

33 Эйлеров цикл, эйлеров граф


Цикл, содержащий все ребра графа − эйлеров.
Граф, в котором есть эйлеров цикл − эйлеров.

34 Теорема Эйлера
Для связного графа порядка n > 2 следующие условия эквивалентны:
1) G − эйлеров.
2) ∀v ∈ V G : deg v − четна.
3) Множество ребер можно разбить на циклы.

35 Гамильтонов цикл, гамильтонов граф


Простой цикл, содержащий каждую вершину графа − гамильтонов.
Граф, в котором есть гамильтонов цикл − гамильтонов.

8
36 Теорема Оре
G порядка n > 3. Если ∀ несмежных вершин x и y: deg x + deg y > |V G|,
то G − гамильтонов.

37 Теорема Дирака
|V G|
G порядка n > 3. Если ∀v ∈ V G : deg v > , то G − гамильтонов.
2

38 Теорема Хватала-Эрдеша
Пусть G − связный граф порядка n > 3. Если æ(G) > α0(G), то G −
гамильтонов.

39 Необходимые условия гамильтоновости


1) Если в G ∃ независимое множество S такое, что |NG(S)| < |S|, то G −
не гамильтонов.
2) Если в G ∃ множество вершин S такое, что G − S имеет больше |S| ком-
понент связности, то G − не гамильтонов.

40 Планарный граф, плоский граф


Граф, который укладывается на плоскости − планарный.
Укладка планарного графа на плоскости − плоский граф.

41 Грань плоского графа


Грань плоского графа − максимальное по включению множество точек,
любые две из которых можно соединить кривой, не имеющей других общих
точек с ребрами графа.

9
42 Формула Эйлера для плоских графов
G − связный плоский (n, m)-граф с f гранями. Тогда n − m + f = 2.

43 Критерий планарности Понтрягина-Куратовского


Граф планарен ⇔ в нем нет подграфа, гомеоморфного K5 или K3,3.

44 Критерий планарности Вагнера


Граф планарен ⇔ в нем нет подграфа, стягиваемого к K5 или K3,3.

45 Раскраска, правильная раскраска вершин графа


G = (V, E). ϕ : V → {c1, . . . , ct} − раскраска разбиения V = V1 t . . . t Vt.
Раскраска ϕ − правильная, если xy ∈ E ⇒ ϕ(x) 6= ϕ(y) ⇒ Vi − незави-
симое множество ∀i.

46 Хроматическое число
G − t-хроматический, если он t-раскрашиваем и не (t − 1)-раскрашиваем.
Если G − t-хроматический, то χ(G) = t.

47 Теорема Брукса
∀ связного графа, не являющегося Kn, C2n+1 : χ(G) 6 ∆(G).

48 Реберная раскраска, правильная реберная раскрас-


ка
ϕ : EG → {c1, . . . , ct} − раскраска ребер в t цветов.

10
ϕ − правильная реберная раскраска, если e и h смежны ⇒ ϕ(e) 6= ϕ(h).

49 Хроматический индекс
G − реберно t-хроматический, если G − реберно t-раскрашиваемый и не
является реберно (t − 1)-раскрашиваемым.
G − реберно t-хроматический ⇒ t − реберное хроматическое число (хро-
матический индекс) χ0(G).

50 Теорема Кенига о хроматическом индексе


Для любого двудольного графа G : χ0(G) = ∆(G).

51 Теорема Визинга
Для всякого графа G : ∆(G) 6 χ0(G) 6 ∆(G) + 1.

52 Теорема Рамсея для графов


∀p > 2, q > 2 ∃ минимальное R(p, q) : ∀n > R(p, q), ∀ раскраски полного
графа на n вершинах в 2 цвета найдется либо полный подграф на p верши-
нах, все ребра которого раскрашены в 1-й цвет, либо полный подграф на q
вершинах, все ребра которого раскрашены во 2-й цвет.

53 Карта, правильная раскраска карт


Карта − связный плоский мультиграф без мостов.
Раскраска карты правильная, если смежные грани имеют разный цвет.

54 Теорема о четырех красках


Любой планарный граф 4-раскрашиваем.
11