[论文解读] Recoloring bounded treewidth graphs

Marthe Bonamy, Nicolás Bousquet|arXiv (Cornell University)|Feb 14, 2013

Advanced Graph Theory Research参考文献 9被引用 11

一句话总结

本论文证明了任意树宽为 $ k $ 的图均为 $ (k+2) $-混合图，其重着色直径至多为 $ 2(n^2 + n) $，从而建立了任意两种 $ (k+2) $-着色之间最短变换序列的二次上界。该结果填补了先前研究留下的空白，并通过使用 Grundy 数改进了 Jerrum 基于最大度数的界，表明有界树宽图具有多项式时间的重着色过程。

ABSTRACT

Let $k$ be an integer. Two vertex $k$-colorings of a graph are \emph{adjacent} if they differ on exactly one vertex. A graph is \emph{$k$-mixing} if any proper $k$-coloring can be transformed into any other through a sequence of adjacent proper $k$-colorings. Any graph is $(tw+2)$-mixing, where $tw$ is the treewidth of the graph (Cereceda 2006). We prove that the shortest sequence between any two $(tw+2)$-colorings is at most quadratic, a problem left open in Bonamy et al. (2012). Jerrum proved that any graph is $k$-mixing if $k$ is at least the maximum degree plus two. We improve Jerrum's bound using the grundy number, which is the worst number of colors in a greedy coloring.

研究动机与目标

• 为有界树宽图中 $ (tw(G)+2) $-着色的重着色直径建立上界，解决该开放问题。
• 通过使用 Grundy 数 $ \chi_g(G) $，改进 Jerrum 针对 $ k $-混合图基于最大度数 $ \triangle(G)+2 $ 的界。
• 为树宽为 $ k $ 的图建立重着色直径的多项式上界，具体为 $ 2(n^2 + n) $。
• 证明 $ (tw(G)+2) $-重着色直径在常数因子范围内是紧的，如弦图和外平面图所示。

提出的方法

• 使用一种动态重着色算法，按特定顺序处理顶点，同时与不断增长的顶点集保持一致。
• 基于树分解应用递归重着色策略，聚焦于剩余连通分量和一致着色。
• 通过颜色冲突的有向图模型实现着色变换，确保冲突有向图中无环，以支持迭代重着色。
• 引入 $ F_i $-一致着色和 $ B_u $-一致着色，以在保持全局合法性的前提下管理局部重着色。
• 采用两阶段重着色过程：首先在不触及 $ B_u $ 的前提下重着色剩余连通分量中的顶点，然后使用空闲颜色重着色 $ B_u $-顶点。
• 分析每个顶点的重着色步骤，证明每个顶点最多被重着色两次，从而总步骤数至多为 $ n^2 + 2n $。

实验结果

研究问题

• RQ1 有界树宽图的 $ (tw(G)+2) $-重着色直径是否为多项式？若是，其紧的上界是什么？
• RQ2 能否通过图不变量（如 Grundy 数）改进基于最大度数的 $ k $-混合界？
• RQ3 树宽有界图中 $ (tw(G)+2) $-着色的重着色直径是否呈二次而非指数级增长？
• RQ4 $ 2(n^2 + n) $ 的界是否可进一步收紧，或其渐近最优？

主要发现

• 任意图 $ G $ 的 $ (tw(G)+2) $-重着色直径至多为 $ 2(n^2 + n) $，确立了二次上界。
• 当 $ k \geq \chi_g(G)+1 $ 时，重着色直径至多为 $ 4 \cdot \chi_g(G) \cdot n $，优于 Jerrum 的 $ \triangle(G)+2 $ 界。
• 界 $ 2(n^2 + n) $ 在常数因子范围内是紧的，如外平面图和弦图所示，其重着色直径达到二次级。
• Grundy 数 $ \chi_g(G) $ 可显著小于 $ \triangle(G)+1 $，因此在某些情况下（如星图）新界更优。
• 该结果表明，当 $ k = tw(G)+2 $ 时，$ k $-混合不仅被保证存在，且可在多项式时间内高效重构。
• 本文通过证明 $ (tw(G)+2) $-着色的二次界，解决了 Bonamy 等人（2012）提出的开放问题。