대규모 결함 모델에서 비틀린 하이퍼큐브형 네트워크의 해밀턴 연결성

초록

**
본 논문은 차원 $n\ge7$인 비틀린 하이퍼큐브형 네트워크(THLN)에서 최대 $2n-10$개의 정점·간선 결함이 존재할 때, 두 정상 노드 $u,v$가 서로의 이웃 조건을 만족하면 $G-F$ 내에 $u$와 $v$를 잇는 해밀턴 경로나 거의 해밀턴 경로가 항상 존재함을 증명한다. 이는 기존 연구보다 큰 결함 허용 범위와 다양한 하이퍼큐브 변형에 대한 견고한 임베딩 능력을 확장한다.

**

상세 분석

**
본 연구는 병렬 컴퓨팅 시스템에서 핵심적인 토폴로지인 비틀린 하이퍼큐브형 네트워크(THLN)의 결함 내성(Hamiltonian connectivity)을 대규모 결함 모델(Large Fault Model) 하에서 분석한다. THLN은 교차 큐브(Crossed Cube), 모비우스 큐브(Möbius Cube), 트위스트드 큐브(Twisted Cube), 로컬 트위스트드 큐브(Locally Twisted Cube) 등 기존 하이퍼큐브 변형들을 포괄하는 일반화된 구조이며, 각 차원 $n$에서 $2^{n}$개의 정점과 $n\cdot2^{n-1}$개의 간선으로 이루어진 고차원 정규 그래프이다.

논문은 먼저 $G$를 $n$‑차원 THLN이라 정의하고, 결함 집합 $F\subseteq V(G)\cup E(G)$가 $|F|\le 2n-10$을 만족한다고 가정한다. 이때 $G-F$는 일부 정점·간선이 제거된 서브그래프이며, $u,v\in V(G-F)$ 두 정상 노드가 “필요충분 조건”을 만족한다는 전제는 다음과 같다: $u$와 $v$ 각각의 인접 정점 중 최소 하나는 $F$에 포함되지 않아야 하며, $u$와 $v$가 직접 연결된 간선이 $F$에 포함되지 않아야 한다. 이 조건은 해밀턴 경로가 존재하기 위한 최소한의 이웃 보장을 의미한다.

핵심 증명은 귀납적 구조 분해와 기존의 하이퍼큐브 결함 내성 결과를 활용한다. $n$‑차원 THLN을 두 개의 $(n-1)$‑차원 THLN $G_0$와 $G_1$으로 분할하고, 이들 사이의 교차 간선을 $M$라 두면, $G=G_0\cup G_1\cup M$ 형태가 된다. 결함 집합 $F$를 $F_0,F_1,M_F$ 로 각각 $G_0,G_1,M$에 제한하면, $|F_0|+|F_1|+|M_F|\le 2n-10$ 이다. 귀납 가정에 따라 $G_0-F_0$와 $G_1-F_1$ 각각에서 $u$와 $v$가 속한 부분 그래프에 대해 해밀턴(또는 거의 해밀턴) 경로가 존재함을 보인다. 이후 교차 간선 $M$ 중 하나를 선택해 두 부분 경로를 연결함으로써 전체 그래프 $G-F$ 내에 $u$와 $v$를 잇는 연속적인 경로를 구성한다.

특히, 결함이 $M$에 집중될 경우를 대비해 “대체 교차 간선”을 찾는 보조 정리를 제시한다. 이 정리는 $|M_F|\le n-5$ 일 때, 남은 교차 간선이 충분히 많아 두 부분 그래프를 연결할 수 있음을 보장한다. 또한, $|F|$가 $2n-10$에 근접할 때 발생할 수 있는 “정점 고립” 상황을 방지하기 위해, 각 정점의 차수가 최소 $n-2$ 이상 유지된다는 사실을 이용한다.

결과적으로, 논문은 다음 정리를 증명한다:

정리 (핵심 결과) – $n\ge7$ 인 THLN $G$와 $|F|\le2n-10$ 인 결함 집합 $F$에 대해, $u,v\in V(G-F)$ 가 위의 이웃 조건을 만족하면, $G-F$ 안에 $u$와 $v$를 잇는 해밀턴 경로나, $|V(G-F)|-1$개의 정점을 포함하는 거의 해밀턴 경로가 존재한다.

이 정리는 기존에 $|F|\le n-2$ 정도만 허용하던 결과를 크게 확장했으며, 특히 $n\ge7$이라는 차원 제한을 통해 고차원 시스템에서의 실용성을 강조한다. 또한, “필요충분 조건”이 단순히 이웃 존재 여부에 국한되므로, 실제 네트워크 운영 시 결함 감지 및 복구 알고리즘에 바로 적용 가능하다.

**