소수 차수에서의 선도 방향 토너먼트 해밀턴 분해

초록

본 논문은 (2n+1)개의 정점을 갖는 선도 토너먼트 중 ‘선도 방향 토너먼트’를 정의하고, 2n+1이 소수일 때 이를 n개의 방향 해밀턴 회로로 정확히 분해할 수 있음을 보인다. 소수가 아닌 경우에는 제시된 알고리즘이 실패하므로 다른 방법이 필요함을 논의하고, 특정 동형 클래스에 속하는 토너먼트에 대해 일반적인 기하학적 회전 방법으로 언제든지 해밀턴 분해가 가능함을 제시한다.

상세 분석

논문은 먼저 ‘diregular tournament’이라는 개념을 명확히 정의한다. 이는 모든 정점이 동일한 입·출 차수 = n을 갖는 완전 방향 그래프이며, 정점 수는 반드시 홀수 = 2n+1이어야 한다. 저자는 이 중에서도 ‘leading diregular tournament’를 인접 행렬의 특정 패턴으로 규정한다. 이 패턴은 각 정점 i에 대해 i+1, i+2, …, i+n (모듈러 2n+1) 로 향하는 n개의 아웃고리와, i−1, i−2, …, i−n 로 들어오는 n개의 인고리를 만든다. 즉, 정점들을 원 위에 균등하게 배치하고, 거리 k(1≤k≤n)만큼 시계방향(또는 반시계방향)으로 이동하는 간선들을 모두 포함한다는 의미다.

핵심 정리는 2n+1이 소수일 때, 1부터 n까지의 정수들이 모두 모듈러 2n+1에 대해 서로 서로소이므로, 각 k∈{1,…,n}에 대해 “step‑k” 순환(1, 1+k, 1+2k, …, 1+2nk≡1(mod 2n+1))을 만들 수 있다. 이 순환은 정확히 (2n+1)개의 정점을 한 번씩 방문하므로 방향 해밀턴 회로가 된다. 서로 다른 k값은 서로 다른 간선 집합을 생성하므로, n개의 해밀턴 회로가 서로 겹치지 않으며 전체 간선을 정확히 커버한다. 따라서 소수 차수에서는 선도 토너먼트를 완전하게 해밀턴 분해할 수 있다.

반면 2n+1이 합성수일 경우, {1,…,n} 중에서 모듈러 2n+1과 서로소인 수가 n개 미만이 된다. 예시로 9(=2·4+1)에서는 {1,2,4}만이 서로소이며, 이 세 개의 step‑k 순환을 사용하면 남은 간선이 삼각형 3개(길이 3의 사이클)로 남는다. 즉, 해밀턴 회로만으로는 전체를 커버할 수 없으며, 추가적인 비해밀턴 사이클이 필요함을 보여준다.

이를 보완하기 위해 저자는 ‘기하학적 회전 방법’을 제시한다. 정점을 원 위에 고정하고, 한 번의 기본 해밀턴 회로(예: step‑1)를 만든 뒤, 전체 패턴을 2π/(2n+1)씩 회전시켜 새로운 회로를 얻는다. 회전 각도는 정점 수와 일치하므로 n번 회전하면 n개의 서로 다른 해밀턴 회로가 생성되고, 각 회로는 이전 회로와 간선이 겹치지 않는다. 이 방법은 2n+1이 소수이든 합성수이든 관계없이 적용 가능하며, 특정 동형 클래스(즉, 회전 대칭을 갖는 토너먼트)에 한해 해밀턴 분해를 보장한다.

논문은 또한 각 ‘거리 타입’(1‑unit, 2‑unit, …, n‑unit)별 간선이 정확히 2n개씩 존재하고, 각 정점마다 각 타입의 인·출 간선이 하나씩 존재한다는 구조적 특성을 강조한다. 소수인 경우 하나의 타입만을 이용해 해밀턴 회로를 만들 수 있지만, 합성수인 경우 여러 타입을 혼합해야 함을 시사한다. 전체적으로 이 논문은 해밀턴 분해 문제에 대한 새로운 구성적 접근을 제시하고, 소수와 합성수 경우의 차이를 명확히 구분한다는 점에서 의미가 크다.