Theoretische Informatik hard-instances

3

Bekanntermaßen definierte Greibach eine Sprache , die sogenannte nichtdeterministische Version von D 2 , so dass jede CFL ein inverses morphes Bild von H istHHHD2D2D_2HHH . Gibt es eine ähnliche Aussage zu DCFL, möglicherweise mit einer gewissen Einschränkung der zulässigen Morphismen? (Siehe z. B. M. Autebert, J. Berstel und L. …

12 fl.formal-languages open-problem context-free nondeterminism hard-instances

2

Welche Korrelation besteht zwischen Baumbreite und Instanzhärte für zufälliges 3-SAT?

In diesem kürzlich erschienenen Artikel aus dem FOCS2013, Starke Hintertüren zu begrenztem Baumbreite SAT von Gaspers und Szeider, wird der Zusammenhang zwischen der Baumbreite des SAT- Klauseldiagramms und der Instanzhärte erläutert . Welche Korrelation besteht für zufällige 3-SAT-Instanzen, dh zufällig ausgewählte 3-SAT-Instanzen, zwischen der Baumbreite des Klauseldiagramms und der Instanzhärte? …

11 graph-algorithms sat treewidth random-k-sat hard-instances

1

Beispiele für harte Instanzen für den Goemans- und Williamson-Algorithmus

Ich interessiere mich für die expliziten Beispiele von Graphen, für die die Anwendung des Goemans- und Williamson-Algorithmus zur Approximation maximaler Schnitte einen Approximationsfaktor von 0,878… ergibt. Der Algorithmus zum Erstellen solcher Instanzen wäre perfekt, explizite Beispiele und Referenzen sind zufriedenstellend.

10 ds.algorithms approximation-algorithms max-cut hard-instances

3

Ist das Einbetten einer Lösung für SAT möglich?

Ich interessiere mich für "harte" Einzelfälle von NP-vollständigen Problemen. Ryan Williams diskutierte das SAT0-Problem in Richard Liptons Blog . SAT0 fragt, ob eine SAT-Instanz die spezifische Lösung hat, die aus allen Nullen besteht. Dies brachte mich zum Nachdenken über die Erstellung von SAT-Instanzen, die wahrscheinlich "schwer" sind. Betrachten Sie eine …

10 cc.complexity-theory sat hard-instances

Als «hard-instances» getaggte Fragen