Ich interessiere mich für die natürliche Verallgemeinerung des berühmten 15-Puzzles , bei dem Sie Blöcke schieben müssen, bis Sie alle angegebenen Zahlen sortiert haben (normalerweise gibt es eine Lücke von 1 Block). Die Verallgemeinerung wäre nun, die Größe des Puzzles von 15 auf , wobei ein Feld...
Gibt es eine (vorzugsweise natürliche) NP-vollständige Sprache , so dass für jedes n ≥ 1 | L ∩ { 0 , 1 } n | = 2 n - 1 gilt? Mit anderen Worten enthält L genau die Hälfte aller n- Bit-Instanzen.L ⊆ { 0 , 1 }∗L⊆{0,1}∗L\subseteq \{0,1\}^*n ≥ 1n≥1n\geq 1 | L∩{0,1 }n| = 2n - 1|L∩{0,1}n|=2n−1|L\cap...
Der Zugriff auf ein -Orakel würde für alles in N P - P (vorausgesetzt, die Menge ist nicht leer) eine bedeutende, superpolynomielle Beschleunigung bewirken. Es ist jedoch weniger klar, wie sehr P von diesem Zugang zum Orakel profitieren würde . Natürlich kann die Beschleunigung in P kein...
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 ,...
Nehmen wir an, eine Sprache ist P- dichtennah, wenn es einen polynomialen Zeitalgorithmus gibt, der für fast alle Eingaben korrekt entscheidet .LLLLLLL Mit anderen Worten, es gibt ein P , so dass verschwindet, was Dies bedeutet auch, dass bei einer einheitlichen Zufallseingabe der...
Die berühmte Isomorphismus-Vermutung von Berman und Hartmanis besagt, dass alle vollständigen Sprachen polynomiell zeitisomorph (p-isomorph) zueinander sind. Die Schlüsselbedeutung der Vermutung ist, dass sie impliziert . Es wurde 1977 veröffentlicht und ein Beleg dafür war, dass alle zu diesem...
Ist es möglich, algorithmisch zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist? Mit anderen Worten, könnte eine Bibliothek, die berechenbare Zahlen implementiert, die Funktionen bereitstellen, isIntegeroder isRational? Ich vermute, dass es nicht möglich ist und dass dies irgendwie...
Gibt es NP vollständige Probleme ohne unendliche Teilmenge von Fällen so , dass die Mitgliedschaft in in Polynomialzeit, und für alle entschieden werden , in Polynomialzeit gelöst werden? (Angenommen, )& Phi; x ∈ & Phi; x P ≠ N PΦΦ\PhiΦΦ\Phix ∈ Φx∈Φx \in \PhixxxP≠ NPP≠NPP \neq...
Häufig verwendete Passwort-Hashing-Algorithmen funktionieren heute so: Salzen Sie das Passwort und geben Sie es in eine KDF ein. Bei Verwendung von PBKDF2-HMAC-SHA1 lautet der Kennwort-Hashing-Prozess beispielsweise DK = PBKDF2(HMAC, Password, Salt, ...). Da es sich bei HMAC um ein 2-Runden-Hashing...
Gibt es für jede beliebige NP-vollständige Sprache immer eine Polyzeit-Obermenge, deren Komplement ebenfalls unendlich ist? Unter /cs//q/50123/42961 wurde eine triviale Version angefragt, die keine unendliche Ergänzung der Obermenge vorsieht Für die Zwecke dieser Frage, können Sie davon ausgehen ,...
Was ist die Komplexität des folgenden Problems? Eingabe : HHH einHamilton-PfadinKnKnK_n eine Teilmenge von KnotenpaarenR⊆[n]2R⊆[n]2R \subseteq [n]^2 eine positive ganze Zahl kkk Abfrage : Gibt es einen passenden derart , daß für jeden ( v , u ) ∈ R , d G ( v , u ) ≤ k ? (wobei G = ( [ n ] , M ∪ H )...
Ich war ein sehr schönes Papier vor kurzem zu lesen Valiant und Vazirani , die zeigt , dass , wenn , dann kann es nicht ein effizienter Algorithmus seinen SAT zu lösen , auch unter dem Versprechen , dass es entweder unerfüllbar ist oder eine eindeutige Lösung . Dies zeigt, dass SAT keinen...
Wenn wir beweisen wollen , dass ein ist -komplette, dann wird der Standard - Ansatz ist ein Polynom berechenbare viel eine Reduktion eines bekannten zu zeigen -komplette Problem zu . In diesem Zusammenhang brauchen wir keine feste Grenze für die Laufzeit der Reduktion. Es genügt, jedes Polynom...
'Gegeben , gibt es , ' ist -vollständig.a , b , c ∈ Nein,b,c∈Na,b,c\in\Bbb Nx , y∈ Nx,y∈Nx,y\in\Bbb Na x2+ b y= ceinx2+by=cax^2+by=cN PNP\mathsf{NP} Zu welcher Komplexitätsklasse gehört 'Gegeben , gibt es , '?a , b , c ∈ Nein,b,c∈Na,b,c\in\Bbb Nx , y∈ Nx,y∈Nx,y\in\Bbb Na x2+ b y2=...
Berman-Hartmanis-Vermutung: Alle NP-vollständigen Sprachen sehen gleich aus, in dem Sinne, dass sie durch polynomielle Zeitisomorphismen miteinander in Beziehung gesetzt werden können [1]. Ich interessiere mich für eine feinkörnigere Version der "Polynomzeit", wenn wir parametrisierte Reduktionen...
Es ist seit den frühen 70er Jahren bekannt, dass NPNP{\bf NP} und E=DTIME(2O(n))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)}) nicht gleich sind (weil EE{\bf E} im Gegensatz zu NPNP{\bf NP} nicht unter polynomialen Mehrfachreduktionen geschlossen ist ). . Soweit ich weiß, ist jedoch noch offen, ob eine...
Betrachten Sie einen verbundenen ungerichteten Graphen mit nicht negativen Kantengewichten und zwei unterschiedlichen Eckpunkten . Im Folgenden sind einige Pfadprobleme aufgeführt, die alle die folgende Form haben: Suchen Sie einen Pfad, sodass eine Funktion der Kantengewichte auf dem Pfad minimal...
Ich stieß auf einen Artikel in Science "Memcomputing NP-vollständige Probleme in der Polynomzeit unter Verwendung von Polynomressourcen und kollektiven Zuständen" , der einige ziemlich erstaunliche Behauptungen aufstellt . Memcomputing ist ein neuartiges Nicht-Turing- Berechnungsparadigma, bei dem...
Was ist über die Komplexität von NP-harten Problemen in Cayley-Graphen bekannt? Angenommen, der Graph wird explizit als Multiplikationstabelle der Gruppe und als Liste der Generatoren angegeben. Die Eingabelänge entspricht also der Größe des Diagramms. Können wir NP-vollständige Probleme in solchen...
Gibt es ein natürliches vollständiges Graphproblem, das N P- vollständig bleibt, selbst wenn es auf eine in der Polynomzeit erkennbare Graphklasse beschränkt ist? Um degenerierte Fälle zu vermeiden, betrachten wir nur dichte Graphenklassen, in denen die Anzahl der nicht isomorphen ≤ n-...