불완전 DFA의 전이 복잡도와 부울 연산의 새로운 시각

초록

본 논문은 불완전 결정적 유한 자동장치(incomplete DFA)의 전이 복잡도(정의된 전이 수)를 연구한다. 합집합·교집합·보수 연산에 대해 최악의 전이 수 상한과 하한을 제시하고, 특히 합집합과 보수 연산에서 상태 복잡도와는 다른 거동을 보이며, 교집합에서는 기존 상태 복잡도 결과와 일치함을 증명한다.

상세 요약

불완전 DFA는 전이 함수가 부분 함수인 자동장치로, 어떤 상태·입력쌍에 대해 전이가 정의되지 않을 수 있다. 전이 복잡도는 이러한 정의된 전이의 총 개수를 의미하며, 이는 실제 구현 시 메모리 사용량과 직접 연관된다. 논문은 먼저 전이 복잡도의 형식적 정의와 기존 상태 복잡도 연구와의 차이를 명확히 구분한다. 이후 부울 연산—합집합(Union), 교집합(Intersection), 보수(Complement)—에 대해 각각 최악의 전이 복잡도 상한을 구성한다.

합집합 연산의 경우, 두 언어 L₁, L₂를 인식하는 불완전 DFA M₁(m, k₁), M₂(n, k₂) (여기서 m, n은 상태 수, k₁, k₂는 각각 정의된 전이 수) 를 고려한다. 전통적인 상태 복잡도는 m+n이지만, 전이 복잡도는 (m·k₂ + n·k₁) 정도까지 증가할 수 있음을 보인다. 특히, 각 자동장치가 거의 완전하게 정의된 전이를 가지고 있을 때, 합집합 DFA는 거의 완전한 직렬곱(product) 구조를 형성해 전이 수가 Θ(m·n·|Σ|)에 근접한다. 논문은 이와 같은 상한이 실제로 달성 가능한 구성을 제시하고, 하한도 동일 차수임을 증명한다.

보수 연산은 불완전 DFA의 특성상 더욱 흥미롭다. 보수를 구현하려면 정의되지 않은 전이를 모두 새로운 ‘죽음’ 상태(dead state)로 연결해야 한다. 따라서 원래 전이 수 k에 비해 추가적인 (|Q|·|Σ| – k)개의 전이가 필요하게 된다. 논문은 이 과정에서 최악의 경우 전이 복잡도가 |Q|·|Σ|에 도달함을 보이며, 이는 상태 복잡도와는 무관하게 전이 수가 완전 자동장치와 동일해진다.

교집합 연산은 기존 상태 복잡도 결과와 일치한다. 두 DFA의 직렬곱을 이용해 교집합을 구현하면, 정의된 전이 수는 각 원자동장치의 전이 수 곱에 비례한다. 즉, 전이 복잡도는 Θ(k₁·k₂)이며, 이는 상태 복잡도와 동일한 차수의 상한·하한을 가진다. 논문은 이러한 결과가 교집합 연산이 전이 정의를 크게 늘리지 않음을 의미한다는 점을 강조한다.

전체적으로 논문은 전이 복잡도라는 새로운 측정 지표를 도입해, 불완전 DFA의 설계와 최적화에 실질적인 가이드를 제공한다. 특히, 합집합·보수 연산에서 전이 수가 급격히 증가할 수 있음을 경고함으로써, 시스템 구현 시 메모리·시간 효율성을 고려한 자동장치 선택이 필요함을 시사한다.