Als «complexity-theory» getaggte Fragen

Fragen zur (rechnerischen) Komplexität der Problemlösung

1
Algorithmuskomplexitätsanalyse für Implementierungen funktionaler Programmiersprachen
Ich habe heute gelernt, dass sich die Algorithmusanalyse basierend auf dem Rechenmodell unterscheidet. Daran habe ich noch nie gedacht oder gehört. Ein Beispiel, das mir von User @chi weiter veranschaulicht wurde, war: Betrachten Sie zB die Aufgabe: gegeben return . Im RAM kann dies in gelöst werden, da der Array-Zugriff …
1
Wenn
Wenn P = N P.P=NP\mathbf{P} = \mathbf{NP} , ist dann L = N L.L=NL\mathbf{L} = \mathbf{NL} ? Ich stelle diese Frage, weil für andere nicht deterministische Klassen P = N P.P=NP\mathbf{P} = \mathbf{NP} anscheinend immer feststellt, dass sie ihren deterministischen Gegenstücken gleich sind.
1
Werden NP-vollständige Sätze nur dann aus zwei anderen Sätzen gebildet, wenn mindestens einer NP-hart ist?
Diese Frage ist eine Art Umkehrung zu einer früheren Frage zu Mengen, die aus Mengenoperationen für NP-vollständige Mengen gebildet wurden: Wenn die Menge, die sich aus der Vereinigung, dem Schnittpunkt oder dem kartesischen Produkt zweier entscheidbarer Mengen und ergibt, NP-vollständig ist, ist mindestens eine von notwendigerweise NP-hart? Ich weiß, dass …
4
Kann es schwierig sein, einen Zeugen zu finden, selbst wenn wir bereits wissen, dass es einen gibt?
Die häufigsten Beispiele für NP-harte Probleme (Clique, 3-SAT, Scheitelpunktabdeckung usw.) sind solche, bei denen wir vorher nicht wissen, ob die Antwort "Ja" oder "Nein" lautet. Angenommen, wir haben ein Problem, bei dem wir wissen, dass die Antwort Ja lautet. Außerdem können wir einen Zeugen in Polynomzeit verifizieren. Können wir dann …
2
Ist dieses klassische Puzzle-Buch-Spiel NP-komplett?
Es gibt ein klassisches Puzzlespiel, das einem Kreuzworträtsel sehr ähnlich ist, außer dass eine Liste von Wörtern angegeben wird und dann eine quadratische Tafel aus Einheitsquadraten gegeben wird, wobei einige Quadrate wie ein Kreuzwortwort verdunkelt sind. und auf einigen Quadraten ist bereits ein Brief vorgeschrieben. Das Ziel ist es, jedes …
4
Wiederherstellen einer Punkteinbettung aus einem Diagramm mit Kanten, die nach Punktabstand gewichtet sind
Angenommen, ich gebe Ihnen ein ungerichtetes Diagramm mit gewichteten Kanten und sage Ihnen, dass jeder Knoten einem Punkt im 3D-Raum entspricht. Immer wenn sich zwischen zwei Knoten eine Kante befindet, ist das Gewicht der Kante der Abstand zwischen den Punkten. Ihr Ziel ist es, die relativen Positionen der Punkte unter …
2
Würde
Wenn ist, kollabiert die Hierarchie auf ihre zweite Ebene (nach dem Karp-Lipton-Theorem). Aber was ist mit und ?N P c o N P.R P = N P.RP=NP\sf RP = NPN P.NP\sf NPc o N P.coNP\sf coNP Ich habe versucht zu beweisen, dass in (die andere Richtung ist trivial, wenn ), …
1
Wie sehen Komplexitätsklassen aus, wenn wir Turing-Reduktionen verwenden?
Um über Dinge wie die NP-Vollständigkeit nachzudenken, verwenden wir normalerweise Mehrfachreduktionen (dh Karp-Reduktionen). Dies führt zu Bildern wie diesen: (unter Standardvermutungen). Ich bin sicher, wir sind alle mit solchen Dingen vertraut. Welches Bild bekommen wir, wenn wir mit Turing-Reduktionen (dh Cook-Reduktionen) arbeiten? Wie verändert sich das Bild? Was sind insbesondere …
3
Warum Sprachen in der Komplexitätstheorie verwenden?
Ich beginne gerade mit der Berechnungstheorie, die untersucht, was wie schnell berechnet werden kann, wie viel Speicher verwendet wird und mit welchem ​​Rechenmodell. Ich habe eine ziemlich grundlegende Frage, hoffe aber wirklich, dass einige von euch mir helfen können, das Konzept dahinter zu verstehen: Warum dreht sich alles um den …
2
Können wir eine Karp-Reduktion aus einer Cook-Reduktion zwischen NP-Problemen konstruieren?
Wir hatten mehrere Fragen zum Verhältnis von Cook- und Karp-Reduktionen . Es ist klar, dass Cook-Reduktionen (Poluring-Zeit-Turing-Reduktionen) nicht den gleichen Begriff der NP-Vollständigkeit definieren wie Karp-Reduktionen (Polynom-Zeit-Viel-Eins-Reduktionen), die normalerweise verwendet werden. Insbesondere können Cook-Reduktionen NP nicht von Co-NP trennen, selbst wenn P NP. Daher sollten wir Cook-Reduktionen nicht in typischen …
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.