大多数单调概率可满足性问题的摄动方法
摘要：求解逻辑表达式的概率可满足性是统计物理学和场论中的基本概念，是数学中相关图的Tutte多项式的评估，以及工程学中图的Moore-Shannon网络可靠性。它是在不确定性条件下进行决策的关键要素。不出所料，准确计算甚至近似计算都很难。许多应用只关注解是单调函数的问题子集。在这里，我们将统计物理学中的弱耦合和强耦合方法扩展到异质可满足性问题，并引入一种新方法来构建单调问题的逼近误差下界和上界。这些界限结合来自微扰分析的信息，以产生在某些问题实例中这些界限是紧的，这些问题实例是与逼近中包含的所有信息相兼容的。
作者：Stephen Eubank, Madhurima Nath, Yihui Ren, Abhijin Adiga
论文ID：2206.03550
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2022-06-09