Изменения
Нет описания правки
*[[Классы NP и Σ₁]]
*[[Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи]]
*[[NP-полнота BH1N]]*[[Теорема Кука]]*[[Примеры NP-полных языков. Теорема Кука]]
*[[Теоремы о временной и емкостной иерархиях]]
*[[Теорема Бейкера — Гилла — Соловэя]]
