Изменения

=== Проблема раскраски Задача о раскраске вершин графа в <tex>k</tex> цветов ===Разрешается Переформулируем задачу в терминах принадлежности языку: пусть <tex> L = \{ \langle G, k \rangle \mid </tex>&nbsp; вершины <tex>G</tex> можно раскрасить в <tex>k</tex> цветов <tex>\}</tex>. Этот язык разрешается следующей недетерминированной программой за полиномиальное относительно числа вершин и рёбер время: <tex>r(\langle G, k \rangle)\colon</tex>