Формула Зыкова

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

Независимым множеством (кокликой, англ. Coclique) в графе [math]G = (V, E)[/math] называется непустое множество [math]S \subset V: \forall v,u \in S\[/math] ребро [math](v,u) \notin E[/math].

Теорема (Зыкова):

Для хроматического многочлена графа [math]G[/math] верна формула: [math]P(G,x)=\sum\limits_{i=1}^n pt(G,i)x^{\underline{i}}[/math], где [math]pt(G,i)[/math] — число способов разбить вершины [math]G[/math] на [math]i[/math] независимых множеств, [math]n = |V|[/math].

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

[math]\triangleright[/math]

Подсчитаем число раскрасок графа [math]G[/math], в которых используется точно [math]i[/math] цветов, где [math]1 \leqslant i \leqslant x[/math]. Чтобы получить такую раскраску сначала одним из [math]pt(G,i)[/math] способов выбираем разбиение множества вершин графа [math]G[/math] на [math]i[/math] независимых множеств, затем берем один из классов в разбиении и раскрашиваем его в один из [math]x[/math] цветов, потом берем следующий класс и окрашиваем его вершины в одинаковый цвет любой из [math]x - 1[/math] оставшихся красок и т.д. Следовательно, число интереующих нас раскрасок графа [math]G[/math] равно [math]pt(G,i) \cdot x \cdot (x - 1) \cdot \ldots \cdot (x - i + 1) = pt(G,i) \cdot x^{\underline i}[/math]. Заметим тепреь, что при [math]i \gt x[/math] число [math]x[/math]-раскрасок, в которых используется точно [math]i[/math] цветов, равно [math]0[/math] и при этом [math]x^{\underline i}[/math] тоже равно [math]0[/math].Суммирование по [math]i[/math] от [math]1[/math] до [math]n[/math] даёт полное число способов. Отметим, что когда мы красим фиксированное разбиение, мы не делаем никаких предположений о связи самих классов, поэтому их необходимо красить в различные цвета. На этом этапе есть что-то общее с раскраской полного графа.

[math]\triangleleft[/math]

См. также

• Формула Уитни

Источники информации

• Асанов М. О., Баранский В. А., Расин В. В. Дискретная математика: Графы, матроиды, алгоритмы. — Ижевск: НИЦ «РХД», 2001. С. 140-141. — ISBN 5-93972-076-5