[论文解读] A note on non-repetitive colourings of planar graphs

Narad Rampersad|ArXiv.org|Jul 28, 2003

semigroups and automata theory参考文献 3被引用 5

一句话总结

本文证明，任何外平面图的面均可使用最多五种颜色进行非重复着色，且给出了紧致的下界：某些外平面图需要五种颜色，而某些平面图则需要七种颜色。这些结果通过结构图论和对偶图及类似风扇的构造的着色论证，解决了关于平面图与外平面图中非重复着色的开放问题。

ABSTRACT

Alon et al. introduced the concept of non-repetitive colourings of graphs. Here we address some questions regarding non-repetitive colourings of planar graphs. Specifically, we show that the faces of any outerplanar map can be non-repetitively coloured using at most five colours. We also give some lower bounds for the number of colours required to non-repetitively colour the vertices of both outerplanar and planar graphs.

研究动机与目标

• 解决平面图面着色是否存在有限上界的问题，即非重复面着色所需颜色数是否有限。
• 确定外平面图与平面图的非重复顶点着色所需的最少颜色数。
• 构造显式图，分别证明至少需要五种和七种颜色，从而确立紧致的下界。

提出的方法

• 利用外平面图的对偶图，将面着色问题转化为森林（弱对偶）的顶点着色问题，借助已知的树的非重复着色结果。
• 应用树可使用最多四种颜色进行非重复着色的事实，然后在对偶图中为外部面顶点额外添加第五种颜色。
• 从五个不相交的扇形图（F₄）连接到一个中心顶点构造一个特定的外平面图，通过鸽巢原理和路径重复性证明五种颜色是必要的。
• 设计一个平面图，其中包含两个高阶顶点（r 和 s），每个顶点均连接多个菱形子图，每个子图均需五种不同颜色。
• 使用鸽巢原理证明，在任意六种颜色的着色中，必须有两个铆接顶点共享同一颜色，从而在某条路径上产生重复的颜色模式。
• 通过反证法证明：若 r 和 s 被赋予相同颜色，则相邻性将违反非重复性，从而证明七种颜色是必要的。

实验结果

研究问题

• RQ1 任何外平面图的面是否都能使用有界数量的颜色进行非重复着色？
• RQ2 外平面图的顶点进行非重复着色所需的最少颜色数是多少？
• RQ3 平面图的非重复顶点着色是否存在有限的上界？
• RQ4 能否通过显式构造证明平面图中非重复顶点着色的下界？
• RQ5 对偶图的结构是否有助于证明非重复面着色的上界？

主要发现

• 任何外平面图的面均可使用最多五种颜色进行非重复着色，确立了上界为 5。
• 存在一个外平面图，其非重复顶点着色至少需要五种颜色，表明该上界是紧致的。
• 构造了一个特定的平面图，其无法用少于七种颜色进行非重复着色，确立了平面图顶点着色的下界为 7。
• 证明依赖于鸽巢原理，强制在路径上产生重复的颜色模式，从而在少于五种或七种颜色的着色中导致矛盾。
• 外平面图的弱对偶是一棵树，而树可实现非重复的四色着色，因此外平面图的面着色只需额外一种颜色。
• 平面图中七种颜色的必要性源于菱形单元的结构约束，以及在对称顶点上出现共享颜色时导致的强制重复。