[논문 리뷰] Component edge connectivity of the folded hypercube

Shu-Li Zhao, Weihua Yang|arXiv (Cornell University)|2018. 03. 04.

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$ 의 $g$-성분 간선 연결성 $c\lambda_{g+1}(FQ_n)$ 이 $n \geq 5$ 이고 $g \leq 2^{\lfloor (n+1)/2 \rfloor}$ 일 때 결정되도록 하는 것.
• 기본 간선 연결성의 개념을 성분 간선 연결성으로 확장하여, 상호연결 네트워크에서 고장 내성에 대한 보다 정교한 측도를 제공하는 것.
• 이진 분해를 활용하여 $c\lambda_{g+1}(FQ_n)$ 의 정확한 분석 공식을 제공하는 것.
• 특정 하위구조, 특히 완전하지 않은 접히는 하이퍼큐브를 포함하여, $FQ_n$ 을 최소 $g+1$ 개의 성분으로 분리하는 최소 간선 컷이 달성됨을 규명하는 것.

제안 방법

• 저자는 $g$ 를 거듭제곱의 합으로 정의한다: $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$ 의 성질을 활용하여, 성분 유도 부분그래프에 포함된 간선 수를 근사하기 위해 부등식과 부분그래프 간선 최대화 기법을 사용한다.
• 크기가 1개 이상의 정점을 포함하는 성분의 크기에 따라 귀납법과 케이스 분석을 적용하며, 이 성분이 $2^{n-2}$ 개 이하의 정점을 포함하는지 여부에 따라 경우를 구분한다.

실험 결과

연구 질문

• RQ1 접히는 하이퍼큐브 $FQ_n$ 에서 $n \geq 5$ 이고 $g \leq 2^{\lfloor (n+1)/2 \rfloor}$ 일 때, $(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$ 일 때 모든 경우에 대해 유효한가요?

주요 결과

• 접히는 하이퍼큐브 $FQ_n$ 의 $(g+1)$-성분 간선 연결성은 $n \geq 5$ 이고 $g \leq 2^{\lfloor (n+1)/2 \rfloor}$ 일 때 정확히 $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$ 에 대해서는 문제를 열어두고 있다.