In der beschreibenden Komplexität hat Immerman
Folgerung 7.23. Die folgenden Bedingungen sind äquivalent:
1. P = NP.
2. Über endlichen, geordneten Strukturen ist FO (LFP) = SO.
Dies kann als "Verstärken" von P = NP auf eine äquivalente Aussage über (vermutlich) größere Komplexitätsklassen angesehen werden. Beachten Sie, dass SO die Polynom-Zeit-Hierarchie PH erfasst und dass FO (LFP) P erfasst, so dass dies als P = NP betrachtet werden kann, wenn P = PH.
(Der interessante Teil davon ist die Aussage, dass P = NP P = PH impliziert; es ist trivial, dass P = CC für jede Klasse CC, die NP enthält, P = NP impliziert. Immerman bemerkt einfach "wenn P = NP, dann PH = NP" vermutlich, weil P = NP mit der Oracle-Definition von PH verwendet werden kann, um induktiv zu zeigen, dass die gesamte Hierarchie zusammenbricht.)
Meine Frage ist:
Wie viel weiter kann P = NP auf diese Weise verstärkt werden?
Was ist insbesondere die größte bekannte Klasse CC ', so dass P = NP P = CC' impliziert, und die kleinste Klasse CC, so dass P = NP CC = NP impliziert? Dies würde es ermöglichen, P = NP durch die äquivalente Frage CC = CC 'zu ersetzen. P scheint eine ziemlich mächtige Klasse zu sein, die wenig "Wackelspielraum" für Argumente zu bieten scheint, die versuchen, sie von NP zu trennen: Wie weit kann der Wackelspielraum verstärkt werden?
Mich würde natürlich auch ein Argument interessieren, das zeigt, dass P = PH die Grenze dieses Ansatzes ist.
Bearbeiten: Beachten Sie die eng verwandte Frage Warum impliziert P = NP nicht P = AP (dh P = PSPACE)? was sich auf die andere Richtung konzentriert, warum wir keine Beweise dafür haben, dass P = PSPACE. In den Antworten von Kaveh und Peter Shor wird argumentiert, dass die Anzahl der festzulegenden Wechsel entscheidend ist. Eine andere verwandte Frage ist Ein Entscheidungsproblem, von dem nicht bekannt ist, dass es sich um ein PH-Problem handelt, das jedoch in P steht, wenn P = NP ist und nach einem Kandidatenproblem fragt. Die Antworten können auch verwendet werden, um Antworten auf diese Frage zu konstruieren, obwohl diese Klassen etwas künstlich sind (danke an Tsuyoshi Ito, der darauf hingewiesen hat). In einer allgemeineren Einstellung ist das Einklappen von Zeit und Wechsel begrenzt fragt, ob ein lokaler Kollaps auf einer beliebigen Ebene in einer Alternativhierarchie einen Aufwärtskollaps hervorruft, wie dies bei der Hierarchie der Polynomzeit der Fall ist.