비반복 수열을 위한 새로운 접근법

초록

이 논문은 각 위치마다 4개의 가능한 기호가 주어질 때, 인접한 두 블록이 동일하지 않은 비반복 수열을 항상 구성할 수 있음을 보인다. 기존의 확률적 방법을 대체하는 간단한 카탈란 수 기반 카운팅 기법을 제시하고, 이를 통해 3‑원소 집합에 대한 미해결 문제의 현재 최선 상한인 4를 재확인한다. 또한 이 기법이 비반복 게임과 그래프 색칠 문제에도 적용 가능함을 논의한다.

상세 분석

논문은 먼저 비반복 수열의 정의와 Thue‑구성의 역사적 배경을 정리한다. Thue는 3개의 기호만으로도 임의의 길이까지 비반복 수열을 만들 수 있음을 증명했으며, 이후 “리스트 색칠(list coloring)” 형태로 일반화된 문제—각 위치 i에 대해 3원소 집합 L_i가 주어질 때, L_i 안에서 선택한 기호들로 비반복 수열을 만들 수 있는가—가 제기되었다. 이 문제는 아직 완전히 해결되지 않았으며, 현재 알려진 최선 상한은 |L_i|≥4일 때 항상 가능하다는 결과이다. 기존 증명은 Lovász Local Lemma(LLL)의 확률적 존재론을 이용했으며, 복잡한 의존도 그래프와 매개변수 선택이 필요했다.

본 논문은 Moser‑Tardos 알고리즘적 LLL 증명과 Fortnow‑Tao의 해석을 바탕으로, 전혀 확률을 사용하지 않는 “카탈란 수 카운팅” 접근을 제시한다. 핵심 아이디어는 알고리즘이 진행되는 동안 발생할 수 있는 “충돌(conflict)” 상황을 이진 트리 형태로 모델링하고, 그 트리의 가능한 형태 수를 카탈란 수 C_k = (1/(k+1))·(2k choose k) 로 상계한다는 점이다. 구체적으로, 알고리즘은 순차적으로 i=1…n을 탐색하면서 현재 위치에 가능한 기호 중 하나를 임의로 선택한다. 만약 선택이 직전 블록과 동일한 패턴을 만들면, 최근에 선택된 블록 전체를 “리셋”하고 다시 선택을 시도한다. 이 과정에서 발생하는 재시도 횟수 k에 대해, 재시도 트리의 구조는 완전 이진 트리이며, 그 형태는 정확히 C_k 개가 된다.

다음 단계에서는 모든 가능한 재시도 트리의 총합을 n·C_k 로 상계하고, 각 트리마다 발생할 수 있는 선택 경우의 수는 4^k 이하임을 이용한다. 따라서 전체 실패 확률은
∑{k≥1} n·C_k·(1/4)^k ≤ n·∑{k≥1} (1/2)^{k} = n·(1/2) < 1
이 되어, 적어도 하나의 성공 경로가 존재함을 보인다. 여기서 중요한 점은 4라는 상수가 정확히 카탈란 수의 성장률과 맞물려서 수렴을 보장한다는 것이다. 만약 |L_i|=3이라면 (1/3)^k 로 대체되며, 수열이 수렴하지 않아 현재의 증명 기법으로는 결론을 내릴 수 없다.

또한 논문은 이 카운팅 기법이 “비반복 게임”(두 플레이어가 번갈아 기호를 선택하며 비반복성을 유지하려는 게임)과 “비반복 그래프 색칠”(그래프의 각 정점에 리스트가 주어질 때 인접 정점 사이에 동일한 색이 연속으로 나타나지 않게 색칠)에도 그대로 적용될 수 있음을 보인다. 게임 상황에서는 상대방의 선택을 하나의 추가 제약으로 모델링하고, 색칠 문제에서는 각 정점의 리스트 크기가 4 이상이면 동일한 카탈란 기반 재시도 분석을 통해 색칠 가능성을 보장한다.

결과적으로, 이 논문은 확률적 LLL 증명을 대체할 수 있는 전산적이고 직관적인 카운팅 방법을 제공함으로써, 리스트 비반복 수열 문제에 대한 현재 최선 상한을 간결하게 재확인하고, 향후 관련 분야에 적용 가능한 새로운 도구를 제시한다.