Wir kennen das Problem, die Anzahl der erfüllenden Zuordnungen in einer gegebenen allgemeinen Booleschen Formel (CNF-SAT), einer gegebenen DNF-Formel oder sogar einer gegebenen 2SAT-Formel zu zählen, als ein # P-vollständiges Problem.
Betrachten Sie nun ein CNF-SAT ohne negatives Literal (no , immer ). Das Entscheidungsproblem ist sehr einfach (setzen Sie alle Variablen auf TRUE und prüfen Sie, ob die Zuweisung der Formel entspricht). Hat dies einen polynomialen Zeitalgorithmus? Oder es ist ein # P-vollständiges Problem.
quelle