Изменения
Нет описания правки
Рассмотрим все произвольные раскраски графа <tex>G</tex>. Рассмотрим те из них, при которых вершины <tex>u</tex> и <tex>v</tex> окрашены в разные цвета. Если добавить к графу <tex>G</tex> ребро <tex>(u,v)</tex>, то они не изменятся, то есть останутся правильными. Рассмотрим раскраски, при которых <tex>u</tex> и <tex>v</tex> одного цвета. Все эти раскраски останутся правильными и для графа, полученного из G слиянием вершин u и v.
}}
'''Замечание:'''
Если к некоторому произвольному графу добавлять ребра последовательно, не меняя его вершин, то на каком-то шаге мы получим полный граф. Аналогично мы получим полный граф, если в произвольном графе уменьшим число вершин, путем их отождествления, не меняя числа ребер.
'''Следствие:'''
Хроматическая функция любого графа <tex>G</tex> равна сумме хроматических функций некоторого числа полных графов, порядки которых не превосходят порядка графа <tex>G</tex>.
== Коэффициенты хроматического многочлена ==
{{Теорема
