지역왜곡 큐브에서 두 개의 서로소 해밀턴 사이클 구성

초록

본 논문은 차원 n≥4인 지역왜곡 큐브(LTQₙ)에서 서로 간에 간선이 겹치지 않는 두 개의 해밀턴 사이클을 체계적으로 구축하는 방법을 제시한다. 재귀적 구조와 비틀림 규칙을 활용한 구성 알고리즘을 증명함으로써, LTQₙ이 고차원 하이퍼큐브와 동일한 정점·정밀도 를 유지하면서도 직경이 절반 수준으로 감소하는 장점을 살릴 수 있음을 보여준다. 두 사이클의 존재는 링 구조 기반 알고리즘의 부하 균등 분산 및 결함 내성 향상에 기여한다.

상세 분석

지역왜곡 큐브(LTQₙ)는 기존 n차원 하이퍼큐브 Qₙ의 정점 수와 각 정점당 차수(연결 수)를 그대로 유지하면서, 인접 정점 간의 연결 방식을 ‘지역적으로 비틀린’ 방식으로 정의한다. 구체적으로, 정점은 n비트 이진 문자열로 표시되고, i번째 비트를 기준으로 비틀림 함수 τ_i가 적용되어 인접성을 결정한다. 이러한 비틀림은 차원 증가에 따라 재귀적으로 적용되며, 결과적으로 LTQₙ은 Qₙ에 비해 평균 거리와 직경이 약 절반 수준으로 감소한다는 특성을 갖는다.

해밀턴 사이클은 모든 정점을 정확히 한 번씩 방문하고 시작 정점으로 돌아오는 폐회로이며, 네트워크 설계에서 링 토폴로지를 구현하거나 부하를 균등하게 분산시키는 데 핵심적인 역할을 한다. 특히, 두 개의 서로소(edge‑disjoint) 해밀턴 사이클이 동시에 존재하면, 동일한 네트워크 상에서 두 개의 독립적인 데이터 스트림을 충돌 없이 전송할 수 있어, 통신량이 많은 병렬 알고리즘이나 실시간 시스템에서 큰 이점을 제공한다.

본 논문은 n≥4인 경우에 대해 두 사이클을 구성하는 구체적인 알고리즘을 제시한다. 핵심 아이디어는 다음과 같다. 첫째, 차원 4에서 직접적인 구성 예시를 제시하고, 이를 기반으로 차원 k→k+1로 확장하는 재귀적 증명을 수행한다. 둘째, 차원 k의 두 사이클을 각각 ‘앞쪽’과 ‘뒤쪽’ 하위 큐브(LTQ_k^0, LTQ_k^1)로 복제하고, 비틀림 연결을 이용해 두 하위 큐브 사이에 교차 연결(edge‑cross) 을 삽입한다. 이때 교차 연결은 기존 사이클의 간선을 파괴하지 않도록, 각 하위 큐브에서 선택된 특정 정점 쌍을 연결함으로써 새로운 간선 집합을 형성한다. 셋째, 교차 연결을 삽입한 후에도 두 사이클이 서로 겹치지 않도록, 각 차원에서 선택되는 정점 쌍이 서로 다른 사이클에 속하도록 설계한다.

증명 과정에서는 두 사이클이 전체 그래프 LTQ_{k+1}의 모든 정점을 포함함을 수학적 귀납법으로 보이며, 동시에 각 사이클이 간선 집합 E(LTQ_{k+1})의 서로 다른 부분을 차지함을 확인한다. 특히, 비틀림 함수 τ_i의 대칭성 및 비틀림 규칙이 재귀 단계에서 유지됨을 이용해, 새로 추가되는 차원의 간선이 기존 사이클에 간섭하지 않도록 보장한다.

알고리즘의 시간 복잡도는 O(2ⁿ)이며, 이는 정점 수와 동일한 선형 복잡도이다. 메모리 요구량도 정점 라벨을 저장하는 정도로 최소화된다. 실험적 시뮬레이션 결과는 n=4~7까지의 경우에 대해 두 사이클이 정확히 edge‑disjoint 함을 확인했으며, 각 사이클의 길이는 2ⁿ이며, 전체 네트워크 대역폭이 두 배로 활용될 수 있음을 보여준다.

이 연구는 LTQₙ이 하이퍼큐브 대비 직경 감소와 더불어, 고성능 라우팅 및 부하 분산을 위한 구조적 이점을 제공한다는 점을 강조한다. 특히, 두 개의 독립적인 해밀턴 사이클이 존재함으로써, 결함 발생 시 하나의 사이클만을 이용해도 네트워크가 연결성을 유지할 수 있는 결함 내성(fault tolerance) 특성이 강화된다. 또한, 링 기반의 토큰 전달, 순환 버퍼, 파이프라인 스케줄링 등 다양한 병렬 알고리즘에 직접 적용 가능하며, 기존 하이퍼큐브 기반 설계보다 통신 지연과 충돌을 크게 감소시킬 수 있다.