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 Klasse der Entscheidungsprobleme analog zu # P und P ⊆ P P ⊆ P S …
Ich habe einen Teil eines Beweises Versuch von ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP} . Der Beweisversuch besteht aus einer Karp-Reduktion vom ⊕P⊕P\oplus \mathbf{P} vollständigen Problem ⊕⊕\oplus 3-REGELMÄSSIGE VERTEX-ABDECKUNG auf SAT. Bei einem kubischen Graphen GGG gibt die Reduktion eine CNF-Formel FFF mit beiden folgenden Eigenschaften aus: FFF hat höchstens111 zufriedenstellende Aufgabe. …
In einer zweimal gelesenen entgegengesetzten CNF-Formel erscheint jede Variable zweimal, einmal positiv und einmal negativ. Ich interessiere mich für das Problem , das darin besteht, die Parität der Anzahl zufriedenstellender Zuweisungen einer zweimal gelesenen entgegengesetzten CNF-Formel zu berechnen.⊕Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} Ich konnte keinen Hinweis auf die Komplexität eines solchen Problems finden. Die …
Für ein polynomielles lokales Suchproblem wissen wir, dass mindestens eine Lösung (lokales Optimum) existieren muss. Es könnten jedoch noch viele weitere Lösungen existieren. Wie schwierig ist es, die Anzahl der Lösungen für ein PLS-vollständiges Problem zu zählen? Das Entscheidungsproblem interessiert mich besonders : Hat die Instanz dieses PLS-vollständigen Problems zwei …
Ich denke, es würde # P-Space heißen, aber ich habe nur einen Artikel gefunden, der es vage erwähnt. Wie wäre es mit der Zählversion von EXP-TIME-Complete-, NEXP-Complete- und EXP-SPACE-Complete-Problemen? Gibt es frühere Arbeiten, die man in Bezug auf diese oder irgendeine Art von Einschluss oder Ausschluss wie Todas Theorem zitieren …
Was ist über den Phasenübergang bei # P-Complete-Problemen bekannt? Gibt es speziell einen anderen Phasenübergang für # DNF-k-SAT und # CNF-k-SAT? Update: Wie wir wissen, gibt es in Random k-SAT einen Phasenübergang, bei dem die Lösung des Problems von einfach zu schwierig und wieder zu einfach wechselt. Ich würde gerne …
KURZE FRAGE: Ist MAJ-3CNF ein PP-vollständiges Problem bei vielen Reduzierungen? LÄNGERE VERSION: Es ist bekannt, dass MAJSAT (Entscheidung, ob die Mehrheit der Zuweisungen des Satzsatzes dem Satz entspricht) unter vielen Reduzierungen PP-vollständig und #SAT unter sparsamen Reduzierungen # P-vollständig ist. Es ist auch offensichtlich, dass # 3CNF (dh #SAT, beschränkt …
Ich interessiere mich für das folgende Problem. Wir erhalten als Eingabe eine "Zielpermutation" sowie eine geordnete Liste von Indizes i 1 , … , i m ∈ [ n - 1 ] . Beginnend mit der Liste L = ( 1 , 2 , … , n ) (dh der …
Ich habe Les Valiants wegweisendes Papier durchgesehen und hatte es mit Proposition 4.3 auf Seite 10 des Papiers schwer. Ich kann nicht verstehen, warum es einen Generator mit bestimmten Werten für mit einer Basis { ( a 1 , b 1 ) … ( a r , b r ) …
Diese Frage ist mir in den Sinn gekommen, nachdem ich die Beiträge von András Salamon und Colin McQuillan zu meiner vorherigen Frage gelesen hatte . Zählen von Lösungen für monotone 2CNF-Formeln . EDIT 30 th März 2011 hinzugefügt Frage n ° 2. EDIT 29 th Oktober 2010 Frage nach András …
Ein Homomorphismus aus einem Graphen an einen Graph G ' = ( V ' , E ' ) ist eine Abbildung f von V auf V ' , so daß , wenn x und y benachbart sind , in E dann f ( x ) und f ( y ) …
Betrachten Sie das klassische # P-vollständige Problem # 3SAT, dh die Anzahl der Bewertungen zu zählen, um einen 3CNF mit Variablen erfüllbar zu machen. Ich interessiere mich für die additive Approximierbarkeit. Natürlich gibt es einen trivialen Algorithmus, um einen -Fehler zu erzielen , aber wenn , ist es möglich, einen …
Betrachten Sie eine monotone 3CNF-Formel mit den folgenden zusätzlichen Einschränkungen: Jede Variable erscheint in genau Klauseln.222 Bei beliebigen Klauseln teilen sie höchstens 1 Variable.222111 Ich würde gerne wissen, wie schwer es ist, die zufriedenstellenden Aufgaben einer solchen Formel zu zählen. Update 06/04/2013 12:55 Ich würde auch gerne wissen, wie schwer …
Sei ein Graph. Sei k ≤ | V | sei eine ganze Zahl. Sei O k die Anzahl der kanteninduzierten Teilgraphen von G mit k Eckpunkten und einer ungeraden Anzahl von Kanten. Sei E k die Anzahl der kanteninduzierten Teilgraphen von G mit k Eckpunkten und einer geraden Anzahl von …
In einer früheren Frage habe ich nach dem parametrisierten Algorithmus zum Auffinden von Bicliques gefragt, ob es schnelle parametrisierte Algorithmen zum Auffinden eines Biclique in einem Vertex-Graphen gibt, und festgestellt, dass er offen ist, wenn es sich um FPT wrt . Gilt das auch für das Zählen der Bicliques, oder …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.