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....
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...
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...
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...