[论文解读] The Z-cubes: a hypercube variant with small diameter

Xuding Zhu|arXiv (Cornell University)|Sep 23, 2015

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

一句话总结

该论文提出了Z-立方体，一种通过递归连接两个(n−1)维Z-立方体并基于按位置换函数的特殊完美匹配构造的新型超立方体变体。主要贡献在于证明了n维Z-立方体的直径为(1+o(1))n/log₂n，实现了在2ⁿ个顶点的n-正则图中接近最优的直径，显著优于以往的超立方体变体。

ABSTRACT

This paper introduces a new variant of hypercubes, which we call Z-cubes. The n-dimensional Z-cube $H_n$ is obtained from two copies of the (n-1)-dimensional Z-cube $H_{n-1}$ by adding a special perfect matching between the vertices of these two copies of $H_{n-1}$. We prove that the n-dimensional Z-cubes $H_n$ has diameter $(1+o(1))n/\log_2 n$. This greatly improves on the previous known variants of hypercube of dimension n, whose diameters are all larger than n/3. Moreover, any hypercube variant of dimension $n$ is an n-regular graph on $2^n$ vertices, and hence has diameter greater than $n/\log_2 n$. So the Z-cubes are optimal with respect to diameters, up to an error of order $o(n/\log_2n)$. Another type of Z-cubes $Z_{n,k}$ which have similar structure and properties as $H_n$ are also discussed in the last section.

研究动机与目标

• 设计一种新型超立方体变体，其直径小于现有的变体（如扭曲立方体和带刺立方体）。
• 解决在2ⁿ个顶点的n-正则图中，超立方体直径的根本极限问题，该极限已知超过n/log₂n。
• 构建一个图族，使其直径接近这一理论下界。
• 探索新Z-立方体族的结构与算法特性，包括哈密顿性与路由效率。

提出的方法

• 通过使用特定置换φ，将两个Hₙ₋₁的副本递归地构造出n维Z-立方体Hₙ，该置换通过异或运算修改每个顶点的前κ(n)位与最后κ(n)位。
• 使用置换φ(x)[1,κ(n)] = x[1,κ(n)] ⊕ x[n−κ(n)+1,n] 和 φ(x)[κ(n)+1,n] = x[κ(n)+1,n] 来确定两个副本之间的匹配边。
• 证明当n ≥ 3时，Hₙ是哈密顿连通的，从而确立其强连通性与路径存在性。
• 引入一个简化变体Zₙ,ₖ，其中固定k值，仅对前k位和最后k位应用置换φₖ，以实现更简便的分析。
• 建立Zₙ,ₖ的直径上界为n/(k+1) + 2ᵏ，当k ≈ log₂n − 2log₂log₂n时该上界最小化。
• 证明当k = ⌈log₂n − 2log₂log₂n⌉时，直径为(1+o(1))n/log₂n，与Hₙ的渐近界一致。

实验结果

研究问题

• RQ1 n维Z-立方体Hₙ的直径是多少？能否比以往的超立方体变体获得更紧的上界？
• RQ2 是否存在一个多项式时间算法，用于计算Hₙ中任意两点间的最短路径？
• RQ3 Hₙ中两点间的平均距离是多少？与标准超立方体相比如何？
• RQ4 使Hₙ不再具有哈密顿性质所需的最少顶点或边数是多少？这反映了其容错能力。
• RQ5 Hₙ的自同构群是什么？Hₙ是否是顶点传递的？

主要发现

• n维Z-立方体Hₙ的直径为(1+o(1))n/log₂n，这是在2ⁿ个顶点的n-正则图中渐近最优的。
• 该直径界通过使用结合每个顶点前κ(n)位与最后κ(n)位的按位置换函数的递归构造实现。
• 引入了一个简化变体Zₙ,ₖ，其直径上界为n/(k+1) + 2ᵏ，当k取⌈log₂n − 2log₂log₂n⌉时，可达到相同的渐近直径。
• Zₙ,ₖ的构造比Hₙ更简单，支持更模块化的设计，但增加维度时需要重新初始化。
• 对所有n ≥ 3，Hₙ均为哈密顿连通，表明其具有强连通性与丰富的路径结构。
• Hₙ的直径严格小于标准超立方体Qₙ及所有已知的超立方体变体，包括直径约为n/3的带刺立方体。