[论文解读] Token Jumping in minor-closed classes

Nicolás Bousquet, Arnaud Mary+1 more|arXiv (Cornell University)|Jun 29, 2017

Advanced Graph Theory Research参考文献 1被引用 5

一句话总结

本论文证明了在 $K_{\ell,\ell}$-free 图中，Token Jumping (TJ) 重配置问题在参数 $k$ 下是固定参数可满足的（FPT），并将先前关于 $K_{3,\ell}$-free 图的结果推广至更广的 $K_{\ell,\ell}$-free 图类。关键贡献在于提出了一种针对在 $I \cup J$ 中恰好有两个邻居的顶点类的新规约技术，从而在如有界度、有界树宽以及 $\mathcal{H}$-minor-free 图等图类的极小封闭图类中，实现了 FPT 算法与多项式内核。

ABSTRACT

Given two $k$-independent sets $I$ and $J$ of a graph $G$, one can ask if it is possible to transform the one into the other in such a way that, at any step, we replace one vertex of the current independent set by another while keeping the property of being independent. Deciding this problem, known as the Token Jumping (TJ) reconfiguration problem, is PSPACE-complete even on planar graphs. Ito et al. proved in 2014 that the problem is FPT parameterized by $k$ if the input graph is $K_{3,\ell}$-free. We prove that the result of Ito et al. can be extended to any $K_{\ell,\ell}$-free graphs. In other words, if $G$ is a $K_{\ell,\ell}$-free graph, then it is possible to decide in FPT-time if $I$ can be transformed into $J$. As a by product, the TJ-reconfiguration problem is FPT in many well-known classes of graphs such as any minor-free class.

研究动机与目标

• 将 Token Jumping 重配置问题在 $K_{3,\ell}$-free 图中的 FPT 结果扩展到更广的 $K_{\ell,\ell}$-free 图类。
• 为在 $I \cup J$ 中具有有界邻域多样性的图类中的独立集重配置问题，开发新的结构规约技术。
• 证明 TJ-重配置在极小封闭图类（包括有界度和 $\mathcal{H}$-minor-free 图）中具有多项式内核。
• 探索 VC-维数较低的图中 TJ-重配置问题的复杂性边界，特别是当 $d \leq 2$ 时。

提出的方法

• 基于 $I \cup J$ 中的邻域相似性对顶点集进行划分，将具有相同邻域的顶点归为一类。
• 应用基于大小的规约规则：在 $I \cup J$ 中至少有三个邻居的类是有限的，因此可在 FPT 时间内处理。
• 对在 $I \cup J$ 中恰好有两个邻居的类，使用一种新颖的迭代规约技术，用更小的代表类替代较大的此类类。
• 利用 $K_{\ell,\ell}$-free 图的结构特性，限制关键配置的数量，从而确保内核化可行。
• 利用如下事实：在 VC-维数至多为 1 的图中，闭邻域要么不相交，要么嵌套，要么构成支配对，从而实现高效规约。
• 证明：当 VC-维数至多为 1 时，可通过邻域包含关系与支配对分析，在多项式时间内求解 TJ-重配置问题。

实验结果

研究问题

• RQ1 能否将 TJ-重配置在 $K_{3,\ell}$-free 图中的 FPT 结果推广至 $\ell \geq 4$ 时的 $K_{\ell,\ell}$-free 图？
• RQ2 哪些 $K_{\ell,\ell}$-free 图的结构特性使得独立集重配置序列可被高效规约？
• RQ3 TJ-重配置问题在 VC-维数至多为 2 的图中是否是参数 $k$ 下的 FPT 问题？
• RQ4 当 $\ell$ 为固定常数时，$K_{\ell,\ell}$-free 图中 TJ-重配置问题的内核大小是多少？
• RQ5 为 $K_{\ell,\ell}$-free 图开发的规约技术能否推广至其他极小封闭类或有界扩张类？

主要发现

• 对于任意固定的 $\ell$，TJ-重配置问题在 $K_{\ell,\ell}$-free 图中参数化 $k$ 是 FPT 的。
• 当 $\ell$ 固定时，$K_{\ell,\ell}$-free 图中 TJ-重配置问题存在大小为 $\mathcal{O}(h(\ell) \cdot k^{\ell \cdot 3^{\ell}})$ 的多项式内核。
• 该结果意味着 TJ-重配置在所有极小封闭图类中都是 FPT 的，包括有界度、有界树宽以及 $\mathcal{H}$-minor-free 图。
• 对于 VC-维数至多为 1 的图，可通过邻域包含关系与支配对分析，在多项式时间内求解 TJ-重配置问题。
• 针对在 $I \cup J$ 中恰好有两个邻居的类所提出的结构规约技术，是实现从 $K_{3,\ell}$-free 图类扩展至更广类别的关键创新。
• 对于 VC-维数为 2 的图，该问题仍为开放问题，尽管已知其在 VC-维数为 2 时为 NP-难，在 VC-维数为 3 时为 W[1]-难。