稀有 SAT 公式能否被轻松识别？关于 K-SAT 大型子句-变量比下信息传递算法效率的研究
计算复杂性
2015-06-25 v2 统计力学
摘要
对于大型子句-变量比, 来自均匀分布的典型 K-SAT 实例无解。我们基于统计力学计算, 使用复制和腔方法, 论证来自均匀分布的稀有满意实例与来自所谓植入分布(其中实例在给定解之间均匀选择)的典型实例非常相似。随后, 根据 Feige、Mossel 和 Vilenchik 最近文章, 可以证明这些稀有实例可通过简单信息传递算法在 O(log N) 时间内轻松识别, 并以接近 1 的概率实现。
引用
@article{arxiv.cs/0609101,
title = {Can rare SAT formulas be easily recognized? On the efficiency of message passing algorithms for K-SAT at large clause-to-variable ratios},
author = {Fabrizio Altarelli and Remi Monasson and Francesco Zamponi},
journal= {arXiv preprint arXiv:cs/0609101},
year = {2015}
}
备注
8 pages of text and 7 of appendices; updated to take into account comments received on the first version; to be published on J.Phys.A:Math.Gen