[論文レビュー] The power of linear programming for valued CSPs: a constructive characterization

Vladimir Kolmogorov|arXiv (Cornell University)|Jul 31, 2012

Advanced Graph Theory Research参考文献 18被引用数 5

ひとこと要約

本稿は、基本線形計画法（BLP）の緩和によって解ける有限値制約言語の構成的特徴付けを提供する。有限値言語 Γ が BLP によって解けることと、それが二項可換な分数的多様体を備えることは同値であり、多項式時間で検証可能な必要十分条件を提供する。これは、このような言語における BLP 解可能性の決定可能性に関する未解決問題を解決する。

ABSTRACT

A class of valued constraint satisfaction problems (VCSPs) is characterised by a valued constraint language, a fixed set of cost functions on a finite domain. An instance of the problem is specified by a sum of cost functions from the language with the goal to minimise the sum. We study which classes of finite-valued languages can be solved exactly by the basic linear programming relaxation (BLP). Thapper and Zivny showed [20] that if BLP solves the language then the language admits a binary commutative fractional polymorphism. We prove that the converse is also true. This leads to a necessary and a sufficient condition which can be checked in polynomial time for a given language. In contrast, the previous necessary and sufficient condition due to [20] involved infinitely many inequalities. More recently, Thapper and Zivny [21] showed (using, in particular, a technique introduced in this paper) that core languages that do not satisfy our condition are NP-hard. Taken together, these results imply that a finite-valued language can either be solved using Linear Programming or is NP-hard.

研究の動機と目的

• 有限値制約言語における BLP 解可能性条件の決定可能性に関する未解決問題を解消すること。
• 基本線形計画法（BLP）によって解ける有限値言語の構成的で、多項式時間で検証可能な特徴付けを提供すること。
• Thapper と Živný の結果の逆を確立し、BLP 解可能性が二項可換な分数的多様体の存在を意味することを示すこと。
• 代数的および線形計画法的手法を用いて、価値付きCSPにおける tractability の既存結果を統合・拡張すること。
• 標準的な複雑性仮定のもとで、任意の有限値言語が BLP で正確に解けるか、あるいは NP 困難であることを示すこと。

提案手法

• コスト関数の構造的性質として、特に二項可換な分数的多様体の概念を導入し、形式化する。
• 構成的証明法を用いて、言語が二項可換な分数的多様体を備えるならば、対応する VCSP のすべてのインスタンスが BLP で解けることを示す。
• マルチ多様体構造を表す有向グラフに対して「有効な反転操作」の系列を適用し、循環的グラフを非循環的グラフに変換することで、このような変換の下での閉包性を証明する。
• 線形計画法の双対性および凸緩和理論を用いて、VCSP インスタンスにおける BLP の整数性ギャップを分析する。
• 既存の多様体に関する結果および SDP 緩和に関する結果を活用し、BLP のパワーを対比的・文脈的に位置づける。
• コスト関数のラベリングに基づく定式化を用い、マルチ多様体不等式を適用して、BLP のタイトネスの必要条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 有限値 VCSP における BLP 解可能性の無限不等式条件は、有限で検証可能な特徴付けに置き換え可能か？
• RQ2 二項可換な分数的多様体の存在が、有限値言語における BLP 解可能性の必要十分条件であるか？
• RQ3 BLP 緩和は、すべての tractable な有限値 VCSP を正確に解けるか、それ以外の言語はその範囲外にあるか？
• RQ4 有限値言語における STP マルチ多様体と部分加法的マルチ多様体の存在の関係は何か？
• RQ5 標準的な複雑性仮定のもとで、BLP 緩和はより複雑な緩和（例：SDP）と同等の表現力を持つか？

主な発見

• 有限値言語 Γ が基本線形計画法（BLP）で解けることと、それが二項可換な分数的多様体を備えることは同値である。
• この特徴付けにより、BLP 解可能性の多項式時間決定可能条件が得られ、Thapper と Živný が提示した無限不等式条件の決定可能性に関する長年の未解決問題が解決される。
• 本稿は、言語が STP マルチ多様体を備えるならば、部分加法的マルチ多様体も備えることを証明し、多様体的性質の間の構造的階層を確立する。
• 任意の完全有向グラフを、3-サイクル内の辺を反転することで非循環的グラフに変換する有効な反転操作の系列が存在することを示し、多様体性質がこのような変換の下で閉じていることを証明する。
• Thapper と Živný の最近の結果と併せると、P ≠ NP を仮定すれば、すべての有限値言語は BLP で解けるか、あるいは NP 困難であることが示される。
• ユニークゲーム予想のもとで、本結果は BLP が有限値 VCSP において SDP 緩和と同等の正確な解法能力を持つことを示し、SDP で正確に解けるが BLP では解けない言語は存在しないことを示す。