Probleme vermutet, aber nicht einfach erwiesen

12

Wir haben viele Probleme, wie die Faktorisierung, die stark vermutet, aber nicht bewiesen werden, dass sie außerhalb von P liegen. Gibt es Fragen mit der entgegengesetzten Eigenschaft, nämlich, dass sie stark vermutet werden, aber nicht bewiesen werden, dass sie innerhalb von P liegen?

Elliot Gorokhovsky
quelle
Eine Referenzanfrage wie Ihre ist für Stack Exchange zu umfangreich - Sie bitten um eine Übersicht über ein ganzes Forschungsgebiet! Sie müssen Ihren Fokus erheblich einschränken, bevor eine Frage von angemessenem Umfang angezeigt wird. Versuchen Sie, mit Ihren Beratern zu sprechen, suchen Sie mit Google Scholar und lesen Sie diesen Leitfaden, um eine bessere (Neu-) Suche in Academia durchzuführen .
Raphael
Wir haben keine strengen Richtlinien für Listenfragen, aber es gibt eine allgemeine Abneigung . Bitte beachten Sie auch diese und diese Diskussion; Vielleicht möchten Sie Ihre Frage verbessern, um die dort erläuterten Probleme zu vermeiden. Wenn Sie sich nicht sicher sind, wie Sie Ihre Frage verbessern können, können wir Ihnen vielleicht im Computer Science Chat helfen ?
Raphael
Du meinst Probleme, bei denen niemand weiß, ob sie innerhalb oder außerhalb von P liegen?
Trilarion
1
Es gibt solche Probleme bei bestimmten Unterklassen von Graphen; Ich werde später versuchen, eine Antwort hinzuzufügen.
Juho
@Juho Es würde mich interessieren, Ihre Antwort zu sehen
Elliot Gorokhovsky

Antworten:

22

Eine der plausiblen Antworten wäre vor zwei Jahrzehnten das Testen der Primalität : Es gab Algorithmen, die in randomisierter Polynomzeit abliefen, und Algorithmen, die in deterministischer Polynomzeit unter einer plausiblen zahlentheoretischen Vermutung abliefen, aber keine bekannten deterministischen Polynomzeitalgorithmen. Im Jahr 2002 änderte sich dies mit dem bahnbrechenden Ergebnis von Agrawal, Kayal und Saxena, dass der Primärtest in P. enthalten ist. Daher können wir dieses Beispiel nicht mehr verwenden.

Ich würde Polynomidentitätstests als Beispiel für ein Problem anführen, bei dem die Wahrscheinlichkeit groß ist, dass es sich um P handelt, bei dem es jedoch niemandem gelungen ist, dies zu beweisen. Wir kennen randomisierte Polynom-Zeit-Algorithmen zum Testen der Polynomidentität, aber keine deterministischen Algorithmen. Es gibt jedoch plausible Gründe zu der Annahme, dass die randomisierten Algorithmen derandomisiert werden können.

Beispielsweise wird in der Kryptographie stark angenommen, dass hochsichere Pseudozufallsgeneratoren existieren (z. B. ist AES-CTR ein vernünftiger Kandidat). Und wenn dies zutrifft, sollte das Testen der Polynomidentität in P erfolgen. (Verwenden Sie beispielsweise einen festen Startwert, wenden Sie den Pseudozufallsgenerator an und verwenden Sie dessen Ausgabe anstelle von Zufallsbits. Es würde eine enorme Verschwörung erfordern, damit dies fehlschlägt. ) Dies kann mit dem Zufalls-Orakel-Modell formalisiert werden. Wenn wir Hash-Funktionen haben, die durch das Zufalls-Orakel-Modell geeignet modelliert werden können, folgt daraus, dass es einen deterministischen Polynom-Zeit-Algorithmus zum Testen der polynomiellen Identität gibt.

Weitere Informationen zu diesem Argument finden Sie in meiner Antwort zu einem verwandten Thema und meinen Kommentaren zu einer verwandten Frage .

DW
quelle
12

Es ist eine schwierige Frage, weil es keinen Konsens gibt. Es gibt immer noch Leute , die vermuten , dass .P=NP

Aber meiner Meinung nach ist der Graph Isomorphism das bemerkenswerteste Problem bei einer signifikanten Vermutung, dass es sich um handeltP

Aber niemand weiß es wirklich.

Im Allgemeinen wird die "Vermutung, dass es in " selten sein. Wir nehmen nur an, dass ein Problem in P liegt, wenn wir dafür bereits keinen polynomialen Zeitalgorithmus haben. Aber nach all den Jahren keinen P- Algorithmus dafür finden zu können , wird wahrscheinlich eher als "Beweis" dafür gesehen, dass das Problem schwierig und nicht einfach ist.PPP

jmite
quelle
Ich dachte, der Graph-Isomorphismus sitzt dicht in der Nähe von NP-C?
John Dvorak
1
@ JanDvorak mathoverflow.net/questions/223420/…
xavierm02
P
4

NPcoNPeO(n)nP

Wojowu
quelle
1
en
@DW Kannst du ein Beispiel für ein solches Problem geben, von dem angenommen wird, dass es außerhalb von P liegt? Ich kenne keine.
Wojowu
2
Klar: Factoring, diskrete Protokollierung. Oder finden Sie ein ungefähres Nash-Gleichgewicht für ein Spiel mit zwei Spielern und andere (siehe diesen Kommentar von Scott Aaronson ). Oder GapCVP , die Lückenversion des nächsten Vektorproblems für Gitter mit geeigneten Parametern.
DW
1
en.wikipedia.org/wiki/… : "Es ist bekannt, dass es sowohl im NP als auch im Co-NP ist. Dies liegt daran, dass [...]"
DW
1
@ DW Ah, das stimmt in der Tat. Ich sehe jetzt, wie dies meine Antwort ungültig macht. Ich denke, ich lasse es trotzdem, aber danke für die Klärung!
Wojowu