온라인 버전의 투에 정리

초록

투에가 3개의 기호로 무한히 긴 비반복 수열을 만들 수 있음을 증명한 뒤, 본 논문은 두 명의 플레이어가 번갈아 가며 수열을 구성하는 온라인 게임을 정의한다. Bob은 삽입 위치를 선택하고, Alice는 미리 정해진 기호 집합 A에서 기호를 넣는다. Bob은 반복을 강제하려 하고, Alice는 이를 피하려 한다. 저자는 |A|≥12이면 Alice가 언제든 원하는 길이까지 수열을 연장할 수 있음을 보이며, |A|≤4이면 Alice가 오래 버틸 수 없음을 증명한다. 증명은 외부 평면 그래프의 비반복 색칠 결과를 이용한다. 최소 기호 수에 대한 정확한 값은 아직 미정이다.

상세 분석

논문은 먼저 비반복 수열의 정의를 상기한다. 수열 S가 비반복이라는 것은 S에 연속하는 두 블록이 동일하지 않음을 의미한다. 전통적인 투에 정리는 고정된 알파벳 크기(3)에서 임의의 길이까지 비반복 수열을 생성할 수 있음을 보여준다. 여기서 저자는 “온라인” 변형을 도입한다. 게임은 다음과 같이 진행된다. 초기에는 빈 수열이 존재한다. 매 차례마다 Bob은 현재 수열의 어느 위치(앞, 뒤, 혹은 중간)든 선택한다. 그 뒤 Alice는 미리 정해진 기호 집합 A에서 하나를 골라 해당 위치에 삽입한다. 삽입 후 수열에 새로운 인접 블록이 동일해지면 즉시 반복이 발생하고 게임이 종료된다. Bob의 목표는 가능한 한 빨리 반복을 만들게 하는 것이고, Alice는 이를 피하면서 수열을 무한히 길게 유지하려는 것이 목표다.

핵심 결과는 |A|≥12이면 Alice가 무한히 게임을 지속할 수 있다는 정리이다. 이를 증명하기 위해 저자는 외부 평면 그래프(outerplanar graph)의 비반복 색칠 이론을 활용한다. 구체적으로 현재 수열을 그래프의 경로 형태로 모델링하고, 각 삽입 위치를 그래프의 새로운 정점으로 추가한다. 외부 평면 그래프는 최대 12색으로 비반복 색칠이 가능하다는 기존 결과를 이용해, Alice는 언제든지 아직 사용되지 않은 색(기호) 중 하나를 선택해 새로운 정점에 할당할 수 있다. 이렇게 하면 어떤 순간에도 경로 상에 동일한 색이 연속 두 번 나타나는 상황이 발생하지 않으며, 따라서 반복이 절대 생기지 않는다.

반면, 기호 집합의 크기가 4 이하일 경우 Alice가 장시간 버틸 수 없다는 부정적 결과도 제시한다. 저자는 작은 알파벳에서는 Bob이 특정 패턴을 강제함으로써 일정 길이 이후 반드시 반복을 만들 수 있음을 구성적으로 증명한다. 이 부분은 주로 경우 분석과 간단한 귀류법을 통해 이루어진다.

마지막으로 논문은 정확한 최소 알파벳 크기가 아직 밝혀지지 않았으며, 현재 알려진 상한은 12, 하한은 5(4는 불가능)라는 격차를 강조한다. 이는 비반복 색칠과 온라인 게임 이론 사이의 흥미로운 연결 고리를 제공하며, 향후 연구에서는 더 정밀한 경계값을 찾거나 다른 그래프 클래스에 대한 일반화를 시도할 여지를 남긴다.