고차 디브루인 사이클을 위한 동형 사상과 재귀 생성법

초록

본 논문은 저차원의 디브루인 순환을 이용해 고차원의 디브루인 순환을 체계적으로 생성하는 방법을 제시한다. 디브루인 그래프 사이의 특수한 동형 사상을 정의하고, 이를 통해 낮은 차수의 사이클을 고차 차수 그래프에서 서로 겹치지 않는 여러 사이클로 매핑한 뒤, 적절한 연결 고리를 삽입해 하나의 완전한 사이클로 합친다. 이 과정은 기존의 레임펠 D‑사상을 일반화한 형태이며, 비이진 알파벳에서도 적용 가능한 효율적인 재귀 알고리즘을 제공한다. 결과적으로 지수적인 수의 새로운 비이진 디브루인 사이클을 생성할 수 있다.

상세 분석

논문은 먼저 디브루인 그래프 B(k, n) — 알파벳 크기 k와 차수 n을 갖는 디브루인 다이그래프 — 사이에 정의 가능한 동형 사상의 구조적 특성을 체계적으로 분석한다. 기존에 잘 알려진 레임펠의 D‑사상은 B(k, n)에서 B(k, n + 1)로의 사상으로, 각 정점(길이 n의 문자열)을 길이 n + 1의 문자열 두 개로 확장한다. 저자들은 이를 일반화하여, 차수 차이가 1보다 큰 경우에도 적용 가능한 ‘다중‑D‑사상’을 도입한다. 핵심 아이디어는 낮은 차수의 디브루인 사이클 C⊂B(k, m)을 선택하고, 사상 φ: B(k, m)→B(k, n) (n > m) 를 통해 C의 각 정점을 φ(C)에서 서로 겹치지 않는 여러 정점 집합으로 분해한다는 점이다. 이때 φ는 각 정점 x를 (x·a₁, x·a₂, …, x·a_{k^{n‑m}}) 형태의 k^{n‑m}개의 정점으로 매핑하며, 매핑 규칙은 선형 변환 혹은 순환 시프트와 같은 간단한 연산으로 구현된다.

이러한 매핑 결과는 B(k, n) 내에서 φ(C) 가 서로 독립적인 사이클 집합을 형성함을 보인다. 저자들은 각 사이클 사이에 ‘연결 엣지’를 삽입하는 방법을 제시한다. 구체적으로, φ(C) 의 마지막 정점과 다음 사이클의 첫 정점 사이에 존재하는 에지를 선택해 순환을 끊지 않고 하나의 긴 사이클으로 합친다. 이 과정은 그래프 이론에서 ‘사이클 연결’(cycle joining) 기법과 유사하지만, 여기서는 매핑에 의해 자동으로 생성된 정점 집합이 이미 동일한 알파벳 구조를 공유하므로 추가적인 검증이 필요 없다.

알고리즘적 측면에서 논문은 재귀적 구현을 제안한다. 기본 단계는 차수 1의 디브루인 사이클(예: 순환 순열)이며, 이를 φ를 이용해 차수 2, 3,… 으로 차례로 확장한다. 각 단계에서 φ는 고정된 규칙에 따라 k^{Δ}개의 복제본을 만들고, 복제본 사이를 연결하는 ‘브리지’ 연산을 수행한다. 시간 복잡도는 각 단계마다 O(k^{n}) 수준이며, 메모리 사용량도 동일하게 선형이다. 특히 비이진 알파벳(k > 2)에서도 동일한 구조가 유지되므로, 기존의 이진 전용 방법보다 범용성이 크게 향상된다.

이론적 결과로는 다음과 같은 정리가 제시된다. (1) φ가 만족하는 충분조건은 ‘정점 보존’와 ‘에지 보존’ 두 가지이며, 이는 φ가 그래프 동형 사상임을 의미한다. (2) φ가 위 조건을 만족하면, 임의의 디브루인 사이클 C에 대해 φ(C) 의 각 복제본은 B(k, n) 내에서 서로 독립적인 사이클을 형성한다. (3) 이러한 복제본을 적절히 연결하면, 전체 그래프 B(k, n) 를 완전하게 커버하는 새로운 디브루인 사이클이 생성된다.

실험 결과는 k = 3, 4, 5에 대해 n = 4 ~ 7까지의 경우에 대해 수천 개의 새로운 사이클을 성공적으로 생성했으며, 기존에 알려진 방법으로는 도출할 수 없던 비정형적인 순열 구조를 포함한다. 이는 디브루인 사이클의 탐색 공간이 지수적으로 확대될 수 있음을 실증한다.