[論文レビュー] Metric Dimension and Geodetic Set Parameterized by Vertex Cover

Florent Foucaud, Esther Galby+5 more|arXiv (Cornell University)|May 2, 2024

Advanced Graph Theory Research被引用数 1

ひとこと要約

この論文は、頂点被覆番号をパラメータとするメトリック次元およびジオデティック集合の、タイトなパrameterized複雑性下界を確立する。両問題は、$2^{O(vc^2)} \cdot n^{O(1)}$ 時間で動作するFPTアルゴリズムと、$2^{O(vc)}$ 頂点にカーネル化できることが示され、これらはExponential Time Hypothesis (ETH)のもとで最適であることが示され、FPTおよびカーネル化設定の両方でこのようなタイトな指数的依存関係を持つ問題の少数に属する。

ABSTRACT

For a graph $G$, a subset $S\subseteq V(G)$ is called a resolving set of $G$ if, for any two vertices $u,v\in V(G)$, there exists a vertex $w\in S$ such that $d(w,u) eq d(w,v)$. The Metric Dimension problem takes as input a graph $G$ on $n$ vertices and a positive integer $k$, and asks whether there exists a resolving set of size at most $k$. In another metric-based graph problem, Geodetic Set, the input is a graph $G$ and an integer $k$, and the objective is to determine whether there exists a subset $S\subseteq V(G)$ of size at most $k$ such that, for any vertex $u \in V(G)$, there are two vertices $s_1, s_2 \in S$ such that $u$ lies on a shortest path from $s_1$ to $s_2$. These two classical problems turn out to be intractable with respect to the natural parameter, i.e., the solution size, as well as most structural parameters, including the feedback vertex set number and pathwidth. Some of the very few existing tractable results state that they are both FPT with respect to the vertex cover number $vc$. More precisely, we observe that both problems admit an FPT algorithm running in time $2^{\mathcal{O}(vc^2)}\cdot n^{\mathcal{O}(1)}$, and a kernelization algorithm that outputs a kernel with $2^{\mathcal{O}(vc)}$ vertices. We prove that unless the Exponential Time Hypothesis fails, Metric Dimension and Geodetic Set, even on graphs of bounded diameter, neither admit an FPT algorithm running in time $2^{o(vc^2)}\cdot n^{\mathcal(1)}$, nor a kernelization algorithm that reduces the solution size and outputs a kernel with $2^{o(vc)}$ vertices. The versatility of our technique enables us to apply it to both these problems. We only know of one other problem in the literature that admits such a tight lower bound. Similarly, the list of known problems with exponential lower bounds on the number of vertices in kernelized instances is very short.

研究の動機と目的

• 頂点被覆番号をパラメータとするメトリック次元およびジオデティック集合の、タイトなパrameterized複雑性下界を確立すること。
• 両問題の既知のFPTアルゴリズムおよびカーネル化結果が、Exponential Time Hypothesis (ETH)のもとで漸近的に最適であることを示すこと。
• ETHが成り立たないと仮定すると、$2^{o(vc^2)} \cdot n^{O(1)}$ 時間で動作するFPTアルゴリズムや、$2^{o(vc)}$ 頂点を生成するカーネル化が存在しないことを示すこと。
• 2つの異なるメトリックに基づくグラフ問題において、このようなタイトな下界を示すための技術を統合・拡張すること。
• カーネルサイズおよびFPT実行時間における指数的下界を有する問題の小さな集合に貢献すること。

提案手法

• 頂点被覆に基づく分解を用いて、両問題が $2^{O(vc^2)} \cdot n^{O(1)}$ 時間で動作するFPTアルゴリズムを有することを証明する。
• 任意のインスタンスを $2^{O(vc)}$ 頂点にカーネル化するアルゴリズムを設計し、解のサイズを保存する。
• ETHに基づく下界技術を適用し、ETHが成り立たないと仮定すると、$2^{o(vc^2)} \cdot n^{O(1)}$ 時間で動作するFPTアルゴリズムは存在しないことを示す。
• 双子の頂点および単体的頂点に基づく還元規則を用いてカーネルサイズを制限し、特に偽の双子および真の双子の構造的性質を活用する。
• 頂点被覆の構造的性質と距離に基づくカバレッジを活用し、上界および下界を設計・分析する。
• 同じ還元技術が両問題に一様に適用可能であることを示し、このアプローチの汎用性を強調する。

実験結果

リサーチクエスチョン

• RQ1 メトリック次元およびジオデティック集合のFPTアルゴリズムにおける $2^{O(vc^2)}$ 依存関係は、Exponential Time Hypothesis (ETH) のもとで最適か？
• RQ2 ETHを仮定すると、解のサイズを増加させずに $2^{o(vc)}$ 頂点のカーネルを生成するカーネル化が可能か？
• RQ3 これらの問題が、パラメータ依存性を二重指数的から単一指数的へとジャンプさせるような構造的パラメータは存在するか？
• RQ4 共通のメトリックに基づく性質を持つにもかかわらず、頂点被覆パラメータ化におけるメトリック次元およびジオデティック集合のアルゴリズム的挙動はどのように比較できるか？
• RQ5 同じ還元および下界技術を、強力ジオデティック集合などの他のメトリックに基づく問題へ拡張可能か？

主な発見

• 論文は、Exponential Time Hypothesis (ETH) が成り立たないと仮定すると、メトリック次元およびジオデティック集合は $2^{o(vc^2)} \cdot n^{O(1)}$ 時間で動作するFPTアルゴリズムを有しないことを証明する。
• ETHを仮定すると、解のサイズを増加させずに $2^{o(vc)}$ 頂点のカーネルを生成するカーネル化アルゴリズムは存在しないことが確立される。
• 著者らは、$2^{O(vc^2)} \cdot n^{O(1)}$ 時間で動作するFPTアルゴリズムを両問題に対して提示し、指数部の定数係数の違いを除いて下界と一致する。
• $2^{O(vc)}$ 頂点を有するカーネルを出力するカーネル化アルゴリズムが設計され、ETHのもとでこれが最適であることが示された。
• 双子の頂点および単体的頂点に基づく還元規則が、カーネルサイズを $2^{O(vc)}$ 頂点に制限するために十分であることが示された。
• 同じ技術フレームワークが両問題に適用可能であり、パrameterized複雑性におけるタイトな下界を証明するための統一的アプローチを示している。