PPSZ for General k-SAT - Making Hertli's Analysis Simpler and 3-SAT Faster
PPSZ for General k-SAT - Making Hertli's Analysis Simpler and 3-SAT Faster
复制标题
适用于通用 k-SAT 的 PPSZ - 使 Hertli 的分析更简单，3-SAT 更快
DOI：
10.4230/lipics.ccc.2017.9
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
J. Steinberger
中科院分区：
文献类型：
--
作者：
Dominik Scheder;J. Steinberger
目前已知最快的k-SAT算法是以其发明者Paturi、Pudlak、Saks和Zane命名的PPSZ。对于具有唯一满意赋值的输入公式，分析其运行时间要容易得多。在本文中，我们实现了三个目标。首先，我们简化了Hertli对具有多个满意赋值的输入公式的分析。其次，我们给出了一个“翻译结果”：如果你用唯一满意的赋值改进了k-CNF公式的PPSZ，你将立即得到一般k-CNF公式的(较弱的)改进。结合Hertli在2014年的一个结果，其中他给出了一个略优于PPSZ的唯一3-SAT的算法，我们得到了一个击败一般3-SAT的PPSZ的算法，从而得到了到目前为止已知的3-SAT的最坏情况的界。
The currently fastest known algorithm for k-SAT is PPSZ named after its inventors Paturi, Pudlak, Saks, and Zane. Analyzing its running time is much easier for input formulas with a unique satisfying assignment. In this paper, we achieve three goals. First, we simplify Hertli's analysis for input formulas with multiple satisfying assignments. Second, we show a "translation result": if you improve PPSZ for k-CNF formulas with a unique satisfying assignment, you will immediately get a (weaker) improvement for general k-CNF formulas. Combining this with a result by Hertli from 2014, in which he gives an algorithm for Unique-3-SAT slightly beating PPSZ, we obtain an algorithm beating PPSZ for general 3-SAT, thus obtaining the so far best known worst-case bounds for 3-SAT.
改进的 3-SAT 随机算法
DOI：
--
发表时间：
2010
期刊：
Proceedings of the 21^<st> International Symposium on Algorithms and Computation, LNCS
影响因子：
--
作者：
K.Iwama;K.Seto;T.Takai;S.Tamaki
通讯作者：
S.Tamaki
在 STDk/3[k ;
DOI：
--
发表时间：
2008
期刊：
Discrete Mathematics 308
影响因子：
--
作者：
Y. Hiramine;C. Suetake;K. Akiyama C. Suetake
通讯作者：
K. Akiyama C. Suetake