Oder mit anderen Worten, haben wir das für jede Sprache und , oder ?EINAAA ≤ p B B ≤ p ABBBA ≤pBA≤pBA \leq_p BB ≤pEINB≤pAB \leq_p
Wie jeder weiß, bietet das berühmte Buch von Garey und Johnson (und viele andere) eine hervorragende Referenz für die Reduktionstechnik in klassischer Umgebung. Gibt es Umfragen oder Bücher zum Thema Reduktionstechnik in parametrisierten Algorithmen, etwa zur
Problem: Für dargestellt durch eine Boolesche Schaltung, wird ein gleichmäßig zufälliges x ∈ { 0 , 1 } n erzeugt, so dass ϕ ( x ) = 1 (oder Ausgabe)ϕ:{0,1}n→{0,1}ϕ:{0,1}n→{0,1}\phi : \{0,1\}^n \to \{0,1\}x∈{0,1}nx∈{0,1}nx \in \{0,1\}^nϕ(x)=1ϕ(x)=1\phi(x)=1 wenn dies nicht der Fall ist x...
Wie jeder weiß, ist SAT vollständig für in Polynom-Zeit-Viel-Eins-Reduktionen. Es ist immer noch vollständig, wenn viele Reduzierungen vorgenommen wurden.A C 0NPNP\mathsf{NP}A C0EINC0\mathsf{AC^0} Meine Frage ist, welche Mindesttiefe für die Reduzierungen erforderlich ist. Formeller, Was ist die am...
Mir scheint, dass die meisten Komplexitätstheoretiker im Allgemeinen die folgende philosophische Regel glauben: Wenn wir nicht einen effizienten Algorithmus für Problem herauszufinden , können , und wir können Problem reduzieren zu Problem , dann gibt es wahrscheinlich keinen effizienten...
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)...
Die Komplexitätsklasse PPAD wurde von Christos Papadimitriou in seiner wegweisenden Arbeit von 1994 erfunden . Die Klasse soll die Komplexität von Suchproblemen erfassen, bei denen die Existenz einer Lösung durch "Paritätsargument in gerichteten Diagrammen" garantiert wird: Wenn ein gerichteter...
Letzte Woche las ich wieder Leslie's Lamport's 1982 Transkript einer Konferenz, die er über gelöste Probleme, ungelöste Probleme und Nicht-Probleme in der Nebenläufigkeit hielt . Das Papier ist leicht lesbar, aber eines der Dinge, an die ich gedacht habe, ist die folgende Behauptung: Kann ein...
Lance Fortnow behauptete kürzlich, dass der Nachweis von L! = NP einfacher sein sollte als der Nachweis von P! = NP : NP vom logarithmischen Raum trennen. Ich habe in einer vor dem Blog 2001 durchgeführten Umfrage zur Diagonalisierung (Abschnitt 3) vier Ansätze genannt, von denen jedoch keiner eine...
Vor einiger Zeit habe ich eine Referenzanfrage für Diagrammprobleme gesendet, in der wir eine 2-Partition der Kanten finden möchten, bei der beide Mengen eine Eigenschaft erfüllen, die nicht mit ihrer Kardinalität zusammenhängt. Ich habe versucht zu beweisen, dass das folgende Problem NP-schwer...
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 ,...
Wenn wir beweisen wollen , dass ein ist -komplette, dann wird der Standard - Ansatz ist ein Polynom berechenbare viel eine Reduktion eines bekannten zu zeigen -komplette Problem zu . In diesem Zusammenhang brauchen wir keine feste Grenze für die Laufzeit der Reduktion. Es genügt, jedes Polynom...
'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=...
Dieses Papier gibt einen Beweis dafür, dass es in einem Spiel mit Türen und Druckplatten PSPACE-schwer ist, zu bestimmen, ob der Avatar (des Spielers) einen bestimmten Ort erreichen kann oder nicht. Dies wird durch eine Reduktion von TQBF bewiesen , und die Länge der resultierenden Lösungen hängt...
Die Dichte einer Sprache ist eine Funktion d X : N → N, definiert als d X ( n ) = | { x ∈ X ∣ | x | ≤ n } | . Angenommen , A und B sind Sprachen über ein endliches Alphabet, A many-one logspace reduziert sich auf B und B nicht in L = DSPACE ( log n )XXXdX:N→NdX:N→Nd_X \colon \mathbb{N} \to...
Unique SAT ist das bekannte Problem: Stimmt es, wenn eine CNF-Formel ist, dass F genau ein Modell hat?FFFFFF Ich interessiere mich für das Problem «Genau SAT»: Stimmt es, wenn eine CNF-Formel F und eine ganze Zahl m > 1 gegeben sind , dass F genau m Modelle hat?mmmFFFm>1m>1m>1FFFmmm Beide...
Gibt es mit folgenden Eigenschaften:L ∈ N P.L∈NPL\in {\bf NP} Es ist bekannt, dass P = N P impliziert .L ∈ P.L∈PL\in {\bf P}P = N P.P=NP{\bf P}={\bf NP} Es gibt keine (bekannte) Polynomzeit Turing Reduktion von (oder ein anderen N P -komplette Problem) zu L .S.A T.SATSATN P.NP{\bf NP}L.LL Mit...
Diese Frage ist möglicherweise nicht technisch. Als Nicht-Muttersprachler und TA für die Algorithmusklasse habe ich mich immer gefragt, was Gadget in "Klausel-Gadget" oder "Variablen-Gadget" bedeutet. Das Wörterbuch besagt, dass ein Gadget eine Maschine oder ein Gerät ist, aber ich bin mir nicht...
In parametrisierter Komplexität verwenden Menschen die FPT-Reduktion (Fixed-Parameter-Tractable), um die W [t] -Härte zu beweisen. Theoretisch ist eine FPT-Reduktion keine Polynomzeitreduktion, da sie im Parameter k exponentiell ablaufen kann. In der Praxis sind alle FPT-Reduktionen, die ich...
Ich frage mich, ob NPC-Klassen, die durch Ein-Eins-Reduktionen und Turing-Reduktionen definiert sind, gleich sind. Bearbeiten: Eine andere Frage, sind Turing-Reduktionen nur kollabierende C- und Co-C-Klassen für einige C oder gibt es eine Klasse wie es ein Problem gibt, das nicht in unter...