[论文解读] The Complexity of Bounded Length Graph Recoloring

Paul Bonsma, Amer E. Mouawad|arXiv (Cornell University)|Apr 1, 2014

Advanced Graph Theory Research参考文献 18被引用 7

一句话总结

本文研究通过每次仅改变一个顶点颜色的重着色步骤，将图的一个k-着色转换为另一个k-着色的复杂性，且整个过程保持为合法的k-着色，总步数不超过ℓ。研究证明，当k ≥ 4时，该问题为强NP难；但当以k + ℓ为参数时，问题为固定参数可满足（FPT），并提出一个O(f(k,ℓ)n^O(1))时间复杂度的算法，其中f可计算，从而解决了重着色复杂性领域中的一个关键开放问题。

ABSTRACT

We study the following question: Given are two $k$-colorings $α$ and $β$ of a graph $G$ on $n$ vertices, and integer $\ell$. The question is whether $α$ can be modified into $β$, by recoloring vertices one at a time, while maintaining a $k$-coloring throughout, and using at most $\ell$ such recoloring steps. This problem is weakly PSPACE-hard for every constant $k\ge 4$. We show that it is also strongly NP-hard for every constant $k\ge 4$. On the positive side, we give an $O(f(k,\ell) n^{O(1)})$ algorithm for the problem, for some computable function $f$. Hence the problem is fixed-parameter tractable when parameterized by $k+\ell$. Finally, we show that the problem is W[1]-hard (but in XP) when parameterized only by $\ell$.

研究动机与目标

• 理解通过最多ℓ次重着色步骤将图的一个k-着色转换为另一个k-着色的计算复杂性，且过程中始终保持合法的k-着色。
• 确定当以k + ℓ为参数时，长度受限的k-着色重着色问题是否为固定参数可满足（FPT）。
• 弥合长度受限重着色问题在PSPACE难与可解性之间的复杂性鸿沟，特别是针对k ≥ 4的情况。
• 提供一个构造性算法，高效解决以k + ℓ为参数的该问题。

提出的方法

• 提出一种递归搜索树算法，动态维护集合B中顶点的颜色集合，同时保持对允许颜色的约束。
• 使用递归过程，其状态由集合A（待处理的顶点）、集合B（颜色集合已固定的顶点）以及每个v ∈ B的列表L(v)定义。
• 基于颜色约束和可行性条件实施剪枝规则，避免探索不可行分支。
• 应用动态颜色集合传播：当顶点v被重着色时，其新颜色集合U用于更新下一次递归调用中的颜色列表L'。
• 在递归树上施加ℓ + 1的深度限制，确保搜索空间有限。
• 时间复杂度分析为O(2^{k(ℓ+1)} · ℓ^ℓ · poly(n))，表明以k + ℓ为参数时具有固定参数可满足性。

实验结果

研究问题

• RQ1 对于k ≥ 4，当步数ℓ有界时，k-着色重着色问题是否为强NP难？
• RQ2 该问题是否可在O(f(k,ℓ) · n^{O(1)})时间内求解，其中f为可计算函数，从而在以k + ℓ为参数时成为FPT问题？
• RQ3 当仅以ℓ为参数时，该问题是否为W[1]-难，尽管在以k + ℓ为参数时为FPT？
• RQ4 若两个k-着色之间存在长度不超过ℓ的路径，是否意味着在算法约束下存在一条有效的重着色序列？

主要发现

• 对于每个常数k ≥ 4，长度受限ℓ的k-着色重着色问题为强NP难。
• 当以k + ℓ为参数时，该问题为固定参数可满足（FPT），并存在一个运行时间为O(2^{k(ℓ+1)} · ℓ^ℓ · poly(n))的算法。
• 当仅以ℓ为参数时，该问题为W[1]-难，表明仅ℓ不足以保证可解性。
• 该算法通过基于颜色集合约束的递归探索，正确判断长度不超过ℓ的有效重着色序列是否存在。
• 解空间通过搜索树进行探索，其中每个节点对应集合B中顶点的部分颜色集合赋值，剪枝基于可行性条件。
• 通过归纳法证明了该算法的正确性：当且仅当算法返回'YES'时，存在一条有效的重着色序列。