BEARBEITEN am 08.02.2011: Nachdem ich einige Referenzen gefunden und gelesen hatte, entschloss ich mich, die ursprüngliche Frage in zwei separate zu unterteilen. Hier ist der Teil bezüglich UP vs NP, für den Teil syntaktische und semantische Klassen siehe Vorteile für syntaktische und semantische...
Kürzlich haben Watrous et al. Bewiesen, dass QIP (3) = PSPACE ein bemerkenswertes Ergebnis ist. Das war, gelinde gesagt, ein überraschendes Ergebnis für mich und hat mich zum Nachdenken angeregt ... Ich fragte mich, was wäre, wenn Quantencomputer durch klassische Computer effizient simuliert werden...
Ich folge dem Vorschlag von Josh Grochow und wandle meinen Kommentar von einer vorherigen Frage in eine neue Frage um. Welche Beweise haben wir für ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} Hier ist die Klasse von Sprachen, die durch nicht deterministische Polynomzeit-Turing-Maschinen erkennbar sind,...
In unserer jüngsten Arbeit, lösen wir ein Rechenproblem , das in der kombinatorischen Kontext entstanden ist , unter der Annahme , dass , wo ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} ist die E X P -Version von ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . Das einzige Papier auf...
In einer kürzlich gestellten Frage (siehe Konsequenzen von NP = PSPACE ) wurden die "schlimmen" Konsequenzen von erfragt . Die Antworten Liste nicht wenige Zusammenbruch Folgen, einschließlich N P = c o N P und andere, viel von Gründen zu glauben , N P ≠ P S P A C E
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...
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...
P / P o l y = N P / p o l y N P ⊆ P / p o l yP/poly=NP/polyP/poly = NP/poly impliziert , was wiederum interessante Konsequenzen wie den Zusammenbruch der Polynomhierarchie hat.NP⊆P/polyNP \subseteq P/poly Gibt es interessante Implikationen für ?P / P o l y ≠ N P / p o l yP/poly≠NP/polyP/poly \neq...
1979 schrieben Hopcroft / Ullman , dass L ⊆ P ⊆ NP ⊆ PSpace bekannt ist, aber L ⊊ PSpace die einzig richtige (& triviale) bekannte Einschließung ist, obwohl alle als richtige Einschließungen vermutet werden und "wo die Dinge noch stehen" ~ 4 Jahrzehnte später . seitdem gibt es bekannte...
Gegeben , so dass Koeffizienten p , q ist begrenzt B , ist p ≡ q hold ?p ( x1, … , X.n) , q( x1, … , X.n) ∈ Z [ x1, … , X.n]]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p , qp,qp,qB.BBp ≡ qp≡qp\equiv q Das Schwartz-Zippel-Lemma gilt hier, da es für...
Does bedeuten E = N E
Sei SAT die Sprache jener Instanzen von SAT, die Variablen , sei -SAT die Sprache jener Instanzen von SAT, in denen jede Klausel enthalten ist höchstens Literale, und sei -SAT ihr Schnittpunkt. Sei , wobei das Infimum über alle Algorithmen (Maschinen in einem Rechenmodell) reicht. Sei s_ \ infty =...
Angenommen , . Dann ein einfaches Argument zeigt , daß P H P P = N P . Können wir noch einen Schritt weiter gehen und P P P P = N P erhalten ? Das einfache Argument istN.P.= P.P.NP=PPNP=PPP.H.P.P.= N.P.PHPP=NPPH^{PP}=NPP.P.P.P.= N.P.PPPP=NPPP^{PP}=NP Theorem Wenn dann P H P P = N P .N.P.=...