#SAT의 하한?

문제 #SAT는 정식 # P- 완전 문제입니다. 의사 결정 문제가 아니라 기능 문제입니다. 제안 논리에 부울 공식 가 주어지면 만족할만한 양수 F 가 몇 개인 지 묻습니다 . #SAT에서 가장 낮은 하한은 어느 것입니까?$F$$F$

내가 아는 한, 결정 론적 알고리즘의 하한에서 #SAT의 "카운팅 솔루션"속성을 활용하는 방법을 아무도 알지 못했기 때문에 불행히도 #SAT에 대해 가장 잘 알려진 하한은 기본적으로 SAT와 동일합니다.

그러나 약간의 진전이있었습니다. #SAT의 결정 버전은 "대부분-SAT"라고주의 : 공식 주어진 적어도 할 할당이 그것을 만족하는 수의를? $1/2$"Majority-SAT"는 이며, Majority-SAT에 대한 알고리즘이 주어지면 # SAT를 O ( n )로 풀 수 있습니다.$PP$$O(n)$ 호출로 .

$1/2$$X$$1/2$$Y$$PP^{PP}$

http://pages.cs.wisc.edu/~dieter/Papers/sat-lb-survey-fttcs.pdf 의 설문 조사는 이러한 방향으로 결과에 대한 개요를 제공합니다.

$NP=RP$