[论文解读] 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$ 的二进制分解建立了闭式公式。关键结果为 $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)$，其中 $g = \sum_{i=0}^{s} 2^{t_i}$，为这种互连网络中的故障容错能力提供了精确度量。

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$ 在 $n \geq 5$ 且 $g \leq 2^{\lfloor (n+1)/2 \rfloor}$ 条件下的 $g$-组件边连通性 $c\lambda_{g+1}(FQ_n)$。
• 将标准边连通性的概念扩展至组件边连通性，为互连网络中的故障容错能力提供更精细的度量。
• 基于 $g$ 的二进制分解，为 $c\lambda_{g+1}(FQ_n)$ 提供精确的解析公式。
• 确立最小边割集在将 $FQ_n$ 分离为至少 $g+1$ 个连通分量时，由特定子图结构（特别是不完整折叠超立方体）实现。

提出的方法

• 作者将 $g$ 定义为若干个 2 的幂之和，即 $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$ 个孤立顶点和一个更大的连通分量，并证明 $|F| = (n+1)g - \frac{1}{2}ex_g$。
• 作者使用不等式和子图边数最大化技术，特别是利用不完整折叠超立方体 $LF_m$ 和反向不完整折叠超立方体 $RF_m$ 的性质，以界定分量诱导子图中的边数。
• 他们采用归纳法和基于包含多于一个顶点的分量大小的案例分析，区分该分量顶点数少于 $2^{n-2}$ 和不少于 $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 折叠超立方体 $FQ_n$ 的组件边连通性如何依赖于 $g$ 的二进制分解？
• RQ3 能否通过特定子图结构（如不完整折叠超立方体）来表征将 $FQ_n$ 分离为 $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$ 均成立？

主要发现

• 当 $n \geq 5$ 且 $g \leq 2^{\lfloor (n+1)/2 \rfloor}$ 时，折叠超立方体 $FQ_n$ 的 $(g+1)$-组件边连通性精确为 $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$ 个孤立顶点和一个剩余连通分量构成，证实最优割集确实隔离了 $g$ 个顶点。
• $ex_g$ 表示 $FQ_n$ 中任意 $g$ 个顶点诱导子图的最大边数，且该最大值由不完整折叠超立方体 $LF_g$ 实现。
• 该公式通过分析 $FQ_n$ 分解为两个 $(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$ 仍为开放问题。