[論文レビュー] On Minimal Constraint Networks

Georg Gottlob|arXiv (Cornell University)|Mar 8, 2011

Constraint Satisfaction and Optimization参考文献 17被引用数 11

ひとこと要約

この論文は、最小の2値制約ネットワークにおける解の計算がNP困難であることを証明し、Dechterによる長年の予想を裏付ける。さらに、k ≥ 2 に対して、1つの制約を同等のk値制約ネットワークに分解することはNP困難であることを示し、2値制約に対しても同様に成り立つ。また、ドメインサイズとkに基づいた tractability の境界を特定する。

ABSTRACT

In a minimal binary constraint network, every tuple of a constraint relation can be extended to a solution. The tractability or intractability of computing a solution to such a minimal network was a long standing open question. Dechter conjectured this computation problem to be NP-hard. We prove this conjecture. We also prove a conjecture by Dechter and Pearl stating that for k\geq2 it is NP-hard to decide whether a single constraint can be decomposed into an equivalent k-ary constraint network. We show that this holds even in case of bi-valued constraints where k\geq3, which proves another conjecture of Dechter and Pearl. Finally, we establish the tractability frontier for this problem with respect to the domain cardinality and the parameter k.

研究の動機と目的

• 最小の2値制約ネットワークにおける解の計算が tractable かNP困難かという未解決の問題を解明すること。
• Dechterの予想である、最小ネットワークにおける解の計算がNP困難であることを検証すること。
• k ≥ 2 に対して、1つの制約を同等のk値制約ネットワークに分解する問題の複雑性を調査すること。
• ドメインの基数とパrameter kに関して、分解問題の tractability の境界を特定すること。
• DechterとPearlの予想である、2値制約に対してもk値分解のNP困難性が成立するかを確認すること。

提案手法

• 既知のNP完全問題への還元を用いて、最小制約ネットワークにおける解の計算のNP困難性を示す。
• 制約関係内のすべてのタプルが完全な解に拡張可能であるように制約ネットワークを構築し、最小性を強制する。
• 制約充足問題（CSP）の構造的性質を用いて、ジョイン分解と関係的同等性を分析する。
• 複雑性理論的技術を応用し、特にk ≥ 3および2値ドメインに対してk値分解の困難性を証明する。
• ドメインサイズと分解における変数の数の相互作用を分析することで、tractability の境界を特定する。
• データベース理論と知識コンパイルの結果を活用し、制約ネットワークを関係的データ構造に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 最小の2値制約ネットワークにおける解の計算問題はNP困難か？
• RQ2 k ≥ 2 に対して1つの制約を同等のk値制約ネットワークに分解可能か？ その問題は tractable か？
• RQ3 2値制約においても、k値分解のNP困難性は保たれるか？
• RQ4 ドメインサイズとkに関して、k値分解問題の tractability の境界は何か？
• RQ5 制約ネットワークの構造的最小性は、本質的な計算困難性を示唆するか？

主な発見

• 最小の2値制約ネットワークにおける解の計算問題がNP困難であることが証明され、Dechterの予想が裏付けられた。
• 任意のk ≥ 2 に対して、1つの制約が同等のk値制約ネットワークに分解可能かどうかを決定することはNP困難である。
• すべての制約が2値であっても、このNP困難性は成り立ち、DechterとPearlの予想が確認された。
• k値分解問題の tractability の境界が確立され、 tractability がドメイン基数とkの両方に依存することが示された。
• 結果として、制約ネットワークにおける構造的最小性が tractability を示すとは限らず、ジョイン分解が依然として計算的に困難であることが明らかになった。
• これらの発見は、関係データベースと知識コンパイルにまで拡張され、構造的同定と制約同等性に内在する複雑性を示している。