[論文レビュー] Dichotomy for Real Holant$^c$ Problems

Jin‐Yi Cai, Pinyan Lu+1 more|arXiv (Cornell University)|Feb 9, 2017

Markov Chains and Monte Carlo Methods参考文献 17被引用数 7

ひとこと要約

本稿は、実数値制約関数（2つのピン留め関数を含む）を用いたブールドメイン上のHolant$^c$問題について、複雑性の二分法を確立する。本稿は、双対ハミング符号と局所ホログラフィック変換に基づく、対称的でもなく、#CSPにおける既存の tractable クラスに属しない、新たな tractable 制約関数の族$$\mathscr{L}$$を同定する。これにより、このフレームワークにおける複雑性の二分法が完全に完成し、Holant 複雑性理論における長年の未解決問題が解決される。

ABSTRACT

Holant problems capture a class of Sum-of-Product computations such as counting matchings. It is inspired by holographic algorithms and is equivalent to tensor networks, with counting CSP being a special case. A classification for Holant problems is more difficult to prove, not only because it implies a classification for counting CSP, but also due to the deeper reason that there exist more intricate polynomial time tractable problems in the broader framework. We discover a new family of constraint functions $\mathscr{L}$ which define polynomial time computable counting problems. These do not appear in counting CSP, and no newly discovered tractable constraints can be symmetric. It has a delicate support structure related to error-correcting codes. Local holographic transformations is fundamental in its tractability. We prove a complexity dichotomy theorem for all Holant problems defined by any real valued constraint function set on Boolean variables and contains two 0-1 pinning functions. Previously, dichotomy for the same framework was only known for symmetric constraint functions. he set $\mathscr{L}$ supplies the last piece of tractability. We also prove a dichotomy for a variant of counting CSP as a technical component toward this Holant dichotomy.

研究の動機と目的

• ブールドメイン上での実数値制約関数を用いた Holant$^c$ 問題について、完全な複雑性の二分法を確立すること。
• 既存の #CSP フレームワークに現れない、かつ非対称な新たな tractable 制約関数の族$$\mathscr{L}$$を同定・特徴付けること。
• Holant$^c$ フレームワークにおいて、対称的でない一般の制約関数への二分法定理の拡張という未解決問題を解決すること。
• 主な Holant 結果に至る技術的ステップとして、#CSP の変種に関する二分法を証明すること。

提案手法

• 双対$[7,4]$-ハミング符号から導かれる新たな制約関数族$$\mathscr{L}$$を導入し、そのサポートを$S = \{\mathbf{w}\overline{\mathbf{w}} \mid \mathbf{w} \in C^\perp\}$と定義する。ここで$C^\perp$は$[7,4]$-ハミング符号の双対である。
• 関数$f$を$S$上で定義し、すべての1の入力に対して$(-1)^{x_1x_2x_4}$の値を取り、それ以外では1を取る。これは符号の代数的構造と重み特性を活用する。
• すべての$\mathbf{w}\overline{\mathbf{w}} \in S$が正確にハミング重み7であり、かつペアワイズの交差が正確に3であるという事実を活用して、局所ホログラフィック変換を用いて$f$で定義される Holant 問題が tractable であることを示す。
• 変数のピン留めとそれに続く単項・二項・三項関数の解析に基づく再帰的分解戦略を用い、既知の tractable または hard ケースに還元する。
• ハミング距離に基づいて、異なる関数型を生じる変数割り当ての集合間の関係を分類するための補題を用い、最終的に一般化された等価関数または非分解可能な三項関数に還元する。
• 既知の #CSP および Holant$^*$ の二分法結果を技術的ツールとして用い、証明の主要な構成要素として、#CSP の変種に関する新たな二分法を証明する。

実験結果

リサーチクエスチョン

• RQ1 ブールドメイン上での実数値制約関数を用いた Holant$^c$ 問題について、完全な複雑性分類は何か？
• RQ2 Holant において、#CSP フレームワークに現れない非対称な新たな tractable 制約関数は存在するか？
• RQ3 一般（非対称）制約関数を用いた Holant$^c$ 問題について、二分法定理を確立できるか？
• RQ4 対称性やアフィン型を越えて、制約関数のどの構造的性質が Holant フレームワークにおける tractability を可能にするか？
• RQ5 誤り訂正符号とホログラフィック変換は、Holant 問題の新たなクラスの tractability にどのように寄与するか？

主な発見

• 本稿は、実数値制約関数を用いたブールドメイン上での Holant$^c$ 問題について、完全な複雑性の二分法を確立し、すべての問題が#P-ハードまたは多項式時間で計算可能であると分類する。
• 双対$[7,4]$-ハミング符号とサポート構造$S = \{\mathbf{w}\overline{\mathbf{w}} \mid \mathbf{w} \in C^\perp\}$に基づいて定義される、新たな tractable 制約関数族$$\mathscr{L}$$が発見され、これは非対称的であり、#CSP の既知の tractable クラスにも属さない。
• すべての1の割り当てで$(-1)^{x_1x_2x_4}$、それ以外で1を取る関数$f$は、特にすべての$\mathbf{w}\overline{\mathbf{w}}$が重み7で、ペアワイズの交差が正確に3であるという符号の代数的・組合せ的性質のおかげで tractable である。
• $f$の tractability は、符号の構造を活用する局所ホログラフィック変換に依存しており、このような変換が新たな tractable 問題を同定する上で根幹的であることを示している。
• 再帰的ピン留めと変数割り当ての集合間のハミング距離の解析に基づき、すべてのケースを既知の tractable または hard ケースに還元する。最終的には、単項・二項・三項関数の振る舞いを分類する補題に依存する。
• 本稿では、主な Holant 二分法結果を確立するための重要な技術的構成要素として、#CSP の変種に関する二分法も証明している。