Теорема Кука

Теорема Кука (S.A.Cook, 1971) — задача о выполнимости является [math]\displaystyle{ \mathcal NP }[/math]-полной.

См. также

• Задача о вершинном покрытии,
• Задача о клике,
• Задача о неэквивалентности регулярных выражений,
• Задача о разбиении,
• Задача о точном покрытии 3-множествами,
• Задача о трехмерном сочетании,
• Классы [math]\displaystyle{ \mathcal P }[/math] и [math]\displaystyle{ \mathcal NP }[/math],
• Метод локальной замены,
• Метод построения компонент,
• Метод сужения задачи,
• Полиномиальная сводимость (трансформируемость),
• Труднорешаемая задача.

Литература

• Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. — М.: Мир, 1979.

• Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. — М.: Мир, 1982.

• Касьянов В.Н. Лекции по теории формальных языков, автоматов и сложности вычислений. —

Новосибирск: НГУ, 1995.