[论文解读] Honeycomb Toroidal Graphs

Brian Alspach|arXiv (Cornell University)|Jul 10, 2020

Interconnection Networks and Systems参考文献 19被引用 7

一句话总结

本文研究蜂窝环面图（HTGs），即在广义二面体群上的三正则Cayley图家族，重点关注其结构特性、哈密顿性、直径及自同构群。文章建立了与拓扑图论和代数图论的联系，提供了连通性与哈密顿- Laceability 的条件，并确定了直径和自同构群大小等关键参数，同时提出了关于最短路径与GRR特征化方面的开放问题。

ABSTRACT

Honeycomb toroidal graphs are trivalent Cayley graphs on generalized dihedral groups. We examine the two historical threads leading to these graphs, some of the properties that have been established, and some open problems.

研究动机与目标

• 研究蜂窝环面图（HTGs）的结构与代数性质，HTGs是广义二面体群上的三正则Cayley图家族。
• 考察HTGs从拓扑图论与代数图论中历史出现的背景，特别是与哈密顿圈及Cayley图猜想的关系。
• 确定HTGs的关键图参数，如直径、最短路径与自同构群大小。
• 识别与HTGs相关的图论与算法设计中的开放问题，包括GRR的特征化与最短路径计算。

提出的方法

• 将HTGs建模为Cayley图Cay(D_n; S)，其中D_n为阶为2n的二面体群，S由三个反射组成，连接集为S = {τ, ρ^iτ, ρ^jτ}，满足0 < i < j < n。
• 使用群论条件：当且仅当gcd(n, i, j) = 1时，HTG(D_n; S)连通，且其结构依赖于gcd(n, i) = m > 1。
• 通过m列n行的网格状嵌入表示HTGs，使用水平边（左/右或右/左）与跳跃边（垂直或循环）来建模ρ^jτ的连接。
• 应用模运算与循环标记来建模顶点位置与边转移，特别是改变第二个下标模n的跳跃边。
• 利用引理约束最短路径：引理6.1表明，最短路径中多个跳跃边必须同向，从而降低路径复杂度。
• 通过参数m, n, ℓ的分情况分析推导直径上界，并利用先前研究[17, 19, 21]中的已知结果，整理特定HTG家族的直径值。

实验结果

研究问题

• RQ1 HTG(m, n, ℓ)的直径如何用m, n, ℓ表示？其在不同参数区域下的变化规律是什么？
• RQ2 HTG(m, n, ℓ)中任意顶点间的最短路径是什么？跳跃边如何影响路径长度与结构？
• RQ3 在何种条件下HTG(m, n, ℓ)是GRR（自同构群大小达到最大值mn）？m, n, ℓ的哪些条件决定这一性质？
• RQ4 HTGs的自同构群如何随参数变化？其群阶为何存在显著差异（如Heawood图为336，HTG(1,14,3)为28）？
• RQ5 HTG(m, n, ℓ)在何种条件下为哈密顿-Laceable或哈密顿-连通，特别是在二分图情形下？

主要发现

• HTG(m, 6m, 3m)的直径为2m，此结果由[17]确定，并在本研究中得到验证。
• 对于HTG(m, 2m, m)，当m ≡ 1,4 (mod 6)时，直径为⌊4m/3⌋；当m ≡ 0,2,3,5 (mod 6)时，直径为⌈4m/3⌉，此结果更正了[17]中的早期错误。
• HTG(m, n, 0)的直径为m（当m为偶数且m ≥ n−2时），或(n+m)/2（当m为偶数且m < n−2时）。
• 对于满足m ≥ n/2且ℓ ≡ n−m (mod n)的HTG(m, n, ℓ)，其直径被限制在max{m, ⌊(2m+n+1)/3⌋}以内。
• 当ℓ ≤ √n时，HTG(1, n, ℓ)的直径为2⌊n/ℓ⌋ + 1，此结果通过跳跃边的路径长度分析得出。
• 定理7.1给出了HTG(1, n, ℓ)为GRR的充要条件：n ≥ 18，ℓ < n/2，且(ℓ±1)²/4与(ℓ²−1)/4在模n/2下满足三个非同余条件。