[論文レビュー] Generalized Measures of Fault Tolerance in (n,k)-star Graphs

Xiang-Jun Li, Jun‐Ming Xu|arXiv (Cornell University)|Apr 6, 2012

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

ひとこと要約

本稿は、(n,k)-スターグラフのh-スーパー連結性を確立し、2 ≤ k ≤ n−1および0 ≤ h ≤ n−kの範囲でκₛ⁽ʰ⁾(Sₙ,ₖ) = n + h(k−2)−1が成り立つことを証明する。この結果は、従来の故障耐性指標を一般化し、最小次数hを保ったままグラフを分離するための頂点削除の正確な閾値を提供する。構造的分解と部分グラフにおける帰納的議論を用いる。

ABSTRACT

This paper considers a kind of generalized measure $κ_s^{(h)}$ of fault tolerance in the $(n,k)$-star graph $S_{n,k}$ and determines $κ_s^{(h)}(S_{n,k})=n+h(k-2)-1$ for $2 \leqslant k \leqslant n-1$ and $0\leqslant h \leqslant n-k$, which implies that at least $n+h(k-2)-1$ vertices of $S_{n,k}$ have to remove to get a disconnected graph that contains no vertices of degree less than $h$. This result contains some known results such as Yang et al. [Information Processing Letters, 110 (2010), 1007-1011].

研究の動機と目的

• 古典的頂点連結性を超えて、(n,k)-スターグラフにおける故障耐性指標を一般化すること。
• (n,k)-スターグラフSₙ,ₖにおけるh-スーパー連結性κₛ⁽ʰ⁾(G)を特定すること。これは、残りのグラフの最小次数がhであることを保証する最小頂点カットを測る。
• スターグラフにおける既知のκₛ⁽¹⁾(Sₙ)およびκₛ⁽²⁾(Sₙ)の結果を統一的かつ拡張すること。
• 高次元の耐障害性制約下での故障耐性を正確に定量化するための解析的公式を提供すること。

提案手法

• 固定ビット位置を介したSₙ,ₖの部分グラフSⁿ⁻¹ₖ₋₁への構造的分解を用い、Sₙ₋₁,ₖ₋₁と同型であることを活用する。
• 部分グラフにおける帰納的推論を適用し、固定ビット位置を基準に頂点を集合XᵢおよびYᵢに分割することで、頂点カットを分析する。
• 固定(k−1)-順列によって誘導される完全部分グラフKₙ₋ₖ₊₁および部分グラフ間の独立したスイッチエッジに関する補題を用いる。
• インデックス集合J′（カット内にh−1個の隣接頂点を持つ頂点）のサイズに基づいて3つのケースに分類し、スイッチエッジ数の上限(n−2)!/(n−k)!を用いる。
• k=n−1（スターグラフ）の場合の既知の結果を基底ケースとして用い、先行研究と整合性を確認する。
• 背理法と極値的議論を用いて最小カットサイズの上限を導出し、すべてのパrameter制約下で公式が成り立つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 一般のhおよびkに対して、(n,k)-スターグラフSₙ,ₖのh-スーパー連結性は何か？
• RQ2 h-スーパー連結性は、(n,k)-スターグラフにおける古典的連結性および1-スーパー連結性をどのように一般化するか？
• RQ3 残りのグラフが最小次数hを維持する必要がある場合、(n,k)-スターグラフの故障耐性は正確に定量化可能か？
• RQ4 公式κₛ⁽ʰ⁾(Sₙ,ₖ) = n + h(k−2)−1は、2 ≤ k ≤ n−1および0 ≤ h ≤ n−kの全パrameter範囲で成立するか？

主な発見

• 2 ≤ k ≤ n−1および0 ≤ h ≤ n−kの範囲で、Sₙ,ₖのh-スーパー連結性は正確にn + h(k−2)−1である。
• この結果は、Yangたちは以前に得たκₛ⁽¹⁾(Sₙ,ₖ) = n+k−3およびκₛ⁽²⁾(Sₙ,ₖ) = n+2k−5の結果を一般化する。
• k=n−1の場合、公式はκₛ⁽¹⁾(Sₙ) = 2n−4に簡略化され、スターグラフに関する既知の結果と整合する。
• 最小次数hを保ったままグラフを分離する頂点カットを構築することで、この上限がタイトであることが示された。
• 標準スターグラフSₙではh ≥ 3の場合に公式が成立しないことから、この公式をより高いhに拡張する際の制限が示された。
• 証明は、部分グラフSⁿ⁻¹ₖ₋₁における帰納的分解とエッジ数の数え上げ的議論に依拠しており、すべての有効なパrameter範囲で公式が正当化されている。