#SAT ile daha düşük sınırlar mı?

#SAT sorunu standart # P-complete sorunudur. Bu bir karar probleminden ziyade bir fonksiyon problemidir. Bir boolean formülü verilen sorar nasıl tatmin birçok atamaları önermeler mantığında, vardır. #SAT'daki en iyi alt sınırlar hangileri? $F$ $F$

— Giorgio Camerani
kaynak

Yanıtlar:

Bildiğim kadarıyla kimse deterministik algoritmaların herhangi bir alt sınırında #SAT'ın "sayım çözümleri" özelliğinden nasıl yararlanacağını bulamadı, bu yüzden maalesef #SAT için en iyi bilinen alt sınırlar temelde SAT ile aynıdır.

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

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

Http://pages.cs.wisc.edu/~dieter/Papers/sat-lb-survey-fttcs.pdf adresindeki anket, bu yöndeki sonuçlara genel bir bakış sunmaktadır.

— Ryan Williams
kaynak

Yararlı cevabınız için teşekkürler. Anketin göstergesine de teşekkür ederiz.

— Giorgio Camerani

$NP=RP$

— Muhammed El-Türkistan
kaynak

Referans verebilir misiniz?

— MS Dousti

Sezgisel olarak, bir FRPAS, NP-komple problemi SAT olan sıfır ve sıfır olmayan çözümlerin durumunu ayırt etmenizi sağlayacaktır.

— Robin Kothari

@SadeqDousti Kaynak David Zuckerman, NP-tam sorunlarının yakınlaştırılamaz versiyonlarında SIAM Journal on Computing 25 (6): 1293-1304, 1996. Linkler: DOI , yazarın ana sayfası . Aslında, NP = RP olmadığı sürece çözüm sayısının logaritmasına bile yaklaşamayacağınız konusunda daha güçlü bir sonuç ortaya koymaktadır.

— David Richerby

@DavidRicherby: 3 yıl sonra cevap almayı beklemiyordum! Çok teşekkürler: D

— MS Dousti