[論文レビュー] Deciding Twin-Width at Most 4 Is NP-Complete

P. Bergé, Édouard Bonnet+1 more|arXiv (Cornell University)|Dec 16, 2021

Advanced Graph Theory Research被引用数 10

ひとこと要約

本稿は、グラフのツイン幅が4以下であるかどうかを決定することはNP完全であることを証明し、ツイン幅を計算するための最初の正確なアルゴリズム的下界を確立する。著者らは3-SATに還元し、変数、ワイヤー、および節の部品からなる直接的なグラフガジェットの構築を行う。4-系列が存在するのは、3-SATのインスタンスが充足可能である場合に限る。この結果は、指数時間仮説（Exponential-Time Hypothesis）が成り立たない限り、ツイン幅≤4を時間 2^o(n/log n) で決定するアルゴリズムは存在しないことを示唆する。

ABSTRACT

We show that determining if an $n$-vertex graph has twin-width at most 4 is NP-complete, and requires time $2^{Ω(n/\log n)}$ unless the Exponential-Time Hypothesis fails. Along the way, we give an elementary proof that $n$-vertex graphs subdivided at least $2 \log n$ times have twin-width at most 4. We also show how to encode trigraphs $H$ (2-edge colored graphs involved in the definition of twin-width) into graphs $G$, in the sense that every $d$-sequence (sequence of vertex contractions witnessing that the twin-width is at most $d$) of $G$ inevitably creates $H$ as an induced subtrigraph, whereas there exists a partial $d$-sequence that actually goes from $G$ to $H$. We believe that these facts and their proofs can be of independent interest.

研究の動機と目的

• グラフのツイン幅が4以下であるかどうかを決定する計算複雑性を確立すること。
• 一般グラフ上での正確なツイン幅計算のパrameterized複雑性に関する理解のギャップを埋めること。
• 3-SATからツイン幅決定問題への直接還元を提供し、弦的完了など構造的中間問題を避けること。
• ツイン幅≤4の問題が、有効度数制限付きグラフ、特に平面グラフに対してもNP完全であることを示すこと。
• k=4のときのハードネスを示すことにより、ツイン幅≤kを決定するXPアルゴリズム（時間 n^{f(k)}）の存在を排除すること。

提案手法

• 3-SATのインスタンス I から、変数ガジェット、リテラル用ワイヤーガジェット、および節ガジェットを用いて、O(n log n) 頂点のグラフ G を構築する。
• 3-SATインスタンスが充足可能である場合にのみ、部分的4-系列を設計し、グラフをトライグラフ H に収縮させることを可能にする。
• フェンスガジェットとORゲート構造を用いて、リテラルと節間の論理的依存関係を模倣する。
• 赤色次数と収縮列に関する不変量を用いて、4-系列が存在するのは充足割り当てが存在する場合に限ることを証明する。
• 得られたトライグラフ H が、O(n) 頂点のグラフの (≥L)-部分分割であることを示し、L = 2⌈log(5n+3m)⌉ とし、既知の結果を適用して H のツイン幅が ≤4 であることを結論づける。
• 指数時間仮説（ETH）を用いて、ツイン幅≤4を決定するための時間計算量に 2^Ω(n/log n) の下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 グラフのツイン幅が4以下であるかどうかを決定することはNP完全か？
• RQ2 指数時間仮説を破るこなしに、時間 2^o(n/log n) でこの問題を解くことは可能か？
• RQ3 NP完全性は有効度数制限付きまたは平面グラフに対しても成り立つか？
• RQ4 ツイン幅が4以下のグラフは多項式時間で認識可能か？
• RQ5 正確な計算がNP困難であることを踏まえると、ツイン幅計算の最良の近似比は何か？

主な発見

• グラフのツイン幅が4以下であるかどうかを決定することはNP完全であり、パラメータ化複雑性における重要な未解決問題を解決した。
• 指数時間仮説が成り立たない限り、ツイン幅≤4を決定するには 2^Ω(n/log n) の時間が必要であり、強い条件付き下界を確立した。
• n 頂点のグラフの (≥2 log n)-部分分割は常にツイン幅が4以下である。これは、有界ツイン幅を持つグラフの新たな族を提供する。
• 3-SATへの還元は直接的であり、最小カット線形配置などの中間問題に依存せず、強固でスパースなグラフクラスへの拡張が可能である。
• 入力の3-SATインスタンスが充足可能である場合に限り、ツイン幅≤4であるような O(n log n) 頂点のグラフ G が構築可能である。
• 構築されたグラフの赤色グラフは、パスと孤立頂点の disjoint な和集合であり、ツイン幅の決定を保つ O(n log n) 頂点のグラフ G' への多項式時間還元が可能である。