[论文解读] Towards Cereceda's conjecture for planar graphs

Eduard Eiben, Carl Feghali|arXiv (Cornell University)|Oct 1, 2018

Computational Geometry and Mesh Generation被引用 4

一句话总结

该论文通过证明平面图7-染色的重配置图直径至多为$2^{\mathcal{O}(\sqrt{n})}$，在Cereceda猜想上取得进展，显著改进了先前的$\mathcal{O}(k^n)$界。该方法将平面图的结构分解为独立集与2-退化子图，结合利用有界度子图和连通分量分析实现高效减少染色数的重染色序列。

ABSTRACT

The reconfiguration graph $R_k(G)$ of the $k$-colourings of a graph $G$ has as vertex set the set of all possible $k$-colourings of $G$ and two colourings are adjacent if they differ on the colour of exactly one vertex. Cereceda conjectured ten years ago that, for every $k$-degenerate graph $G$ on $n$ vertices, $R_{k+2}(G)$ has diameter $\mathcal{O}({n^2})$. The conjecture is wide open, with a best known bound of $\mathcal{O}({k^n})$, even for planar graphs. We improve this bound for planar graphs to $2^{\mathcal{O}({\sqrt{n}})}$. Our proof can be transformed into an algorithm that runs in $2^{\mathcal{O}({\sqrt{n}})}$ time.

研究动机与目标

• 为解决Cereceda关于$d$-退化图的$k$-染色重配置图直径的猜想，特别是针对平面图。
• 弥合猜想中的二次直径与目前已知的$\mathcal{O}(k^n)$界之间的差距，尤其针对平面图中$k=7$的情形。
• 为平面图$G$中顶点数为$n$的$R_7(G)$建立亚指数直径界。
• 提供一种构造性算法框架，通过$2^{\mathcal{O}(\sqrt{n})}$次重染色将一种7-染色转换为另一种。

提出的方法

• 将平面图$G$分解为划分$V = I_1 \cup I_2 \cup A$，其中$I_1$与$I_2$为独立集，$A$诱导出一个2-退化子图$H$。
• 采用递归重染色策略，通过中间的6-染色将7-染色减少至5-染色，利用每个顶点的有界重染色成本。
• 利用基于连通分量的分析方法，结合Jordan曲线定理的论证，确保重染色序列可构造而不违反染色约束。
• 利用退化图的已知结果：当$G$为$d$-退化图且$k \geq 2d+1$时，$R_k(G)$的直径为$\mathcal{O}(n^2)$。
• 应用递推关系$f(n) \leq 5 \cdot f(n - n/49) + \mathcal{O}(n)$以界定每个顶点的重染色次数，通过主定理求解得$2^{\mathcal{O}(\sqrt{n})}$。
• 通过分析染色图中交替连通分量的结构，构造避免在相邻顶点上使用之颜色的重染色序列。

实验结果

研究问题

• RQ1 平面图$G$的重配置图$R_7(G)$的直径能否被亚指数界所限制？
• RQ2 是否可能仅通过多项式次数的重染色将平面图的7-染色减少为6-染色？
• RQ3 将平面图划分为两个独立集与一个2-退化子图，是否能实现高效的重染色序列？
• RQ4 平面图的结构分解是否可用于在重配置图中实现亚指数直径界？

主要发现

• 任意具有$n$个顶点的平面图$G$的重配置图$R_7(G)$的直径至多为$2^{\mathcal{O}(\sqrt{n})}$。
• 该界通过利用$2^{\mathcal{O}(\sqrt{n})}$次重染色，经由中间的6-染色将7-染色减少至5-染色而达成。
• 该方法构造了从任意7-染色到任意其他7-染色的重染色序列，其时间复杂度为亚指数时间，且算法运行时间在$2^{\mathcal{O}(\sqrt{n})}$之内。
• 该证明依赖于将平面图分解为两个独立集与一个2-退化子图，从而在退化部分实现受控的重染色。
• 递推关系$f(n) \leq 5 \cdot f(n - n/49) + \mathcal{O}(n)$通过主定理求解，得到亚指数界，从而确认了整体复杂度。
• 该结果改进了先前对平面图的$\mathcal{O}(k^n)$界，尤其在$k=7$时，且提供了构造性算法。