Betrachten Sie das 3-SAT-Problem bei n Variablen. Die Anzahl der möglichen unterschiedlichen Klauseln ist:
Die Zahl der Problemfälle ist die Anzahl aller Teilmengen der Menge der möglichen Klauseln: . Trivialerweise gibt es für jedes n ≥ 3 mindestens eine erfüllbare und eine nicht erfüllbare Instanz. Ist es möglich, die Anzahl der erfüllbaren Instanzen für ein gegebenes n zu berechnen oder zumindest zu schätzen?