У описовій складності Іммерман має
Наслідок 7.23. Наступні умови еквівалентні:
1. P = NP.
2. Над скінченними, упорядкованими структурами, FO (LFP) = SO.
Це можна вважати "посиленням" P = NP до еквівалентного твердження щодо (імовірно) великих класів складності. Зауважте, що SO фіксує ієрархію полінома-часу PH, а FO (LFP) фіксує P, тому це може вважатися P = NP iff P = PH.
(Цікава частина цього - твердження, що P = NP означає P = PH; тривіально, що P = CC означає P = NP для будь-якого класу CC, що містить NP. Immerman просто зауважує "якщо P = NP, тоді PH = NP" , мабуть тому, що P = NP можна використовувати з визначенням оракула PH, щоб індуктивно показати, що вся ієрархія руйнується.)
Моє запитання:
Скільки далі можна посилити P = NP таким чином?
Зокрема, який найбільший відомий клас CC 'такий, що P = NP означає P = CC', а найменший клас CC такий, що P = NP означає CC = NP? Це дозволило б P = NP замінити на еквівалентне запитання CC = CC '. P, здається, є досить потужним класом, який, здається, надає мало "простоти" для аргументів, які намагаються відокремити його від NP: наскільки може бути посилена кімната віггінгу?
Мені, звичайно, також був би цікавий аргумент, який показує, що P = PH є межею цього підходу.
Редагувати: зверніть увагу на тісно пов'язане питання Чому P = NP не означає P = AP (тобто P = PSPACE)? який зосереджується на іншому напрямку, чому ми не маємо доказів того, що P = PSPACE. Відповіді Каве і Петра Шор стверджують, що кількість чергувань, що встановлюються, є ключовою. Іншим пов'язаним питанням є проблема вирішення, яка, як відомо, не є в PH, але буде в P, якщо P = NP, яка запитує проблему кандидата; відповіді там також можуть бути використані для побудови відповідей на це питання, хоча ці класи дещо штучні (завдяки Цуйосі Іто, що вказав на це). У більш загальній обстановці, згортання машин для обмеження часу та чергування, обмежене чергуванням запитує, чи локальний колапс на будь-якому рівні в ієрархії чергування викликає згортання вгору, як це відбувається з ієрархією полінома-часу.