Выдержка из книги
Ершов А.П.
Введение в теоретическое программирование беседы о методе
Так вот, если взять граф с рис. 3.14 и раскрасить его по эвристике, подсказанной теоремой 8 ( мы будем называть это 1 - й эвристикой), то, следуя заданной нумерации вершин ( начиная с 1 - й вершины и в ее окрестности склеивая с вершиной с наименьшим номером и обозначая результат склеивания меньшим из двух рассматриваемых номеров), мы получим раскраску этого графа в три краски, показанные на фигуре римскими цифрами.
