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...
Das Stopp-Problem für Turing-Maschinen ist möglicherweise die kanonische, unentscheidbare Menge. Trotzdem beweisen wir, dass es einen Algorithmus gibt, der über fast alle Fälle entscheidet. Das Stopp-Problem gehört daher zu der wachsenden Sammlung von Personen, die das Phänomen der...
Ich interessiere mich für das folgende Problem: Gibt es bei einer gegebenen Matrix von einen ungerichteten Graphen auf Eckpunkten, deren Adjazenzmatrix zum Quadrat dieser Matrix passt?n × nn×nn\times nnnn Ist die rechnerische Komplexität dieses Problems bekannt? Bemerkungen: Natürlich kann dies...
In der offiziellen Clay-Problembeschreibung für P versus NP heißt es, dass aus dem folgt, dass "jede Sprache in [die in exponentieller Zeit mit einer deterministischen Turing-Maschine erkennbare Klasse von Sprachen] von einer Booleschen Schaltkreisfamilie berechnet werden kann , so dass für...
Ich interessiere mich für das Erlernen von Zusammenhängen zwischen "Chaos" oder allgemein dynamischen Systemen und der Frage. Hier ist ein Beispiel für die Art von Literatur, die ich suche:P= NPP=NPP{=}NP Ercsey-Ravasz, Mária und Zoltán Toroczkai. "Optimierungshärte als vorübergehendes Chaos in...
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...
Gibt es ein laufendes Projekt, um die Theoreme und Beweise der Komplexitätstheorie mit einem Beweisassistenten wie Coq formal zu verifizieren? Gibt es dafür
Angenommen, Sie erhalten einen zusammenhängenden, einfachen, ungerichteten Graphen H. Das H-freie Schnittproblem ist wie folgt definiert: Bei einem einfachen, ungerichteten Graphen G gibt es einen Schnitt (Aufteilung der Eckpunkte in zwei nicht leere Mengen, L, R), so dass die durch die...
Typischerweise haben effiziente Algorithmen eine polynomielle Laufzeit und einen exponentiell großen Lösungsraum. Dies bedeutet, dass das Problem in zweierlei Hinsicht einfach sein muss: Erstens kann das Problem in einer polynomiellen Anzahl von Schritten gelöst werden, und zweitens muss der...
Es ist bekannt, dass die Gruppe von Sprachen mit interaktiven Beweisen mit zwei Beweisen, in denen der Verifizierer in Polynomialzeit (MIP) läuft, NEXP ist. Aber gibt es Grenzen für die Macht solcher interaktiven Beweise, wenn die Macht der Prüfer eingeschränkt ist? Was ist beispielsweise die...
Im "letzten Absatz" der "ersten Seite" des folgenden Papiers: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Wenn NP polynomgroße Schaltkreise hat, dann ist MA = AM", Theoretical Computer Science, 1995. Ich bin auf eine etwas kontraintuitive Behauptung gestoßen:...
Ich habe das Buch Pairwise Independence and Derandomization zu diesem Thema gefunden, aber es ist eher forschungsorientiert als tutorialorientiert. Ich bin neu im Thema "Derandomisierung", und als solches wollte ich wissen, von welchem Verweis ich ausgehen soll? Ich bevorzuge eine, die sich mit...
Sei 0 ≤ p ≤ 10≤p≤10\le p\le 1 und betrachte das Entscheidungsproblem CLIQUE p Input: Ganzzahl s , Graph G mit t Eckpunkten und Kanten Frage: hat enthält eine Clique auf mindestens Vertices?pp_p sssGGGtttGs⌈ p ( t2) ⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Eine Instanz von CLIQUE enthält einen...
Eine Distribution soll -fool eine Funktion wenn . Und es wird gesagt, dass es eine Klasse von Funktionen täuscht, wenn es jede Funktion in dieser Klasse täuscht. Es ist bekannt, dass durch voreingenommene Räume die Klasse der Paritäten über Teilmengen täuschen. (siehe Alon-Goldreich-Hastad-Peralta...
Soweit ich weiß, haben alle bekannten deterministischen Pivot-Regeln für Simplex-Algorithmen bestimmte Eingaben, für die der Algorithmus exponentielle Zeit (oder zumindest kein Polynom) benötigt, um das Optimum zu finden. Nennen wir diese Instanzen "pathologisch", da der Simplex-Algorithmus...
Es ist leicht zu erkennen, dass jedes Problem, das im deterministischen Lograum ( ) entscheidbar ist, höchstens zur Polynomzeit ( P ) auftritt . Viele bekannte logspace Algorithmen (zum Beispiel: ungerichteten st-Konnektivität, planar Graphisomorphie) laufen in O ( n k ) , wobei k irrsinnig groß...
Ich möchte herausfinden, ob es allgemeine Ergebnisse oder Beispiele zur NP-Vollständigkeit des Problems gibt, eine zweite Lösung für ein NP-vollständiges Problem zu finden. Genauer gesagt interessieren mich Probleme in folgender Form: Gibt es bei einer gegebenen Lösung für eine Instanz I eines...
Ich habe versucht, " Pearls of Functional Algorithm Design " und anschließend " The Algebra of Programming " zu lesen , und es gibt eine offensichtliche Korrespondenz zwischen rekursiv (und polynomiell) definierten Datentypen und kombinatorischen Objekten mit derselben rekursiven Definition und...
Wie allgemein bekannt ist, kann PARITÄT nicht in Schaltkreisen mit konstanter Tiefe in Polygröße durchgeführt werden, und tatsächlich erfordern Schaltkreise mit konstanter Tiefe die EXP-Anzahl von Gattern. Was ist mit QUANTUM-Schaltungen? a) Kann PARITÄT mit einer Quantenschaltung durchgeführt...
Wie kann man zeigen, in welcher Beziehung "Unique Games Conjecture" und "PCP Theorem" zueinander stehen? Wie erklärt man, dass "Unique Games Conjecture" eine stärkere Form des "PCP-Theorems"