Я думаю, что было бы неплохо составить список теорем, утверждающих, что P не равен NP, если и только если такие и такие выходы существуют, некоторый класс сложности содержится в другом классе сложности и так далее, и так далее.
cc.complexity-theory
big-list
p-vs-np
Тайфун Пей
источник
источник
Ответы:
Вот один из них:
Теорема Махани: разреженного NP-полного множества не существует тогда и только тогда, когда (при редукции Карпа).P≠NP
Еще один:
тогда и только тогда, когда P ≠ P HP≠NP P≠PH
источник
тогда и только тогда, когда существуют односторонние функции в худшем случае.п≠ Nп
Ссылка:
Алан Л. Сельман. Обзор односторонних функций в теории сложности. Математическая теория систем, 25 (3): 203–221, 1992.
источник
Вот результат теории описательной сложности:
тогда и только тогда, когда какое-либо свойство второго порядка не может быть выражено с использованием логики первого порядка плюс наименьшая фиксированная точка.п≠ Nп
Ссылка: Immerman, Языки, которые захватывают классы сложности
источник
Теорема Ладнера может быть сформулирована как:
том и только в том случае, если в N P - P существует неполное множество.п≠ Nп Nп- П
Неполный набор - это набор, который не является полным для при многократном сокращении времени за полином.Nп
Ссылка
Теория сложности и криптология: введение в криптосложность Йорг Роте, стр. 106
источник