[論文レビュー] 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) で解けるが、任意の ε>0 に対して (k(H)−ε)^t · n^O(1) 未満の時間で解けない（Strong Exponential Time Hypothesis（SETH）を仮定すれば）。

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)）のパrameterized 複雑性を完全に分類すること。
• 反射的グラフに関する先行研究を、LHom(H) が NP 困難であるすべての非バイアーク標高グラフ H にまで拡張すること。
• 各 H に対して、木幅における指数的依存度の一致する上界と下界（k(H)^t · n^O(1) の形で表現）を確立すること。
• 開発されたアルゴリズム的手法がこれ以上改善できないこと、すなわち現在の技術の限界を示すこと。

提案手法

• 著者らは、任意の非バイアークグラフ H に対して、2つの頂点の不等値を強制する NEQ(S)-ガジェットの新規構成を導入した。
• 既存のガジェット構成（例：区別子やエッジガジェット）を、非分解可能かつ強分割グラフを含むすべての非バイアークグラフに一般化した。
• 木幅 t の木分解に基づく動的計画法を用い、状態空間のサイズが k(H)^t で抑えられる。ここで k(H) は H の構造的性質から導かれる。
• 下界は、CNF-SAT からの SETH に基づく還元によって確立された。変数および節の構造を標高グラフ H の中でシミュレートするように注意深く設計されたガジェットを用いた。
• H における構造的不変量（例：近傍の非包含性、特定の誘導部分グラフの存在）の同定に依存している。
• H∗（H の反射的閉包）のコアへの還元により、非分解可能グラフに関する既存の結果を活用できるようにした。

実験結果

リサーチクエスチョン

• RQ1 H が非バイアークグラフである場合、LHom(H) 問題における木幅への最適な指数的依存度は何か？
• RQ2 反射的グラフに限らず、すべての非バイアーク標高グラフ H に対して、タイトな上界と下界を確立できるか？
• RQ3 NEQ(S)-ガジェットに基づく動的計画法のアルゴリズム枠組みは最適か、それ以上改善可能か？
• RQ4 同じ技術を、非リスト準同型や局所的に全射な準同型など、グラフ準同型問題の他の変種へ拡張できるか？
• RQ5 カット幅パラメータについても、木幅と同様にタイトな複雑性バインディングが得られるか？

主な発見

• すべての非バイアークグラフ H に対して、ある定数 k(H) が存在し、LHom(H) は木幅 t のグラフ上で時間 k(H)^t · n^O(1) で解ける。
• この上界はタイトである：任意の ε>0 に対して、(k(H)−ε)^t · n^O(1) 未満の時間で解けない（SETH が成立する限り）。
• 多くのグラフ H に対して、k(H) は |V(H)| よりも厳密に小さいため、ブルートフォース探索よりも著しく高速であることが示された。
• 非バイアークグラフすべてに一般化された NEQ(S)-ガジェットの構成により、タイトなバインディングの証明が可能になった。
• 下界の構成は、木幅固有の特徴に依存せず、他のパrameterized 問題への応用可能性を示唆する。
• 結果として、有界木幅グラフにおける LHom(H) の現在のアルゴリズムツールキットは最適であり、より高速なアルゴリズムの開発は不可能であることが示された。