끝표시기에서만 선택하는 양방향 자동화의 효율적 변환

초록

본 논문은 입력 헤드가 양쪽 끝표시기(⊢, ⊣)에 있을 때만 비결정적 선택을 허용하는 두 방향 외부‑비결정적 유한 자동자(2ONFA)를 정의하고, 이 모델을 표준 두 방향 결정적 유한 자동자(2DFA)로의 변환 비용을 조사한다. 주요 결과는 2ONFA를 O(n log n) 상태의 2DFA로 서브지수적으로 시뮬레이션할 수 있음을 보이며, 보완 언어, 자기‑검증, 정지, 단일성 변환도 다항 시간·다항 상태로 가능함을 증명한다. 또한, 2ONFA 시뮬레이션에 대한 초다항 하한이 존재한다면 L≠NL을, 교대형 버전(2OAF)에 대한 초다항 하한이 존재한다면 L=NL=P와 같은 복잡도 구분과 연결됨을 제시한다.

상세 분석

논문은 먼저 기존의 두 방향 비결정적 유한 자동자(2NFA)와 결정적 자동자(2DFA) 사이의 상태 수 격차 문제가 1978년 Sakoda‑Sipser에 의해 제기되었지만 아직 해결되지 않은 난제임을 상기한다. 기존 연구들은 2DFA의 움직임을 제한(예: 스위핑, 제한된 역전, 무지식형)함으로써 2NFA와의 지수적 차이를 보였지만, 이러한 제한은 일반 2DFA보다 약한 모델에만 적용되었다. 저자들은 반대로 2DFA의 능력을 강화하여, 비결정적 선택을 오직 입력 테이프의 양쪽 끝표시기에서만 허용하는 새로운 모델, 즉 두 방향 외부‑비결정적 유한 자동자(2ONFA)를 도입한다. 이 모델은 헤드 이동에 대한 제약이 전혀 없으며, 비결정적 전이는 끝표시기에서만 발생한다는 점에서 기존의 제한적 2DFA와는 근본적으로 다르다.

핵심 기술은 “세그먼트 탐색” 절차이다. 주어진 2ONFA에서 두 상태 p와 q 사이에 입력 w를 따라 왼쪽 끝표시기에서 시작해 다시 왼쪽 끝표시기로 돌아오는, 중간에 다른 끝표시기를 방문하지 않는 계산 구간이 존재하는지를 결정하는 결정적 알고리즘을 설계한다. 이 절차는 상태 수가 n인 2ONFA에 대해 O(n³) 시간 내에 구현 가능하며, 이를 이용해 모든 비결정적 선택을 효과적으로 “예측”하고, 무한 루프를 방지하며, 자기‑검증 및 정지 형태로 변환한다.

시뮬레이션 결과는 다음과 같다. 첫째, n 상태 2ONFA는 O(n⁸) 상태의 두 방향 자기‑검증 자동자(2SVFA)로 변환될 수 있다. 이는 보완 언어를 다항 상태로 얻을 수 있음을 의미한다. 둘째, 동일한 2ONFA는 O(n log n) 상태의 2DFA로 서브지수적으로 시뮬레이션 가능하다. 셋째, L=NL 가정하에 같은 2ONFA는 다항 상태의 2DFA로 변환될 수 있다. 따라서 2ONFA를 2DFA로 시뮬레이션하는 데 초다항 하한이 존재한다면 L≠NL이 증명되는 셈이다. 넷째, 2ONFA는 다항 상태의 단일(UNAMBIGUOUS) 2ONFA로 변환 가능하며, 교대형 버전인 2OAF(두 방향 외부‑교대 자동자)도 동일한 방식으로 2NFA 혹은 2DFA와 다항 상태 변환 관계를 가진다. 마지막으로, 2OAF의 시뮬레이션에 초다항 하한이 존재한다면 L=NL=P와 같은 복잡도 클래스 동등성이 도출된다.

이러한 결과는 비결정적 선택을 극히 제한함에도 불구하고, 헤드 이동 자유도가 충분히 크면 2NFA와 거의 동등한 표현력을 유지한다는 중요한 통찰을 제공한다. 또한, 복잡도 이론에서 L, NL, P 사이의 관계를 자동자 이론을 통해 새로운 관점으로 연결시키는 다리 역할을 수행한다.