[论文解读] Graph colorings under global structural conditions

Xuqing Bai, Xueliang Li|arXiv (Cornell University)|Aug 17, 2020

Graph Labeling and Dimension Problems参考文献 35被引用 8

一句话总结

本文通过区分基于局部邻接关系（顶点/边邻接）的局部色数与基于全局结构特性（如连通性）的全局色数，提出了一种图着色的新框架。它形式化了‘全局着色’——即着色需保持图的大尺度特性，如彩虹、正常或单色连通性——并定义了相应的全局色数，建立了一个与经典图着色理论截然不同的基础理论。

ABSTRACT

More than ten years ago in 2008, a new kind of graph coloring appeared in graph theory, which is the {\it rainbow connection coloring} of graphs, and then followed by some other new concepts of graph colorings, such as {\it proper connection coloring, monochromatic connection coloring, and conflict-free connection coloring} of graphs. In about ten years of our consistent study, we found that these new concepts of graph colorings are actually quite different from the classic graph colorings. These {\it colored connection colorings} of graphs are brand-new colorings and they need to take care of global structural properties (for example, connectivity) of a graph under the colorings; while the traditional colorings of graphs are colorings under which only local structural properties (adjacent vertices or edges) of a graph are taken care of. Both classic colorings and the new colored connection colorings can produce the so-called chromatic numbers. We call the colored connection numbers the {\it global chromatic numbers}, and the classic or traditional chromatic numbers the {\it local chromatic numbers}. This paper intends to clarify the difference between the colored connection colorings and the traditional colorings, and finally to propose the new concepts of global colorings under which global structural properties of the colored graph are kept, and the global chromatic numbers.

研究动机与目标

• 阐明经典（局部）图着色与依赖于全局结构特性的新型基于连通性的着色之间的根本区别。
• 形式化全局着色的概念，要求着色在特定颜色模式（如彩虹、正常、单色）下保持全局性质（如连通性）。
• 定义并引入全局色数的概念，即在特定着色规则下，确保图满足给定全局结构特性的最小或最大所需颜色数。
• 建立一个全新的图着色理论框架，将关注点从局部邻接约束转向全局连通性与子结构保持。
• 推动发展专用于全局着色的新工具与方法，区别于传统图着色理论所用的工具与方法。

提出的方法

• 提出全局着色的一般定义：对图的边着色，使得所得着色图满足特定的全局图性质 $\mathcal{P}$，例如 $\mathcal{P}$-连通性。
• 将 $\mathcal{P}$-色数 $\chi_{\mathcal{P}}(G)$ 定义为使无色图 $G$ 在着色下满足性质 $\mathcal{P}$ 所需的最小（或在单色情形下为最大）颜色数。
• 根据 $\mathcal{P}$ 的性质对着色进行分类：例如彩虹连通、正常连通、单色连通或不连通，从而产生不同的色数。
• 引入 $\mathcal{P}$-路径的概念——具有特定颜色模式的路径（如彩虹路径要求所有颜色互异）——以形式化在颜色约束下的连通性。
• 区分局部着色（如正常边着色，要求顶点处相邻的边颜色不同）与全局着色（如确保每对顶点间存在一条彩虹路径）。
• 通过彩虹连通数 $rc(G)$、正常连通数 $pc(G)$ 和单色连通数 $mc(G)$ 等实例，说明该框架，并展示其如何融入全局色数范式。

实验结果

研究问题

• RQ1 什么使得经典（局部）图着色与依赖于全局结构特性的新型基于连通性的着色相区别？
• RQ2 如何正式定义并分类那些保持全局性质（如连通性）而非仅局部邻接约束的着色？
• RQ3 在给定着色规则下，最小或最大颜色数在确保图满足全局结构条件中起什么作用？
• RQ4 为何传统工具与方法不足以分析全局着色？需要怎样的新理论框架？
• RQ5 如何将色数概念推广以包含全局结构约束？会涌现出哪些新的全局色数类别？

主要发现

• 本文明确建立了基于局部邻接关系的局部色数与基于全局连通性及结构保持的全局色数之间的概念与理论差异。
• 正式定义了全局着色为一种边着色，确保图满足全局性质 $\mathcal{P}$（如彩虹连通或正常连通），并引入 $\mathcal{P}$-色数 $\chi_{\mathcal{P}}(G)$ 作为满足该性质所需的极值颜色数。
• 对于彩虹与正常着色，取最小颜色数（如 $rc(G)$、$pc(G)$）；对于单色着色，则考虑最大颜色数（如 $mc(G)$），反映出不同结构要求的本质差异。
• 该框架将现有的彩虹连通、正常连通与单色连通等概念统一为一个全局着色的理论体系。
• 作者认为，由于验证全局结构条件的复杂性，全局着色需要完全不同于经典图着色技术的新工具与方法。
• 本文最后提出，全局着色理论是图论中一个根本性的新领域，可通过实际应用与理论探索进一步发展。