[论文解读] 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 个邻居的顶点）的大小，分析三种情况，使用 (n−2)!/(n−k)! 对交换边数量进行界限估计。
• 将 k=n−1 时的已知结果作为基底情况，验证与先前工作的自洽性。
• 使用反证法与极值论证来界定最小割大小，证明公式在所有参数约束下均成立。

实验结果

研究问题

• 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 内成立？

主要发现

• 当 2 ≤ k ≤ n−1 且 0 ≤ h ≤ n−k 时，Sₙ,ₖ 的 h-超连通性恰好为 n + h(k−2)−1。
• 该结果推广了杨等人先前关于 κₛ⁽¹⁾(Sₙ,ₖ) = n+k−3 和 κₛ⁽²⁾(Sₙ,ₖ) = n+2k−5 的发现。
• 当 k=n−1 时，公式简化为 κₛ⁽¹⁾(Sₙ) = 2n−4，与星图的已知结果一致。
• 该界限是紧的，通过构造大小为 n + h(k−2)−1 的顶点割，证明其可使图断开连接同时保持最小度 h。
• 当 h ≥ 3 时，该公式在标准星图 Sₙ 中不成立，表明该公式无法推广至更高 h 值。
• 证明依赖于子图 Sⁿ⁻¹ₖ₋₁ 上的归纳分解与边计数论证，确认公式在所有有效参数范围内均成立。