[論文レビュー] Min CSP on Four Elements: Moving Beyond Submodularity

Peter Jönsson, Fredrik Kuivinen+1 more|arXiv (Cornell University)|Feb 14, 2011

Formal Methods in Verification参考文献 20被引用数 8

ひとこと要約

本稿は、4要素ドメイン上のMin CSPについて、完全な複雑度分類を提供し、すべての此类の問題が多項式時間で解けるか、NP困難であることを証明する。また、部分モジュラリティの一般化に基づく、新たな可解性VCSPクラスを導入し、コンピュータ支援によるケース解析に依存せずに、グラフに基づく技術を用いて難易度結果を確立する。これは、部分モジュラリティを超える体系的な枠組みを提供する。

ABSTRACT

We report new results on the complexity of the valued constraint satisfaction problem (VCSP). Under the unique games conjecture, the approximability of finite-valued VCSP is fairly well-understood. However, there is yet no characterisation of VCSPs that can be solved exactly in polynomial time. This is unsatisfactory, since such results are interesting from a combinatorial optimisation perspective; there are deep connections with, for instance, submodular and bisubmodular minimisation. We consider the Min and Max CSP problems (i.e. where the cost functions only attain values in {0,1}) over four-element domains and identify all tractable fragments. Similar classifications were previously known for two- and three-element domains. In the process, we introduce a new class of tractable VCSPs based on a generalisation of submodularity. We also extend and modify a graph-based technique by Kolmogorov and Zivny (originally introduced by Takhanov) for efficiently obtaining hardness results in our setting. This allow us to prove the result without relying on computer-assisted case analyses (which otherwise are fairly common when studying the complexity and approximability of VCSPs.) The hardness results are further simplified by the introduction of powerful reduction techniques.

研究の動機と目的

• 4要素ドメイン上のMin CSPについて、完全な複雑度分類を提供し、すべての可解フラグメントを同定すること。
• 1欠际チェーンマルチモーフィズムに基づく新しい可解言語クラスを導入することで、部分モジュラリティを超えた可解VCSPの理解を拡張すること。
• コンピュータ支援によるケース解析に依存せずに、難易度結果を証明するためのグラフベースの技術を開発・適用すること。
• コアにクリップ定数を追加しても、問題の複雑度が変わらないことを示し、保守的VCSPからの結果を一般化すること。
• 部分モジュラリティがすべての可解ケースを説明するのに不十分であることを示し、別の代数的構造から生じる可解性を示す反例を提示すること。

提案手法

• 著者たちは、コルモゴロフとŽivnýにインspiredされたグラフ表現を用い、変数の代入と制約を有向グラフの辺としてモデル化することで、整合性および閉包性の性質を分析する。
• 1欠际チェーンマルチモーフィズムによる部分モジュラリティの一般化を適用し、可解なMin CSPインスタンスの背後にある新たな代数的構造を捉える。
• NP困難性の証明は、グラフ表現における奇数サイクルの特定と、閉包性の性質を用いて矛盾または矛盾を引き起こす構造を導出することに依存する。
• パスおよびサイクルの閉包に関する補題（例：補題7および補題8）を用いて、完全部分グラフの存在を導出し、それによって不整合性または困難性を示す。
• 体系的な枠組みにより、包括的なケース解析に依存せずに、構造的グラフ性質から難易度結果を導出可能である。
• このアプローチは一般化され、コアに定数を追加しても複雑度が保存されることを示し、コア問題への還元を可能にする。

実験結果

リサーチクエスチョン

• RQ1 4要素ドメイン上のMin CSPのどのフラグメントが可解であり、どのフラグメントがNP困難であるか？
• RQ2 部分モジュラリティを超えて、可解なMin CSPインスタンスを特徴づけることは可能か？ もしそうなら、それらを説明する代数的構造は何か？
• RQ3 コンピュータ支援によるケース解析に依存せずに、グラフベースの技術を用いてMin CSPにおける難易度結果を証明することは可能か？
• RQ4 コアにクリップ定数を追加することは、Min CSP問題の複雑度に影響を与えるか？
• RQ5 部分モジュラリティがいかなるラティスでも成立しないが、可解なMin CSPインスタンスが存在するか？ これにより、部分モジュラリティが可解性の必要条件でないことが示される。

主な発見

• 4要素ドメイン上のすべてのMin CSP問題は、多項式時間で解けるか、NP困難であり、二分岐が確立された。
• 本稿は、1欠际チェーンマルチモーフィズムに基づく、部分モジュラリティがいかなるラティスでも成立しない新たな可解VCSPクラスを同定した。
• コア言語が可解だが部分モジュラリティでない例を構成し、部分モジュラリティが可解性の必要条件でないことを証明した。
• グラフベースの手法により、コンピュータ支援によるケース解析に依存せずに難易度証明が可能となり、従来のアプローチを著しく簡素化および一般化した。
• この枠組みにより、コアにクリップ定数を追加しても問題の複雑度が変わらないことが示され、保守的VCSPからの結果が一般化された。
• 結果として、有限ラティス上の部分モジュラリティがすべての可解ケースを説明するのに不十分であることが示され、可解性の新たな代数的特徴づけへの道が開かれた。