3- SAT的去随机化HSSW算法

更有效地去随机化Lovasz局部引理

Derandomizing the Lovasz Local Lemma more effectively

著名的Lovasz局部引理[EL 75]是一个强有力的工具，可以非构造性地证明满足一系列规定标准的组合对象的存在性。Kratochvil等人应用这种技术证明了一个k-CNF，其中每个变量最多出现2^k/（ek）次总是可满足的[KST 93]。在一篇突破性的论文中，Beck发现，如果我们将出现次数降低到O（2^（k/48）/k），那么确定性多项式时间算法可以为这样的实例找到令人满意的分配[Bec 91]。Alon将算法随机化，需要O（2^（k/8）/k）次出现[Alo 91]。在[Mos 06]中，我们展示了他的方法的一个改进，其处理时间为O（2^（k/6）/k）。迄今为止最著名的随机算法是由Srinivasan提出的，能够解决O（2^（k/4）/k）个发生实例[Sri 08]。回答Srinivasan提出的两个问题，我们现在将提出一种方法，该方法允许每个变量O（2^（k/2）/k）次出现，并且可以最容易地去随机化。新算法基于另一种类型的见证树结构，并放弃了所有以前的方法共同的一些限制方面。