Das probabilistische Beweissystem wird allgemein als Einschränkung von , wobei Arthur nur Zufallsbits verwenden und nur untersuchen kann Bits des von Merlin gesendeten Proof-Zertifikats (siehe http://en.wikipedia.org/wiki/Interactive_proof_system#PCP
Ich interessiere mich allgemein für die von Baker-Gill-Solovay und Cohen verwendete Forcierungsmethode. Ich suche nach so vielen Quellen, wie ich in Bezug auf die Technik selbst oder ihre Verwendung in die Hände bekommen kann. Hat jemand
Es ist bekannt, dass die Minimierung der Größe eines regulären Ausdrucks PSPACE-vollständig ist, auch wenn wir einen DFA als Sprachspezifikation haben . Was sind die Ergebnisse, wenn die Sprache endlich ist? Man kann dieses Problem in zwei Modellen betrachten: Die Eingabe besteht aus allen...
Ich hatte gehofft, jemand könnte mir erklären, warum genau das Subset-Produktproblem stark NP-hart ist, während das Subset-Summenproblem schwach NP-hart ist. Subset Summe: Bei und , Gibt es eine Teilmenge so dass .X={x1,...,xn}X={x1,...,xn}X = \{x_1,...,x_n\}TTTX′X′X'∑i∈X′xi=T∑i∈X′xi=T\sum_{i\in...
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...
Der Graphisomorphismus ( ) ist ein guter Kandidat für Zwischenprobleme. Zwischenprobleme bestehen nur, wenn . Ich suche nach einem natürlichen Problem, das für den unter Karp-Reduktion schwer ist (Ein Graph-Problem , bei dem ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI<mpXGI<pmXGI...
Das folgende Problem taucht in Aaronsons Liste 10 Semi-Grand Challenges for Quantum Computing Theory auf . IstB Q P = B P PB Q N CBQ.P=BPPBQ.NC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} p o l y l o g (n) B Q P B P P B Q N C Mit anderen Worten, kann der "Quanten" eines beliebigen Quantenalgorithmus...
Was passiert, wenn wir so definieren, dass anstelle einer Polytime-Turing-Maschine / Polysize-Schaltung eine Logspace-Turing-Maschine oder eine -Schaltung das Problem codiert?PPADPPAD{\bf PPAD}AC0AC0{\bf AC^0} Kürzlich stellte sich heraus , dass es wichtig war, schnellere Algorithmen für die...
FewP ist die Klasse der NPNPNP -Probleme, bei denen das Polynom an die Anzahl der Lösungen (in der Eingabegröße) gebunden ist. Es ist kein NPNPNP -vollständiges Problem in fewPfewPfewP . Mich interessiert, wie weit wir diese Beobachtung ausdehnen können. Gibt es ein natürliches NPNPNP...
In einfacher Form: Kann ein endlicher Zwei-Wege-Automat vvv Vertex-Graphen erkennen, die ein Dreieck mit o(v3)o(v3)o(v^3) -Zuständen enthalten? Einzelheiten Von Interesse sind hier vvv Vertex-Graphen, die unter Verwendung einer Folge von Kanten codiert sind, wobei jede Kante ein Paar von...
In der Schaltungskomplexität gibt es Trennungen zwischen den Leistungen verschiedener Schaltungsmodelle. In der Beweiskomplexität unterscheiden wir Potenzen verschiedener Beweissysteme. In der Algorithmik gibt es jedoch nur wenige Unterschiede zwischen den Potenzen algorithmischer Paradigmen ....
Was sind einige wichtige Beispiele für eine erfolgreiche Derandomisierung oder zumindest Fortschritte bei der Darstellung konkreter Belege für das Ziel (nicht die Härte-Zufalls-Verbindung)?P=BPPP=BPPP=BPP Das einzige Beispiel, das mir in den Sinn kommt, ist das Testen der deterministischen...
Ich untersuche ein Problem, das für die Klasse der quantifizierten Booleschen Formeln mit einer logarithmischen Anzahl von Quantifiziererwechseln schwierig ist. Ein Problem in dieser Klasse würde so aussehen:
Wenn Sie mit der Programmüberprüfung vertraut sind, ziehen Sie es wahrscheinlich vor, die Frage vor dem Hintergrund zu lesen . Wenn Sie mit der Programmüberprüfung nicht vertraut sind, können Sie diese Frage möglicherweise immer noch beantworten, aber Sie werden es wahrscheinlich vorziehen, zuerst...
Der Satz von Rice besagt, dass jede nichttriviale Eigenschaft der Menge, die von einer Turing-Maschine erkannt wird, unentscheidbar ist. Ich suche nach einem komplexitätstheoretischen Satz vom Typ Reis, der uns sagt, welche nichttrivialen Eigenschaften von NP-Mengen nicht zu handhaben...
Zwei Papiere, die ich einschließen würde, sind: D. Kozen, "Indexing of subrecursive classes" , STOC, 1978. R. Ladner, "Über die Struktur der Polynomzeitreduzierbarkeit " , JACM, 1975.
Das Problem #SAT ist das kanonische # P-vollständige Problem. Es ist eher ein Funktionsproblem als ein Entscheidungsproblem. Sie fragt mit einer Booleschen Formel in der Aussagenlogik, wie viele befriedigende Zuordnungen hat. Welches sind die besten Untergrenzen für
Gibt es eine Möglichkeit, eine Instanz von Subset Sum oder das Number Partition Problem zu codieren, sodass eine (kleine) Lösung für eine Ganzzahlbeziehung eine Antwort ergibt? Wenn nicht definitiv, dann in einem wahrscheinlichkeitstheoretischen Sinne? Ich weiß, dass LLL (und möglicherweise PSLQ)...
ist die Klasse von Entscheidungsproblemen, die durch eine Familie von O ( log i n ) -Tiefenschaltungen mit UND-Gattern mit unbegrenztem Fanin-ODER und begrenztem Fanin lösbar sind. Negationen sind nur auf der Eingangsebene zulässig. Es ist bekannt, dassfürunter Komplement abgeschlossen ist...
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...