[论文解读] The minimum size of graphs with given rainbow index

Thomas Y. H. Liu|arXiv (Cornell University)|Sep 24, 2015

Graph theory and applications参考文献 4被引用 3

一句话总结

本文研究了在给定 $k$-彩虹指数下连通图的最小大小，重点关注 $t(n,3, heta)$，即在 $n$ 个顶点的图中，对任意 3 个顶点子集在某种边染色下均存在彩虹树的最小边数。本文在不同 $\ell$ 下确定了 $t(n,3,\ell)$ 的精确值和紧致上界，包括当 $n$ 为偶数时 $t(n,3,3) \leq \lfloor n^2/4 \rfloor$，以及当 $n/2 \leq \ell \leq n-3$ 时 $t(n,3,\ell) \leq 2n - \ell - 1$，并利用玫瑰图和完全二分图构造出这些结果。

ABSTRACT

The concept of $k$-rainbow index $rx_k(G)$ of a connected graph $G$, introduced by Chartrand, Okamoto and Zhang, is a natural generalization of the rainbow connection number. Let $t(n,k,\ell)$ denote the minimum size of a connected graph $G$ of order $n$ with $rx_k(G)\leq \ell$, where $2\leq \ell\leq n-1$ and $2\leq k\leq n$. In this paper, we obtain some exact values and some upper bounds for $t(n,k,\ell)$.

研究动机与目标

• 确定阶为 $n$ 的连通图中边数的最小值，使得其 $k$-彩虹指数至多为 $\ell$，记为 $t(n,k,\ell)$。
• 特别关注 $k=3$ 的情形，推导出在不同 $\ell$ 值下 $t(n,3,\ell)$ 的精确值与紧致上界。
• 构造显式图族（如完全二分图和玫瑰图），实现这些边界并验证其 $3$-彩虹指数性质。
• 通过建立边数最小化图在有界 $k$-彩虹指数下的系统性框架，推广先前关于彩虹连通性和 $k$-彩虹指数的研究成果。

提出的方法

• 将 $t(n,k,\ell)$ 定义为满足 $rx_k(G) \leq \ell$ 的 $n$ 阶连通图的最小边数，推广彩虹连通数的概念。
• 利用关于树、环、单环图及完全二分图的 $k$-彩虹指数的已知结果作为基础工具。
• 构造特定的边染色图（如当 $n$ 为偶数时的 $K_{n/2,n/2}$，以及与路径相连的 $(n-\ell,3)$-玫瑰图），使得其 $3$-彩虹指数被 $\ell$ 控制，从而证明上界。
• 使用 $\ell$ 种颜色提供显式边染色，并通过顶点分布的分类分析验证：每个 3 个顶点的子集均存在彩虹 $S$-树。
• 利用图的结构特性：当 $\ell \geq n/2$ 时，通过将长度为 $2\ell - n$ 的路径连接到含 $n-\ell$ 个花瓣的玫瑰图上，实现 $t(n,3,\ell) \leq 2n - \ell - 1$。
• 当 $k=n-1$ 时，使用 $K_{2,n-2}$ 并施加精心设计的染色方式，证明 $t(n,n-1,n-2) \leq 2n-4$。

实验结果

研究问题

• RQ1 对于阶为 $n$ 的连通图，当 $\ell$ 较小时（如 $\ell = 2,3$），其 $rx_3(G) \leq \ell$ 所需的最小边数是多少？
• RQ2 当 $\ell$ 从 $3$ 到 $n-3$ 变化时，能否为 $t(n,3,\ell)$ 建立紧致上界，特别是当 $\ell \geq n/2$ 时？
• RQ3 完全二分图和玫瑰图等图结构如何影响 $3$-彩虹指数？它们能否用于构造极值图例？
• RQ4 当 $\ell$ 趋近于 $n-1$ 时，$t(n,3,\ell)$ 的行为如何？其与树及圈长为 3 的单环图的关系是什么？
• RQ5 对于更大的 $k$（如 $k=n-1$），$k$-彩虹指数能否被统一有界？此类情况下的最小边数是多少？

主要发现

• 当 $n=3$ 时，$t(n,3,2) = 2$；当 $n=4$ 时，$t(n,3,2) = 4$；当 $n=5$ 时，$t(n,3,2) = \binom{5}{2} = 10$，但当 $n \geq 6$ 时，不存在满足 $rx_3(G) \leq 2$ 的图。
• 当 $n \geq 6$ 时，对于偶数 $n$，有 $t(n,3,3) \leq \lfloor n^2/4 \rfloor$；对于奇数 $n$，有 $t(n,3,3) \leq \frac{(n+3)(n-1)}{4}$，该界通过 $K_{n/2,n/2}$ 和修改后的连接构造实现。
• 当 $\ell$ 满足 $n/2 \leq \ell \leq n-3$ 时，不等式 $t(n,3,\ell) \leq 2n - \ell - 1$ 成立，构造方式为将 $(n-\ell,3)$-玫瑰图与长度为 $2\ell - n$ 的路径相连。
• 精确值 $t(n,3,n-2) = n$ 已被确立，可通过长度为 $n$ 的环加一条弦，或圈长为 3 的单环图实现。
• 值 $t(n,3,n-1) = n-1$ 已被确认，对应于树或圈长为 3 的单环图，其 $rx_3(G) = n-1$。
• 对于 $k=n-1$，通过在 $K_{2,n-2}$ 上施加特定染色，证明了 $t(n,n-1,n-2) \leq 2n-4$。