비해밀턴 기반 OTIS 네트워크의 해밀턴성 및 결함 내성

초록

본 논문은 해밀턴성이 없는 기본 그래프를 기반으로 한 Optical Transpose Interconnection System(OTIS)이 해밀턴 사이클을 가질 수 있음을 보이고, 이러한 구조에서 독립 스패닝 트리를 정점 수에 비례하는 시간으로 구성하는 알고리즘을 제시한다. 또한 기본 그래프가 해밀턴 경로만을 갖는 경우에도 OTIS가 해밀턴이 되지 않을 수 있음을 증명한다.

상세 분석

OTIS는 클러스터 내부는 전자식, 클러스터 간은 광학식으로 연결되는 2단계 스와핑 네트워크로, 각 클러스터가 동일한 기본 그래프 G를 복제한다. 기존 연구에서는 기본 그래프 G가 해밀턴이면 OTIS도 해밀턴이라는 충분조건만 알려져 있었으며, 반대 방향에 대한 연구는 거의 없었다. 본 논문은 두 가지 주요 질문에 부정적인 답을 제시한다. 첫째, G가 해밀턴일 필요는 없으며, 비해밀턴 그래프에서도 OTIS가 해밀턴 사이클을 가질 수 있음을 무한 가족을 통해 증명한다. 구체적으로, 두 개의 사이클 C_{2m+1}와 C_{2n+1}이 하나의 절단점에서 만나는 일반화된 ‘보우타이’(Bowtie) 그래프 B F(2m+1, 2n+1)와 B F(2m+1, 2k)를 기본 그래프로 삼은 경우, 각 클러스터가 이러한 비해밀턴 구조임에도 OTIS는 해밀턴 사이클을 갖는다. 저자들은 ‘키 비해밀턴 엣지’를 식별하고, 두 개의 추론 규칙(IR 1, IR 2)을 적용해 남은 엣지를 강제적으로 해밀턴 엣지로 전환함으로써 전체 사이클을 구성한다. 이 과정에서 각 정점의 차수가 2, 3, 4, 5만 존재하고, 최소 차수가 2이므로 한 개 이상의 서로소 해밀턴 사이클은 존재하지 않음(δ/2 ≤ 1)을 보인다.

둘째, 기본 그래프가 해밀턴 경로를 갖는다고 해서 OTIS가 해밀턴이 되는 것은 아니다. 저자는 B F(4, 4)와 B F(4, 6) 사례를 통해, 두 그래프 모두 해밀턴 경로를 가지고 있지만 해당 OTIS는 해밀턴 사이클이 존재하지 않음을 증명한다. 이는 해밀턴 경로가 OTIS의 복잡한 클러스터 간 연결 구조를 충분히 보완하지 못한다는 중요한 교훈을 제공한다.

또한, 저자는 B F(n)라 불리는 4-정규 ‘버터플라이’ 그래프(정점 (α; x_{n‑1},…,x_0) 형태) 위에 구축된 OTIS가 해밀턴임을 보이고, 이를 이용해 독립 스패닝 트리(IST) 두 개를 정점 수에 선형 시간(O(|V|))으로 생성하는 알고리즘을 제시한다. 기존 Itai‑Rodeh 알고리즘이 엣지 수에 비례하는 시간(O(|E|))을 요구하는 반면, 제안된 방법은 각 클러스터 내부에서 비해밀턴 엣지를 제거하고 남은 구조를 직접 순회함으로써 효율성을 크게 향상시킨다. 특히, 클러스터 내부에 최소 하나의 차수 2 정점이 남아 있으면 알고리즘의 성능이 더욱 우수해진다.

결과적으로, 논문은 (1) 해밀턴성의 필요조건이 아닌 충분조건을 명확히 구분하고, (2) 비해밀턴 기반 OTIS에서도 해밀턴 사이클을 구성할 수 있는 구체적 절차를 제공하며, (3) 독립 스패닝 트리 구축을 위한 선형‑시간 알고리즘을 제시함으로써 OTIS 네트워크 설계와 결함 내성 분석에 새로운 이론적·실용적 기반을 마련한다.