[論文レビュー] Weaker consistency notions for all the CSPs of bounded width

Marcin Kozik|arXiv (Cornell University)|May 2, 2016

Advanced Graph Theory Research参考文献 9被引用数 16

ひとこと要約

本稿では、単一アーク整合性（SAC）より弱い整合性概念であるシングルトン線形アーク整合性（SLAC）を導入し、有界幅の制約充足問題（CSP）を解くのに十分であることを証明している。主な貢献は、従来の証明で用いられる高コストな(2,3)-整合性の代わりに、計算的により効率的な代替手段を提供しつつ、有界幅CSPの全クラスを捉えることができることを示したことである。

ABSTRACT

The characterization of all the Constraint Satisfaction Problems of bounded width, proposed by Feder and Vardi [SICOMP'98], was confirmed in [Bulatov'09] and independently in [FOCS'09, JACM'14]. Both proofs are based on the (2,3)-consistency (using Prague consistency in [FOCS'09], directly in [Bulatov'09]) which is costly to verify. We introduce a new consistency notion, Singleton Linear Arc Consistency (SLAC), and show that it solves the same family of problems. SLAC is weaker than Singleton Arc Consistency (SAC) and thus the result answers the question from [JLC'13] by showing that SAC solves all the problems of bounded width. At the same time the problem of verifying weaker consistency (even SAC) offers significant computational advantages over the problem of verifying (2,3)-consistency which improves the algorithms solving the CSPs of bounded width.

研究の動機と目的

• 有界幅CSPをすべて解けるかどうかという、[JLC’13]における未解決問題を解消すること。
• SACより弱いが、有界幅CSPをすべて解ける整合性概念を構築すること。
• (2,3)-整合性は実際の検証が高コストであるため、それを凌駕する計算的により効率的な代替手段を提供すること。
• 整合性チェック中に構造的歪みを避けることで、有界幅CSPを解くためのアルゴリズム的枠組みを簡素化・改善すること。
• SLACを用いて、同じ整合性条件を満たすがより小さな同値インスタンスを構築できることを確立すること、これにより効率的な解の探索が可能になる。

提案手法

• 変数構造を保つ局所的整合性チェックの系列によって定義される、新たな整合性概念であるシングルトン線形アーク整合性（SLAC）を導入する。
• 元のインスタンスにおけるパスパターンの拡張によって、再帰的にインスタンスを構築し、各拡張がSLACの性質を維持することを保証する。
• 各変数をそのドメインの部分集合へ写像する解としてのプライム解を定義し、インスタンスの逐次的拡張において安定するものとする。
• プライム解における安定化ドメインがSLACを満たす新たなインスタンスを形成することを証明し、吸収と項演算子を用いて整合性を維持する。
• 関係的構造と代数の間のガロア対応を用い、SLACをテンプレートの代数的性質、特に合同束の半分配的性質に関連付ける。
• 項演算子と吸収関係を用いて、SLACの違反が矛盾を引き起こすことを示すために、一連の主張と補助的主張（例：補助的主張1.3、補助的主張2.2）を適用する。

実験結果

リサーチクエスチョン

• RQ1 単一アーク整合性（SAC）は、有界幅のすべての制約充足問題（CSP）を解けるか？
• RQ2 SACより弱いが、有界幅CSPの全クラスを捉える整合性概念は存在するか？
• RQ3 SLACを用いて、解空間を保存し、局所的整合性を満たすがより小さな同値インスタンスを構築できるか？
• RQ4 SLACは、有界幅CSPの検証において(2,3)-整合性よりも計算的により効率的な代替手段を提供できるか？
• RQ5 SLACは、グルスワミ＝ゾウ予想に現れるようなCSPの強力近似結果を示すために適応可能か？

主な発見

• シングルトン線形アーク整合性（SLAC）は、有界幅のすべての制約充足問題（CSP）を解くのに十分である。
• SLACは単一アーク整合性（SAC）よりも厳密に弱いが、有界幅CSPの全クラスを捉えることができる。
• SLACの検証は、実際の検証が高コストであると知られている(2,3)-整合性よりも計算的により効率的である。
• プライム解が逐次的インスタンス拡張において安定化することで、SLACを満たすがより小さな同値インスタンスが得られる。
• このような小さなインスタンスの構築は、解空間を保存し、構造的歪みを回避するため、効率的な解の探索を可能にする。
• SLACは、グルスワミ＝ゾウ予想に現れるようなCSPの強力近似可能性に関する結果を示すために適応可能であるが、これには追加の技術的調整が必要である。