Dimitris Achlioptas公司;帕诺斯·西奥多罗普洛斯 短异或概率模型计数。 （英文） Zbl 1496.68253号 Gaspers，Serge（编辑）等人，《满意度测试的理论和应用——2017年SAT》。第20届国际会议，澳大利亚维多利亚州墨尔本，2017年8月28日至9月1日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10491, 3-19 (2017). 摘要：通过添加随机奇偶约束来计算公式满足真值赋值（模型）的数量的想法可以追溯到Valiant和Vazirani的开创性工作，这表明NP与检测唯一解一样容易。虽然理论上是合理的，但该结构中的随机奇偶约束有以下缺点：每个约束平均涉及所有变量的一半。因此，与搜索同样满足奇偶约束的模型相关的分支因子很快失控。在这项工作中，我们证明了可以使用更短的奇偶约束，并且仍然可以获得严格的数学保证，特别是当模型数量很大，需要添加许多约束时。我们的工作基于这样的认识：奇偶约束随机系统在概率模型计数中有用的基本特征是其解集的几何结构类似于纠错码。关于整个系列，请参见[兹比尔1368.68008]. 引用于2文件 MSC公司： 68兰特 可满足性的计算方面 65年第68季度 算法和问题复杂性分析 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） PDF格式BibTeX公司 XML格式引用 \textit{D.Achlioptas}和\textit{P.Theodoropoulos}，莱克特。注释计算。科学。10491，3-19（2017；Zbl 1496.68253） 全文： 内政部 arXiv公司