Теорема Кука

Материал из WEGA
Перейти к навигации Перейти к поиску

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

См. также

Литература

  • Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. — М.: Мир, 1979.
  • Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. — М.: Мир, 1982.
  • Касьянов В.Н. Лекции по теории формальных языков, автоматов и сложности вычислений. —

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