Im Allgemeinen zählt das Abfrageband für ein Orakel für die räumliche Komplexität eines TM. Es erscheint jedoch plausibel, nur ein beschreibbares Orakelband zuzulassen (wie es bei L-Platz-Verkleinerungen verwendet wird). Ist eine solche Konstruktion sinnvoll? Ergibt es irgendwelche besonders...
Die Selbstreferenzialität des P / NP-Problems wurde manchmal als Hindernis für seine Lösung herausgestellt, siehe zum Beispiel Scott Aaronsons Artikel: Ist P vs. NP formal unabhängig ? Eine der vielen denkbaren Lösungen für P / NP wäre der Nachweis, dass das Problem formal unabhängig von ZFC oder...
[Anmerkung: Ich glaube, dass diese Frage in keiner Weise von der Richtigkeit oder Unrichtigkeit von Deolalikars Papier abhängt.] Auf Scott Aaronson Blog Shtetl Optimized , in der Diskussion über Deolalikar jüngsten Versuch P vs NP, machte Leonid Gurvits den folgenden Kommentar : Ich habe versucht,...
Das folgende interessante Problem ist kürzlich in meiner Forschung aufgetaucht: INSTANZ: Graph .G ( V, E)G(V,E)G(V, E) LÖSUNG: Eine akkordlose ungerade Zyklus-Vervollständigung, definiert als eine Obermenge der Kantenmenge so dass der vervollständigte Graph die Eigenschaft hat, dass jede Kante in...
Blattsprachen sind eine schöne Möglichkeit, viele Komplexitätsklassen einheitlich zu definieren. Die meisten Komplexitätsklassen werden normalerweise durch ein Rechenmodell (z. B. deterministisches / randomisiertes TM) und eine Ressourcengrenze (logarithmische Zeit, Polyraum usw.) spezifiziert. In...
Wenn ich einige aktuelle Threads zum Thema Quantencomputer ( hier , hier und hier ) lese, erinnere ich mich an eine interessante Frage zur Leistungsfähigkeit einer Art -norm preserving machine.ℓpℓp\ell_p Für Leute, die sich mit Komplexitätstheorie und Quantenkomplexität beschäftigen, ist Fortnows...
Wie schnell müsste ein nicht deterministischer Algorithmus für ein EXPTIME-vollständiges Problem sein, um zu implizieren ? Ein nicht deterministischer Algorithmus für die Polynomzeit würde dies sofort implizieren, da aber niemand glaubt . Wenn ich die Algebra richtig gemacht hätte (siehe unten),...
Es werden fünf verknüpfte Fragen gestellt und eine einzige integrierte Antwort erhofft: Frage 1 : Gibt es Sprachen , die nur von den Turing-Maschinen in erkannt werden, deren Laufzeitexponenten unentscheidbar sind ?PLLLPPP F2: Können Beispiele dieser Turingmaschinen endlich gebaut werden? F3:...
In der Arbeit "Ein Kompendium von Problemen, die für P vollständig sind" von Greenlaw, Hoover und Ruzzo (PS) (PDF) gibt es eine Liste von Problemen in P, von denen nicht bekannt ist, dass sie in NC vorliegen, und von denen auch nicht bekannt ist, dass sie P-vollständig sind . (Diese Liste fasst...
Zwei verwandte Fragen zum Bounded-Depth-Computing: 1) Angenommen, Sie beginnen mit n Bits, und um mit Bit i zu beginnen, können Sie mit einer gewissen Wahrscheinlichkeit p (i) unabhängig 0 oder 1 sein. (Wenn es das Problem einfacher macht, können wir annehmen, dass alle p (i) s 0,1 oder 1/2...
Das Liniendiagramm eines Hypergraphen ist das (einfache) Diagramm G mit Kanten von H als Eckpunkten, wobei zwei Kanten von H in G benachbart sind, wenn sie einen nicht leeren Schnittpunkt haben. Ein Hypergraph ist ein r- Hypergraph, wenn jede seiner Kanten höchstens r Eckpunkte
Angenommen, wir haben ein Problem, das durch einen reellen Parameter p parametrisiert ist, der "leicht" zu lösen ist, wenn und "schwer", wenn für einige Werte , .p = p0p=p0p=p_0p = p1p=p1p=p_1p0p0p_0p1p1p_1 Ein Beispiel ist das Zählen von Spin-Konfigurationen in Diagrammen. Die gewichteten...
Ich bin auf der Suche nach einer guten Übersicht über Algorithmen und Komplexität der linearen Algebra (Operationen wie Rang, Inverse, Eigenwerte, ... für Boolesche, und Ganzzahlen / Rationale Matrizen) mit Schwerpunkt auf Parallelität ( Hierarchie). und Polyzeitalgorithmen. Ich konnte keinen neuen...
In der Komplexitätsklasse gibt es einige Probleme, von denen angenommen wird, dass sie NICHT in der Klasse , dh Probleme mit deterministischen parallelen Algorithmen. Das Problem des maximalen Durchflusses ist ein Beispiel. Und es gibt Probleme, von denen man glaubt, dass sie in , aber ein Beweis...
Das Karp-Lipton-Theoem besagt, dass wenn , dann P H zu Σ P 2 zusammenbricht . Unter der Annahme , Trennungen zwischen Σ P 2 und Σ P 3 , kein N P -komplette Problem wird gehört P / p o l y .N P ⊂ P / p o l yNP⊂P/pOly\mathsf{NP} \subset \mathsf{P/poly}P
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...
In parametrisierter Komplexität ist ≤ W [ 2 ] ≤ … ≤ W [ P ] . Es wird vermutet, dass jeder der Containments richtig ist.F P T ⊆ W [1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆ W [ 2 ]⊆W[2]\subseteq \mathsf{W}[2] ⊆ … ⊆ W [ S.]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Wenn dann ist P = W [...
Der Titel sagt mehr oder weniger alles, aber ich denke, ich könnte ein bisschen Hintergrundwissen und einige spezifische Beispiele hinzufügen, an denen ich interessiert bin. Deskriptive Komplexitätstheoretiker wie Immerman und Fagin haben viele der bekanntesten Komplexitätsklassen mithilfe von...
Das PCP - Theorem besagt , dass es kein Polynomialzeitalgorithmus für MAX 3SAT eine Zuordnung zu finden befriedigend Klauseln einer erfüllbar 3SAT Formel , es sei denn P = N P .7/8+ϵ7/8+ϵ7/8+ \epsilonP=NPP=NPP = NP Es ist ein trivialer Polynomialzeitalgorithmus dass erfüllen der Klauseln. So können...
Diskussion : Ich habe in letzter Zeit einige Zeit damit verbracht, verschiedene Dinge in der Komplexität der Kommunikation zu lernen. Zum Beispiel habe ich mich wieder mit dem relevanten Kapitel in Arora / Barak vertraut gemacht, angefangen, einige Artikel zu lesen, und das Buch von Kushilevitz /...