[论文解读] Sharp upper bound for the rainbow connection number of a graph with diameter 2

Jiu-Ying Dong, Xueliang Li|arXiv (Cornell University)|Jun 7, 2011

Interconnection Networks and Systems参考文献 4被引用 6

一句话总结

本文通过一种新颖的构造性染色方法，建立了任意直径为2的无桥图的彩虹连通数的严格上界5。证明了在最坏情况下5种颜色既足够也必要，并提供了明确的示例，表明5种颜色是必需的，从而解决了此前研究中尚未证明的该上界的紧致性。

ABSTRACT

Let $G$ be a connected graph. The \emph{rainbow connection number $rc(G)$} of a graph $G$ was recently introduced by Chartrand et al. Li et al. proved that for every bridgeless graph $G$ with diameter 2, $rc(G)\leq 5$. They gave examples for which $rc(G)\leq 4$. However, they could not show that the upper bound 5 is sharp. It is known that for a graph $G$ with diameter 2, to determine $rc(G)$ is NP-hard. So, it is interesting to know the best upper bound of $rc(G)$ for such a graph $G$. In this paper, we use different way to obtain the same upper bound, and moreover, examples are given to show that the upper is best possible.

研究动机与目标

• 确定无桥直径2图的彩虹连通数的最佳可能上界。
• 解决关于已知上界5是否紧致的开放问题。
• 构造显式图例，表明彩虹连通数可达到5，证明该上界无法进一步改进。
• 提出一种新证明技术，通过基于顶点邻域和环的结构化边染色，建立5的上界。
• 证明即使对于直径为2的图，计算彩虹连通数仍是NP难的，从而强化了对紧致上界的需求。

提出的方法

• 作者定义并利用通过中心顶点的3-、4-和5-环的适当染色，构建系统化的边染色方案。
• 他们将中心顶点的邻域划分为不相交集合 $ B_1, \dots, B_{b+2} $，并施加特定的结构和独立性条件，以控制颜色传播。
• 通过分层构造顶点集 $ S_1 \subset S_2 \subset \cdots \subset S_k $，确保 $ N^1(u) $ 中的所有顶点均被覆盖，同时通过染色环保持彩虹连通性。
• 边的颜色根据集合成员关系分配：颜色1用于中心到 $ b_i $ 的边，颜色2用于中心到 $ B_i \setminus \{b_i\} $ 的边，颜色3–5用于不同集合之间以及路径上的边。
• 证明通过分析 $ N^1(u) $、$ N^2(u) $ 以及辅助集合 $ X, Y, P, S, T, Q $ 的结构展开，针对每种情况定制颜色分配，以确保所有顶点对之间存在彩虹路径。
• 最后一步对剩余未染色的边复用一种颜色，确保在所有配置下图整体保持彩虹连通。

实验结果

研究问题

• RQ1 无桥直径2图的彩虹连通数上界5是否紧致，还是可以改进？
• RQ2 能否设计一种构造性染色方法，证明5种颜色足以覆盖所有此类图？
• RQ3 直径2图的何种结构特性导致彩虹连通数达到5？
• RQ4 是否存在直径为2且 $ rc(G) = 5 $ 的显式图例，以证明该上界是紧致的？
• RQ5 中心顶点的选择与邻域划分方式如何影响边染色策略与路径构造？

主要发现

• 对于任意无桥图 $ G $，若其直径为2，则 $ rc(G) \leq 5 $。
• 该上界5是紧致的，通过构造一族图例表明 $ rc(G) = 5 $ 得到证明。
• 该构造涉及从中心顶点 $ u $ 出发的 $ k \geq 17 $ 条内部不相交的长度为2的路径，且所有 $ w_i $-顶点之间完全相连。
• 在该类图的任意4种颜色染色中，抽屉原理强制产生一对单色路径，因此必须使用第五种颜色才能实现彩虹连通。
• 显式定义了一种5种颜色的染色方案：颜色1用于 $ uv_i $（$ i=1 $），颜色2用于 $ v_iw_i $（$ i=1 $），颜色3用于 $ uv_i $（$ i \geq 2 $），颜色4用于 $ v_iw_i $（$ i \geq 2 $），颜色5用于 $ G[W] $ 中的所有边。
• 在此染色下，构造图中所有顶点对均由彩虹路径连接，确认 $ rc(G) = 5 $。