Theoretische Informatik np

1

Bedingungen für die Rückverfolgbarkeit von 3SAT-Satisfiability

Ich frage mich insbesondere, ob es eine interessante Bedingung für den Prozentsatz der Aufgaben gibt, die eine 3SAT-Formel erfüllen, um sicherzustellen, dass solche Probleme behoben werden können. Nehmen wir zum Beispiel die Klasse der 3SAT-Probleme an, dass der möglichen Zuordnungen die Boolesche Formel erfüllt; können wir effizient eine zufriedenstellende Aufgabe …

12 cc.complexity-theory ds.algorithms sat np

3

Gibt es ein einfaches Spiel mit asymmetrischer Komplexität?

Betrachten Sie die vollständigen Informationen zu kombinatorischen Spielen für zwei Spieler, die nach einer Polynomanzahl von Zügen enden. Abwechselnd wählen die Spieler aus einer endlichen Anzahl zulässiger Züge. Die übliche Frage ist, wie schwierig es ist, aus einer bestimmten Position den Gewinner zu ermitteln. Eine andere wäre, wie schwierig es …

11 cc.complexity-theory np board-games pspace

4

Gibt es bekannte NP-Probleme, von denen vermutet wird, dass sie im Durchschnitt exponentiell schwer sind?

Die ETH gibt an, dass SAT im schlimmsten Fall in subexponentieller Zeit nicht gelöst werden kann. Was ist mit dem Durchschnittsfall? Gibt es natürliche Probleme in NP, von denen vermutet wird, dass sie im Durchschnitt exponentiell schwer sind? Unter Durchschnittsfall versteht man die durchschnittliche Laufzeit mit gleichmäßiger Verteilung auf die …

11 cc.complexity-theory np average-case-complexity

1

NP gegen Co-NP und Logik zweiter Ordnung

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 …

11 cc.complexity-theory lo.logic np proof-complexity

3

Zwei Varianten von NP

Hier sind zwei Variationen der Definition von NP. Sie definieren (mit ziemlicher Sicherheit) unterschiedliche Komplexitätsklassen, aber meine Frage ist: Gibt es natürliche Beispiele für Probleme, die in diese Klassen passen? (Meine Schwelle für das, was hier als natürlich gilt, ist etwas niedriger als gewöhnlich.) Klasse 1 (eine Superklasse von NP): …

11 cc.complexity-theory complexity-classes np

1

Wovon ernähren sich Dichotomiesätze?

Es ist bekannt, dass bestimmte Klassen von NP- Problemen Dichotomiesätze haben , die garantieren, dass jede Aufgabe in der Klasse entweder NP- vollständig oder in P ist . Das bekannteste derartige Ergebnis ist Schäfers Dichotomiesatz zusammen mit einer Reihe von Verallgemeinerungen. Mein Verständnis ist, dass es nicht wirklich einfach ist, …

10 cc.complexity-theory np descriptive-complexity

3

Graphentheoretische Beschränkung auf Beweise in der Beweiskomplexitätstheorie

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 …

10 cc.complexity-theory reference-request graph-theory np proof-complexity

1

Hat jede Turing-erkennbare unentscheidbare Sprache eine NP-vollständige Teilmenge?

Hat jede Turing-erkennbare unentscheidbare Sprache eine NP-vollständige Teilmenge? Die Frage könnte als eine stärkere Version der Tatsache angesehen werden, dass jede unendliche Turing-erkennbare Sprache eine unendlich entscheidbare Teilmenge hat.

9 cc.complexity-theory np-hardness complexity-classes np decidability

1

Uneinheitliche vs. einheitliche Gegner

Diese Frage stellte sich im Zusammenhang mit der Kryptographie, aber ich werde sie im Folgenden in Bezug auf die Komplexitätstheorie vorstellen, da die Menschen hier mit letzterer besser vertraut sind. Diese Frage bezieht sich auf Probleme in NP, jedoch nicht auf Average-P / Poly und Beating Nonuniformity von Oracle Access …

9 cc.complexity-theory cr.crypto-security np advice-and-nonuniformity average-case-complexity

1

Schnittpunkt von Sprachen in NP

Kann der Schnittpunkt zweier Sprachen in NP, die nicht NP-vollständig sind, NP-vollständig sein? Kann die Schnittmenge zweier Sprachen in coNP, die nicht coNP vollständig sind, coNP vollständig sein? Kann der Schnittpunkt zweier Sprachen, eine in coNP, aber nicht vollständig, und eine andere in NP, aber nicht NP vollständig, NP vollständig …

8 complexity-classes np

Als «np» getaggte Fragen