[论文解读] FPTAS for Counting Monotone CNF

Jing‐Cheng Liu, Pinyan Lu|arXiv (Cornell University)|Nov 15, 2013

Markov Chains and Monte Carlo Methods参考文献 33被引用 19

一句话总结

本文提出了首个针对每个变量在最多五个子句中出现的单调CNF公式中满足赋值计数的确定性完全多项式时间近似方案（FPTAS），采用了一种新颖的相关性衰减应用。关键结果是一个紧致的临界阈值：当变量最大度数为5时，此类FPTAS存在；而当度数为6时，问题变为NP难，从而确定了该类问题近似可解性的边界。

ABSTRACT

A monotone CNF formula is a Boolean formula in conjunctive normal form where each variable appears positively. We design a deterministic fully polynomial-time approximation scheme (FPTAS) for counting the number of satisfying assignments for a given monotone CNF formula when each variable appears in at most $5$ clauses. Equivalently, this is also an FPTAS for counting set covers where each set contains at most $5$ elements. If we allow variables to appear in a maximum of $6$ clauses (or sets to contain $6$ elements), it is NP-hard to approximate it. Thus, this gives a complete understanding of the approximability of counting for monotone CNF formulas. It is also an important step towards a complete characterization of the approximability for all bounded degree Boolean #CSP problems. In addition, we study the hypergraph matching problem, which arises naturally towards a complete classification of bounded degree Boolean #CSP problems, and show an FPTAS for counting 3D matchings of hypergraphs with maximum degree $4$. Our main technique is correlation decay, a powerful tool to design deterministic FPTAS for counting problems defined by local constraints among a number of variables. All previous uses of this design technique fall into two categories: each constraint involves at most two variables, such as independent set, coloring, and spin systems in general; or each variable appears in at most two constraints, such as matching, edge cover, and holant problem in general. The CNF problems studied here have more complicated structures than these problems and require new design and proof techniques. As it turns out, the technique we developed for the CNF problem also works for the hypergraph matching problem. We believe that it may also find applications in other CSP or more general counting problems.

研究动机与目标

• 设计一种针对有界变量出现次数的单调CNF公式中满足赋值计数的确定性FPTAS。
• 确定计数问题变为NP难的确切阈值，从而解决单调CNF的近似可解性边界问题。
• 将相关性衰减技术扩展至具有高阶约束及复杂变量-子句交互关系的问题，超越传统的双变量约束或有界变量度数模型。
• 对有界度数布尔#CSP问题的近似可解性进行完整刻画。
• 提供一种针对最大度数为4的3D超图匹配问题的新FPTAS，作为实现完整分类的基石。

提出的方法

• 作者在满足赋值上定义一个概率分布，并通过计算树建模边际概率，将变量赋值与其邻居关联起来。
• 应用一种新颖的相关性衰减框架，以处理变量出现在超过两个约束中且约束涉及多于两个变量的复杂约束结构。
• 该方法涉及在边际概率上定义递归函数，并通过分析单变量函数（如 $ f(r_1) = \kappa_2^{(2,3)}(\{r_1, r_2'\}) $）来证明收敛性，从而界定向衰减速率。
• 关键创新在于使用约束 $ S_2(x,y,z) = (x \vee y) \wedge (x \vee z) $ 来模拟 $ OR_2 $ 约束，同时将变量度数从6降低至5。
• 通过将约束分组为五元树结构，并使用固定化与约束合并技术，将该技术扩展至超图匹配问题，以减少变量出现次数。
• 通过在 $ \#{\rm CSP}_5^c(S_2) $ 中模拟已知的 $ \#{\rm CSP}_6(OR_2) $ 的NP难实例，证明了难度，表明度数6时问题不可解。

实验结果

研究问题

• RQ1 对于有界变量度数的单调CNF公式中满足赋值计数问题，FPTAS存在的确切阈值是什么？
• RQ2 相关性衰减技术能否扩展至具有高阶约束及复杂变量-子句交互关系的问题，超越双变量或双约束模型？
• RQ3 是否存在针对有界度数的3D超图匹配问题的确定性FPTAS？其与布尔#CSP问题的关系如何？
• RQ4 单调CNF计数问题的NP难阈值能否被精确刻画？度数5是否为FPTAS存在的最大值？
• RQ5 能否在 $ \#{\rm CSP}_5^c(S_2) $ 中模拟已知的 $ \#{\rm CSP}_6(OR_2) $ 的难解实例，以证明其不可近似性？

主要发现

• 当每个变量在最多五个子句中出现时，单调CNF公式中满足赋值计数的FPTAS存在，表明在度数5处存在紧致的临界阈值。
• 相同技术可推广至集合覆盖问题，其中每个集合包含至多五个元素，从而推广了关于边覆盖和独立集的先前结果。
• 该方法证明了当变量出现在六个或更多子句中时，单调CNF的计数问题为NP难，表明度数5是有界可解性的最大阈值。
• 相关性衰减框架成功扩展至处理多变量约束与复杂依赖结构的问题，超越了以往仅限于双变量或双约束模型的限制。
• 通过类似的约束分组与合并技术，建立了针对最大度数为4的3D超图匹配问题的FPTAS。
• 本文证明了除非NP=RP，否则 $ \#{\rm CSP}_6(OR_2) $ 不可近似，通过在 $ \#{\rm CSP}_5^c(S_2) $ 中模拟其难解实例，确认了在度数5处存在尖锐的阈值。