Das Karp-Lipton-Theoem besagt, dass wenn , dann P H zu Σ P 2 zusammenbricht . Unter der Annahme , Trennungen zwischen Σ P 2 und Σ P 3 , kein N P -komplette Problem wird gehört P / p o l y .
Ich interessiere mich für folgende Frage:
Unter der Annahme , daß nicht kollabiert oder in struktureller Komplexität andere vernünftige Annahme , unter der Annahme, was für hart auf durchschnittliches N P Probleme erwiesen , nicht liegt in A v e r ein g e - P / P o l y (falls vorhanden )?
Eine Definition von können gefunden werden in Beziehungen zwischen der Durchschnittsfall und Worst-Case - Komplexität . Dank Tsuyoshi für den Hinweis auf , dass ich tatsächlich brauchte, A v e r ein g e - P / p o l y anstelle von P / p o l y .
Ich denke, es gibt Probleme wie (die Entscheidungsversionen von) FACTORING oder DLOG, von denen vermutet wird, dass sie in , aber die Vermutung ist nicht auf der Grundlage von Trennungen zwischen beiden bewiesen Komplexitätsklassen. (Bitte korrigiere mich wenn ich falsch liege.)