Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

1
Ist
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 Schaltungserfüllbarkeit für kleine Schaltungen . frage ich mich, was mit den korrigierten Versionen von .PPADPPAD{\bf …
2
GI-hartes Graph-Problem, von dem nicht bekannt ist, dass es
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&lt;mpXGI&lt;pmXGI <_p^m X Gibt es ein natürliches -Hartgraph-Problem, das weder G I -äquivalent ist noch als N …
3
Teilmenge Summe vs. Teilmenge Produkt (starke vs. schwache NP Härte)
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 X'}x_i = T Subset Produkt: Da und , Gibt es eine Teilmenge so dass .X={x1,...,xn}X={x1,...,xn}X = …
2
Minimierung der Größe des regulären Ausdrucks für endliche Mengen
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 Zeichenfolgen in der Sprache, und wir …
3
in Bezug auf
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 ).PCP[f(n),g(n)]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)]MAMA\mathcal{MA}f(n)f(n)f(n)g(n)g(n)g(n) 1990 haben Babai, Fortnow und Lund jedoch bewiesen, dass , es ist also nicht gerade eine Einschränkung. Was sind die Parameter ( ) …
1
Charakterisierung von einmal lesbaren Formeln über die gesamte Binärbasis
Hintergrund Eine Read-Once-Formel über eine Reihe von Gattern (auch Basis genannt) ist eine Formel, in der jede Eingabevariable einmal vorkommt. Einmal-Lese-Formeln werden üblicherweise über die De Morgan-Basis (die die 2-Bit-Gatter AND und OR und das 1-Bit-Gatter NOT aufweist) und die vollständige Binärbasis (die alle 2-Bit-Gatter aufweist) untersucht. So kann zum …
1
Wie effizient sind DPLL-basierte SAT-Löser bei befriedigenden PHP-Instanzen?
Wir wissen, dass DPLL-basierte SAT-Löser auf unbefriedigenden Instanzen von (Pigeon Hole-Prinzip) nicht richtig antworten , zB auf "Es gibt eine injektive Zuordnung von zu ": n + 1 nPHPPHP\mathrm{PHP}n+1n+1n+1nnn PHPn+1n:=⎛⎝⋀i∈[n+1] ⋁j∈[n] pi,j⎞⎠∧⎛⎝⋀i≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j)⎞⎠PHPnn+1:=(⋀i∈[n+1] ⋁j∈[n] pi,j)∧(⋀i≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j))\mathrm{PHP^{n+1}_{n}} := \left(\bigwedge_{i\in[n+1]} \ \bigvee_{j\in[n]} \ p_{i,j}\right) \wedge \left(\bigwedge_{i\neq i'\in[n+1]} \ \bigwedge_{j\in[n]} \ …
1
Schränkt das Erfordernis der Eindeutigkeit gültiger Antworten für Merlin die Leistungsfähigkeit der Arthur-Merlin-Protokolle ein?
Präambel. Die Komplexitätsklasse AM sind die Probleme, die durch ein interaktives Zwei-Runden-Beweissystem zwischen einem Prüfer "Merlin" und einem Prüfer "Arthur" gelöst werden können. Ein Problem - das eine Eigenschaft eines Objekts X testet - liegt in AM vor, wenn: In JA- Fällen kann Arthur für eine zufällige "Challenge" -Nachricht (mit …
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.