[論文レビュー] 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$ におけるエッジ-バイパニックシクル性の故障耐性閾値の最適性を確立すること。
• 故障なしエッジが、$(2n-2)$ 個の故障エッジがある状態でも、6から $2^{2n}$ のすべての偶数長のサイクル上に存在することを構成的証明すること。

提案手法

• $BH_n$ を $n-1$ 次元の平衡ハイパーキューブ $BH_{n-1}$ に再帰的に分解し、故障耐性を分析すること。
• 部分グラフ内でのエッジに依存しないサイクル構築とパスの延長を用いて、サイクルの多様性を維持すること。
• 部分立方体の境界（$∂D_0$, $∂D_1$）およびエッジの種別に基づく故障分布に応じたケース分析の適用。
• 部分立方体内で長さ1または3のパスを組み合わせることで、長さ $\ell$ の故障なしサイクル（$6 \leq \ell \leq 2^{2n}$）を構築すること。
• $BH_n$ の既知の性質（例えば、バイパニックシクル性やハミルトニアン・レースラビリティ）を故障耐性設定で活用すること。
• サイズ $2n-2$ の故障集合に対して数学的帰納法と包括的なケース分析を用い、各必要な偶数長に対して少なくとも1つの有効なサイクルが存在することを保証すること。

実験結果

リサーチクエスチョン

• 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$ が6エッジ-バイパニックシクル性を保つためには、$(2n-2)$ 個を超える故障エッジを許容できない。
• 任意の故障なしエッジ $e$ に対して、$6 \leq \ell \leq 2^{2n}$ のすべての偶数長 $ ceil$ の故障なしサイクルが存在し、$(2n-2)$ 個の故障エッジがある状態でも $e$ を含む。
• 証明により、境界上の故障分布に関係なく、部分立方体における再帰的パス延長とサイクルの組み合わせによって、このようなサイクルを構築可能であることが示された。
• この手法により、$BH_n$ が故障エッジ数の最大限に耐えながらも、完全なエッジ-バイパニックシクル性を維持することが確認され、故障耐性ネットワーク設計における頑健性が裏付けられた。
• 本研究により、$BH_n$ におけるエッジ-バイパニックシクル性の故障耐性限界が $(2n-2)$ エッジでタイトであることが示され、未解決問題が解決された。