首页/论文/2001.06536

arXiv 2001.065362020-01-17cs.CC

$k$ -SAT的PPSZ的更简单的部分去随机化

Simpler Partial Derandomization of PPSZ for $k$-SAT

S. Cliff Liu

摘要：

对于解数为\emph{sub-exponential}的$k$-SAT问题，我们给出了最著名的$k$-SAT算法PPSZ [FOCS'97，JACM'05]的一个更简单的去随机化.现有的去随机化方法使用了复杂的小样本空间构造，而我们只使用了\emph{hashing}。我们的算法和定理还有一个很好的副产品：当公式有\emph{moderately exponential}个数的解时，它的性能优于当前最快的确定性$k$-SAT算法。

英文摘要：

We give a simpler derandomization of the best known $k$-SAT algorithm PPSZ [FOCS'97, JACM'05] for $k$-SAT with \emph{sub-exponential} number of solutions. The existing derandomization uses a complicated construction of small sample space, while we only use \emph{hashing}. Our algorithm and theorem also have a nice byproduct: It outperforms the current fastest deterministic $k$-SAT algorithm when the formula has \emph{moderately exponential} number of solutions.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

打破PPSZ障碍，获得独特的3- SAT

Breaking the PPSZ Barrier for Unique 3-SAT

Paturi、Pudlák、Saks和Zane（FOCS 1998）提出的PPSZ算法是（Promise）Unique k-SAT已知的最快算法。我们给出了一个改进的算法与指数更快的界限唯一的3-SAT。对于唯一可满足的3-CNF公式，我们做以下情况区分：我们称一个子句为临界的，如果只有一个文字被唯一满足的赋值所满足。如果一个公式有许多关键子句，我们观察到PPSZ本身已经更快了。如果只有几个子句，我们使用Wahlström（ESA 2005）的算法，在这种情况下比PPSZ更快。否则，我们就得到了一个公式，其中有很少的关键条款和许多非关键条款。非关键条款至少有两个字面满意，我们将展示如何利用这一点，以提高PPSZ。

2014-02-17cs.CCcs.DS

3-SAT更快更简单-一般情况下PPSZ保持的唯一SAT界限

3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General

Paturi、Pudlák、Saks和Zane [1998]的PPSZ算法是唯一k-SAT的已知最快算法，其中输入公式没有一个以上的满意赋值。对于k>=5，对于一般的k-SAT也有相同的界限。我们表明，这也是k= 3，4的情况下，使用稍微修改的PPSZ算法。我们通过定义可满足的CNF公式的成本来进行分析，我们证明在每个PPSZ步骤中减少一定量。这改进了我们之前使用Moser和Scheder [2011]的最佳边界，3-SAT为O（1.308^n），4-SAT为O（1.469^n）。

2011-05-05cs.CCcs.DS

PPSZ更紧密的硬密封

Tighter Hard Instances for PPSZ

我们构造了唯一可满足的$k$-CNF公式，这些公式对于PPSZ算法是困难的.首先，我们构造图的实例上的“弱PPSZ”有节省最多$(2 + ε) / k$的算法与$n$变量的输入公式的节省是最大的$γ$，使算法成功（即找到一个令人满意的分配）的概率至少为$2^{ - (1 - γ) n}$。由于已知PPSZ（弱和强）具有至少$\frac{π^2 + o(1)}{6k}$的节省，因此这对于常数因子是最佳的。特别地，对于$k=3$，我们的上限是$2^{0.333\dots n}$，其相当接近Hertli的下限$2^{0.386\dots n}$ [SIAM J. COMPUT. '14]。我们还构造了基于$\mathbb{F}_2$上的线性系统的实例，其中强PPSZ最多可以节省$O\left(\frac{\log(k)}{k}\right)$。这与最佳界限仅相差一个$\log(k)$因子。我们的构造改进了Chen等人[SODA'13]提出的$O\left(\frac{\log^2(k)}{k}\right)$的节省上限。

2016-11-04cs.CC

从k-SAT到k-CSP：两个推广算法

From k-SAT to k-CSP: Two Generalized Algorithms

Peking University（北京大学）；Beihang University（北京航空航天大学）

约束满足问题是一类重要的NP难问题，如命题可满足性问题。有界子句长度为k的约束SAT（k-SAT）的运行时间上界非平凡的算法可以分为三种类型：DPLL类、PPSZ-like和局部搜索，其中局部搜索算法已经推广到有界约束元数为k的CSP（k-CSP）。我们推广的DPLL类算法在其最简单的形式和PPSZ类算法从k-SAT到k-CSP。据我们所知，这是第一次尝试使用PPSZ-like策略来解决k-CSP，而之前很少有工作集中在k-CSP的DPLL或PPSZ-like策略上。

2008-01-21cs.AIcs.CCcs.DS

不减速的放大和去随机化

Amplification and Derandomization Without Slowdown

我们提出的技术，降低错误概率的随机算法和转换随机算法确定性（非均匀）的算法。不像大多数现有的技术，涉及重复的随机算法，因此放缓，我们的技术产生的算法具有类似的运行时间，原来的随机算法。放大技术涉及到一个特定的随机多臂强盗问题。去随机化技术-这是这项工作的主要贡献-点去随机化和素描/稀疏化之间的一个有趣的连接。我们展示了应用程序的最大割稠密图，近似团的图，包含一个大的团，约束满足问题的稠密二分图和列表解码的Reed-Muller码的唯一解码问题的技术。

2015-09-27cs.CCcs.DS

动态图在线指派算法的去随机化

Derandomization of Online Assignment Algorithms for Dynamic Graphs

本文分析了不同的在线算法的问题分配权重的完全连接的二分图，最大限度地减少总成本，同时满足约束。此图中的边可能会随着时间的推移而消失和重新出现。这些算法的性能是使用模拟测量。本文还试图去随机化的随机在线算法为这个问题。

2011-05-02cs.CCcs.DCcs.DS

更多相关论文收起更多论文

3- SAT的去随机化HSSW算法

Derandomizing HSSW Algorithm for 3-SAT

本文对Hofmeister、Schöning、Schleman和Watanabe在[STACS'02]中提出的3-SAT的HSSW算法进行了去随机化。因此，我们得到了一个O（1.3303^n）时间的确定性算法3-SAT，这是目前最快的。

2011-02-18cs.CCcs.DS

学习增强的布尔可满足性算法

Learning-Augmented Algorithms for Boolean Satisfiability

Institute for Data, Econometrics, Algorithms, and Learning (IDEAL)（数据、计量经济学、算法和学习研究所）；University of Illinois at Chicago（伊利诺伊大学芝加哥分校）；Toyota Technological Institute at Chicago（芝加哥丰田技术研究所）

本文在学习增强框架下研究布尔可满足性（SAT）判定与优化问题，利用子集建议和标签建议两种形式，加速了PPSZ算法的指数运行时间，并以黑盒方式改进了任意α-近似算法的近似比，在MAX-2-SAT等问题上取得更优表现。

2025-05-30cs.CCcs.DScs.LG