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...
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...
Das Baker-Gill-Solovay-Ergebnis zeigte, dass die P = NP-Frage nicht relativiert, in dem Sinne, dass kein relativierender Beweis (unempfindlich gegenüber dem Vorhandensein eines Orakels) möglicherweise die P = NP-Frage lösen kann. Meine Frage lautet: Gibt es ein ähnliches Ergebnis für die Frage...
Bei der Arbeit an einem etwas unabhängigen Projekt für Suresh bin ich kürzlich auf einige Arbeiten von Page und Opper über User-Composable-Systeme gestoßen, und in einem Teil ihrer Arbeit wurden kurz Probleme besprochen, die in polynomieller Zeit nicht verifiziert werden können. Ich konnte nicht...
Ich habe in SP Jordan, D. Gosset, PJ Loves " -Vollständige Probleme für stoquastische Hamiltonianer und Markov-MatrizenQ MEINQ.MEINQMA " gelesen, dass es unwahrscheinlich ist, dass .Q MA ⊆ A MQ.MEIN⊆EINMQMA \subseteq AM Ich war überrascht über diese Behauptung. Also, was ist die richtige Beziehung...
'Gegeben , gibt es , ' ist -vollständig.a , b , c ∈ Nein,b,c∈Na,b,c\in\Bbb Nx , y∈ Nx,y∈Nx,y\in\Bbb Na x2+ b y= ceinx2+by=cax^2+by=cN PNP\mathsf{NP} Zu welcher Komplexitätsklasse gehört 'Gegeben , gibt es , '?a , b , c ∈ Nein,b,c∈Na,b,c\in\Bbb Nx , y∈ Nx,y∈Nx,y\in\Bbb Na x2+ b y2=...
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...
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...
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
Wir wissen, dass wenn ist, der gesamte PH zusammenbricht. Was ist, wenn die Polynomhierarchie teilweise zusammenbricht? (Oder wie kann man verstehen, dass PH über einem bestimmten Punkt und nicht unter einem bestimmten Punkt zusammenbrechen kann?)P.= N.P.P=NPP=NP Mit kürzeren Worten, was wären die...
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...
Betrachten Sie das folgende Spiel auf einem gerichteten gewichteten Graphen GGG mit einem Chip an einem Knoten. Alle Knoten von GGG sind mit A oder B markiert. Es gibt zwei Spieler Alice und Bob. Das Ziel von Alice (Bob) ist es, den Chip zu einem Knoten zu verschieben, der mit A (B) markiert ist....
wird allgemein als falsch vermutet.R P= NPRP=NPRP = NP Aber stell dir für einen Moment vor, dass es wahr ist. Wie wahrscheinlich wäre es in diesem Fall, dass ?P= NPP=NPP = NP Mit anderen Worten: Was könnte in einer Welt, in der , noch als Hindernis für uns angesehen werden, P = N P zu glauben ?R...
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...
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...
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...
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...
Diese Frage mag eine offensichtliche Antwort haben ... aber hier ist die Frage trotzdem. Intuitiv ist es die folgende plausible Aussage: "Eine Maschine mit einer Subroutine A, die wiederum eine Subroutine B hat, ist dieselbe wie eine Maschine mit einer Subroutine A, die Zugriff auf Subroutine B...
Ich habe ein Problem, das sich in NEXP NP befindet und auch durch ein alternierendes TM mit exponentieller Zeit und nur einem Wechsel (beginnend in einem existenziellen Zustand) gelöst werden kann.NPNP^{\text{NP}} Ist etwas über NEXP NP bekannt ? Ist es gleich NEXP oder einer anderen Klasse? Gibt...
Ich kann mich nicht erinnern, eine Klassentrennung gesehen zu haben, die nicht auf Diagonalisierungs- und Relativierungsergebnissen basiert. Die Diagonalisierung könnte weiterhin verwendet werden, um verbleibende bekannte Klassen zu trennen, da nicht relativierende Argumente weiterhin in der...