[论文解读] Cartesian Products of Regular Graphs are Antimagic

Yongxi Cheng|ArXiv.org|Feb 14, 2006

Graph Labeling and Dimension Problems参考文献 6被引用 3

一句话总结

本文证明了正则图的笛卡尔积是反魔法图，即存在一种边标记方法，使用从1到m的互异整数为边赋值，使得所有顶点的顶点和（即关联边标签之和）互不相同。作者通过为正则图的笛卡尔积构造此类标记，将结果推广至任意两个或更多正则图的笛卡尔积，从而解决了Hartsfield-Ringle反魔法猜想中的一个关键情形。

ABSTRACT

An \emph{antimagic labeling} of a finite undirected simple graph with $m$ edges and $n$ vertices is a bijection from the set of edges to the integers $1,...,m$ such that all $n$ vertex sums are pairwise distinct, where a vertex sum is the sum of labels of all edges incident with the same vertex. A graph is called \emph{antimagic} if it has an antimagic labeling. In 1990, Hartsfield and Ringel \cite{HaRi} conjectured that every simple connected graph, but $K_2$, is antimagic. In this article, we prove that a new class of Cartesian product graphs are antimagic. In addition, by combining this result and the antimagicness result on toroidal grids (Cartesian products of two cycles) in \cite{Wan}, all Cartesian products of two or more regular graphs can be proved to be antimagic.

研究动机与目标

• 证明正则图的笛卡尔积是反魔法图，即存在一种边标记方法，使用1到m的互异标签，使得所有顶点和互不相同。
• 将反魔法性质推广至所有两个或更多正则图的笛卡尔积，基于此前关于环面网格的结果。
• 提供一种构造性方法，用于在正则图积中生成反魔法标记，为更广泛的Hartsfield-Ringle猜想做出贡献。
• 解决长期存在的反魔法标记猜想中的特定图类，为未来推广提供通用框架。

提出的方法

• 通过系统化的边标记技术，为正则图的笛卡尔积构造反魔法标记。
• 运用组合论证，确保顶点和（即关联边标签之和）两两不同。
• 利用关于环面网格（即两个圈的笛卡尔积）的已知结果作为一般证明的基础情形。
• 应用归纳法与对称性论证，将标记构造扩展至两个以上正则图的积。
• 利用图的正则性（度数恒定）作为关键结构特性，以实现均匀的标记模式。
• 确保边标记到1至m的整数之间为双射，同时保持顶点和互不相同。

实验结果

研究问题

• RQ1 正则图的笛卡尔积能否通过互异的边标签进行标记，使得所有顶点和唯一？
• RQ2 反魔法性质是否可从环面网格（两个圈的积）推广至所有两个或更多正则图的笛卡尔积？
• RQ3 正则图的何种结构特性使其笛卡尔积中可构造反魔法标记？
• RQ4 是否存在一种适用于所有正则图积的通用标记方法，能保证顶点和互不相同？
• RQ5 因子图的正则性如何影响反魔法标记的可行性和构造过程？

主要发现

• 所有两个或更多正则图的笛卡尔积都是反魔法图，确认了这一广泛图类的反魔法性质。
• 该证明建立了一种构造性方法，用于在这些积图中生成反魔法标记，确保所有顶点和两两不同。
• 该结果推广了此前关于环面网格（即两个圈的笛卡尔积）的研究成果，扩展至所有正则图积。
• 通过将边标签1至m进行双射分配，实现了反魔法标记，且任意两个顶点的关联边标签之和均不相同。
• 图的正则性确保了足够的对称性与一致性，使得可形成避免和冲突的稳定标记模式。
• 该工作为解决Hartsfield-Ringle猜想迈出了重要一步，该猜想认为除K₂外的所有简单连通图均为反魔法图。