Angenommen, NP = co-NP und das Polynom begrenzen die Länge des Beweises der Unzufriedenheit für eine 3-CNF-Instanz . Dann gibt es keine Ergebnisse auf , was bildet einen Beweis Unerfüllbarkeit für die Länge kann nehmen? Dh im Allgemeinen müsste ein solcher Beweis zum Beispiel die volle Kraft der Logik zweiter …
Die Motivation für diese Frage ist die Tatsache, dass die meisten n-Bit-Strings inkompressibel sind. Intuitiv können wir analog vorschlagen, dass die meisten Beweise für Tautologien für die Polynomgröße inkompressibel sind. Grundsätzlich ist meine Intuition, dass einige Beweise von Natur aus zufällig sind und nicht komprimiert werden können. Gibt es eine …
Die Komplexität von Beweisen ist ein grundlegendster Bereich der Theorie der rechnerischen Komplexität. Ein letztendlicher Zweck dieses Bereichs besteht darin, zu beweisen , dh, jeder Prüfer kann keinen Beweis für die Unzufriedenheit der gegebenen Eingabeformel erbringen. N.P.≠ c o N.P.NP≠coNPNP\neq coNP Ein Graph ist ein formales Beweismodell. Meine Frage betrifft …
Gibt es eine natürliche Klasse von CNF-Formeln - vorzugsweise eine, die zuvor in der Literatur untersucht wurde - mit den folgenden Eigenschaften:C.CC ist ein einfacher Fall von SAT, wie z. B. Horn oder 2-CNF, dh die Zugehörigkeit zu C kann in Polynomzeit getestet werden, und die Formeln F ∈ C …
In einem Vortrag von Razborov wird eine merkwürdige kleine Aussage veröffentlicht. Wenn FACTORING schwierig ist, ist Fermats kleiner Satz in nicht beweisbar .S12S21S_{2}^{1} Was ist und warum sind aktuelle Beweise nicht in ? S 1 2S12S21S_{2}^{1}S12S21S_{2}^{1}
Die Auflösung ist ein Schema zum Nachweis der Unzufriedenheit von CNFs. Ein Beweis in der Auflösung ist eine logische Ableitung der leeren Klausel für die anfänglichen Klauseln in der CNF. Insbesondere kann jede Anfangsklausel abgeleitet werden, und aus zwei Klauseln A ∨ xA∨xA \lor x und B ∨ ¬ xB∨¬xB …
Wikipedia [1] gibt an, dass die bekannteste Untergrenze für die Größe von Frege-Beweisen quadratisch ist und dass keine superlinearen Untergrenzen für die Anzahl der Zeilen von Frege-Beweisen bekannt sind. Fragen: 1) Was ist die bekannteste Untergrenze für die Anzahl der Zeilen erweiterter Frege-Beweise? 2) Was ist die bekannteste Untergrenze für …
Ich versuche, das Papier über p-Optimal Proof-Systeme und Logik für PTIME zu verstehen . In der Zeitung gibt es einen Begriff namens Beweissysteme, und ich verstehe die Intuition nicht: Σ = { 0 , 1 }Σ={0,1}\Sigma = \{0,1\} ... Wir identifizieren Probleme mit Teilmengen von in .Σ *Q.QQΣ∗Σ∗\Sigma^* Ich denke, …
Eine Möglichkeit, NP coNP zu beweisen, besteht darin, zu zeigen, dass es für jedes in Polynomzeit berechenbare Aussagenbeweissystem eine Familie von Tautologien gibt, für die Superpolynombeweislängen erfordert (wobei die Länge der Tautologie nachgewiesen wird). Ergebnisse wie das von Haken und Ajtai fixieren ein aussagekräftiges Beweissystem und beweisen, dass eine bestimmte …
In der Arbeit "Effiziente CNF-Codierung zur Auswahl von 1 aus N Objekten" stellen die Autoren ihre "Commander Variable" -Technik zur Codierung der Einschränkung vor und sprechen dann über das Pigeonhole-Problem. Da mein Fehler möglicherweise im Verständnis auf niedrigerer Ebene besteht, möchte ich erklären, was ich zu wissen glaube, bevor ich …
Ein Entscheidungsproblem ist gut charakterisiert, wenn es sich in . Viele natürliche Graphprobleme haben gute Charakterisierungen. Zum Beispiel liefert Kuratuwskis Theorem eine gute Charakterisierung planarer Graphen. Der Satz von Konig liefert eine gute Charakterisierung von zweigeteilten Graphen. Der Satz von Tutte bietet eine gute Charakterisierung von Graphen, die perfekt übereinstimmen. …
Kontext: Soweit ich weiß, dient in der Theorie der geometrischen Komplexität das Vorhandensein von Hindernissen sozusagen als Nachweis für das Nichtvorhandensein einer effizienten Rechenschaltung für die explizite harte Funktion im betrachteten Problem der unteren Grenze. Nun gibt es einige andere Annahmen für Hindernisse, dass sie kurz, leicht zu überprüfen und …
Es ist bekannt , dass , wenn P=NPP=NPP=NP dann CoNP=PCP[O(log(n)),O(1)]CoNP=PCP[O(log(n)),O(1)]CoNP= PCP[O(log(n)),O(1)] . Es ist auch bekannt, dass NEXP=PCP[poly(n),poly(n)]NEXP=PCP[poly(n),poly(n)]NEXP=PCP[poly(n),poly(n)]. Es scheint, dass PCP uns nicht sagen kann, welche natürlichen Probleme nicht in NPNPNP . Ich frage mich, ob es möglich ist, die PCP-Charakterisierung zu verwenden, um CoNPCoNPCoNP von zu trennen NPNPNP. …
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.