카르테시안 그래프 번들에서 정점·간선 결함 직경 상한 개선

초록

본 논문은 카르테시안 그래프 번들 (G)의 정점·간선 결함 직경에 대한 새로운 상한을 제시한다. 섬유 그래프 (F)와 기반 그래프 (B)가 각각 (k_F)‑연결·(k_B)‑연결(또는 (k_F)‑간선연결·(k_B)‑간선연결)일 때, 정점 결함 직경은 (\D^V_{a+b+1}(G)\le \D^V_a(F)+\D^V_b(B)), 간선 결함 직경은 (\D^E_{a+b+1}(G)\le \D^E_a(F)+\D^E_b(B))를 만족한다. 이때 (a<b)에 대한 제한과 추가 조건((\D_{(a-1,1)}(F)\le\D^V_a(F)) 등)이 필요하다. 결과는 기존 상한을 일반화·강화하며, 네트워크 설계 시 결함 허용성을 정량화하는 데 유용하다.

상세 분석

논문은 먼저 “혼합 결함 직경” (\D_{(a,b)}(G))를 정의한다. 이는 그래프 (G)에서 임의의 (a)개의 정점과 (b)개의 간선을 삭제했을 때 남은 그래프의 최악 직경을 의미한다. 특수 경우로 정점 결함 직경 (\D^V_a=\D_{(a,0)})와 간선 결함 직경 (\D^E_a=\D_{(0,a)})를 도입한다. 이러한 개념은 고신뢰성 네트워크에서 다중 결함 상황을 평가하는 데 핵심적이다.

카르테시안 그래프 번들 (G)는 섬유 (F)와 기반 (B)의 카르테시안 곱을 일반화한 구조로, 각 정점이 (F)의 복제본으로, 각 간선이 (B)의 구조에 따라 연결된다. 기존 연구에서는 번들의 직경이 (\operatorname{diam}(G)=\operatorname{diam}(F)+\operatorname{diam}(B))라는 단순한 합으로 표현된다는 사실을 이용해, 결함 직경에 대한 초기 상한을 제시했지만, 정밀한 상한을 얻기엔 부족했다.

본 논문의 핵심 정리는 두 가지이다. 첫 번째는 정점 결함 직경에 대한 상한으로, (F)와 (B)가 각각 (k_F)‑연결, (k_B)‑연결이며 (0<a<k_F,;0<b<k_B)일 때
\