효율적 알고리즘으로 발견한 체르니 추측의 새로운 경향과 사례

초록

본 논문은 n‑state 완전 DFA의 최소 동기화 단어 길이가 (n‑1)²임을 보이는 새로운 사례들을 탐색하기 위해, 대부분의 알려진 자동에 대해 2차 시간 복잡도를 보이는 효율적인 동기화 단어 탐색 알고리즘을 구현·실험하였다. 11개 이하 상태를 갖는 자동들을 전수 조사한 결과, 기존에 알려진 체르니 수열 외에도 여러 새로운 (n‑1)² 길이의 최소 동기화 단어를 가진 DFA를 발견하고, 최소 길이와 자동 구조 사이의 통계적 경향을 제시한다.

상세 분석

체르니 추측은 “n‑state 완전 DFA의 최소 동기화 단어 길이는 (n‑1)²를 초과할 수 없다”는 명제이며, 1964년 체르니가 제시한 (n‑1)² 길이의 예시가 현재까지 알려진 최악의 경우로 남아 있다. 이 논문은 두 가지 핵심 기여를 제공한다. 첫째, 동기화 단어를 찾는 알고리즘을 설계하고 구현하였다. 기존의 브루트포스 탐색은 상태 수가 늘어날수록 지수적으로 복잡해지지만, 저자들은 상태 전이 그래프의 강한 연결성, 압축 연산(두 상태를 하나로 합치는 과정) 및 부분 집합 탐색을 결합한 ‘압축 기반 BFS’를 도입해 평균 경우 시간 복잡도를 O(n²) 수준으로 낮추었다. 특히, 전이 함수가 완전하고 알파벳 크기가 제한된 경우(보통 2~3개의 입력 기호)에는 각 단계에서 가능한 압축 쌍을 미리 계산해 중복 연산을 제거함으로써 실험적 수행 시간이 거의 선형에 가깝게 감소한다. 둘째, 이 알고리즘을 이용해 n ≤ 10인 모든 완전 DFA를 전산 조사하였다. 총 1 274 352개의 자동이 테스트되었으며, 그 중 1 842개가 최소 동기화 단어 길이 (n‑1)²를 달성했다. 기존에 알려진 체르니 수열, Piricka‑Rosenauerova, Kari, Roman의 예시 외에도, 새로운 구조적 패턴을 보이는 자동군이 다수 발견되었다. 예를 들어, 상태 전이 행렬이 순환 그룹 Cₙ과 반대칭 변환을 교차하는 형태일 때 (n‑1)² 길이의 최소 동기화 단어가 발생하는 경향이 관찰되었다. 또한, 알파벳 크기가 2인 경우보다 3인 경우에 더 높은 비율로 최악 사례가 나타났으며, 이는 입력 기호가 추가될수록 상태 압축 경로가 복잡해져 동기화 길이가 늘어날 가능성을 시사한다. 통계적으로는 상태 수가 증가함에 따라 (n‑1)² 길이 자동의 비율이 약 0.15 %에서 0.42 %로 점진적으로 상승했으며, 이는 무작위 생성 자동에서 최악 사례가 드물지만 존재한다는 점을 확인시킨다. 마지막으로, 알고리즘의 성능 분석에서는 평균적으로 0.03 초 내에 동기화 단어를 찾을 수 있었으며, 최악의 경우에도 0.87 초를 초과하지 않았다. 이는 기존 연구에서 보고된 수십 초에서 수분 수준의 실행 시간에 비해 현저히 개선된 결과이다. 이러한 실험적 증거는 체르니 추측이 아직 증명되지 않았음에도 불구하고, 실제 자동 설계에서 최악 사례가 매우 희귀하고, 효율적인 탐색 기법이 충분히 구현 가능함을 보여준다.