Probleme in NP, aber nicht in Average-P / Poly


20

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 .NPP/pOlyPHΣ2PΣ2PΣ3PNPP/pOly

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 )?PH NPEINvereinGe-P/pOly

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 .EINvereinGe-P/pOlyEINvereinGe-P/pOlyP/pOly

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.)NP-EINvereinGe-P/pOly


2
(1) Ich glaube nicht, dass die Annahme, dass die Polynomhierarchie nicht zusammenbricht, impliziert, dass es ein im Durchschnitt hartes Problem in NP gibt. In Abschnitt 18.4 von Arora und Barak heißt es: „[…] Auch wenn wir wissen, dass bei P = NP die Polynomhierarchie PH zu P […] zusammenfällt, haben wir für die durchschnittliche Fallkomplexität kein analoges Ergebnis.“
Tsuyoshi Ito

3
(2) Ist P / poly in der Frage die übliche mit der schlimmsten Komplexität, oder ziehen Sie ein Analogon für den Durchschnittsfall in Betracht? Wenn dies der schlimmste Fall ist, benötigen Sie DistP ≠ DistNP und NP⊈P / poly, um ein solches Problem zu haben. Wenn dies zutrifft, erfüllt jedes DistNP-vollständige Problem die Anforderung, da ein DistNP-vollständiges Problem erforderlich ist NP-vollständig, wenn wir die Eingangsverteilung wegwerfen.
Tsuyoshi Ito

@ Tsuyoshi: Vielen Dank. Sie haben einen Punkt über den Worst-Case vs. Average-Case P / Poly. Bei einem zweiten Gedanken (über das ursprüngliche Problem) denke ich, dass ich P / poly als eine Klasse mit durchschnittlichem Fall interpretieren muss .
MS Dousti

Ich habe die Revision 3 gelesen. Tautologisch besteht ein solches Problem genau dann, wenn DistNP ⊈ Average-P / poly ist. Und wenn DistNP ⊈ Average-P / poly ist, liegt jedes DistNP-vollständige Problem außerhalb von Average-P / poly, da Average-P / poly unter Reduktionen geschlossen ist (zwischen Verteilungsproblemen). Aber vielleicht fragen Sie unter einer stärkeren Annahme nach einem natürlicheren Problem.
Tsuyoshi Ito

@ Tsuyoshi: Vielen Dank. Könnten Sie die Kommentare zu einer Antwort machen, damit ich sie akzeptieren kann?
MS Dousti

Antworten:


7

Dies ist eine leicht verbesserte Version meiner beiden Kommentare zu der Frage zusammen.

Beschränken wir uns der Einfachheit halber auf Verteilungsprobleme in DistNP (auch bekannt als (NP, P-computable)). Dann suchen Sie nach einem Problem in DistNP ∖ Average-P / poly. Tautologisch besteht ein solches Problem genau dann, wenn DistNP ⊈ Average-P / poly ist. Und wenn DistNP ⊈ Average-P / poly ist, dann liegt jedes DistNP-vollständige Problem außerhalb von Average-P / poly, da Average-P / poly unter durchschnittlichen Fallreduktionen geschlossen ist.

(Betrachtet man eine größere Klasse von SampNP (auch bekannt als (NP, P-samplable) ) anstelle von DistNP, ändert sich die Situation nicht wesentlich, da DistNP ⊆ Mittelwert-P / Poly genau dann, wenn SampNP ⊆ Mittelwert-P / Poly ist. Diese Äquivalenz ist direkt eine Folgerung aus dem Ergebnis von Impagliazzo und Levin [IL90], dass jedes Verteilungsproblem in SampNP im Durchschnitt auf ein Verteilungsproblem in DistNP zurückgeführt werden kann.)

Ich weiß nicht, welche natürliche Annahme DistNP ⊈ Average-P / poly impliziert. Die Annahme, dass die Polynomhierarchie nicht zusammenbricht, impliziert nach Abschnitt 18.4 von Arora und Barak [AB09] nicht einmal eine schwächere Konsequenz als DistNP ⊈ Average-P: „[…] obwohl wir wissen, dass wenn P = NP Wenn dann die Polynomhierarchie PH zu P […] zusammenbricht, haben wir kein analoges Ergebnis für die durchschnittliche Fallkomplexität. “

Verweise

[AB09] Sanjeev Arora und Boaz Barak. Computerkomplexität: Ein moderner Ansatz , Cambridge University Press, 2009.

[IL90] Russell Impagliazzo und Leonid A. Levin. Es gibt keine bessere Möglichkeit, harte NP-Instanzen zu generieren, als gleichmäßig nach dem Zufallsprinzip zu wählen. Im 31. jährlichen Symposium über Grundlagen der Informatik , 812–821, Oktober 1990. http://dx.doi.org/10.1109/FSCS.1990.89604

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.