Ich versuche, meinen Kopf um einen NP-Vollständigkeitsnachweis zu wickeln, der sich anscheinend um SAT / 3CNF-SAT dreht.
Vielleicht ist es die späte Stunde, aber ich fürchte, ich kann mir keine 3CNF-Formel vorstellen, die nicht befriedigt werden kann (ich vermisse wahrscheinlich etwas Offensichtliches).
Können Sie mir ein Beispiel für eine solche Formel geben?
quelle
Wenn Sie komplexere Beispiele für solche Formeln wünschen, werfen Sie einen Blick auf einige Benchmark-Probleme von SATLIB . ToughSAT ist auch ein nützliches Tool zum Erstellen von 3-SAT-Instanzen. Es ist einfach, befriedigende und unbefriedigende Instanzen zu erstellen.
quelle