[論文レビュー] A Dichotomy Theorem for General Minimum Cost Homomorphism Problem

Rustem Takhanov|arXiv (Cornell University)|Aug 23, 2007

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

ひとこと要約

この論文は、一般最小コスト同型写像問題（MinHom）の二分法定理を確立し、任意の有限制約言語Γに対して、MinHom(Γ)が多項式時間で解けるか、あるいはNP困難であることを証明している。代数的技法——特に、保存的代数と多様性の構造——を用い、多数性多様性の存在と完全グラフとの関係を通じて、解けるケースを分類し、有向グラフを超える一般制約言語における長年の予想を解決した。

ABSTRACT

In the constraint satisfaction problem ($CSP$), the aim is to find an assignment of values to a set of variables subject to specified constraints. In the minimum cost homomorphism problem ($MinHom$), one is additionally given weights $c_{va}$ for every variable $v$ and value $a$, and the aim is to find an assignment $f$ to the variables that minimizes $\sum_{v} c_{vf(v)}$. Let $MinHom(Γ)$ denote the $MinHom$ problem parameterized by the set of predicates allowed for constraints. $MinHom(Γ)$ is related to many well-studied combinatorial optimization problems, and concrete applications can be found in, for instance, defence logistics and machine learning. We show that $MinHom(Γ)$ can be studied by using algebraic methods similar to those used for CSPs. With the aid of algebraic techniques, we classify the computational complexity of $MinHom(Γ)$ for all choices of $Γ$. Our result settles a general dichotomy conjecture previously resolved only for certain classes of directed graphs, [Gutin, Hell, Rafiey, Yeo, European J. of Combinatorics, 2008].

研究の動機と目的

• すべての有限制約言語Γに対して、一般最小コスト同型写像問題（MinHom）の計算複雑性を解明すること。
• 従来、有向グラフなどの特定クラスに限って知られていた二分法結果を、一般の代数的枠組みへと拡張すること。
• 関係的クラウドと多様性不変量を用いて、解けるMinHom(Γ)インスタンスを完全に分類すること。
• MinHom(Γ)がPに属するかNP困難であることを証明し、一般の二分法予想を解決すること。

提案手法

• 論文は普遍代数からの代数的技法——特に多様性とその不変量——を用いている。
• 操作が入力を保持するという性質を持つ保存的代数の概念を導入し、解けるケースの分類を簡素化している。
• pp-式による制約言語の閉包を分析し、Γ′ ⊆ ⟨Γ⟩ であるとき、MinHom(Γ′) が多項式時間で MinHom(Γ) に還元できることを示している。
• 解ける性質と多数性多様性の存在との間の関係を確立し、強完全グラフ定理を通じて完全グラフ構造と結びつけている。
• 中間の複雑さのクラスを除外するために、算術的デッドロックの概念に依存している。
• 分類は関係的クラウドと、操作とその不変量の間のガロア接続を通じて形式化されている。

実験結果

リサーチクエスチョン

• RQ1 どの有限制約言語Γに対して、最小コスト同型写像問題MinHom(Γ)が多項式時間で解けるか？
• RQ2 MinHom(Γ)の解けるインスタンスを特徴づける代数的構造は何か？
• RQ3 MinHom(Γ)に対して、すべてのインスタンスがPかNP困難であるという二分法が成り立つか？
• RQ4 特に多数性多様性は、MinHom(Γ)の解ける性質とどのように関係するか？
• RQ5 代数的手法を用いて、有向グラフを超えた一般制約言語へ、MinHom(Γ)の複雑さ分類を拡張できるか？

主な発見

• すべての有限制約言語Γに対して、MinHom(Γ)は多項式時間で解けるか、あるいはNP困難であり、完全な二分法が確立された。
• MinHom(Γ)の解ける性質は、代数Pol(Γ)における多数性多様性の存在によって特徴づけられる。
• Γ′ が Γ と同じ関係的クラウドを生成する、すなわち ⟨Γ⟩ = ⟨Γ′⟩ である限り、MinHom(Γ) は MinHom(Γ′) に多項式時間還元可能である。
• 多数性多様性の存在は、制約言語がpp定義に関して閉じており、完全グラフ構造に対応することを意味する。
• 任意の重みを持つMinHom(Γ)は、正の重みインスタンスに多項式時間で還元可能であり、最適化目的関数が保たれる。
• 分類はpp-式による閉包に関して不変であり、複雑さは関係的クラウド⟨Γ⟩にのみ依存する。