[论文解读] Full Complexity Classification of the List Homomorphism Problem for Bounded-Treewidth Graphs

Karolina Okrasa, Marta Piecyk+1 more|arXiv (Cornell University)|Jan 1, 2020

Advanced Graph Theory Research参考文献 38被引用 4

一句话总结

本文對有界樹寬圖上的列表同態問題（LHom(H)）提供了完整的複雜度分類，針對所有非雙弧目標圖 H，確立了樹寬指數依賴性的緊緻上下界。結果表明，對於每個此類 H，存在常數 k(H)，使得 LHom(H) 可在時間 k(H)^t · n^O(1) 內解決，且根據強指數時間假設（SETH），無法在 (k(H)−ε)^t · n^O(1) 時間內對任意 ε>0 更快求解。

ABSTRACT

A homomorphism from a graph $G$ to a graph $H$ is an edge-preserving mapping from $V(G)$ to $V(H)$. Let $H$ be a fixed graph with possible loops. In the list homomorphism problem, denoted by LHom($H$), we are given a graph $G$, whose every vertex $v$ is assigned with a list $L(v)$ of vertices of $H$. We ask whether there exists a homomorphism $h$ from $G$ to $H$, which respects lists $L$, i.e., for every $v \in V(G)$ it holds that $h(v) \in L(v)$. The complexity dichotomy for LHom($H$) was proven by Feder, Hell, and Huang [JGT 2003]. We are interested in the complexity of the problem, parameterized by the treewidth of the input graph. This problem was investigated by Egri, Marx, and Rzążewski [STACS 2018], who obtained tight complexity bounds for the special case of reflexive graphs $H$. In this paper we extend and generalize their results for \emph{all} relevant graphs $H$, i.e., those, for which the LHom{H} problem is NP-hard. For every such $H$ we find a constant $k = k(H)$, such that LHom($H$) on instances with $n$ vertices and treewidth $t$ * can be solved in time $k^{t} \cdot n^{\mathcal{O}(1)}$, provided that the input graph is given along with a tree decomposition of width $t$, * cannot be solved in time $(k-\varepsilon)^{t} \cdot n^{\mathcal{O}(1)}$, for any $\varepsilon >0$, unless the SETH fails. For some graphs $H$ the value of $k(H)$ is much smaller than the trivial upper bound, i.e., $|V(H)|$. Obtaining matching upper and lower bounds shows that the set of algorithmic tools we have discovered cannot be extended in order to obtain faster algorithms for LHom($H$) in bounded-treewidth graphs. Furthermore, neither the algorithm, nor the proof of the lower bound, is very specific to treewidth. We believe that they can be used for other variants of LHom($H$), e.g. with different parameterizations.

研究动机与目标

• 對參數化為樹寬的列表同態問題（LHom(H)）的參數化複雜度進行完全分類。
• 將先前針對反射圖的成果擴展至所有非雙弧目標圖 H，此類 H 的 LHom(H) 為 NP-困難。
• 針對每個此類 H，確立樹寬指數依賴性的匹配上下界，表達為 k(H)^t · n^O(1)。
• 表明所開發的演算法工具無法進一步改進，揭示當前技術的極限。

提出的方法

• 作者提出針對任意非雙弧圖 H 的 NEQ(S)-小工具之新構造，以在列表同態中強制兩頂點之間的不等式。
• 將既有小工具構造（如區分器與邊小工具）推廣至適用於所有非雙弧圖，包括不可分解圖與強分離圖。
• 演算法使用樹分解上的動態規劃，其狀態空間受 k(H)^t 界制，其中 k(H) 由 H 的結構性質推導而出。
• 透過基於 SETH 的 CNF-SAT 彙簡，建立下界，使用精心設計的小工具模擬目標圖 H 中的變數與子句結構。
• 該構造依賴於識別 H 中的結構不變量，如鄰域非包含性與特定誘導子圖的存在性。
• 證明利用 H∗（H 的反射閉包）的核心化簡，使既有針對不可分解圖的結果得以應用。

实验结果

研究问题

• RQ1 當 H 為非雙弧圖時，LHom(H) 問題在樹寬上的最佳指數依賴為何？
• RQ2 能否針對所有非雙弧目標圖 H（不僅限於反射圖）確立緊緻的上下界？
• RQ3 基於 NEQ(S)-小工具的動態規劃演算法框架是否最佳？或可進一步改進？
• RQ4 相同技術能否延伸至圖同態問題的其他變體，如非列表同態或局部滿射同態？
• RQ5 連通寬度參數是否對 LHom(H) 也具有類似於樹寬的緊緻複雜度界限？

主要发现

• 對於每個非雙弧圖 H，存在常數 k(H)，使得 LHom(H) 可在樹寬為 t 的圖上以時間 k(H)^t · n^O(1) 解決。
• 此上界為緊緻：除非強指數時間假設（SETH）失敗，否則 LHom(H) 無法在 (k(H)−ε)^t · n^O(1) 時間內對任意 ε>0 更快求解。
• 對於許多圖 H，k(H) 值嚴格小於 |V(H)|，顯示此演算法遠快於暴力搜尋。
• NEQ(S)-小工具的構造已推廣至所有非雙弧圖，包括不可分解圖與強分離圖，進而使緊緻界限的證明成為可能。
• 下界構造具有強健性，不依賴於樹寬的特定特性，暗示其可能適用於其他參數化問題。
• 結果顯示，目前針對有界樹寬圖上 LHom(H) 的演算法工具包為最佳，無法進一步延伸以獲得更快的演算法。