[论文解读] Prime Vertex Labelings Of Families Of Unicyclic Graphs

Nathan Diefenderfer, Michael Hastings+5 more|arXiv (Cornell University)|Jun 18, 2015

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

一句话总结

本文为此前未知的单环图家族提出了新的素数顶点标记方法，推进了Seoud和Youssef提出的猜想，即所有单环图均具有素数顶点标记。通过使用从1到n的连续整数构造单射标记，使得相邻顶点的标记互素，作者利用组合与数论技术验证了该猜想在更广泛的图家族中的成立。

ABSTRACT

A simple $n$-vertex graph has a prime vertex labeling if the vertices can be injectively labeled with the integers $1, 2, 3,\ldots, n$ such that adjacent vertices have relatively prime labels. We will present previously unknown prime vertex labelings for new families of graphs, all of which are special cases of Seoud and Youssef's conjecture that all unicyclic graphs have a prime labeling.

研究动机与目标

• 扩展已知具有素数顶点标记的单环图类，支持Seoud和Youssef的猜想。
• 为特定单环图家族（包括毛毛虫圈和三元树）开发构造性标记方法。
• 通过数论性质验证这些图中相邻顶点被赋予互素的标记。
• 促进组合数学与数论中图标记研究的更广泛理解。
• 为满足素数顶点标记条件的新图家族提供显式构造与证明。

提出的方法

• 对顶点应用从1到n的单射标记，以确保唯一性。
• 利用互素整数的性质，确保相邻顶点具有互素的标记。
• 通过在基础圈标记上扩展悬垂顶点，构造毛毛虫圈的标记。
• 通过利用分层结构与互素数列，将标记技术扩展至三元树。
• 通过组合分析与顶点对的数论检查验证标记。
• 使用归纳与构造性方法，将标记推广至图家族整体。

实验结果

研究问题

• RQ1 能否识别出新的单环图家族，使其具有素数顶点标记？
• RQ2 毛毛虫圈与三元树是否满足素数顶点标记的条件？
• RQ3 能否系统性地构造标记，以确保相邻顶点具有互素的标记？
• RQ4 这些构造在多大程度上支持Seoud和Youssef关于单环图的猜想？
• RQ5 单环图的何种结构特性使得此类标记成为可能？

主要发现

• 作者为新的单环图家族（包括特定类型的毛毛虫圈）建立了素数顶点标记。
• 通过结构化标记技术，证明三元树具有素数顶点标记。
• 构造结果证实，这些图中相邻顶点被赋予互素的标记。
• 研究结果扩展了已知满足Seoud和Youssef猜想的图类。
• 标记方法具有可推广性，并为顶点分配提供了显式算法。
• 本工作通过数论原理提供了标记的计算与理论验证。