정규언어 접두사 접미사 부분문자열 보편성 문제 복잡도

초록

이 논문은 DFA 혹은 NFA로 표현된 정규언어 L에 대해 L의 모든 단어의 접두사·접미사·부분문자열·서브워드 집합이 전체 알파벳 Σ*와 동일한지 여부를 판정하는 보편성 문제의 계산 복잡도를 조사한다. DFA와 NFA 각각에 대해 P, NL, PSPACE 등 복잡도 등급을 정확히 규명하고, 특히 DFA에서의 부분문자열 보편성 문제와 동기화 단어에 관한 Černý 추측 사이의 흥미로운 연관성을 제시한다.

상세 분석

논문은 먼저 네 가지 변형(접두사, 접미사, 부분문자열, 서브워드)에 대해 정의를 명확히 하고, 입력으로 주어지는 자동기가 DFA인지 NFA인지에 따라 문제의 난이도가 어떻게 달라지는지를 체계적으로 분석한다. 접두사와 접미사에 대해서는 DFA와 NFA 모두에서 보편성 검사가 NL‑complete임을 보이며, 이는 기존의 정규언어 보편성 문제(PSPACE‑complete)와는 대조적이다. 핵심 아이디어는 접두사(또는 접미사) 집합이 Σ*가 되려면 자동기의 초기 상태에서 모든 알파벳 기호를 차례로 읽을 수 있는 경로가 존재해야 한다는 점이다. 이 조건은 그래프 탐색 문제와 동형이며, 비결정적 로그스페이스 알고리즘으로 해결 가능함을 증명한다.

부분문자열(연속적인 인자) 보편성의 경우, DFA에 대해서는 문제의 복잡도가 PSPACE‑complete가 아니라 NL‑complete가 될 수 없음을 보인다. 대신, DFA에서 부분문자열 보편성은 “동기화”와 직접 연결된다. 자동기의 모든 상태를 하나의 상태로 수렴시키는 동기화 단어가 존재한다면, 그 단어의 모든 연속 부분문자열이 자동기의 언어에 포함된다. 따라서 부분문자열 보편성은 동기화 가능성 검사와 동치이며, 이는 Černý 추측(최소 동기화 단어 길이가 (n‑1)² 이하)과 연관된다. 논문은 이 연관성을 이용해, 동기화 단어의 존재 여부를 PSPACE‑complete 문제와 연결시켜 복잡도 경계를 제시한다.

서브워드(비연속적인 부분문자열) 보편성은 가장 어려운 경우에 해당한다. NFA에 대해서는 이 문제가 PSPACE‑complete임을 보이며, 이는 일반 정규언어 보편성 문제와 동일한 난이도이다. 증명은 NFA의 비결정적 전이와 서브워드 생성 규칙을 이용해, 임의의 PSPACE 문제를 서브워드 보편성 인스턴스로 다항식 시간에 환원함으로써 이루어진다. DFA의 경우에도 PSPACE‑hard임을 보이지만, 상한은 여전히 PSPACE이므로 완전성(complete) 결과를 얻는다.

전체적으로 논문은 네 가지 변형 각각에 대해 DFA와 NFA 두 경우를 구분해 복잡도 등급을 정확히 매핑하고, 특히 DFA에서 부분문자열 보편성 문제와 동기화 이론 사이의 새로운 연결 고리를 제시함으로써 이론적 컴퓨터 과학과 자동기 이론 사이의 교차점을 확장한다.