[论文解读] List-coloring embedded graphs

Zdenĕk Dvořák, Ken‐ichi Kawarabayashi|arXiv (Cornell University)|Jan 6, 2013

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

一句话总结

本文提出了一种针对嵌入在固定亏格 g 的曲面上、且围长至少为五的图的高效算法，使用大小为三的列表进行列表着色。对于未预着色的图，该算法的时间复杂度为 O(|V(G)|)；当最多 s 个连通分量被预着色时，时间复杂度为 O(|V(G)|^{K(g+s)+1})，能够同时解决决策问题与构造有效着色，其中常数 K 与图的大小无关。

ABSTRACT

For any fixed surface Σ of genus g, we give an algorithm to decide whether a graph G of girth at least five embedded in Σ is colorable from an assignment of lists of size three in time O(|V(G)|). Furthermore, we can allow a subgraph (of any size) with at most s components to be precolored, at the expense of increasing the time complexity of the algorithm to O(|V(G)|K(g+s)+1) for some absolute constant K; in both cases, the multiplicative constant hidden in the O-notation depends on g and s. This also enables us to find such a coloring when it exists. The idea of the algorithm can be applied to other similar problems, e.g., 5-list-coloring of graphs on surfaces.

研究动机与目标

• 为嵌入在围长至少为五的曲面上的图开发一种多项式时间算法，用于判断其 3-列表着色的可实现性。
• 将该算法扩展以处理最多 s 个连通分量的预着色子图。
• 提供一种构造性方法，不仅判断着色的可行性，还在存在有效着色时实际构造出一种合法着色。
• 将该方法推广至其他问题，例如曲面上的 5-列表着色。

提出的方法

• 利用嵌入在亏格为 g 的曲面上且围长至少为五的图的结构特性，限制其局部配置。
• 基于图的嵌入方式与曲面拓扑，对图进行分解，并在其上应用动态规划。
• 采用有界搜索树技术处理预着色的连通分量，时间复杂度依赖于 g 和 s。
• 利用大小为三的列表着色约束，并借助围长条件减少冲突着色分配的数量。
• 集成一种递归着色过程，尊重列表分配，并在曲面嵌入图中保持一致性。
• 确保算法的时间复杂度在 |V(G)| 上为多项式时间，且指数部分依赖于亏格 g 和预着色复杂度 s。

实验结果

研究问题

• RQ1 对于嵌入在固定亏格 g 的曲面上且围长至少为五的图，能否高效判断其 3-列表着色的可实现性？
• RQ2 对最多 s 个连通分量的预着色如何影响嵌入图上列表着色算法的时间复杂度？
• RQ3 具有高围长的嵌入图的哪些结构特性使得高效列表着色算法成为可能？
• RQ4 该算法方法能否推广至曲面上的其他列表着色问题，例如 5-列表着色？

主要发现

• 当未进行预着色时，该算法在 O(|V(G)|) 时间内判断出围长至少为五且嵌入在亏格为 g 的曲面上的图的 3-列表着色可行性。
• 当最多 s 个连通分量被预着色时，该算法的时间复杂度为 O(|V(G)|^{K(g+s)+1})，其中 K 为某个绝对常数。
• 该算法不仅判断着色的可行性，还在存在合法着色时实际构造出一种有效列表着色。
• 时间复杂度在 |V(G)| 上为多项式，且指数部分随亏格 g 和预着色连通分量数 s 的增加而增长。
• 该方法可推广至其他列表着色问题，如曲面上的 5-列表着色，表明其具有更广泛的应用潜力。