Chieu，H.L。;李，W.S。 加权最大可满足性问题的松弛测量传播。 （英文） Zbl 1192.68640号 J.阿蒂夫。智力。研究（JAIR） 36, 229-266 (2009). 总结：调查传播（SP）算法已被证明在相变附近的随机3-SAT问题的大型实例中运行良好。结果表明，SP估计了代表解决方案集群的覆盖范围的边际。SP-y算法将SP推广到最大可满足性（Max-SAT）问题，但SP的覆盖解释并没有推广到SP-y。本文提出了松弛测量传播（RSP）算法，它将SP算法扩展到适用于加权Max-SAT问题。我们表明，RSP对违反一组具有最小权重的条款的承保范围的保证金进行了估计。这自然概括了SP的覆盖解释。从经验上看，在随机Max-SAT实例上，RSP优于SP-y和其他最先进的Max-SAT解算器。在随机加权Max-SAT实例上，RSP还优于最先进的加权Max-SAT解算器。 引用于2文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：测量传播算法 软件：UBCSAT公司;皇家卫星;超小卫星 PDF格式BibTeX公司 XML格式引用 \textit{H.L.Chieu}和\textit{W.S.Lee}，J.Artif。智力。研究（JAIR）36，229--266（2009；Zbl 1192.68640） 全文： 内政部 arXiv公司