토너먼트 아리소레인스 그레이 코드

이 논문은 “피벗 그레이 코드”라는 개념을 중심으로, 방향 그래프의 아리소레인스(루트가 지정된 스패닝 트리)들을 하나씩 한 개의 아크만 교체하면서 나열할 수 있는지 여부를 탐구한다. Knuth이 제시한 문제는, 두 아리소레인스가 하나의 아크만 다를 때 그 차이가 같은 정점 u를 공유해야 한다는 ‘강한 회전문(Strong Evolving Door)’ 성질을 만족한다는 점에서 기존 스패닝 트리 그레이 코드와 차별화된다. 논문은 먼저 기본 정의와 용어를 정리한다. 방향 그래프 G=(V,E)와 루트 r에 대해, 아리소레인스는 r에서 모든 정점으로 향하는 유일한 경로를 갖는 방향 트리이며, 두 아리소레인스가 하나의 아크만 다르면 ‘아크 플립’이라고 부른다. 모든 아리소레인스를 정점으로, 플립 관계를 간선으로 하는 플립 그래프 F_r(G)를 정의하고, 이 그래프가 연결된다는 사실을 상기한다. 그 다음, 기존 연구에서 스패닝 트리의 플립 그래프가 언제 해밀턴 사이클을 갖는지에 대한 배경을 제시한다. Cummins(1966)와 Shank(1968)의 결과는 무방향 그래프의 경우 플립 그래프가 ‘에지-해밀턴’임을 보였으며, Smith(1997)는 상수 지연 알고리즘을 제시했다. 그러나 방향 그래프, 특히 아리소레인스에 대한 피벗 그레이 코드는 아직 일반적인 해답이 없었다. 논문은 먼저 Chen(1967)의 주장—“아무 방향 그래프든 최소 3개의 아리소레인스를 가지면 플립 그래프에 해밀턴 사이클이 존재한다”—에 대한 반례를 재검토한다. Rao와 Raju(1972)가 제시한 예시를 일반화하여, 플립 그래프가 단순 경로만을 갖는 경우와, 플립 그래프가 불균형 이분 그래프(한 파티션이 다른 파티션보다 하나 더 많은) 형태가 되는 경우를 체계적으로 규명한다. 특히, 아리소레인스가 플립 그래프에서 차수가 1인 경우를 완전히 특성화하고, 이러한 경우가 발생하면 해밀턴 사이클이 존재할 수 없음을 증명한다. 다음으로, 플립 그래프의 해밀턴 경로 존재성을 보존하는 네 가지 변환을 제시한다. 1. **아크 삭제**: G에서 사용되지 않는 아크 uv를 제거하면, F_r(G−uv)는 F_r(G)에서 uv를 포함하지 않는 아리소레인스들만으로 이루어진 부분 그래프와 동형이다. 따라서 삭제는 플립 그래프의 구조에 영향을 주지 않는다. 2. **빌드(백업) 아크 추가**: 기존 그래프 G에, G의 어느 정점 u가 v의 후손인 경우에만 새로운 아크 u→v를 추가한다. 이러한 ‘백업’ 아크는 어떤 아리소레인스에도 포함될 수 없으며, 따라서 F_r(G)와 F_r(H) (H는 빌드된 그래프)는 동형이다. 3. **아크 분할**: 한 아크 u→w를 두 아크 u→v와 v→w(새로운 정점 v 삽입)로 대체한다. 각 아리소레인스를 v를 거쳐 연결하거나, 기존 아크를 그대로 유지하도록 매핑함으로써 플립 그래프는 동일하게 유지된다. 4. **아크 복제**: 기존 아크 e를 복제해 동일한 꼬리와 머리를 갖는 e′를 추가한다. 복제된 아크가 포함된 아리소레인스를 e와 e′ 사이에서 삼각형 혹은 4-사이클 형태로 연결함으로써, 기존 해밀턴 경로를 새로운 그래프에서도 확장할 수 있다. 이 네 가지 변환은 이후 토너먼트에 대한 귀납적 증명에서 핵심적인 도구로 사용된다. **주요 정리**는 다음과 같다. - **정리 1**: 임의의 토너먼트 T와 루트 r에 대해, 플립 그래프 F_r(T)에는 해밀턴 경로가 존재한다. 증명은 r에서 나가는 아크 r→x를 선택하고, 그 아크를 포함하는 아리소레인스 집합 T/ r→x와 포함하지 않는 집합으로 나누어, 각각을 축소(contraction)한 그래프 G′=T/r→x에 대해 귀납적으로 해밀턴 경로가 존재함을 보인다. 축소 과정에서 발생하는 하이퍼큐브 구조를 이용해, 각 축소 단계의 플립 그래프는 차원 |M|인 하이퍼큐브와 동형이며, 하이퍼큐브는 차원 ≥2이면 언제나 해밀턴 사이클을 포함한다(레마 4). 따라서 축소된 그래프에서 얻은 해밀턴 경로를 원래 그래프의 플립 그래프에 ‘풀어’ 넣음으로써 전체 해밀턴 경로를 구성한다. - **정리 2**: 일반 방향 그래프에서는 플립 그래프가 해밀턴 사이클을 갖지 못하는 경우가 존재한다. 특히, 플립 그래프가 불균형 이분 그래프이거나, 모든 아리소레인스가 하나의 아크만을 공유하는 경우가 이에 해당한다. 논문은 이러한 부정적 사례들을 구체적인 그래프 구조와 함께 제시하고, 차수 1인 정점이 존재하는 경우를 완전히 특성화한다. 마지막으로, 논문은 향후 연구 과제로 (i) 토너먼트 외의 그래프 클래스(예: 강한 연결 방향 그래프, 외판원 그래프 등)에서 피벗 그레이 코드를 찾는 문제, (ii) 플립 그래프의 구조적 특성을 이용한 효율적인 열거 알고리즘 설계, (iii) 플립 그래프의 해밀턴성에 대한 복합적인 조합적 기준을 제시한다. 전반적으로, 이 연구는 토너먼트라는 특수한 방향 그래프에서 아리소레인스의 피벗 그레이 코드를 확실히 존재함을 증명함으로써, Knuth이 제시한 오래된 열린 문제에 대한 중요한 진전을 제공한다. 또한, 플립 그래프의 구조와 변환 규칙에 대한 깊은 통찰을 제공하여, 향후 보다 일반적인 그래프 클래스에 대한 연구의 토대를 마련한다.