[論文レビュー] The Complexity of Holant Problems over Boolean Domain with Non-negative Weights

Jiabao Lin, Hanpin Wang|arXiv (Cornell University)|Nov 3, 2016

Complexity and Algorithms in Graphs参考文献 28被引用数 7

ひとこと要約

本稿は、補助関数や対称性を仮定せずに、非負の代数的実数重みをもつブールドメイン上のホロント問題について、初めて完全な分類定理を確立した。トレーサビリティのための必要十分条件として、ブロックランク1条件を導入し、ホロント問題がPか#P困難のいずれかであることを証明した。関数集合の性質に基づく明確な構造的分離がなされている。

ABSTRACT

Holant problem is a general framework to study the computational complexity of counting problems. We prove a complexity dichotomy theorem for Holant problems over Boolean domain with non-negative weights. It is the first complete Holant dichotomy where constraint functions are not necessarily symmetric. Holant problems are indeed read-twice $\#$CSPs. Intuitively, some $\#$CSPs that are $\#$P-hard become tractable when restricting to read-twice instances. To capture them, we introduce the Block-rank-one condition. It turns out that the condition leads to a clear separation. If a function set $\mathcal{F}$ satisfies the condition, then $\mathcal{F}$ is of affine type or product type. Otherwise (a) $\mathrm{Holant}(\mathcal{F})$ is $\#$P-hard; or (b) every function in $\mathcal{F}$ is a tensor product of functions of arity at most 2; or (c) $\mathcal{F}$ is transformable to a product type by some real orthogonal matrix. Holographic transformations play an important role in both the hardness proof and the characterization of tractability.

研究の動機と目的

• 非負の代数的実数重みをもつブールドメイン上のホロント問題について、完全な複雑度分類定理を確立すること。
• 非対称的かつ補助関数を仮定しないホロント問題に対して、完全な分類定理が存在するかどうかという未解決問題を解明すること。
• 対称性や却下関数の仮定がなくても、トレーサブルなホロント問題と#P困難な問題を分ける構造的基準を特定すること。
• #CSPおよび対称的ホロント問題の既存の分類定理を、より広範な非対称的・非負のケースに一般化すること。

提案手法

• ブールドメイン上のホロント問題におけるトレーサビリティの構造的基準として、ブロックランク1条件を導入すること。
• ブロックランク1条件がトレーサビリティの必要十分条件であることを、ベクトル表現とテンソル積との関係を用いて証明すること。
• 非構成的補題（補題3.1）を活用し、関数をそのテンソル積から抽出することで、困難性および同値性の証明を簡略化すること。
• 直交的ホログラフィック変換を用いて、複雑なケースを実数値関数問題に還元し、さらなる分類解析を可能にすること。
• 非負のケースにおいて、弱いバランスとバランスが同等であることを示し、既存の#CSP分類と結びつけること。
• #CSP複雑度理論の結果、特に強正方形性および弱いバランス基準を応用し、最終的な分類定理を確立すること。

実験結果

リサーチクエスチョン

• RQ1 制約関数が非対称的で補助関数を仮定しない場合、ブールドメイン上のホロント問題について、完全な分類定理を確立できるか？
• RQ2 関数集合にどのような構造的条件が満たされていれば、対応するホロント問題が#P困難ではなくトレーサブルになるか？
• RQ3 非対称性がなくとも、ブロックランク1条件が非負ホロント問題のトレーサビリティを十分に満たすか？
• RQ4 ホロント問題の複雑度分類は、#CSPのそれとどのように関係するか。特に非負のケースにおいては？
• RQ5 #CSPにおける弱いバランスの概念が、非負の重みをもつホロント問題の文脈でバランスを示すことを示せるか？

主な発見

• 非負の代数的実数重みをもつブールドメイン上のホロント問題において、ブロックランク1条件はトレーサビリティの必要十分条件である。
• 関数集合がブロックランク1条件を満たす場合、対応するホロント問題はPに属し、関連する#CSPに対しても同様にPに属する。
• 関数集合がブロックランク1条件を満たさない場合、ホロント問題は#P困難であるか、あるいは#CSPは#P困難だがホロント問題はトレーサブルのいずれかである。
• 非負のケースでは、弱いバランスとバランスが同等であることが示され、FP ≠ #Pの仮定を必要としないため、複雑度分類が簡素化される。
• 関数をテンソル積から抽出する非構成的補題（補題3.1）により、関連する#CSP問題間の同値性証明が簡略化される。
• 本結果は、#CSPおよび対称的ホロント問題の既存の分類定理を一般化し、非対称的かつ補助関数を仮定しない非負重み付きホロント問題について、初めて完全な分類定理を提供する。