[论文解读] 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-公式封閉下不變，表示複雜度僅取決於關係克隆 ⟨Γ⟩。