디브루인 그래프의 호 서로소 해밀턴 사이클 수에 관한 새로운 등가 정리

초록

이 논문은 디브루인 그래프 B(q,k)에서 서로 호(arc)만 겹치지 않는 해밀턴 사이클의 최대 개수가 q‑1임을 주장하는 기존의 추측을 두 가지 동등한 형태로 재표현한다. 첫 번째는 “q‑1개의 호-서로소 해밀턴 사이클이 존재한다”는 직접적인 명제이며, 두 번째는 특정 변환 µ를 이용해 하나의 해밀턴 사이클 H₀에서 파생된 H₁,…,H_{q‑2}가 모두 서로 호를 공유하지 않으며 동일한 동치류에 속하는 디브루인 워드에 대응한다는 내용이다. 논문은 변환 µ의 정의와 예시, 그리고 동치 관계를 제시하고, 소규모 (q,k) 사례를 통해 가설의 타당성을 보여준다.

상세 분석

본 논문은 디브루인 그래프 B(q,k)의 구조적 특성을 활용해 호-서로소 해밀턴 사이클의 존재에 관한 두 가지 동등한 추측을 제시한다. 첫 번째 추측(Conjecture 1)은 q≥2, k>1인 경우 B(q,k)에서 q‑1개의 서로 호를 공유하지 않는 해밀턴 사이클이 존재한다는 전통적인 형태이며, 이는 그래프의 정규성(모든 정점의 입·출 차수가 q)과 Eulerian 회로와의 관계를 배경으로 한다. 두 번째 추측(Conjecture 2)은 변환 µ: A→A를 정의하여 µ⁽ᵏ⁾(u) = v (1≤k≤q‑2)인 경우 u와 v가 같은 동치류에 속함을 이용한다. 여기서 µ는 0을 고정하고 나머지 기호를 순환 이동시키는 순환 사상이며, µ^{q‑1}=id임을 보인다. 논문은 임의의 디브루인 워드 w를 시작점 H₀의 해밀턴 사이클에 대응시키고, µ^k(w) (k=1,…,q‑2) 를 적용해 새로운 디브루인 워드들을 얻는다. 이들 워드는 각각 그래프의 다른 해밀턴 사이클 H_k에 대응하며, 변환 과정에서 사용된 모든 호는 서로 겹치지 않는다. 즉, H₀와 그 파생 사이클들은 호-서로소라는 강한 조건을 만족한다. 논문은 B(3,2), B(3,3), B(4,2), B(5,2) 등 구체적인 사례를 제시해 µ 변환이 실제로 호-서로소 사이클 집합을 생성함을 실증한다. 또한, 동치 관계 “v = µ^k(u)”가 전체 디브루인 워드 집합을 q‑1개의 동치류로 분할함을 보이며, 각 동치류가 하나의 호-서로소 사이클 집합에 대응한다는 점을 강조한다. 이러한 재구성은 기존 추측을 증명하기 위한 새로운 접근법을 제공한다. 특히, µ 사상의 순환성은 그래프 이론에서 흔히 나타나는 라인 그래프와의 연관성을 시사하며, 향후 B(q,k)에서의 사이클 분할 문제를 군론적 관점에서 다룰 가능성을 열어준다. 논문은 증명보다는 등가성 제시와 실험적 검증에 초점을 맞추고 있으나, 제시된 구조적 통찰은 향후 증명 전략 수립에 중요한 힌트를 제공한다.