Als «complexity-classes» getaggte Fragen

Computerkomplexitätsklassen und ihre Beziehungen






2
Hat L eine Definition in Bezug auf Schaltkreise?
Viele mit Turing-Maschinen definierte Komplexitätsklassen haben Definitionen in Bezug auf einheitliche Schaltkreise. Beispielsweise kann P auch unter Verwendung von Schaltkreisen mit einheitlicher Polynomgröße definiert werden, und in ähnlicher Weise können BPP, NP, BQP usw. mit einheitlichen Schaltkreisen definiert werden. Gibt es also eine schaltungsbasierte Definition von L? Eine naheliegende Idee …

1
Warum sind diese beiden Definitionen von PPAD gleichwertig?
Die Komplexitätsklasse PPAD wird normalerweise definiert, indem angegeben wird, dass End-Of-The-Line PPAD-vollständig ist. End-Of-The-Line ist ein Suchproblem. Die Eingabe besteht aus einem gerichteten Graphen, in dem jeder Knoten höchstens 1 In-Grad und Out-Grad hat. Der Graph wird durch eine Polynomzeit-berechenbare Funktion , die den Vorgänger und Nachfolger von x zurückgibt …

1
Testkomplexität, wenn sich zwei Mengen von
Stellen Sie sich vor, wir haben zwei Mengen von Punkten der Größe . Was ist (zeitliche) Komplexität von Tests, wenn sie sich nur durch Rotation unterscheiden? : Es Rotationsmatrix existiert , so daß ?mmmX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OY.X=OY Hier geht es darum, reelle Werte darzustellen - der Einfachheit halber wird angenommen, dass es …

1
Zeithierarchien in DSPACE (O (s (n)))
Der Zeithierarchiesatz besagt, dass Turingmaschinen mehr Probleme lösen können, wenn sie (genug) mehr Zeit haben. Gilt es in irgendeiner Weise, wenn der Raum asymptotisch begrenzt ist? Wie verhält sich DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) zu DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) wenn fgfg\frac{f}{g} wächst schnell genug? Mich interessiert besonders der Fall, dass s(n)=ns(n)=ns(n) = n , g(n)=n3g(n)=n3g(n) …


1
Große Klassen, die LOGSPACE enthalten, für die strenge Einschlüsse nicht bekannt sind
Die Wikipedia-Seite auf PSPACE erwähnt, dass die Einbeziehung nicht als streng bekannt ist (leider ohne Verweise).NL⊂PHNL⊂PHNL\subset PH F1: Was ist mit und - sind diese bekanntermaßen streng?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} F2: Wenn nein, gibt es eine etablierte Klasse die und für die nicht bekannt ist, ob die Einbeziehung streng ist?CCCP#PP#PP^{\#P}L⊂CL⊂CL\subset C …

1
Ist
Können wir beweisen, dass für jede Sprache , die nicht N P -hart ist (dies setzt P ≠ N P voraus ), P L ≠ P SAT ? Kann dies alternativ unter vernünftigen Annahmen nachgewiesen werden?L ∈ N PL∈NPL\in\mathsf{NP}N PNP\mathsf{NP}P ≠ N PP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}

1
Bedeutet Kannans Theorem, dass NEXPTIME ^ NP ⊄ P / poly?
Ich las einen Artikel von Buhrman und Homer „Superpolynomial Circuits, Almost Sparse Oracles and the Exponential Hierarchy“ . NEXPTIMENPNEXPTIME^{NP}NEXPTIMENPNEXPTIME^{NP}Σ2EXP\Sigma_2EXP ∀c ∃L∈Σ2P\forall c\mbox{ }\exists L\in\Sigma_2P , so dass L ∉ S i z e (L∉Size(nc)L \not\in Size(n^c)Σ2P⊄P/polyΣ2P⊄P/poly\Sigma_2P \not\subset P/poly∃L∈Σ2P∃L∈Σ2P\exists L\in\Sigma_2P∀c∀c\forall cL∉Size(nc)L∉Size(nc)L \not\in Size(n^c)NEXPTIMENP⊄P/polyNEXPTIMENP⊄P/polyNEXPTIME^{NP} \not\subset P/poly

1
als Orakel
Tut NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP}halten? Klar NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP} , aber es scheint mir, dass NP∩coNPNP∩coNP\mathsf{NP\cap coNP} "deterministisch" ist, was mich glauben lässt, dass dies wahr ist. Gibt es einen einfachen Beweis (oder vielleicht nur per Definition)?

2
die -Hierarchie zusammen?
Wissen wir, dass die -Hierarchie nicht zusammenbricht ( für alle d )?TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd Der Zoo-Eintrag für TC0TC0\mathsf{TC^0} erwähnt nur die Trennung zwischen Tiefe 2 und 3. Gibt es auch eine Standardreferenz für die Tatsache, dass die \ mathsf {AC ^ 0_d}AC0dACd0\mathsf{AC^0_d} -Hierarchie nicht zusammenbricht?

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.