[論文レビュー] The Z-cubes: a hypercube variant with small diameter

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

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

ひとこと要約

この論文は、n−1次元Z-キューブの2つのコピーを、ビット単位の置換関数に基づく特別な完全マッチングで接続することで再帰的に構築される、Z-キューブと呼ばれるハイパーキューブの新規変種を紹介する。主な貢献は、2ⁿ個の頂点を持つn-正則グラフにおいて、直径(1+o(1))n/log₂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.

研究の動機と目的

• twistedキューブやspinedキューブなどの既存の変種よりも直径が小さいハイパーキューブ変種を設計すること。
• 2ⁿ個の頂点を持つn-正則グラフにおけるハイパーキューブ直径の根本的限界に取り組むこと。この限界は、n/log₂nを超えることが知られている。
• 理論的下界に非常に近い直径を達成するグラフ族を構築すること。
• 新しいZ-キューブ族の構造的およびアルゴリズム的性質、特にハミルトン性とルーティング効率を調査すること。

提案手法

• Hₙを、2つのHₙ₋₁のコピーから、最初のκ(n)ビットを最後のκ(n)ビットとXOR演算で変更する特定の置換φを用いて再帰的に定義する。
• マッチングエッジは、φ(x)[1,κ(n)] = x[1,κ(n)] ⊕ x[n−κ(n)+1,n] および φ(x)[κ(n)+1,n] = x[κ(n)+1,n] により決定される。
• n ≥ 3のとき、Hₙがハミルトン接続していることを証明し、強連結性および経路存在性の性質を確立する。
• 固定されたkに対して、最初のkビットと最後のkビットにのみ置換φₖを適用する簡略化された変種Zₙ,ₖを導入し、解析を容易にする。
• 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 任意の2頂点間の最短路を計算する多項式時間アルゴリズムは存在するか？
• RQ3 Hₙにおける2頂点間の平均距離は何か？ そして、標準的なハイパーキューブと比較するとどうなるか？
• RQ4 Hₙがハミルトンでなくなるために削除する必要のある頂点または辺の最小数は何か？ これは故障耐性を示す。
• RQ5 Hₙの自己同型群は何か？ また、Hₙは頂点推移的か？

主な発見

• n次元Z-キューブHₙの直径は(1+o(1))n/log₂nであり、2ⁿ個の頂点を持つn-正則グラフにおいて漸近的に最適である。
• 直径の境界は、各頂点の最初のおよび最後のκ(n)ビットを組み合わせるビット単位の置換関数を用いた再帰的構築によって達成される。
• 直径がn/(k+1) + 2ᵏで有界である簡略化された変種Zₙ,ₖが導入され、k = ⌈log₂n − 2log₂log₂n⌉ と選ぶことで、同じ漸近的直径が達成される。
• Zₙ,ₖの構築はHₙよりも単純であり、よりモジュール式の設計を可能にするが、次元を増加させる際には再初期化が必要である。
• すべてのn ≥ 3について、Hₙはハミルトン接続している。これは強連結性および経路の豊富さを示している。
• Hₙの直径は、標準的なハイパーキューブQₙおよびspinedキューブ（直径〜n/3）を含む、既知のすべてのハイパーキューブ変種の直径よりも厳密に小さい。