In den letzten zwei Jahrzehnten wurde fantastisch an der Permanenten gearbeitet. Ich habe mich eine Weile über die Möglichkeit eines Smooth-P-Algorithmus für die Permanente von nichtnegativen Matrizen gewundert. Es gibt natürlich den berühmten JSV-Algorithmus, aber das ist ein fpras. Wenn man an...
Beantworten Sie bei zwei CNF die Frage mit "Ja", wenn sie die gleiche Anzahl von Aufgaben haben, um sie zu erfüllen, andernfalls mit "Nein". Es ist leicht zu erkennen, dass es sich um , da wir, wenn wir die genaue Anzahl der Lösungen für diese beiden CNF kennen, sie nur kampieren und mit "Ja" oder...
1) Ist es möglich, eine sparsame Reduktion von einem # P-vollständigen Problem #A zu einem Zählproblem #B zu haben, wenn (die Entscheidungsversion) A NP-vollständig ist und das B in P ist? Kann es zum Beispiel eine sparsame Reduktion von #SAT auf #B geben, wenn B in P ist? 2) Wenn B in P ist,...
Gibt es interessante Probleme in jedoch nicht bekannt ist, dass sie in N C 2 sind ? In der Arbeit 'Eine Taxonomie der Probleme mit schnellen parallelen Algorithmen' erwähnt Cook, dass MIS bekanntermaßen nur in N C 5 vorkommt , dies jedoch inzwischen auf N C 2 reduziert wurde . Ich frage mich, ob es...
Ich lese den Anhang über ACC-Untergrenzen für NEXP in Aroras und Baraks Computational Complexity- Buch. http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Eines der Schlüsselmotive ist eine Transformation von -Kreisen zu mehrlinearen Polynomen über die ganzen Zahlen mit...
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...
Ich weiß, dass (logarithmisch viele Aufrufe an das NP-Orakel) P N P | entspricht | (Polynomzahl paralleler Anfragen an das NP-Orakel). Ich habe mich gefragt, ob die "Funktions" -Version dieser Klassen auch gleichwertig ist, das heißt, obPNP[logn]PNP[logn]\mathsf{P}^{\mathsf{NP}[\log...
Diese Frage stellte Jan Pax auf der Mailingliste Foundations of Mathematics . Sicherlich P⊕P⊆P#P=PPPP⊕P⊆P#P=PPPP^{\oplus P} \subseteq P^{\#P} = P^{PP} aber ich vermute , aus den Antworten auf diese Frage , dass es nicht bekannt , ob ⊕P⊆PP⊕P⊆PP\oplus P \subseteq PP (sonst PPPPPP wäre eine mögliche...
Die längste Zeit habe ich gedacht, dass ein Problem NP-vollständig ist, wenn es sowohl (1) NP-schwer als auch (2) NP ist. In der berühmten Veröffentlichung "Die Ellipsoidmethode und ihre Konsequenzen für die kombinatorische Optimierung" behaupten die Autoren jedoch, dass das Problem der...
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...
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...
Jedes Mal, wenn ich NP-Vollständigkeit unterrichte, fragen die Schüler: "Gibt es Probleme, von denen bekannt ist , dass sie nicht zu NP gehören?" Wie würden Sie antworten? Normalerweise gebe ich ihnen ein unentscheidbares Problem als Beispiel, aber dies stellt sich oft nicht gut heraus: (a) Wenn...
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
Ich hatte einige Nachforschungen angestellt, konnte aber in keiner Weise eine Antwort finden. Huck antwortete voll und ganz. Vielen Dank
Der parallele Pretitionssatz von Raz ist ein wichtiges Ergebnis bei PCP, Inapproximation usw. Der Satz ist wie folgt gegliedert. Ein Spiel , wobei S , T , A , B endliche Mengen sind, π eine Verteilung auf S × T ist und das Prädikat V : S × T × A × B ist → { 0 , 1 } . Definiere den Wert des Spiels v...
P / poly ist die Klasse von Entscheidungsproblemen, die durch eine Familie von Booleschen Schaltungen polynomialer Größe lösbar sind. Es kann alternativ als eine Polynom-Zeit-Turing-Maschine definiert werden, die eine Hinweiszeichenfolge empfängt, die in n polynomisch ist und die ausschließlich auf...
Kann das folgende alles gleichzeitig halten? LsLsL_s ist in für alle positiven ganzen Zahlen .Ls+1Ls+1L_{s+1}sss L=⋃sLsL=⋃sLsL = \bigcup_s L_s ist die Sprache aller endlichen Wörter über .{0,1}{0,1}\{0,1\} Es besteht eine gewisse Komplexitätsklasse und eine Vorstellung der Reduktion geeignet für ,...
Welche anderen Problemsprachen als der Graphisomorphismus gibt es in ? Können Sie einige Referenzen nennen?NP∩coAMNP∩coAMNP\cap coAM Update: Ich habe vergessen zu erwähnen, dass ich an Sprachen interessiert bin, von denen nicht bekannt ist, dass sie in
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...