3진법 n 큐브의 1‑및 2‑여분 연결성 정확한 값

초록

본 논문은 3‑ary n‑큐브(3진법 n‑차원 큐브)의 1‑여분 연결도와 2‑여분 연결도를 각각 4n‑3(n>1) 및 6n‑7(n>2)으로 정확히 규명한다. 기존 연구에서 k>3인 경우만 다루어졌던 반면, k=3에 대한 결과가 없었으므로 본 연구는 그 공백을 메운다. 증명은 그래프 이론적 구조 분석과 귀류법, 그리고 부분 그래프의 분리 특성을 활용한다.

상세 분석

3‑ary n‑큐브는 정점 집합이 Z₃ⁿ으로 구성되고, 두 정점이 한 좌표에서만 차이가 1(mod 3)일 때 인접하는 고정 차수 2n의 정규 그래프이다. 이러한 네트워크는 병렬 컴퓨팅 시스템에서 높은 대역폭과 짧은 지연을 제공하지만, 다중 결함 상황에서의 내구성을 정량화하기 위해서는 여분 연결도(extra connectivity) 개념이 필요하다. h‑여분 연결도 κ_h(G)는 정점 집합 S를 제거했을 때 남은 그래프가 모든 연결 성분의 크기가 최소 h+1 이상이 되도록 하는 최소 |S|를 의미한다. 즉, κ₁은 1‑제한 연결도, κ₂는 2‑제한 연결도와 동일한 의미를 가진다.

기존 연구(Chen 등, 2007)는 k>3인 k‑ary n‑큐브에 대해 κ₁=4n‑2를 제시했으며, k=3에 대해서는 아직 정확한 값이 밝혀지지 않았다. 이는 3‑ary n‑큐브가 2‑차원에서는 9‑정점의 토러스와 동형이며, 차원이 증가함에 따라 구조적 대칭성이 유지되지만, 차수 2n이 상대적으로 낮아 결함에 취약한 특성이 나타난다. 따라서 κ₁과 κ₂를 정확히 구하는 것이 이론적·실용적 의미가 크다.

논문은 먼저 3‑ary n‑큐브의 기본 성질을 정리한다. 각 차원마다 3개의 레이어가 존재하고, 레이어 간 연결은 순환적인 구조를 만든다. 이를 이용해 정점 집합을 좌표별로 구분하고, 특정 정점 집합 S를 제거했을 때 발생할 수 있는 최소 연결 성분을 분석한다. 특히, S가 한 레이어 전체를 포함하거나, 두 레이어에서 교차하는 정점들을 포함할 경우 발생하는 분리 현상을 귀류법으로 배제한다.

1‑여분 연결도 κ₁에 대해서는, 먼저 |S|=4n‑4 이하이면 항상 최소 연결 성분의 크기가 2 이하가 된다는 반례를 구성한다. 이는 각 차원에서 두 개의 정점을 선택해 그 주변 정점들을 동시에 차단함으로써 발생한다. 반대로 |S|=4n‑3이면, 어떠한 선택을 하더라도 남은 그래프는 모든 연결 성분이 최소 2개의 정점을 포함한다는 것을 보인다. 이때 핵심은 “정점 차원별 2‑정점 차단 집합”이 전체 그래프를 완전히 분리하지 못한다는 점이다. 증명 과정에서 “교차 레이어 경로”와 “순환 경로”를 활용해 모든 가능한 S의 형태를 포괄한다.

2‑여분 연결도 κ₂에 대해서는 보다 복잡한 구조 분석이 필요하다. 저자들은 먼저 |S|=6n‑8 이하에서는 최소 연결 성분이 3 이하가 되는 구성을 제시한다. 이는 세 차원에서 각각 두 개의 정점을 선택하고, 추가로 한 차원에서 한 정점을 더 선택함으로써 3‑정점 성분을 만들 수 있음을 보인다. 이후 |S|=6n‑7일 때는, 모든 가능한 S에 대해 남은 그래프가 최소 4개의 정점을 가진 연결 성분만을 남긴다. 여기서는 “3‑차원 교차 차단”과 “레벨별 완전 매칭” 개념을 도입해, 어떤 정점 집합이든지 최소 하나의 레이어에서 충분히 많은 정점이 남아 경로를 유지한다는 점을 증명한다. 특히, n>2인 경우에만 이러한 구조적 보장이 성립함을 명시한다.

결과적으로, 논문은 κ₁(3‑ary n‑큐브)=4n‑3 (n>1) 및 κ₂(3‑ary n‑큐브)=6n‑7 (n>2)라는 정확한 식을 도출한다. 이는 기존 k>3에 대한 결과와 일관성을 유지하면서도, k=3이라는 특수한 경우에 대한 완전한 해답을 제공한다. 또한, 이러한 값들은 네트워크 설계 시 허용 가능한 최대 결함 수를 정량화하는 데 직접 활용될 수 있다. 예를 들어, n=4인 3‑ary 4‑큐브에서는 κ₁=13, κ₂=17이므로, 13개의 임의 결함까지는 네트워크가 최소 두 정점으로 연결성을 유지하고, 17개의 결함까지는 최소 네 정점으로 연결성을 유지한다는 의미다. 이는 대규모 병렬 시스템에서 결함 허용 범위 설정에 실질적인 가이드라인을 제공한다.