[论文解读] List-coloring apex-minor-free graphs

Zdenĕk Dvořák, Robin Thomas|arXiv (Cornell University)|Jan 7, 2014

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

一句话总结

本文提出了一种针对 $(t+3)$-连通的 $H$-无小世界图的多项式时间算法，其中 $H$ 是一个 $t$-尖点图，且列表大小至少为 $t+4$。关键结果表明，对于该类图，当 $k \geq t+4$ 时，$k$-列表着色可判定性可在多项式时间内解决，且通过在连通性或列表大小降低时的 NP-完全性结果证明了该结果的紧致性。

ABSTRACT

A graph H is t-apex if H-X is planar for some subset X of V(H) of size t. For any integer t>=0 and a fixed t-apex graph H, we give a polynomial-time algorithm to decide whether a (t+3)-connected H-minor-free graph is colorable from a given assignment of lists of size t+4. The connectivity requirement is the best possible in the sense that for every t>=1, there exists a t-apex graph H such that testing (t+4)-colorability of (t+2)-connected H-minor-free graphs is NP-complete. Similarly, the size of the lists cannot be decreased (unless P=NP), since for every t>=1, testing (t+3)-list-colorability of (t+3)-connected K_{t+4}-minor-free graphs is NP-complete.

研究动机与目标

• 确定排除固定 $t$-尖点小世界的图的列表着色问题的计算复杂度。
• 识别确保多项式时间可判定性的最小连通度与列表大小阈值。
• 通过证明当连通性或列表大小降低时问题为 NP-完全，来验证这些阈值的紧致性。
• 将已知的关于平面图与曲面嵌入图的结果推广至更广泛的 $t$-尖点无小世界图类。

提出的方法

• 基于扭结（tangles）与涡流（vortices）的结构分解定理，对 $H$-无小世界图（其中 $H$ 为 $t$-尖点图）进行分解。
• 利用基于扭结的图区域划分（societies 和 cells），并控制涡流与单元结构。
• 使用尊重性扭结与中心化分割，隔离问题子结构，并保持对连通性的控制。
• 在顶点处递归应用 $t$-扩展，以细化结构，确保 $H$-无小世界性质得以保持。
• 结合结构图论结果（如扭结分解、涡流分解）与列表着色的算法技术。
• 通过受控分解将列表着色问题约化为有界树宽子问题，从而支持动态规划。

实验结果

研究问题

• RQ1 对于哪些 $H$-无小世界图类，$k$-列表着色问题可在多项式时间内判定？
• RQ2 为确保 $H$-无小世界图的 $k$-列表着色问题多项式时间可解，所需的最小连通度与列表大小是多少？
• RQ3 是否可以在不使问题变为 NP-完全的前提下，进一步收紧连通性与列表大小的界限？
• RQ4 $t$-尖点图的结构如何影响无小世界族中列表着色问题的复杂度？
• RQ5 $H$-无小世界图的哪些结构特性使得能够设计出高效的列表着色算法？

主要发现

• 提出了一种多项式时间算法，用于判定 $(t+3)$-连通的 $H$-无小世界图在所有顶点 $v$ 满足 $|L(v)| \geq t+4$ 条件下的 $L$-可着色性。
• 该算法对任意固定的 $t$-尖点图 $H$ 均有效，推广了已知的关于平面图与曲面嵌入图的结果。
• 连通性要求 $t+3$ 是紧致的：对每个 $t \geq 1$，判定 $(t+2)$-连通的 $H$-无小世界图的 $(t+4)$-列表着色性为 NP-完全。
• 列表大小 $t+4$ 同样是紧致的：判定 $(t+3)$-连通的 $K_{t+4}$-无小世界图的 $(t+3)$-列表着色性为 NP-完全。
• 该结果表明，对于嵌入在任意固定曲面 $\Sigma$ 中的 $4$-连通图，$5$-列表着色问题可在多项式时间内判定，尽管该结果弱于先前的研究成果。
• 引入了一类新图类 $(t,c)$-尖点自由图，以证明：即使 $H$ 为 $t$-尖点图，当连通性放松至 $t+2$ 时，问题仍为 NP-完全。