POSITIVE CNF-SAT에서 만족스러운 과제 수 계산

주어진 일반 부울 공식 (CNF-SAT), 주어진 DNF 공식 또는 주어진 2SAT 공식에서 만족스러운 할당 수를 계산하는 문제는 # P- 완전한 문제 라는 것을 알고 있습니다.

이제 음수 리터럴이없는 CNF-SAT ( , 항상 A )를 고려하십시오. 결정 문제는 매우 쉽습니다 (모든 변수를 TRUE로 설정하고 대입이 수식을 만족하는지 확인). 그러나 만족하는 대입 수를 계산하는 것은 어떻습니까? 다항식 시간 알고리즘이 있습니까? 또는 # P- 완전한 문제입니다.$\neg A$$A$

이것은 여전히 ​​# P- 완료입니다 [1]. 이 문제는 일반적으로 montone (#) SAT라고합니다. 모노톤 # 2-SAT는 이미 # P- 완료되었습니다 (이것은 그래프의 정점 커버를 계산하는 것과 같습니다).

[1] Roth, Dan. "근사한 추론의 경도." 인공 지능 82.1-2 (1996) : 273-302.

이 문제는 Monotone-SAT입니다. Cook Reductions에서 # P-Complete입니다. "결정하기 쉽지만 계산하기 어려운"문제 중 하나입니다. 다음 용지를 추천합니다. P의 의사 결정 버전으로 하드 카운팅 문제의 자체 감소