[論文レビュー] Beyond Hypertree Width: Decomposition Methods Without Decompositions

Hubie Chen, Víctor Dalmau|ArXiv.org|May 12, 2005

Constraint Satisfaction and Optimization参考文献 13被引用数 8

ひとこと要約

本稿では、明示的な分解を必要とせずにハイパートリー幅を一般化する、制約充足問題（CSP）のための新しい構造的測度であるカバーウィドスを導入する。組合せ的ペブルゲームの枠組みを用いて、カバーウィドスが有界であるCSPインスタンスは多項式時間で決定可能であることを証明し、有界ハイパートリー幅を含むがそれ以上に広がるQ-ホモモーマルフィズム的に同等な構造へ拡張される、決定可能クラスを確立する。

ABSTRACT

The general intractability of the constraint satisfaction problem has motivated the study of restrictions on this problem that permit polynomial-time solvability. One major line of work has focused on structural restrictions, which arise from restricting the interaction among constraint scopes. In this paper, we engage in a mathematical investigation of generalized hypertree width, a structural measure that has up to recently eluded study. We obtain a number of computational results, including a simple proof of the tractability of CSP instances having bounded generalized hypertree width.

研究の動機と目的

• 一般化されたハイパートリー幅を調査し、これまで体系的な研究が行われていなかった分野を明らかにすること。
• ハイパートリー幅を一般化し、かつそれ以上に上界をもつ新しい測度であるカバーウィドスを定義・分析すること。
• カバーウィドスと、量化CSPのための組合せ的ペブルゲームとの関係を確立すること。
• 有界カバーウィドスがQCSPにおいて多項式時間の決定可能性をもたらすことを証明し、有界ハイパートリー幅に関する既知の結果を拡張すること。
• 有界カバーウィドスを持つ構造とQ-ホモモーマルフィズム的に同等な構造に対して、決定可能性の結果が拡張されることを示すこと。

提案手法

• 量化子の前綴を尊重する完全な消去順序をもつスキームに基づいて、ハイパーグラフのカバーウィドス測度を定義する。
• 混合量化子ブロックを有する量化CSPに適応した、存在的kペブルゲームの変種である、量化k-カバー・ゲームを導入する。
• カバーウィドスがk以下であるとき、Duplicatorの勝利戦略が存在することは、$(p, extbf{A})$ から $ extbf{B}$ へのホモモーフィズムの存在と同値であることを確立する。
• 全称量化子制約下で有効なプロジェクト型ホモモーフィズムに拡張できないタプルを削除することで、射影的k一致性を拡張する一貫性アルゴリズムを設計する。
• ペブルゲームの特徴付けを用いて、有界カバーウィドスを持つQCSPインスタンスが多項式時間で正しく決定可能であることを証明する。
• ホモモーフィズム的同等性の下での勝利戦略の閉包性を活用することで、Q-ホモモーフィズム的に同等な構造へ結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 ハイパートリー幅よりも一般化されたが、CSPに対して多項式時間の決定可能性を保証する構造的測度を定義できるか？
• RQ2 明示的な分解を避けるために、有界カバーウィドスの組合せ的ゲーム理論的特徴付けは存在するか？
• RQ3 有界ハイパートリー幅の決定可能性が、新たな構造的パラメータによってより広いCSPインスタンスのクラスへ拡張可能か？
• RQ4 木構造やハイパートリー分解の計算を伴わず、有界カバーウィドスのための一貫性アルゴリズムを設計できるか？
• RQ5 有界カバーウィドスを持つ構造とQ-ホモモーフィズム的に同等な構造に対して、決定可能性の結果が拡張可能か？

主な発見

• カバーウィドスはハイパートリー幅の自然な一般化であり、有界ハイパートリー幅を持つすべてのハイパーグラフは、有界カバーウィドスを持つ。
• カバーウィドスがk以下であるとき、量化k-カバー・ゲームにおけるDuplicatorの勝利戦略が存在することは、$(p, extbf{A})$ から $ extbf{B}$ へのホモモーフィズムの存在と同値である。
• カバーウィドスがk以下であるインスタンスに制限されたQCSPは、多項式時間で決定可能であり、有界ハイパートリー幅の決定可能性を一般化する。
• 有界カバーウィドスに対する提案されたアルゴリズムは多項式時間で実行され、分解の明示的計算を必要としない。
• 有界カバーウィドスを持つ構造とQ-ホモモーフィズム的に同等なすべてのインスタンスへ、決定可能性の結果が拡張され、強固で最大の決定可能クラスを形成する。
• カバーウィドスは数学的に洗練されており、概念的に単純であるため、構造的CSP理論において自然かつ広く応用可能な測度であると考えられる。