[论文解读] Edge-fault-tolerant edge-bipancyclicity of balanced hypercubes

Pingshan Li, Min Xu|arXiv (Cornell University)|Jun 16, 2016

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

一句话总结

该论文证明了平衡超立方体 $BH_n$ 在最多 $(2n-2)$ 条边故障的情况下仍保持 6-边双周图性，即每条无故障边都位于长度为 6 到 $2^{2n}$ 之间所有偶数长度的无故障环上。该结果在先前工作的基础上，将容错阈值提升至最优的 $2n-2$ 条边故障，采用递归分解与环构造技术，在递归结构中实现。

ABSTRACT

The balanced hypercube, $BH_n$, is a variant of hypercube $Q_n$. R.X. Hao et al. $(2014)$ \cite{R.X.Hao} showed that there exists a fault-free Hamiltonian path between any two adjacent vertices in $BH_n$ with $(2n-2)$ faulty edges. D.Q. Cheng et al. $(2015)$ \cite{Dongqincheng2} proved that $BH_n$ is $6$-edge-bipancyclic after $(2n-3)$ faulty edges occur for all $n\ge2$. In this paper, we improve these two results by demonstrating that $BH_n$ is $6$-edge-bipancyclic even when there exist $(2n-2)$ faulty edges for all $n\ge2$. Our result is optimal with respect to the maximum number of tolerated edge faults.

研究动机与目标

• 确定 $BH_n$ 在保持边双周图性前提下可容忍的最大边故障数。
• 改进先前结果，即证明 $BH_n$ 在 $(2n-3)$ 条边故障下仍保持 6-边双周图性。
• 确立 $BH_n$ 中边双周图性容错阈值的最优性。
• 提供一种构造性证明，表明每条无故障边均位于长度从 6 到 $2^{2n}$ 之间所有偶数长度的环上，即使存在最多 $(2n-2)$ 条边故障。

提出的方法

• 将 $BH_n$ 递归分解为 $n-1$ 维的平衡超立方体 $BH_{n-1}$，以分析其容错能力。
• 在子图中使用边不相交的环构造与路径扩展，以保持环的多样性。
• 基于故障在子立方体边界（$∂D_0$，$∂D_1$）及边类型上的分布，进行分类分析。
• 通过在子立方体中组合长度为 1 或 3 的路径，构造长度为 $\ell$ 的无故障环（$6 \leq \ell \leq 2^{2n}$）。
• 利用 $BH_n$ 的已知性质（如双周图性与哈密顿 laceability）在容错环境下的适用性。
• 通过归纳法与对大小为 $2n-2$ 的故障集的穷举分类分析，确保每种所需偶数长度的环至少存在一个有效构造。

实验结果

研究问题

• RQ1 在 $BH_n$ 仍保持 6-边双周图性的情况下，最多可容忍多少条边故障？
• RQ2 能否将 $BH_n$ 中边双周图性的容错阈值提升至超过 $(2n-3)$ 条边故障？
• RQ3 $(2n-2)$ 条边故障是否为 $BH_n$ 保持 6-边双周图性的最优边界？
• RQ4 在边故障条件下，如何系统地构造 $BH_n$ 中所有长度从 6 到 $2^{2n}$ 的无故障偶数长度环？

主要发现

• 对于所有 $n \geq 2$，平衡超立方体 $BH_n$ 在最多 $(2n-2)$ 条边故障下仍保持 6-边双周图性，优于先前 $(2n-3)$ 条边故障的界限。
• 该结果是最优的，因为 $BH_n$ 无法容忍超过 $(2n-2)$ 条边故障的同时仍保持 6-边双周图性。
• 对于任意无故障边 $e$，即使存在 $(2n-2)$ 条边故障，也存在一条包含 $e$ 的、长度为 $\ell$ 的无故障环，其中 $6 \leq \ell \leq 2^{2n}$ 且 $\ell$ 为偶数。
• 证明表明，无论故障在边界上如何分布，这些环均可通过子立方体中的递归路径扩展与环组合方式构造。
• 该方法证实，$BH_n$ 在可容忍的最大边故障数下仍保持完整的边双周图性，展示了容错网络设计中的强健性。
• 本工作通过证明 $BH_n$ 中边双周图性容错极限在 $(2n-2)$ 条边故障时为紧致边界，解决了长期存在的开放问题。