보조 메모리를 이용한 비결정론적 계산 모델

초록

이 논문은 읽기 전용 보조 메모리를 갖는 다중 헤드 2방향 자동자를 이용해 비결정론적 계산을 정의하고, 메모리의 구조(1‑way, 1.5‑way, 2‑way)와 제한된 추측(희소 추측)에 따라 L, NL, P, NP, PSPACE 등 주요 복잡도 클래스를 교대 없이 특성화한다.

상세 분석

논문은 먼저 “보조 메모리 모델”을 유한 차수의 팬아웃을 갖는 유향 그래프(M, E)와 초기 셀 m₀, 그리고 각 간선에 부여된 표식 집합 G 로 정의한다. 메모리 내용은 각 셀에 알파벳 Δ의 기호를 할당한 함수 μ:M→Δ 로 표현된다. 다중 헤드 h‑head 자동자는 현재 상태, 각 입력 헤드가 읽는 기호, 현재 메모리 셀의 기호를 입력으로 받아 새로운 상태, 헤드 이동 명령(−1,0,+1), 그리고 메모리 셀 전이(표식 g∈G 혹은 ‘변경 없음’)를 출력한다. 자동자는 메모리 내용이 고정된 경우에만 전이 함수를 적용하며, 어떤 메모리 내용에 대해 수용 상태에 도달하면 입력을 받아들인다고 정의한다.

핵심 아이디어는 비결정론을 “추측(guess) 메모리”에 위임함으로써 전통적인 전이 관계 기반 비결정론을 대체하는 것이다. 메모리 그래프의 구조에 따라 계산 능력이 달라진다. 1‑way 보조 테이프(W₁)는 한 번만 읽을 수 있으므로, 비결정론적 자동자는 이 기호를 전이 선택에만 사용하고, 결정적 자동자는 이를 무시한다. 결과적으로 W₁‑NF A = NL, W₁‑DF A = L 가 된다.

2‑way 보조 테이프(W₂)는 양방향 이동이 가능하고, 표식 ‘+’, ‘−’ 로 인접 셀을 구분한다. 이 모델은 비결정론적 스택 자동자(NENSA)와 동등한 계산력을 가지며, PSPACE 를 정확히 포착한다. 즉, W₂‑NF A = PSPACE이며, 심지어 결정적 W₂‑자동자도 같은 클래스를 인식한다.

가장 흥미로운 결과는 1.5‑way 테이프(W₁.₅)이다. 이는 1‑way 테이프에 처음 셀로 돌아갈 수 있는 ‘돌아가기’ 이동만을 추가한 형태이다. 논문은 두 주요 정리를 증명한다. 첫째, 결정적 W₁.₅‑자동자는 다항 시간·다항 공간 내에서 동작할 수 있으므로 P 와 동등하다 (W₁.₅‑DF A = P). 둘째, 비결정론적 W₁.₅‑자동자는 PSPACE 와 동등한 계산력을 갖는다 (W₁.₅‑NF A = PSPACE). 증명에서는 메모리 셀 방문 횟수에 대한 상한을 상태 수와 입력 길이·헤드 수에 의해 제한하고, 중국 나머지 정리를 이용해 셀 위치를 로그 공간에서 계산하는 기법을 활용한다.

또한 제한된 추측 모델을 도입한다. ‘희소 추측’은 메모리 테이프에 비어 있지 않은 기호가 하나(또는 유한 개)만 존재하도록 제한한다. 이러한 제약 하에서 비결정론적 자동자는 NP 를 정확히 특성화한다 (M‑NF A(희소) = NP). 이는 전통적인 증명서 개념을 자동자 모델에 자연스럽게 매핑한 결과이다.

전체적으로 논문은 “교대(alternation) 없이” 복잡도 클래스를 자동자 기반으로 정의한다는 점에서 기존 결과와 차별화된다. 메모리 그래프의 팬아웃 제한, 1.5‑way 이동 제한, 그리고 희소 추측 제한이라는 세 가지 축을 통해 L, NL, P, NP, PSPACE 를 모두 포괄한다. 이 접근법은 복잡도 이론에서 비결정론을 메모리 구조와 직접 연결함으로써 새로운 시각을 제공한다.