[论文解读] Edge Decompositions of Hypercubes by Paths

David J. Anick, Mark Ramras|arXiv (Cornell University)|Aug 22, 2013

Interconnection Networks and Systems参考文献 8被引用 4

一句话总结

本文建立了对长度为 $ m $ 的路径 $ P_m $ 边分解 $ q $-维超立方体 $ Q_q $ 的完整刻画，证明了当 $ q < 2^{32} $ 为奇数时，$ P_m $ 整除 $ Q_q $ 当且仅当 $ m \leq q $ 且 $ m \mid q \cdot 2^{q-1} $。该结果依赖于新颖的图操作与基于哈密顿回路及超立方体中顶点不相交路径系统的递归构造。

ABSTRACT

Many authors have investigated edge decompositions of graphs by the edge sets of isomorphic copies of special subgraphs. For $q$- dimensional hypercubes $Q_q$ various researchers have done this for cer- tain trees, paths, and cycles. In this paper we shall say that "$H$ divides $G$" if $E(G)$ is the disjoint union of $\{fE(H_i) | H_i \simeq H\}$. Our main result is that for $q$ odd and $q &lt; 2^{32}$, the path of length $m$, $P_m$, divides $Q_q$ if and only if $m \leq q$ and $m | (q imes 2^{q-1})$.

研究动机与目标

• 确定路径 $ P_m $ 边分解 $ q $-维超立方体 $ Q_q $ 的必要与充分条件，尤其针对奇数 $ q $。
• 通过提供奇维情形的完整刻画，解决超立方体中路径分解这一长期悬而未决的开放问题。
• 开发新的图论操作，以实现超立方体中边不相交路径系统的递归构造。
• 将已知的哈密顿回路分解与路径嵌入结果推广至一般路径长度。
• 证明对于 $ q < 2^{32} $，必要条件的可除性与长度约束也具有充分性。

提出的方法

• 引入偏序关系 $ H <_D G $，表示 $ H $ 通过同构副本边分解 $ G $。
• 定义关键操作：$ j^0 \cdot \alpha $、$ j^1 \cdot \alpha $ 和 $ \hat{j} \cdot \alpha $，用于操控 $ Q_q $ 中的顶点奇偶性与边标记。
• 为 $ \gamma \in B_q $（顶点的偶奇偶性子集）构造嵌入 $ f_\gamma: P_q \to Q_q $，生成覆盖全部 $ q \cdot 2^{q-1} $ 条边的 $ 2^{q-1} $ 条路径像。
• 利用顶点不相交路径系统（DVOPs）与哈密顿回路分解的递归构造，构建 $ m < q $ 时的 $ P_m $-分解。
• 应用定理 2 将小超立方体中的分解提升：若 $ P_{m'} <_D Q_{q'} $，则对 $ m = d m' $、$ q = d q' $，有 $ P_m = d * P_{m'} <_D d * Q_{q'} <_D Q_q $。
• 利用 $ \rho_2 $-值模 8 的性质，确保递归构造中路径不自交且边不相交。

实验结果

研究问题

• RQ1 对于奇数 $ q < 2^{32} $，路径 $ P_m $ 何时边分解超立方体 $ Q_q $？
• RQ2 必要条件 $ m \leq q $ 且 $ m \mid q \cdot 2^{q-1} $ 对于 $ P_m <_D Q_q $ 是否也充分？
• RQ3 能否构造新颖的图操作以递归生成超立方体中的边不相交路径系统？
• RQ4 哈密顿回路分解与 DVOPs 如何促进一般路径分解的构造？
• RQ5 在将问题约化为更小超立方体分解时，$ m $ 与 $ q $ 的最大公因数起什么作用？

主要发现

• 对于奇数 $ q < 2^{32} $，$ P_m $ 整除 $ Q_q $ 当且仅当 $ m \leq q $ 且 $ m \mid q \cdot 2^{q-1} $，该范围内的猜想已解决。
• 必要条件 $ m \leq q $ 的来源在于：$ Q_q $ 中每个奇度顶点必须是至少一条路径的端点，因此路径数量 $ 2^{q-1} \cdot q / m $ 必须满足 $ 2 \cdot (2^{q-1} \cdot q / m) \geq 2^q $。
• 当 $ \gcd(m, q) = 1 $ 时，$ m $ 必须是 2 的幂，且 $ P_m <_D Q_q $ 成立，因为 $ m \leq 2^t \leq q $ 对于 $ t < 32 $ 成立，且 $ P_{2^t} <_D Q_q $ 由推论 2–5 建立。
• 当 $ \gcd(m, q) = d > 1 $ 时，问题约化为 $ P_{m/d} <_D Q_{q/d} $，其中 $ m/d $ 为 2 的幂且 $ q/d < 2^{32} $，因此通过应用定理 2 提升分解，结论成立。
• 通过跟踪 $ 2 $-值模 8 构造 DVOPs，确保路径保持顶点不相交与边不相交，从而支持递归路径系统生成。
• 本文证明了对 $ q \geq 2^t $ 且 $ t < 32 $，有 $ P_{2^t} <_D Q_q $，该结果为一般情况奠定了基础，通过约化至 $ d=1 $ 情形实现。