[論文レビュー] FPTAS for Counting Monotone CNF

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

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

ひとこと要約

本稿では、各変数が高々5つの節に現れる単調なCNF論理式における充足割り当ての数え上げについて、相関崩壊の新規応用を用いた決定的Fully Polynomial-Time Approximation Scheme (FPTAS)を初めて提示する。主な結果は、このようなFPTASが変数の最大次数が5である場合に存在するが、次数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の設計。
• 単調なCNFにおける数え上げがNP困難になる正確な閾値の特定、これにより単調なCNFの近似可能性境界が解明される。
• 2変数制約または有界変数次数のモデルを超えて、相関崩壊技法を高次制約や複雑な変数-節関係を有する問題に拡張すること。
• 有界次数のブール#CSP問題の近似可能性の完全な特徴付けの確立。
• 完全分類へのステップとして、最大次数4の3次元ハイパーグラフマッチングのための新しいFPTASの提供。

提案手法

• 著者らは充足割り当て上の確率分布を用い、変数の割り当てとその近隣との関係を計算木を介してモデル化することで、周辺確率を定式化する。
• 変数が2つ以上の制約に現れる、および制約に2つ以上の変数が関与するような複雑な制約構造を扱える、新規の相関崩壊フレームワークを適用する。
• 周辺確率に関する再帰関数を定義し、単一変数関数（例：$ f(r_1) = \kappa_2^{(2,3)}(\{r_1, r_2'\}) $）の解析を通じて収束を示し、崩壊率の上限を導出する。
• 主な革新点は、変数次数を6から5に削減できるように、$ OR_2 $ 制約を模倣するための制約 $ S_2(x,y,z) = (x \vee y) \wedge (x \vee z) $ の使用である。
• ハイパーグラフマッチングへの応用では、制約を5項木にグループ化し、ピンニングと制約統合を用いて変数出現回数を削減する。
• NP困難性の証明は、$ \#{\rm CSP}_6(OR_2) $ の既知のNP困難なインスタンスを $ \#{\rm CSP}_5^c(S_2) $ 内でシミュレートすることで行い、次数6が計算不能であることを示している。

実験結果

リサーチクエスチョン

• RQ1 変数次数が有界な単調なCNF論理式における充足割り当ての数え上げのためのFPTASが存在する正確な閾値は何か？
• RQ2 2変数制約や2制約モデルを超える、高次制約や複雑な変数-節相互作用を有する問題に対し、相関崩壊技法を拡張可能か？
• RQ3 最大次数が有界な3次元ハイパーグラフマッチングの数え上げに対して決定的FPTASは存在するか？ また、ブール#CSP問題とどのように関係するか？
• RQ4 単調なCNFの数え上げにおけるNP困難性の閾値は正確に特徴付け可能か？ また、次数5がFPTASが存在する最大次数であるか？
• RQ5 既知の $ \#{\rm CSP}_6(OR_2) $ の困難なインスタンスを $ \#{\rm CSP}_5^c(S_2) $ 内でシミュレートすることで、近似不能性を証明できるか？

主な発見

• 各変数が高々5つの節に現れる単調なCNF論理式における充足割り当ての数え上げに対してFPTASが存在し、次数5がきわめて鋭い閾値であることが特定された。
• 同じ手法により、各セットが高々5つの要素を含むセットカバーの数え上げに対してもFPTASが得られ、エッジカバーおよび独立集合の既存結果が一般化された。
• 変数が6つ以上の節に現れる単調なCNFでは数え上げがNP困難であることが証明され、次数5が計算可能な最大境界であることが示された。
• 相関崩壊フレームワークは、従来の2変数または2制約モデルを超える、多変数制約や複雑な依存構造を有する問題に対しても成功裏に拡張された。
• 類似した制約グループ化および統合技術を用いて、最大次数4の3次元マッチングの数え上げに対してもFPTASが確立された。
• 本稿では、$ \#{\rm CSP}_6(OR_2) $ がNP=RPでない限り近似不能であることを、$ \#{\rm CSP}_5^c(S_2) $ 内でその困難なインスタンスをシミュレートすることで証明し、次数5における鋭い閾値が確認された。