[논문 리뷰] Mixed connectivity of Cartesian graph products and bundles

Rija Erveš, Janez Žerovnik|arXiv (Cornell University)|2010. 02. 12.

Interconnection Networks and Systems참고 문헌 17인용 수 6

한 줄 요약

이 논문은 카르테시안 그래프 번들의 및 곱에 대한 혼합 연결성의 통합된 경계를 수립하며, 섬유 그래프와 기저 그래프가 각각 $(p_F, q_F)$-연결성과 $(p_B, q_B)$-연결성을 가지면 번들은 $(p_F + p_B, q_F + q_B)$-연결성이며, $q_F, q_B > 0$이면 $(p_F + p_B + 1, q_F + q_B - 1)$-연결성임을 증명한다. 이러한 결과는 상호연결망의 장애 내성 분석을 통합하고 정점 및 간선 장애를 동시에 고려하는 정점 및 간선 연결성의 일반화를 제공한다.

ABSTRACT

Mixed connectivity is a generalization of vertex and edge connectivity. A graph is $(p,0)$-connected, $p>0$, if the graph remains connected after removal of any $p-1$ vertices. A graph is $(p,q)$-connected, $p\geq 0$, $q>0$, if it remains connected after removal of any $p$ vertices and any $q-1$ edges. Cartesian graph bundles are graphs that generalize both covering graphs and Cartesian graph products. It is shown that if graph $F$ is $(p_{F},q_{F})$-connected and graph $B$ is $(p_{B},q_{B})$-connected, then Cartesian graph bundle $G$ with fibre $F$ over the base graph $B$ is $(p_{F}+p_{B},q_{F}+q_{B})$-connected. Furthermore, if $q_{F},q_{B}>0$, then $G$ is also $(p_{F}+p_{B}+1,q_{F}+q_{B}-1)$-connected. Finally, let graphs $G_i, i=1,...,n,$ be $(p_i,q_i)$-connected and let $k$ be the number of graphs with $q_i>0$. The Cartesian graph product $G=G_1\Box G_2\Box ... \Box G_n$ is $(\sum p_i,\sum q_i)$-connected, and, for $ k\geq 1$, it is also $(\sum p_i+k-1,\sum q_i-k+1)$-connected.

연구 동기 및 목표

• 동시 정점 및 간선 고장 상황에서 상호연결망의 장애 내성 분석을 위한 통합된 프레임워크를 개발하기 위해.
• 고전적 정점 및 간선 연결성을 혼합 연결성으로 일반화하여 노드 및 링크 고장을 모두 견딜 수 있는 네트워크 분석을 가능하게 하기 위해.
• 카르테시안 그래프 번들과 곱의 혼합 연결성에 대한 날카운 경계를 수립하기 위해. 이는 초입방형, 메시, 토러스를 일반화한다.
• 혼합 장애 모델 하에서 장애 지름 및 연결성에 대한 증명을 통합하는 이론적 기초를 제공하기 위해.

제안 방법

• 혼합 연결성을 $(p, q)$-연결성으로 정의: 그래프가 최대 $p$개의 정점과 $q-1$개의 간선을 제거한 후에도 연결되어 있음.
• 카르테시안 그래프 번들의 구조를 사용: 기저 그래프 $B$의 각 정점에 섬유 그래프 $F$의 복사본이 있으며, 간선은 $B$와 $F$로부터 올려진다.
• 섬유 간 연결성과 기저 경로를 분석함으로써 번들의 혼합 연결성이 $(p_F + p_B, q_F + q_B)$ 이상임을 증명.
• 경로 올림 및 정점 간섭 없는 경로 논증을 사용하여 $q_F, q_B > 0$이면 추가로 $(p_F + p_B + 1, q_F + q_B - 1)$-연결성이 있음을 보임.
• 귀납법을 적용하여 결과를 $n$-중 카르테시안 곱 그래프로 확장하고, 곱 $G_1 \Box \cdots \Box G_n$에 대한 경계를 도출.
• 간선 가중치 및 정점 가중치 기법을 사용하여 섬유 및 기저 경로 내 고장 요소를 추적하며, 최소한 하나의 고장 없는 경로가 존재하도록 보장.

실험 결과

연구 질문

• RQ1 섬유 그래프와 기저 그래프가 각각 $(p_F, q_F)$-연결성과 $(p_B, q_B)$-연결성을 가지면, 카르테시안 그래프 번들의 혼합 연결성은 어떻게 되는가?
• RQ2 카르테시안 그래프 번들의 연결성은 그 구성 요소들의 혼합 연결성으로 경계를 정할 수 있는가?
• RQ3 정점 및 간선 고장이 동시에 존재할 경우, 정점 또는 간선 고장 전용 경계보다 더 강력한 연결성 경계를 얻을 수 있는가?
• RQ4 $n$개의 그래프의 카르테시안 곱에서 혼합 연결성은 각 요소의 개별 혼합 연결성에 어떻게 의존하는가?
• RQ5 이 결과는 상호연결망의 고차원 장애 내성으로 확장될 수 있는가?

주요 결과

• 섬유 $F$가 $(p_F, q_F)$-연결성이고 기저 $B$가 $(p_B, q_B)$-연결성이라면, 카르테시안 그래프 번들 $G$는 $(p_F + p_B, q_F + q_B)$-연결성이다.
• $q_F > 0$ 이고 $q_B > 0$ 이면, 번들 $G$는 $(p_F + p_B + 1, q_F + q_B - 1)$-연결성 또한 갖는다. 이는 혼합 고장 상황에서의 향상된 내성성을 시사한다.
• $n$-중 카르테시안 곱 $G = G_1 \Box \cdots \Box G_n$ 에서 각 $G_i$가 $(p_i, q_i)$-연결성이라면, 곱은 $(\sum p_i, \sum q_i)$-연결성이다.
• $n$개의 그래프 중 $k$개가 $q_i > 0$ 이면, 곱은 $(\sum p_i + k - 1, \sum q_i - k + 1)$-연결성 또한 갖는다. 이는 더 많은 그래프가 간선 고장 내성에 기여할 경우 향상된 연결성을 반영한다.
• 이 결과들은 카르테시안 곱 및 번들의 고전적 정점 및 간선 연결성 경계를 일반화하며, 하나의 혼합 연결성 모델 아래에서 분석을 통합한다.
• 증명은 기저 그래프에서 번들로 경로와 간선을 올리는 데 기반하며, 주어진 고장 제약 조건 하에서 임의의 두 섬유 사이에 최소한 하나의 고장 없는 경로가 존재함을 보장한다.