[論文レビュー] Structural Parameterizations for Two Bounded Degree Problems Revisited

Michael Lampis, Manolis Vasilakis|arXiv (Cornell University)|Jan 1, 2023

Advanced Graph Theory Research被引用数 4

ひとこと要約

本稿は、木幅、パス幅、木深さ、頂点被覆といった主要な構造的パラメータに関して、有界次数頂点削除および欠落彩色の包括的な複雑性解析を提供する。SETHおよびETHに基づく還元を用いて、標準的な動的計画法アルゴリズムの表サイズが $(\Delta+2)^{tw}$ および $(\chi_d(\Delta+1))^{tw}$ である場合、木幅およびパス幅において本質的に最適であることが示され、木深さや頂点被覆といったより制限のきついパラメータですら、著しく速いアルゴリズムが存在しないことが示された。これにより、これらの問題の複雑性ギャップが閉じられた。

ABSTRACT

We revisit two well-studied problems, Bounded Degree Vertex Deletion and Defective Coloring, where the input is a graph $G$ and a target degree $Δ$ and we are asked either to edit or partition the graph so that the maximum degree becomes bounded by $Δ$. Both are known to be parameterized intractable for treewidth. We revisit the parameterization by treewidth, as well as several related parameters and present a more fine-grained picture of the complexity of both problems. Both admit straightforward DP algorithms with table sizes $(Δ+2)^\mathrm{tw}$ and $(χ_\mathrm{d}(Δ+1))^{\mathrm{tw}}$ respectively, where tw is the input graph's treewidth and $χ_\mathrm{d}$ the number of available colors. We show that both algorithms are optimal under SETH, even if we replace treewidth by pathwidth. Along the way, we also obtain an algorithm for Defective Coloring with complexity quasi-linear in the table size, thus settling the complexity of both problems for these parameters. We then consider the more restricted parameter tree-depth, and bridge the gap left by known lower bounds, by showing that neither problem can be solved in time $n^{o(\mathrm{td})}$ under ETH. In order to do so, we employ a recursive low tree-depth construction that may be of independent interest. Finally, we show that for both problems, an $\mathrm{vc}^{o(\mathrm{vc})}$ algorithm would violate ETH, thus already known algorithms are optimal. Our proof relies on a new application of the technique of $d$-detecting families introduced by Bonamy et al. Our results, although mostly negative in nature, paint a clear picture regarding the complexity of both problems in the landscape of parameterized complexity, since in all cases we provide essentially matching upper and lower bounds.

研究の動機と目的

• 木幅、パス幅、木深さ、頂点被覆といった広く用いられる構造的パラメータにおいて、有界次数頂点削除および欠落彩色の正確なパrameterized複雑性を特定すること。
• 標準的な動的計画法による上界と既知の下界とのギャップを埋めるために、タイトな複雑性結果を確立すること。
• より制限のきついパラメータを用いる場合に、標準的なDPアプローチよりも優れたアルゴリズムが存在するかを調査すること。
• 既存のアルゴリズムの最適性に関する未解決の問いを解消すること、特に $\Delta$、$\chi_d$、および頂点被覆サイズといったパラメータへの依存性に関して。

提案手法

• SETHに基づく還元を設計し、木幅およびパス幅において、標準的なDP表サイズを改善できるアルゴリズムが存在しないことを示す。これは、固定された $\Delta$ に対しても成り立つ。
• 木深さにおけるETHに基づく下界を確立するために、再帰的かつ低木深さの構成を導入し、$n^{o(td)}$ のアルゴリズムが存在しないことを証明する。
• d-検出ファミリーを適用することで、頂点被覆に基づくアルゴリズムが $vc^{o(vc)}$ の依存性を持つとETHに反するため、既存の $vc^{O(vc)}$ アルゴリズムが最適であることを示す。
• FFT技術を用いて、表サイズに対するクイasi線形時間アルゴリズムを構築し、長年の未解決であった複雑性依存性に関する問いを解決する。
• 従来の頂点被覆および彩色に関する研究を一般化する新しい還元フレームワークを提案し、$\Delta$ や $\chi_d$ の非自明な値（$\Delta=1$ を含む）をカバーする。
• 適切に構築されたグラフガジェットを用いて、$(\chi_d, \Delta)$-彩色の存在と(3,4)-XSATインスタンスにおける満たされる割り当ての存在が同値であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 SETHのもとで、パス幅をパラメータとする場合に、有界次数頂点削除の標準的DPアルゴリズムは、$\Delta$ を固定した場合でも最適であるか？
• RQ2 SETHのもとで、パス幅をパラメータとする場合に、$\varepsilon > 0$ に対して $n^{O(1)}$ 時間で $(\chi_d(\Delta+1) - \varepsilon)^{pw}$ 時間で欠落彩色を解けるアルゴリズムは存在するか？
• RQ3 木深さをパラメータとする場合に、既知の下界が弱いにもかかわらず、有界次数頂点削除や欠落彩色に対して、質的に速いアルゴリズムが存在するか？
• RQ4 ETHに反しない限り、これらの問題に対する頂点被覆ベースのアルゴリズムの $vc^{O(vc)}$ 依存性を $vc^{o(vc)}$ に改善できるか？
• RQ5 表サイズ $(\chi_d(\Delta+1))^{tw}$ に対して、欠落彩色のクイasi線形時間アルゴリズムが存在するか？

主な発見

• SETHのもとで、任意の $\varepsilon > 0$ に対して、パス幅をパラメータとする場合に、$n^{O(1)}$ 時間で $(\Delta+2 - \varepsilon)^{pw}$ 時間で有界次数頂点削除を解けるアルゴリズムは存在しない。これは $\Delta$ を固定した場合でも成り立つ。
• SETHのもとで、任意の $\varepsilon > 0$ に対して、パス幅をパラメータとする場合に、$n^{O(1)}$ 時間で $(\chi_d(\Delta+1) - \varepsilon)^{pw}$ 時間で欠落彩色を解けるアルゴリズムは存在しない。これは $\chi_d$ および $\Delta$ を固定した場合でも成り立つ。
• 表サイズ $(\chi_d(\Delta+1))^{tw}$ の標準的DPアルゴリズムは最適であり、FFT技術を用いてこの表サイズに対するクイasi線形時間アルゴリズムが構築された。
• ETHのもとで、木深さをパラメータとする場合に、$n^{o(td)}$ 時間で有界次数頂点削除を解けるアルゴリズムは存在しない。これは、従来の還元が $n^{o(\sqrt[4]{td})}$ のみを示していたのに対し、より強い下界である。
• ETHのもとで、木深さをパラメータとする場合に、$n^{o(\sqrt{td})}$ 時間で欠落彩色を解けるアルゴリズムは存在しない。本稿では新たな線形ブロー・アップ還元により、この下界が $n^{o(td)}$ に tightened された。
• 欠落彩色に対して $vc^{o(vc)}$ 依存性を持つアルゴリズムが存在すると、ETHに反する。これにより、既存の $vc^{O(vc)}$ アルゴリズムがこの仮定のもとで最適であることが証明された。