Двудольные графы и раскраска в 2 цвета

Определение:

Неориентированный граф [math]G = (W,E)[/math] называется двудольным, если множество его вершин можно разбить на две части [math] U \cup V = W , \mid U\mid \gt 0, \mid V\mid \gt 0[/math], так, что ни одна вершина в [math]U[/math] не соединена с вершинами в [math]U[/math] и ни одна вершина в [math]V[/math] не соединена с вершинами в [math]V[/math].

Теорема Кенига

Теорема (Кёниг):

Граф [math] G [/math] с конечным числом вершин является двудольным [math] \iff [/math] когда все циклы в графе [math] G [/math] имеют чётную длину.

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

[math]\triangleright[/math]

Достаточность. Рассмотрим двудольный граф. Начнем цикл в доли [math] U [/math]. Нужно пройти по четному числу ребер, чтобы подняться в [math] U [/math] снова. Следовательно, при замыкании цикла число ребер будет четным. Очевидно, что в двудольном графе нет петель. Необходимость. Пусть ненулевой граф [math] G [/math] связен и не имеет циклов нечетной длины. Выберем произвольно вершину [math] u [/math] и разобьем множество всех вершин на на два непересекающихся множества [math] V_0 [/math] и [math] V_1 [/math] так, чтобы в [math] V_0 [/math] лежали вершины [math] v_0 [/math],такие что кратчайшая цепь [math](u, v_0)[/math] была чётной длины, а в [math] V_1 [/math] соответственно вершины [math]v_1[/math], для которых длина цепи [math](u, v_1)[/math] - нечётная. При этом [math] u \in V_0 [/math] В [math] G [/math]

[math]\triangleleft[/math]

Пример двудольного графа

Раскраска в 2 цвета

Так как множество вершин двудольного графа можно разделить на 2 независимых подмножества так, что ни одна из вершин ни в одном из этих подмножеств не является смежной к вершине из этого же подмножества [math]\Rightarrow[/math] граф [math]G = (W,E)[/math] - 2-раскрашиваем. [math]\chi(G) = 2[/math].

Так как граф является двудольным тогда и только тогда, когда все циклы четны, определить двудольность можно за один проход в глубину. На каждом шаге обхода в глубину метим вершину. Допустим мы пошли в первую вершину - добавляем ее в множество [math] U [/math]. То есть ставим метку [math] 1 [/math]. Затем просматриваем все смежные вершины и если не помечена вершина, то метим ее как [math] 2 [/math] (то есть добавляем во множество [math] V [/math] ) и рекурсивно переходим в нее. Если же она мечена и у нее такая же метка как у нашей - то все граф не двудольный.

См. также

• Графы. Раскраски и укладки.