[論文レビュー] Tight Bounds for Chordal/Interval Vertex Deletion Parameterized by Treewidth

Michał Włodarczyk|arXiv (Cornell University)|Jan 1, 2023

Algorithms and Data Compression被引用数 1

ひとこと要約

本稿では、与えられた幅が $tw$ の木分解を用いて、$2^{O(tw)} \cdot n$ 時間で動作する決定的アルゴリズムを提示する。これは、以前の $2^{O(tw^2)} \cdot n^{O(1)}$ の境界を改善するものである。主な革新点は、弦的グラフとグラフ的マトロイドの間の新しい関係を確立し、代表的族を用いることで、木幅に線形指数的依存性を達成することにある。区間頂点削除問題について、指数時間仮説の下で $2^{\Omega(tw \log tw)} \cdot n$ の下界を証明し、既知の上界のタイトさを確立している。

ABSTRACT

In Chordal/Interval Vertex Deletion we ask how many vertices one needs to remove from a graph to make it chordal (respectively: interval). We study these problems under the parameterization by treewidth tw of the input graph G. On the one hand, we present an algorithm for Chordal Vertex Deletion with running time 2^𝒪(tw)⋅|V(G)|, improving upon the running time 2^𝒪(tw²)⋅|V(G)|^𝒪(1) by Jansen, de Kroon, and Włodarczyk (STOC'21). When a tree decomposition of width tw is given, then the base of the exponent equals 2^{ω-1}⋅3 + 1. Our algorithm is based on a novel link between chordal graphs and graphic matroids, which allows us to employ the framework of representative families. On the other hand, we prove that the known 2^𝒪(tw log tw)⋅|V(G)|-time algorithm for Interval Vertex Deletion cannot be improved assuming Exponential Time Hypothesis.

研究の動機と目的

• 木幅をパrameterとする弦的頂点削除問題の上界と下界のギャップを埋めること。
• 木分解が与えられた場合に、$2^{O(tw)} \cdot n$ 時間で動作するタイトな $2^{O(tw)} \cdot n$ 時間アルゴリズムを確立すること。
• 区間頂点削除問題に対する既知の $2^{O(tw \log tw)} \cdot n$ 時間アルゴリズムが、指数時間仮説の下で最適であることを証明すること。
• 効率的な動的計画法の設計を可能にするために、弦的グラフとマトロイドの間の新しい構造的関係を確立すること。

提案手法

• 弦的グラフとグラフ的マトロイドの間の新しいリンクを活用し、表現可能集合を用いて弦的完成をモデル化する。
• 代表的族フレームワークを用いて、木分解の走査中に部分解を効率的に維持・圧縮する。
• 各木分解のノードにおける状態を、$(X, \pi, I, c)$ のタプルとして定義する。ここで $X$ は削除されない頂点の集合、$\pi$ は $X$ 上の区間表現、$I$ は削除された頂点の連結成分を追跡するもの、$c$ は削除された頂点の数を数える。
• 優位性ルールを適用する：$(X, \pi, I, c)$ が $(X, \pi, I', c')$ を優位（すなわち $I \sqsubseteq_\pi I'$ かつ $c \leq c'$）である場合、後者は安全に破棄可能である。
• 区間表現の構造と包含最小の区間を用いて、$|\chi(t)| = k$ のとき、各ノードにおける非優位状態の数を $2^{O(k \log k)}$ に抑えられる。
• 重み付きグラフへとアルゴリズムを拡張し、木幅の $2^{O(tw)}$ 近似を用いることで、入力としての木分解が与えられていない場合でも $2^{O(tw)} \cdot n$ 時間の実行時間が保証されることを示す。

実験結果

リサーチクエスチョン

• RQ1 木幅をパrameterとする弦的頂点削除問題は、$2^{O(tw)} \cdot n$ 時間で解けるか？
• RQ2 指数時間仮説の下で、区間頂点削除問題に対する $2^{O(tw \log tw)} \cdot n$ 時間アルゴリズムは最適か？
• RQ3 弦的グラフとマトロイドの間の構造的関係を活用して、効率的な動的計画法を設計できるか？
• RQ4 新しいマトロイドベースのアプローチを、解のサイズ $k$ をパrameterとする弦的頂点削除問題のアルゴリズム改善に拡張できるか？

主な発見

• 幅が $k$ の木分解が与えられた場合、弦的頂点削除問題に対する決定的アルゴリズムが、$O(c^{k\omega+1} n)$ 時間で動作し、$c = 2^{\omega-1} \cdot 3 + 1$ となる。このとき、木幅に線形指数的依存性が達成される。
• このアルゴリズムは、弦的グラフとグラフ的マトロイドの間の新しい関係を活用しており、代表的族を用いた効率的な状態圧縮を可能にしている。
• 区間頂点削除問題について、指数時間仮説の下で $2^{\Omega(tw \log tw)} \cdot n$ の下界を証明し、既知の最良上界と一致させることで、タイトさを確立している。
• 各木分解ノードにおける非優位状態の数は $2^{O(k \log k)}$ に抑えられ、アルゴリズムの効率性が保証される。
• アルゴリズムは重み付きグラフへ拡張可能であり、木分解が与えられていない場合でも、木幅の $2^{O(tw)}$ 近似を用いることで $2^{O(tw)} \cdot n$ 時間の実行時間が達成される。
• この結果は、弦的頂点削除問題の指数部の底をさらに改善することは困難であることを示唆しており、これはフィードバック頂点集合問題への難易度の関係から、定数係数の範囲で既にタイトであるからである。