Выдержка из книги
Ершов А.П.
Введение в теоретическое программирование беседы о методе
Сводя раскраску вершин графа к их последовательному склеиванию, нам нужно убедиться, что на этом пути мы не утрачиваем потенциальной возможности получить минимальную раскраску исходного графа. Конечно, можно сразу сообразить, что если взять некоторую минимальную раскраску в X красок и склеить между собой все вершины, окрашенные одним цветом, то в результате у нас получится - полный граф, однако на самом деле нам требуется более сильное утверждение, которое мы оформим в виде теоремы.
