Batas bawah pada #SAT?

Masalah #SAT adalah masalah # -p diselesaikan kanonik. Ini masalah fungsi daripada masalah keputusan. Ia bertanya, diberi rumus boolean dalam logika proposisional, berapa banyak tugas memuaskan yang F miliki. Apa batas bawah terbaik di #SAT?$F$$F$

Sepengetahuan saya, belum ada yang tahu cara mengeksploitasi properti "menghitung solusi" dari #SAT dalam batas yang lebih rendah pada algoritma deterministik, jadi sayangnya batas bawah yang paling terkenal untuk #SAT pada dasarnya sama dengan SAT.

$1/2$$PP$$O(n)$

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

Survei di http://pages.cs.wisc.edu/~dieter/Papers/sat-lb-survey-fttcs.pdf memberikan ikhtisar hasil dalam arah ini.

Juga, #SAT tidak memiliki skema pendekatan acak penuh polinomial (FPRAS) kecuali $NP=RP$.