An Improvement of the Biased-PPSZ Algorithm for the 3SAT Problem
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS（2022）
摘要
Hansen, Kaplan, Zamir and Zwick (STOC 2019) introduced a systematic way to use "bias" for predicting an assignment to a Boolean variable in the process of PPSZ and showed that their biased PPSZ algorithm achieves a relatively large success probability improvement of PPSZ for Unique 3SAT. We propose an additional way to use "bias" and show by numerical analysis that the improvement gets increased further.
更多查看译文
关键词
3SAT, randomized algorithm, PPSZ, Biased-PPSZ, numerical analysis
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要