Теорема Брукса

Вспомогательная Лемма

Лемма:

Пусть [math]G(V,E)[/math] - произвольный связный неориентированный граф и [math]\Delta(G)[/math] - максимальная степень вершин [math]G[/math]. Если в таком графе существует вершина [math]v[/math] степени [math] deg\ v \lt \Delta(G)[/math], то [math]\chi(G) \le \Delta(G)[/math].

Доказательство:

[math]\triangleright[/math]

Запустим алгоритм обхода в ширину из вершины v. Пронумеруем вершины [math]v_1,...,v_n,[/math] где [math]v_i[/math] вершина рассмотренная на [math]i[/math]ом шаге алгоритма bfs. Далее начнем красить вершины в обратном порядке в один из [math]\Delta[/math] цветов так, чтобы никакое ребро графа не соединяло вершины одного цвета. Заметим, что так всегда можно сделать, поскольку на [math] i[/math]ом шаге покраски, для вершины [math] v_{n - i+1}[/math] есть не более [math]\Delta(G) - 1[/math] уже покрашенных соседей, следовательно вершину [math] v_{n-i+1}[/math] можно покрасить по крайней мере в один из свободных цветов. Таким образом граф можно покрасить в [math] \Delta[/math] цветов, следовательно [math] \chi(G) \le \Delta(G)[/math].

[math]\triangleleft[/math]

Теорема

Теорема (Брукса):

Пусть [math]G(V,E)[/math] — связный неориентированный граф и [math]G[/math] не является [math]K_m[/math] или [math]C_{2m+1}[/math], ни для кого [math] m[/math], то [math]\chi(G) \le \Delta(G)[/math], где [math]\Delta(G)[/math] - максимальная степень вершин [math]G[/math]

Доказательство:

[math]\triangleright[/math]

Если [math] \Delta = 0[/math], [math] G = K_1[/math] Если [math] \Delta = 1[/math], [math] G = K_2[/math] Если [math] \Delta = 2[/math], то: [math] G [/math]— либо дерево либо четный цикл и тогда [math] \chi(G) = 2[/math] [math] G[/math] нечетный цикл Поэтому мы будем считать до конца доказательства, что [math] \Delta(G) \ge 3[/math]. Если в [math]G[/math] существует вершина [math]v[/math] степени [math] deg\ v \lt \Delta(G)[/math], то по выше доказанной лемме [math] \chi(G) \le \Delta(G)[/math]. То есть осталось рассмотреть случай, когда [math]G[/math] — планарный граф. Если [math]G[/math] не является двусвязным графом, тогда в графе [math] G[/math] [math] \exists[/math] [math] v \in V[/math], где v — точка сочленения. Пусть [math]G_1,G_2[/math] две компоненты связности полученный при удалении вершины [math]v[/math].Тогда, по выше доказанной лемме [math]G_1,G_2[/math] можно правильно покрасить в [math]\Delta[/math] цветов.Поскольку количество соседей вершины [math] v [/math] в каждой из компонент не более [math] \Delta - 1[/math], то [math]G[/math] можно правильно раскрасить в [math]\Delta[/math] цветов. Если [math]G[/math] — двусвязный,но не трехсвязный. Тогда в графе [math] G[/math] [math] \exists[/math] [math] v,u \in V :(u,v) \notin E[/math] (в противном случаи граф будет полный).

[math]\triangleleft[/math]