[論文レビュー] The complexity of conservative finite-valued CSPs

Kolmogorov, Stanislav Živný|arXiv (Cornell University)|Aug 9, 2010

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

ひとこと要約

この論文は、保守的有限値制約充足問題（VCSP）の完全な複雑性二分法を確立し、すべてのこのような言語が多項式時間で解けるか、NP困難であることを証明している。著者たちは、コスト関数の構造とマルチモーフィズムに基づく初等的証明を用い、多項式時間解法の可能性が言語の関数的グラフにおける「ソフト自己ループ」の不在に依存することを示している。これは、ブール型および{0,1}-値の場合の先行結果を非ブール型ドメインへ一般化したものである。

ABSTRACT

We study the complexity of valued constraint satisfaction problems (VCSP). A problem from VCSP is characterised by a \emph{constraint language}, a fixed set of cost functions over a finite domain. An instance of the problem is specified by a sum of cost functions from the language and the goal is to minimise the sum. We consider the case of so-called \emph{conservative} languages; that is, languages containing all unary cost functions, thus allowing arbitrary restrictions on the domains of the variables. This problem has been studied by Bulatov [LICS'03] for $\{0,\infty\}$-valued languages (i.e. CSP), by Cohen~\etal\ (AIJ'06) for Boolean domains, by Deineko et al. (JACM'08) for $\{0,1\}$-valued cost functions (i.e. Max-CSP), and by Takhanov (STACS'10) for $\{0,\infty\}$-valued languages containing all finite-valued unary cost functions (i.e. Min-Cost-Hom). We give an elementary proof of a complete complexity classification of conservative finite-valued languages: we show that every conservative finite-valued language is either tractable or NP-hard. This is the \emph{first} dichotomy result for finite-valued VCSPs over non-Boolean domains.

研究の動機と目的

• ブール型および{0,1}-値ドメインを超えた非ブール型ドメインにおける保守的有限値制約充足問題（VCSP）の完全な複雑性分類を提供すること。
• 保守的有限値VCSPが多項式時間解法可能とNP困難の二分法を示すという未解決問題を解消すること。
• 言語の関数的グラフにおける「ソフト自己ループ」の不在に基づく多項式時間解法の基準を確立すること。
• {0,∞}-値（CSP）、{0,1}-値（Max-CSP）、およびMin-Cost-Hom問題に関する先行結果を、完全な有限値設定へ一般化すること。

提案手法

• 著者たちは、すべての単項コスト関数を含む言語を保守的言語と定義し、任意のドメイン制限を許容する。
• 言語の関数的グラフGΓにおける「ソフト自己ループ」の概念を導入する。関数fがx,yについてf(x,x) < f(x,y) + f(y,x)を満たすとき、fはソフト自己ループを持つと定義する。
• コアとなる手法は、ソフト自己ループが存在しない場合に、部分集合M上でSTPに類似した演算を備えたマルチモーフィズムを構成することである。
• 変数の代入に関する帰納法とケース解析を用いて、準凸性に類似した不等式が成り立つことを示し、多項式時間解法可能性を示している。
• 証明は、単項コスト関数を用いてインスタンスを変換し、和の最小化を分析することで成り立っている。
• ソフト自己ループが存在しない場合、言語は部分集合M上でSTPに類似したマルチモーフィズムを備え、これが多項式時間解法可能性を示唆する。

実験結果

リサーチクエスチョン

• RQ1 非ブール型ドメインにおける保守的有限値VCSPについて、多項式時間解法可能とNP困難の完全な二分法が成立するか？
• RQ2 保守的有限値言語のどの構造的性質がその多項式時間解法可能性を決定するか？
• RQ3 普遍代数に依存せずに、より初等的な手法を用いて二分法を証明できるか？
• RQ4 言語の関数的グラフGΓにソフト自己ループが存在しないことは、その言語の多項式時間解法可能性を示唆するか？
• RQ5 {0,1}-値、{0,∞}-値、およびMin-Cost-Hom問題に関する先行の二分法結果は、どのように完全な有限値設定へ一般化されるか？

主な発見

• すべての保守的有限値言語は、多項式時間解法可能かNP困難のいずれかであり、非ブール型有限値VCSPにおける最初の二分法結果を確立した。
• 多項式時間解法可能性は、言語の関数的グラフGΓにおけるソフト自己ループの不在と同値である。
• 言語が部分集合M上でSTPマルチモーフィズムを備え、かつソフト自己ループが存在しない場合、その言語は多項式時間解法可能である。
• 証明は、部分集合M上でSTPに類似した動作を示すマルチモーフィズムを構成し、これにより問題が多項式時間で解けることを保証する。
• ソフト自己ループの不在は、Takhanovの「必要局所条件」を満たすことを示し、これによりM上で算術的多様体が存在することが示唆される。
• 本結果は、ブール型、{0,1}-値、およびMin-Cost-Hom問題に関する先行の二分法結果を、一貫した基準の下で一般化・統合した。