Ein anderer Blickwinkel auf Ihre Frage, der nicht eng / wörtlich genommen wird. Es wurde "zufällig" festgestellt, dass eine schaltlemmaähnliche Konstruktion das Herzstück eines gefeierten / sehr fortgeschrittenen Beweises in der Komplexitätstheorie ist, der eine exponentielle Untergrenze zeigt, die für ein SAT-ähnliches Problem in monotonen Schaltkreisen erforderlich ist, das ursprünglich von Razborov entdeckt wurde, der gewonnen hat der Nevanlinna-Preis für dieses Jahr. Sein erster Beweis wurde jedoch nicht in dieser Form verstanden, und es dauerte viele Jahre der erneuten Analyse mehrerer Papiere, um diesen Zusammenhang herauszustellen. Diese Bemühungen werden in diesem Artikel zusammengefasst: Monotone Komplexität durch Switching Lemma / Harnik, Raz. wie in ihrer Arbeit zitiert, ist es mit einer Neuformulierung von Berg und Ulfberg verbunden [BeUl97].
Das Schalt-Lemma und seine Umformulierungen sind daher weiterhin ein aktives Forschungsgebiet und ein grundlegendes "Mittel" zur Trennung von Komplexitätsklassen, und daher wäre es wahrscheinlich nicht ratsam, seine Verwendung in Zukunft vollständig auszuschließen (wichtig? / signifikant?). Trennungsergebnisse. Ihre Frage berührt auch P gegen L, das ebenfalls offen ist und von vielen als möglicherweise so schwierig wie P gegen NP angesehen wird (beide Fragen waren fast gleich lange offen, ungefähr 4½ Jahrzehnte). Einige Einschränkungen der Technik sind jedoch in der von Razborov / Rudich identifizierten Barriere für natürliche Beweise zu sehen .
Was 3SAT vs 2SAT betrifft, wie Sie in Ihrer Frage anfragen, ist 2SAT natürlich in P und 3SAT ist NP vollständig, so dass jede signifikante "Reduktion" wahrscheinlich auch P vs NP betreffen würde. Für Ihre NP vs NL-Idee gibt es andere aktive Forschungsbereiche, die sich mit der P vs NL-Frage befassen, z. B. diese aktuelle Analyse von Wehar, Härteergebnisse für Intersection Non Emptiness
In Bezug auf AC 0 -Reduktionen und ihre Auswirkungen auf (offene) Komplexitätsklassentrennungen gibt es einige Zusammenhänge, die in diesem jüngsten Durchbruchsergebnis vermerkt sind. Ein durchschnittlicher Tiefenhierarchiesatz für Boolesche Schaltungen / Rossman, Servedio, Tan (z.
Meyers Frage: Gibt es eine relativierte Welt, in der die Polynomhierarchie unendlich ist?
... um Meyers Frage zu bejahen, genügt es, für jede Konstante d ∈ auszustellen N.eine Boolesche Funktion F d, die durch eine Tiefen-d-AC 0
-Schaltung berechnet werden kann, so dass jede Tiefen- (d - 1) -Schaltung, die F d berechnet, eine Superquasipolynomgröße erfordert.