Als «complexity-classes» getaggte Fragen

Computerkomplexitätsklassen und ihre Beziehungen

2
Ist
Durch http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Wenn AAA eine PSPACE-vollständige Sprache ist, PA=NPAPA=NPAP^{A}=NP^{A} . Wenn ein deterministisches Polynom-Zeit-Orakel ist, ist P B ≤ N P B (unter der Annahme von P ≤ N P ).BBBPB≠NPBPB≠NPBP^{B}\ne NP^{B}P≠NPP≠NPP\ne NP ist die Klasse der Entscheidungsprobleme analog zu # P und P ⊆ P P ⊆ P S …
3
Gibt es eine natürliche Einschränkung der VO-Logik, die P oder NP erfasst?
Das Papier Lauri Hella und José María Turull-Torres, Berechnen von Abfragen mit Logik höherer Ordnung , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 schlägt Logik VO vor, Logik variabler Ordnung. Dies ermöglicht eine Quantifizierung über Ordnungen über die Variablen. VO ist ziemlich leistungsfähig und kann einige nicht berechenbare Abfragen …
2
Minimale Baumbreite der Schaltung für MAJORITY
Was ist die minimale Baumbreite einer Schaltung über {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} für die Berechnung von MAJ? Hier MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} gibt 1 aus, wenn mindestens die Hälfte seiner Eingänge 111 . Ich kümmere mich nur um die Größe der Schaltung (sollte polynomisch sein) und dass ein Eingang nur einmal gelesen werden …
2
Reduktion von P gegen NP auf SAT
Die folgende Frage verwendet Ideen aus der Kryptographie, die auf die Komplexitätstheorie angewendet werden. Es handelt sich jedoch um eine rein komplexitätstheoretische Frage, für deren Beantwortung keinerlei Kryptowissen erforderlich ist. Ich schreibe diese Frage bewusst sehr informell. Mangels Details wird es möglicherweise etwas falsch angegeben. Bitte zögern Sie nicht, auf …
1
Folgen von
Ich habe einen Teil eines Beweises Versuch von ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP} . Der Beweisversuch besteht aus einer Karp-Reduktion vom ⊕P⊕P\oplus \mathbf{P} vollständigen Problem ⊕⊕\oplus 3-REGELMÄSSIGE VERTEX-ABDECKUNG auf SAT. Bei einem kubischen Graphen GGG gibt die Reduktion eine CNF-Formel FFF mit beiden folgenden Eigenschaften aus: FFF hat höchstens111 zufriedenstellende Aufgabe. …
1
Ist DSPACE (n) = DSPACE (1,5 n)?
Aus platz Hierarchie Theorem bekannt ist , daß , wenn raumkonstruierbar dann DSPACE ( ) , die gleich ist nicht DSPACE ( .fff2f(n)2f(n)2f(n)f(n))f(n))f(n)) Mit DSPACE ( meine ich hier die Klasse aller Probleme, die im Raum von einer Turing-Maschine mit einem festen Alphabet gelöst werden können . Dies ermöglicht es, …
1
vs
Ist ? Oder allgemeiner: Ist N P P P ⊆ P P P / p o l y ?NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}}NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly}
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.