[論文レビュー] Component edge connectivity of the folded hypercube

Shu-Li Zhao, Weihua Yang|arXiv (Cornell University)|Mar 4, 2018

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

ひとこと要約

本稿は、$n \geq 5$ および $g \leq 2^{\lfloor (n+1)/2 \rfloor}$ の条件下で、折りたたみハイパーキューブ $FQ_n$ の $(g+1)$-部品エッジ連結性を決定し、$g$ の2進展開に基づく閉形式の公式を確立する。主な結果は、$g = \sum_{i=0}^{s} 2^{t_i}$ であるとき、$c\lambda_{g+1}(FQ_n) = (n+1)g - \left(\sum_{i=0}^{s} t_i 2^{t_i - 1} + \sum_{i=0}^{s} i \cdot 2^{t_i}\right)$ であり、この式は、この相互接続ネットワークにおける故障耐性の正確な測定値を提供する。

ABSTRACT

The $g$-component edge connectivity $cλ_g(G)$ of a non-complete graph $G$ is the minimum number of edges whose deletion results in a graph with at least $g$ components. In this paper, we determine the component edge connectivity of the folded hypercube $cλ_{g+1}(FQ_{n})=(n+1)g-(\sum\limits_{i=0}^{s}t_i2^{t_i-1}+\sum\limits_{i=0}^{s} i\cdot 2^{t_i})$ for $g\leq 2^{[\frac{n+1}2]}$ and $n\geq 5$, where $g$ be a positive integer and $g=\sum\limits_{i=0}^{s}2^{t_i}$ be the decomposition of $g$ such that $t_0=[\log_{2}{g}],$ and $t_i=[\log_2({g-\sum\limits_{r=0}^{i-1}2^{t_r}})]$ for $i\geq 1$.

研究の動機と目的

• 折りたたみハイパーキューブ $FQ_n$ の $g$-部品エッジ連結性 $c\lambda_{g+1}(FQ_n)$ を、$n \geq 5$ および $g \leq 2^{\lfloor (n+1)/2 \rfloor}$ の条件下で決定すること。
• 標準エッジ連結性の概念を部品エッジ連結性に拡張し、相互接続ネットワークにおける故障耐性のより洗練された測定値を提供すること。
• $g$ の2進展開を用いて、$c\lambda_{g+1}(FQ_n)$ の正確な解析的公式を提供すること。
• エッジカットが $FQ_n$ を少なくとも $g+1$ 個の部品に分離する最小のものである場合、特定の部分グラフ構造（特に不完全な折りたたみハイパーキューブ）によって達成されることを確立すること。

提案手法

• 著者らは、$g = \sum_{i=0}^{s} 2^{t_i}$ とし、$t_0 = \lfloor \log_2 g \rfloor$ およびその後続の $t_i$ を再帰的に定義する。
• 既知のハイパーキューブに関する結果を折りたたみハイパーキューブへと拡張し、$FQ_n$ の部分グラフに含まれる最大エッジ数 $ex_m(FQ_n)$ を導出する。
• 構造的分解 $FQ_n = D_0 \otimes D_1$ を用い、$D_0$ と $D_1$ を $(n-1)$-次元部分ハイパーキューブとして定義し、エッジの削除後の部品構造を分析する。
• エッジカット $F$ を構築し、$FQ_n$ を $g+1$ 個の部品（$g$ 個の孤立頂点と1つの大きな部品）に分離させる最小カットとし、$|F| = (n+1)g - \frac{1}{2}ex_g$ を証明する。
• 特に不完全な折りたたみハイパーキューブ $LF_m$ と逆不完全な折りたたみハイパーキューブ $RF_m$ の性質を活用して、部品を誘導する部分グラフのエッジ数を上限付ける不等式と部分グラフのエッジ最大化技術を用いる。
• $n$ が偶数か奇数かにかかわらず成立するように、帰納法とケース解析を用い、1つ以上の頂点を含む部品のサイズに基づいて、$|V(C_{g+1})| < 2^{n-2}$ およびそれ以外のケースを区別する。

実験結果

リサーチクエスチョン

• RQ1 $n \geq 5$ および $g \leq 2^{\lfloor (n+1)/2 \rfloor}$ のとき、折りたたみハイパーキューブ $FQ_n$ の $(g+1)$-部品エッジ連結性 $c\lambda_{g+1}(FQ_n)$ の正確な値は何か？
• RQ2 部品エッジ連結性 $c\lambda_{g+1}(FQ_n)$ は、$g$ の2進展開にどのように依存するか？
• RQ3 $g+1$ 個の部品を生成する最小エッジカットは、不完全な折りたたみハイパーキューブなどの特定の部分グラフ構造によって特徴付けられるか？
• RQ4 公式 $c\lambda_{g+1}(FQ_n) = (n+1)g - \frac{1}{2}ex_g$ は、すべての $g \leq 2^{\lfloor (n+1)/2 \rfloor}$ および $n \geq 5$ に対して有効か？

主な発見

• 折りたたみハイパーキューブ $FQ_n$ の $(g+1)$-部品エッジ連結性は、$n \geq 5$ および $g \leq 2^{\lfloor (n+1)/2 \rfloor}$ のとき、正確に $c\lambda_{g+1}(FQ_n) = (n+1)g - \left(\sum_{i=0}^{s} t_i 2^{t_i - 1} + \sum_{i=0}^{s} i \cdot 2^{t_i}\right)$ に等しい。
• エッジカットによって $FQ_n$ が $g+1$ 個の部品に分離される最小カットは、$g$ 個の孤立頂点と1つの残りの部品から構成され、最適カットが $g$ 個の頂点を分離することを確認する。
• $ex_g$ は、$FQ_n$ の $g$ 個の頂点を含む任意の誘導部分グラフにおける最大エッジ数を表し、この最大値は不完全な折りたたみハイパーキューブ $LF_g$ によって達成される。
• この公式は、$FQ_n$ を2つの $(n-1)$-次元部分ハイパーキューブ $D_0$ と $D_1$ に分解してエッジカットを分析し、部品に接続するエッジを丁寧に数えることで導出される。
• $n$ が偶数か奇数かにかかわらず、証明は成立し、$|V(C_{g+1})| \geq 2^{n-2}$ の場合、$ex_m$ と $ex_{m-g+1}$ を含む不等式の鎖を用いて部分グラフのエッジ最大化により処理される。
• この結果は $g > 2^{\lfloor (n+1)/2 \rfloor} + 1$ の場合に完全ではなく、より大きな $g$ については未解決の問題のまま残る。