[论文解读] The Radio Number of $C_n \square C_n$

Marc Morris-Rivera, Maggy Tomova+2 more|arXiv (Cornell University)|Jul 29, 2010

Graph Labeling and Dimension Problems参考文献 2被引用 5

一句话总结

本文通过建立紧致的下界并构造一个达到该下界的显式无线电标记，确定了两个圈的笛卡尔积 $C_n \square C_n$ 的无线电数。关键成果是得到了一个关于 $n$ 的奇偶性的闭式公式，解决了该图族长期存在的开放问题，并为图积中无线电数的行为提供了洞见。

ABSTRACT

Radio labeling is a variation of Hale's channel assignment problem, in which one seeks to assign positive integers to the vertices of a graph $G$ subject to certain constraints involving the distances between the vertices. Specifically, a radio labeling of a connected graph $G$ is a function $c:V(G) ightarrow \mathbb Z_+$ such that $$d(u,v)+|c(u)-c(v)|\geq 1+ ext{diam}(G)$$ for every two distinct vertices $u$ and $v$ of $G$ (where $d(u,v)$ is the distance between $u$ and $v$). The span of a radio labeling is the maximum integer assigned to a vertex. The radio number of a graph $G$ is the minimum span, taken over all radio labelings of $G$. This paper establishes the radio number of the Cartesian product of a cycle graph with itself (i.e., of $C_n\square C_n$.)

研究动机与目标

• 确定笛卡尔积 $C_n \square C_n$ 的精确无线电数，该图族此前未知其无线电数。
• 通过分析图中任意三个顶点的两两距离之和，建立无线电数的紧致下界。
• 构造一个达到该下界的显式无线电标记，从而证明无线电数的精确值。
• 探讨图积的无线电数与其因子图的无线电数之间的关系，特别是在 $C_n \square C_n$ 与 $C_n^2$ 的背景下。

提出的方法

• 通过分析 $C_n \square C_n$ 中任意三个顶点的两两距离之和的最大值，推导出无线电数的下界。
• 利用 $C_n \square C_n$ 的直径 $2\lfloor n/2 \rfloor$ 来约束任何无线电标记所需的最小跨度。
• 基于对角线遍历模式，定义 $C_n \square C_n$ 顶点上的标记函数 $c$，以结构化、周期性的方式分配标签。
• 证明所构造的标记满足无线电条件：对所有不同的顶点对 $u,v$，有 $d(u,v) + |c(u) - c(v)| \geq 1 + \text{diam}(G)$。
• 通过利用递推关系 $c(x_{i+2}) = c(x_i) + k + 1$（当 $i$ 为偶数时），其中 $k = \lfloor n/2 \rfloor$，验证标记跨度与下界一致。
• 通过证明上界与下界相等，得出该标记为最优，因此跨度等于无线电数。

实验结果

研究问题

• RQ1 图 $C_n \square C_n$ 的无线电数的确切值是什么？
• RQ2 图积的无线电数与其因子图的无线电数之间有何关系？
• RQ3 能否构造一种结构化的标记方案，以在 $C_n \square C_n$ 中实现无线电数的理论下界？
• RQ4 与 $C_n$ 的无线电数的平方相比，$C_n \square C_n$ 的无线电数是否显著更小？

主要发现

• 当 $n = 2k$ 为偶数时，$C_n \square C_n$ 的无线电数精确为 $\frac{n^2 - 2}{2}(k + 2) + 2$。
• 当 $n = 2k + 1$ 为奇数时，无线电数为 $\frac{n^2 - 1}{2}(k + 1) + 1$。
• 所构造的标记达到了下界，证明了这些值为最优，因此即为精确的无线电数。
• $C_n \square C_n$ 的无线电数严格小于 $rn(C_n)^2$，表明无线电数在图积上并非可乘的。
• 基于对角线遍历与周期性标签递增的标记模式，确保了所有顶点对均满足无线电条件。
• 这是首次对一个非平凡图族（其本身为笛卡尔积）的无线电数进行精确确定。