도로 색칠 문제를 위한 다항 시간 알고리즘

** 본 논문은 1970년에 제기된 도로 색칠 문제(Road Coloring Problem)를 해결하기 위한 구체적인 알고리즘을 제시한다. 문제의 정의는 다음과 같다. 유향 그래프가 (1) 강하게 연결되고, (2) 모든 정점이 동일한 외향 차수(d)를 가지며, (3) 그래프 내 모든 사이클 길이들의 최대공약수(gcd)가 1일 때, 이 그래프에 색(문자)을 부여해 각 정점에서 나가는 d개의 간선을 서로 다른 색으로 라벨링하면, 그 결과는 결정적 유한 자동기(deterministic finite automaton, DFA)가 된다. 목표는 이러한 라벨링이 존재하도록 하는 것이며, 라벨링이 존재하면 그 DFA는 ‘동기화 단어(synchronizing word)’를 갖는다. 즉, 어떤 문자열을 입력하면 모든 상태가 하나의 상태로 수렴한다. 역사적으로 이 문제는 Adler‑Goodwyn‑Weiss(AGW) 정리와 연관되어 왔으며, 2007년에 Trahtman이 정리를 증명하면서 문제 자체가 해결되었다. 그러나 실제적인 색칠 방법을 제시하는 알고리즘은 아직 충분히 정립되지 않았다. 본 논문은 이러한 공백을 메우고, AGW 그래프에 대해 다항 시간(최악 O(n³), 평균 O(n²))에 동기화 색칠을 찾는 절차를 제시한다. 알고리즘의 기본 구조는 다음과 같다. 1. **초기 색칠 및 스팬닝 서브그래프 구성** 임의의 색칠을 선택하고, 같은 색에 해당하는 모든 간선을 모아 스팬닝 서브그래프 S를 만든다. S는 모든 정점을 포함하고, 각 정점이 정확히 하나의 출발 간선을 갖는 1‑정규 서브그래프이다. S는 사이클과 트리(루트가 사이클에 연결된)의 합집합으로 표현된다. 2. **레벨과 F‑클리크 정의** 트리 내부 정점에 대해 루트(사이클)까지의 거리(레벨)를 정의하고, 레벨이 최대인 정점들의 집합 N을 구한다. 동시에 ‘F‑클리크’(모든 쌍이 dead‑lock인 정점 집합)를 정의하고, Lemma 6에 의해 |F∩N|≤1임을 이용한다. 3. **안정 쌍(stable pair) 찾기** N에 포함된 정점 p와 그가 속한 F‑클리크 F를 선택한다. 색 α에 대해 p를 L−1번 이동시켜 새로운 F‑클리크 F₁을 만든다. 사이클 길이들의 공배수 m을 사용해 F₁을 m번 이동시켜 사이클 C 안에 완전히 포함되는 F₂를 만든다. Lemma 2에 의해 F₁과 F₂ 사이에서 한 쌍이 안정함을 증명한다. 안정 쌍은 정리 1에 의해 그래프를 ‘축소’할 수 있는 기반이 된다. 4. **플립 연산을 통한 스팬닝 서브그래프 개선** Lemma 8에서 제시된 세 가지 플립을 적용한다. - (i) 트리의 비루트 정점 a에서 사이클로 연결되는 간선을 교체(¯a) - (ii) 트리 내부 정점 b에서 루트 r로 가는 간선을 교체(¯b) - (iii) 사이클 상의 정점 c에서 다른 정점으로 이동하는 간선을 교체(¯c) 플립은 사이클에 포함된 간선 수를 증가시키지 않으면서 레벨 L을 증가시켜, 결국 ‘단일 최대 트리’를 갖는 스팬닝 서브그래프를 만든다. 5. **반복적 축소와 최종 동기화 색칠** 안정 쌍을 찾을 때마다 해당 두 상태를 하나의 가상 상태로 합치고, 그래프와 색칠을 갱신한다. 이 과정을 모든 정점이 하나의 상태가 될 때까지 반복하면, 최종적으로 모든 상태를 하나로 수렴시키는 동기화 단어가 존재함을 보장한다. **시간·공간 복잡도** - 각 플립은 O(n) 시간에 수행 가능하고, 플립 횟수는 O(n²) 이하이다. 따라서 최악 상황에서는 O(n³) 시간이 소요된다. - 실제 무작위 그래프에서는 트리와 사이클 구조가 단순해 평균 O(n²) 안에 종료된다. - 그래프와 색 정보만 저장하면 되므로 공간 복잡도는 O(n²)이다. **구현 및 실험** 알고리즘은 무료 소프트웨어 패키지 TESTAS에 구현되었다. 구현은 다음을 포함한다. - 입력 그래프를 파일 혹은 인터랙티브하게 읽어들임 - 색칠 과정과 플립 연산을 단계별로 시각화 - 최종 동기화 색칠과 동기화 단어를 출력 - 다양한 크기의 AGW 그래프에 대해 성능 테스트를 수행, 평균 O(n²) 시간 확인 **학술적·교육적 의의** - 도로 색칠 문제를 실제로 해결할 수 있는 구체적인 절차를 제공함으로써, 이론적 결과를 실용적 도구로 전환하였다. - TESTAS 패키지는 연구자뿐 아니라 대학 강의에서도 사용 가능해, 자동이론, 그래프 이론, 부호 이론 등을 실습할 수 있는 좋은 교재가 된다. **결론** 본 논문은 AGW 그래프에 대해 동기화 색칠을 찾는 다항 시간 알고리즘을 제시하고, 이를 구현·시각화함으로써 도로 색칠 문제의 이론적 해결과 실용적 적용을 동시에 달성하였다. **