随机 2-SAT 中矛盾分支的诞生

Sergey Dovgal

随机 2-SAT 中矛盾分支的诞生

组合数学 2019-04-24 v1 离散数学计算机科学中的逻辑

作者: Sergey Dovgal

摘要

我们证明，以高概率，在相变的亚临界阶段，随机 2-SAT 公式的矛盾分支仅具有 3-正则核。这源于这些核与亚临界阶段随机图的复杂分支之间的关系。这部分地解决了关于 2-SAT 与随机图相变之间结构相似性的问题。作为副产品，我们描述了一种技术，可获得亚临界阶段可满足性的完整渐近展开。我们还得到了矛盾变量个数的分布以及亚临界阶段脊柱的结构。

关键词

随机 2-SAT 矛盾分支亚临界相 3-正则核随机图渐近展开

引用

@article{arxiv.1904.10266,
  title  = {The birth of the contradictory component in random 2-SAT},
  author = {Sergey Dovgal},
  journal= {arXiv preprint arXiv:1904.10266},
  year   = {2019}
}

备注

29 pages, 21 figures

随机 2-SAT 中矛盾分支的诞生

摘要

关键词

引用

备注

相关论文