Выдержка из книги
Горбатов В.А.
Логическое управление распределёнными системами
Когда исходный граф не содержит в качестве подграфа граф Гк, то для любой пары вершин графа существует раскраска графа в К цветов, при которой эти вершины несоцветны, что обеспечивает многокомпонентную ЛГ-раскраску вершин графа. Таким образом, граф Гк является запрещенной фигурой многокомпонентной К-раскраски вершин графа.
