셔플 자동화기의 상태 폭발 현상

초록

본 논문은 두 단어 u와 v의 셔플(섞기) 언어를 인식하는 최소 결정적 유한 자동기(DFA)의 상태 수를 조사한다. 특정 u와 v에 대해 최소 DFA가 지수적인 상태 수를 필요로 함을 보이며, 반면 일정한 구조적 제한을 만족하면 상태 수가 이차적으로 제한될 수 있음을 증명한다. 또한 u 또는 v 안의 두 문자만 교환해도 지수적 복잡도와 이차적 복잡도 사이가 급격히 전이될 수 있음을 보여준다.

상세 분석

논문은 먼저 셔플 연산을 형식적으로 정의한다. 두 문자열 u = u₁…uₙ와 v = v₁…vₘ에 대해, 그 셔플 u ⊔ v는 u와 v의 문자들을 순서를 보존하면서 교차 배치한 모든 문자열 집합이다. 이 언어를 인식하는 DFA의 상태 수는 일반적으로 |u|·|v| 정도라고 생각되지만, 저자들은 특정 구조를 가진 단어쌍에 대해 이 직관이 크게 깨진다는 점을 입증한다.

첫 번째 주요 결과는 “지수적 하한”이다. 저자들은 알파벳 Σ 에 대해 서로 다른 두 문자 a, b 를 선택하고,
u = aⁿbⁿ, v = bⁿaⁿ (n≥1) 형태의 단어쌍을 구성한다. 이때 u ⊔ v 는 a와 b가 교차되는 복잡한 패턴을 포함한다. 저자는 “동등 클래스” 분석을 통해, 서로 다른 2ⁿ 개의 부분집합이 서로 구별 가능한 상태를 요구한다는 것을 보인다. 구체적으로, 셔플된 문자열의 각 접두사에 대해 남은 a와 b의 개수가 다르면 DFA는 이를 구분해야 하므로, 최소 상태 수는 Ω(2ⁿ)이다. 이는 기존에 알려진 |u|·|v| 이차적 상한과는 현격히 차이가 있다.

두 번째 결과는 “이차적 상한” 조건이다. 저자들은 u와 v가 각각 “단조 증가” 혹은 “단조 감소” 형태, 즉 같은 문자 블록이 연속적으로 나타나는 경우를 고려한다. 예를 들어 u = aᵏbˡ, v = aᵐbⁿ와 같이 각 문자 종류가 한 번씩만 전환되는 경우, 셔플 언어는 각 블록 내부에서 독립적인 선택을 허용하지만 블록 순서는 고정된다. 이러한 구조에서는 DFA가 현재까지 소비된 a와 b의 개수만 추적하면 충분하므로, 상태 수는 O(|u|·|v|) 즉 이차적으로 제한된다. 논문은 이를 일반화하여 “문자 전환 횟수가 상수인 경우”에 대한 정량적 상한을 제시한다.

가장 흥미로운 부분은 “민감도” 결과이다. 저자들은 위의 이차적 경우에서 u 또는 v 안의 두 문자 위치만 바꾸면, 즉 a와 b가 한 번만 교차하도록 배치하면, 셔플 언어는 급격히 복잡해져서 지수적 상태 수가 필요하게 된다. 이는 셔플 연산이 매우 작은 구조적 변동에도 크게 영향을 받는다는 것을 의미한다. 논문은 이러한 현상을 “구조적 임계점”이라고 명명하고, 자동화 설계 시 작은 오타나 문자 재배열이 알고리즘 복잡도를 폭발시킬 수 있음을 경고한다.

마지막으로, 저자들은 기존 연구와 비교하여 자신들의 기여를 정리한다. 이전에는 일반적인 셔플 언어에 대한 상한이 O(2^{|u|+|v|}) 정도였으나, 구체적인 단어쌍에 대한 하한·상한을 명확히 구분한 것이 새롭다. 또한, 실용적인 관점에서 문자열 처리 시스템, DNA 서열 매칭, 병렬 작업 스케줄링 등에서 셔플 연산이 사용될 때, 입력 문자열의 패턴을 사전에 분석하여 자동기의 크기를 예측하고 최적화할 수 있는 이론적 근거를 제공한다.