[论文解读] 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为参数时，该问题为W[1]-难，从而确立了紧致的复杂度界限。

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−k（n为顶点数）为参数时，该问题的参数化复杂度。
• 回答追踪路径问题现有核是否可被改进的开放问题。

提出的方法

• 作者设计了一种新颖的规约规则，识别并移除冗余顶点，同时保持s-t路径的追踪性质。
• 他们利用图的结构特性，特别是平面图的性质，通过面分解和环分解来限制所需追踪器的数量。
• 关键技术在于将图划分为若干子图，使得追踪器序列能以最小顶点集唯一确定。
• 该方法通过迭代核化，结合有界树宽和分离性质，将一般图缩小至O(k²)个顶点。
• 对于平面图，他们利用欧拉公式和面-顶点对偶性，推导出大小为O(k)的线性核。
• 他们通过从一个已知的W[1]-完全问题规约，证明了n−k参数化下的W[1]-难性。

实验结果

研究问题

• RQ1 一般图中追踪路径问题的O(k⁶)核能否被改进？
• RQ2 平面图中追踪路径问题是否存在线性核？
• RQ3 当以n−k为参数时，追踪路径问题的参数化复杂度如何？
• RQ4 能否利用图的结构特性设计更小的核？

主要发现

• 该论文为一般图中的追踪路径问题提出了大小为O(k²)的核，优于先前的O(k⁶)界。
• 对于平面图，作者实现了大小为O(k)的线性核，该结果在常数因子意义下为最优。
• 当以n−k为参数时，该问题被证明为W[1]-难，表明除非W[1] = FPT，否则不存在多项式核。
• 结果表明，如平面性等结构约束可显著减小核的大小，凸显了图拓扑在核化中的关键作用。