[论文解读] 3-extra connectivity of 3-ary n-cube networks

Mei-Mei Gu, Rong‐Xia Hao|arXiv (Cornell University)|Sep 19, 2013

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

一句话总结

该论文确定了当 n≥3 时，3-ary n-cube 网络的 3-Extra 连通性为 8n−12，证明了至少需要移除 8n−12 个顶点才能使网络断开，同时确保任意连通分量中不包含少于 4 个顶点的子图。证明过程采用归纳推理与子立方体中的连通分量分析，结合结构特性与连通性边界，验证在 3-Extra 连通性约束下最小顶点割的最小值。

ABSTRACT

Let G be a connected graph and S be a set of vertices. The h-extra connectivity of G is the cardinality of a minimum set S such that G-S is disconnected and each component of G-S has at least h+1 vertices. The h-extra connectivity is an important parameter to measure the reliability and fault tolerance ability of large interconnection networks. The h-extra connectivity for h=1,2 of k-ary n-cube are gotten by Hsieh et al. in [Theoretical Computer Science, 443 (2012) 63-69] for k>=4 and Zhu et al. in [Theory of Computing Systems, arxiv.org/pdf/1105.0991v1 [cs.DM] 5 May 2011] for k=3. In this paper, we show that the h-extra connectivity of the 3-ary n-cube networks for h=3 is equal to 8n-12, where n>=3.

研究动机与目标

• 确定 3-ary n-cube 网络的 3-extra 连通性，作为评估互连系统容错能力的关键指标。
• 将先前针对 h=1,2 的 h-extra 连通性研究扩展至 3-ary n-cube 中 h=3 的情形。
• 在确保隔离连通分量大小至少为 4 的前提下，建立最小顶点割的紧致下界与上界。
• 通过子立方体连通性与顶点移除后连通分量行为的归纳分析，验证结果的正确性。

提出的方法

• 对 n 使用归纳法分析 Qₙ³ 的结构，将其分解为三个 (n−1) 维子立方体 Q[0]、Q[1]、Q[2]。
• 应用 h-extra 连通性的定义：一个顶点割 S，使得 G−S 不连通，且每个连通分量中至少包含 h+1 个顶点。
• 分析故障顶点 F 在子立方体 Q[j] 及其诱导割 F_j 中的分布，考虑子立方体保持连通或发生断开的情形。
• 利用连通性边界与外部邻居计数方法，证明大分量必须在子立方体之间建立连接，从而确保整体网络仅在 F 足够大时才会断开。
• 使用关于外部邻居与分量大小的引理（例如，若 W 是一个在主分量中无邻居的分量，则 |W| < 4），以限制孤立分量的大小。
• 结合子立方体连通性的归纳假设与全局顶点割分析，证明任意 3-extra 顶点割的大小至少为 8n−12。

实验结果

研究问题

• RQ1 当 n≥3 时，3-ary n-cube 网络的 3-extra 连通性是多少？
• RQ2 该 3-extra 连通性与标准连通性以及 1-或 2-extra 连通性相比有何差异？
• RQ3 能否通过结构分解与分量分析，同时从下界和上界两个方向对 3-extra 连通性进行界定？
• RQ4 在何种条件下，大小为 8n−12 的顶点割既为断开网络所必需，也为充分条件，同时满足分量大小约束？

主要发现

• 对于所有 n≥3，3-ary n-cube 网络 Qₙ³ 的 3-extra 连通性恰好为 8n−12。
• 为在不使任何连通分量包含少于 4 个顶点的前提下断开 Qₙ³，大小为 8n−12 的顶点割是必要的。
• 通过归纳论证与分量大小分析，确立了下界 8n−12，表明在 3-extra 条件下，更小的割无法使网络断开。
• 通过构造一个大小恰好为 8n−12 的有效 3-extra 顶点割，确认了上界为 8n−12，从而证明了边界的紧致性。
• 证明表明，任意 3-extra 顶点割要么隔离一个大小至多为 3 的分量，要么必须至少包含 8n−12 个顶点，从而确认了该边界的正确性。
• 该结果对所有 n≥3 成立，其分析依赖于子立方体分解与外部邻居计数，以追踪跨分量的连通性。