[論文レビュー] Improved Kernels for Tracking Path Problems.

Pratibha Choudhary, Venkatesh Raman|arXiv (Cornell University)|Jan 9, 2020

Advanced Graph Theory Research参考文献 17被引用数 8

ひとこと要約

この論文は、一般グラフにおけるトラッキングパス問題のカーネルサイズの上限を改善し、一般グラフではO(k²)頂点、平面グラフではO(k)にまで低減した。これは従来の結果を著しく進展させた。また、n−kでパrameter化した場合に問題がW[1]-hardであることを証明し、複雑さのタイトな境界を確立した。

ABSTRACT

Tracking of moving objects is crucial to security systems and networks. Given a graph $G$, terminal vertices $s$ and $t$, and an integer $k$, the extsc{Tracking Paths} problem asks whether there exists at most $k$ vertices, which if marked as trackers, would ensure that the sequence of trackers encountered in each s-t path is unique. It is known that the problem is NP-hard and admits a kernel (reducible to an equivalent instance) with $\mathcal{O}(k^6)$ vertices and $\mathcal{O}(k^7)$ edges, when parameterized by the size of the output (tracking set) $k$ [5]. An interesting question that remains open is whether the existing kernel can be improved. In this paper we answer this affirmatively: (i) For general graphs, we show the existence of a kernel of size $\mathcal{O}(k^2)$, (ii) For planar graphs, we improve this further by giving a kernel of size $\mathcal{O}(k)$. In addition, we also show that finding a tracking set of size at most $n-k$ for a graph on $n$ vertices is hard for the parameterized complexity class W[1], when parameterized by $k$.

研究の動機と目的

• 一般グラフにおけるトラッキングパス問題の既存のO(k⁶)頂点カーネルを改善すること。
• 平面グラフに対してより小さいカーネルを構築し、O(k)サイズを達成すること。
• nが頂点数であるとき、n−kでパrameter化した場合の問題のパrameterized複雑さを確立すること。
• 既存のトラッキングパスのカーネルが改善可能かどうかという未解決の問題に答えること。

提案手法

• 著者らは、s-tパスのトラッキング性を保ちつつ、不要な頂点を同定・削除する新しい削減規則を設計した。
• 特に平面グラフにおける構造的性質を活用し、面とサイクル分解を用いて必要なトラッカーの数を制限した。
• 鍵となる技術として、トラッカー列が最小頂点集合で一意に特定できるようにグラフを成分に分割する手法を用いた。
• 一般グラフでは、有界な木幅と分離性の性質を用いた反復的カーネライゼーションを適用し、O(k²)頂点にグラフを縮小した。
• 平面グラフでは、オイラーの公式と面-頂点双対性を活用して、O(k)サイズの線形カーネルを導出した。
• 既知のW[1]-完全問題への還元を用いて、n−kパラメータ化におけるW[1]-hardnessを証明した。

実験結果

リサーチクエスチョン

• RQ1 一般グラフにおけるトラッキングパス問題のO(k⁶)カーネルは改善可能か？
• RQ2 平面グラフにおけるトラッキングパス問題に線形カーネルは存在するか？
• RQ3 n−kでパrameter化した場合のトラッキングパス問題のパrameterized複雑さは何か？
• RQ4 構造的グラフ性質を活用してより小さいカーネルを設計可能か？

主な発見

• 本論文は、一般グラフにおけるトラッキングパス問題に対してO(k²)サイズのカーネルを提示し、以前のO(k⁶)の境界を改善した。
• 平面グラフでは、O(k)サイズの線形カーネルを達成し、定数倍の意味で最適である。
• n−kでパrameter化した場合、問題がW[1]-hardであることが示された。これは、W[1] = FPTでない限り、多項式カーネルが存在しないことを示唆する。
• 結果から、平面性のような構造的制約がカーネルサイズを著しく削減できること、およびグラフのトポロジーがカーネライゼーションにおいて重要な役割を果たすことが明らかになった。