Als «np-intermediate» getaggte Fragen

28
Probleme zwischen P und NPC
Faktorisierung und Graph-Isomorphismus sind Probleme in NP, von denen weder bekannt ist, dass sie in P sind, noch dass sie NP-vollständig sind. Welche anderen (ausreichend unterschiedlichen) natürlichen Probleme teilen diese Eigenschaft? Künstliche Beispiele, die direkt aus dem Ladner-Beweis stammen, zählen nicht. Sind einige dieser Beispiele nachweislich NP-intermediär, wenn man nur …
4
Verallgemeinerter Satz von Ladner
Ladners Theorem besagt, dass wenn P ≠ NP ist, es eine unendliche Hierarchie von Komplexitätsklassen gibt, die ausschließlich P enthalten und ausschließlich in NP enthalten sind. Der Beweis verwendet die Vollständigkeit von SAT unter einer um ein Vielfaches verringerten NP. Die Hierarchie enthält Komplexitätsklassen, die durch eine Art Diagonalisierung aufgebaut …
3
Techniken, um zu zeigen, dass das Problem in der Schwebe der Härte liegt
Angesichts eines neuen Problems in dessen wahre Komplexität irgendwo zwischen P und NP-vollständig liegt, gibt es zwei Methoden, von denen ich weiß, dass sie verwendet werden können, um zu beweisen, dass es schwierig ist, dies zu lösen:NPNP\mathsf{NP}PP\mathsf{P} Zeigen Sie, dass das Problem GI-vollständig ist (GI = Graph Isomorphism) Zeigen Sie, …
2
NP-intermediäre Probleme mit effizienten Quantenlösungen
Peter Shor hat gezeigt, dass zwei der wichtigsten NP-Intermediate-Probleme, Factoring und das diskrete Log-Problem, im BQP liegen. Im Gegensatz dazu liefert der bekannteste Quantenalgorithmus für SAT (Grovers Suche) nur eine quadratische Verbesserung gegenüber dem klassischen Algorithmus, was darauf hindeutet, dass NP-vollständige Probleme auf Quantencomputern immer noch nicht gelöst werden können. …
6
Gibt es ein natürliches Problem in der Quasi-Polynom-Zeit, aber nicht in der Polynom-Zeit?
László Babai hat kürzlich bewiesen, dass das Graph-Isomorphismus-Problem in quasipolynomialer Zeit vorliegt . Siehe auch seinen Vortrag an der Universität von Chicago, Anmerkung aus den Vorträgen von Jeremy Kun GLL nach 1 , GLL nach 2 , GLL nach 3 . Nach Ladner Theorem, wenn P≠ NPP≠NPP \neq NP , …
2
GI-hartes Graph-Problem, von dem nicht bekannt ist, dass es
Der Graphisomorphismus ( ) ist ein guter Kandidat für Zwischenprobleme. Zwischenprobleme bestehen nur, wenn . Ich suche nach einem natürlichen Problem, das für den unter Karp-Reduktion schwer ist (Ein Graph-Problem , bei dem ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI&lt;mpXGI&lt;pmXGI <_p^m X Gibt es ein natürliches -Hartgraph-Problem, das weder G I -äquivalent ist noch als N …
1
Ist
Können wir beweisen, dass für jede Sprache , die nicht N P -hart ist (dies setzt P ≠ N P voraus ), P L ≠ P SAT ? Kann dies alternativ unter vernünftigen Annahmen nachgewiesen werden?L ∈ N PL∈NPL\in\mathsf{NP}N PNP\mathsf{NP}P ≠ N PP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}
1
Gibt es "NP-Intermediate-Complete" -Probleme?
Angenommen, P NP.≠≠\ne Ladners Theorem besagt, dass es NP-Zwischenprobleme gibt (Probleme in NP, die weder in P noch in NP-Complete vorliegen). Ich habe einige verschleierte Online-Referenzen gefunden, die darauf hindeuten (ich denke), dass es in NPI viele "Ebenen" gegenseitig reduzierbarer Sprachen gibt, die definitiv nicht alle in einer zusammenfallen. Ich …
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.