随机 k-SAT 与二选一的力量

Will Perkins

随机 k-SAT 与二选一的力量

组合数学 2013-10-16 v2 计算复杂性离散数学

作者: Will Perkins

摘要

我们研究了一种随机 k-SAT 过程的 Achlioptas 过程版本：每一步均匀随机抽取有限数量的 k-子句，并根据特定规则恰好将一个添加到不断增长的公式中。我们证明了存在一种能够移动可满足性阈值的规则。这将概率组合学中一个研究广泛的领域（Achlioptas 过程）扩展到了随机约束满足问题 (CSP)。特别是，虽然此前已知存在延迟 2-SAT 阈值的规则，但这是首次证明存在能够移动 k >= 3 的 k-SAT 阈值的规则。随后，我们基于这种半随机模型提出了一个间隙判定问题。该问题旨在研究随机 k-SAT 判定问题的难度，而非寻找赋值或不可满足性证书的问题。最后，我们讨论了其与 Achlioptas 随机图过程研究的联系。

关键词

随机 k-SAT Achlioptas 过程可满足性阈值概率组合学约束满足问题间隙判定问题随机图过程

引用

@article{arxiv.1209.5313,
  title  = {Random k-SAT and the Power of Two Choices},
  author = {Will Perkins},
  journal= {arXiv preprint arXiv:1209.5313},
  year   = {2013}
}

备注

13 pages

随机 k-SAT 与二选一的力量

摘要

关键词

引用

备注

相关论文