3SAT可满足性的易处理性条件

我特别想知道的是，满足3SAT公式的作业百分比是否存在有趣的条件，以确保此类问题易于解决。

假设例如类的3SAT问题，即所述的可能的分配满足布尔公式; 我们能否有效地找到满意的任务？对于什么是P中所产生的问题？ $\epsilon(n) 2^n$ $2^n$ $\epsilon$

编辑注：替换与清理混乱。 $\epsilon$ $\epsilon(n)$

cc.complexity-theory ds.algorithms sat np

— 拉菲·维滕
source

一个简单的观察：如果

为至多逆多项式小，那么采样均匀地

倍将产生在预期多项式时间的解决方案。因此，如果

在1和1 / poly（n）之间，则此问题很容易（在ZPP中）。

ϵ

$\epsilon$

1 / ϵ

$1/\epsilon$

ϵ

$\epsilon$

— 罗宾·科塔里

同样，如果1 / eps是准多项式，则您有一个随机的准时间算法，这本身会令人惊讶

— Suresh Venkat 2010年

$0< \epsilon <1$ $1/\textit{polylog}(n)$ $\epsilon 2^n$

算法并不难：

$S$ $S$

$\epsilon$

$S$ $S$ $S$

我认为2SAT的算法已经在S. Cook于1971年发表的著名论文中提到。

3CNF的算法来自：L. Trevisan 关于 Proc中k-DNF确定性近似计数的注记。APPROX-RANDOM编，Springer-Verlag，第417-426页，2004年

显示3CNF结果的原始论文是：E. Hirsch，一种具有许多令人满意的赋值的公式的快速确定性算法，《 IGPL杂志》，6（1）：59-71，1998

— Iddo Tzameret
source

ϵ

$\epsilon$

ϵ = 1 / p o l y l o g (n)

$\epsilon = 1/polylog(n)$

您如何构造S？

— Radu GRIGore 2010年

C_{1}

$C_1$

C_{2}

$C_2$

C_{1}

$C_1$