P NP이면 P PSPACE를 보장하는 조건 탐구

초록

본 논문은 “P=NP” 가 성립할 경우 자동적으로 “P=PSPACE” 가 따라오게 하는 몇 가지 충분조건 X 를 제시한다. 저자는 결정 문제 Q 를 PSPACE 에서 다루는 방식과, 그 문제를 다항 시간 안에 해결하기 위한 계산 장치의 존재성을 조건 (a), (b), (c) 로 정의한다. 특히 조건 (c) 가 만족될 때 P=NP 가 가정되면 (a)·(b) 가 자동으로 성립하고, 결국 모든 PSPACE 문제를 P 안에서 해결할 수 있음을 보인다. 조건 A 와 그 약화형 A′ 를 제시하고, 이들의 실현 가능성을 논의하지만 증명은 제시되지 않는다.

상세 분석

이 논문은 복잡도 이론에서 가장 기본적인 포함 관계인 P ⊆ NP ⊆ PSPACE 를 출발점으로 삼아, “P=NP ⇒ P=PSPACE” 라는 함의를 성립시키는 충분조건을 탐구한다. 저자는 먼저 PSPACE‑complete 문제 Q 를 다루는 결정적 튜링 머신 M′ 를 정의하고, 이를 단일 수용 구성 c_A 를 갖는 머신 M 으로 변형한다. 그런 다음 입력 x 에 대해 Q 를 판단하는 절차를 두 단계로 나눈다. (1) M 과 x 로부터 유한 부울 함수 f_{M,x} 를 생성하는 계산 장치를 만든다. (2) 해당 장치가 최종 구성 c_A 에 대해 1을 반환하면 “예”를, 그렇지 않으면 “아니오”를 출력한다. 여기서 핵심은 단계 (1)을 다항 시간 안에 수행할 수 있느냐이다.

이를 위해 저자는 세 가지 조건을 제시한다.
(a) 단계 (1) 자체를 다항 시간 R(n) 안에 수행할 수 있는 알고리즘이 존재한다.
(b) 생성된 장치가 크기 ≤ T(n) 인 모든 구성에 대해 다항 시간 P(n) 안에 동작한다.
(c) 장치의 표현 크기가 D(n) 이하이며, 위 (b) 를 만족하는 장치가 존재한다.

조건 (c) 가 만족되면, P=NP 가 가정될 때 (a)·(b) 가 자동으로 따라온다. 이는 NP‑complete 문제를 이용해 “f_{M,x} 가 존재한다는 사실을 다항 시간에 검증” 할 수 있기 때문이다. 저자는 이를 증명하기 위해 “chained_P” 라는 보조 함수와 “G_{P,T}”, “H_{P,T}”, “W_{P,D,T}” 라는 언어들을 정의한다. 특히 G_{P,T} 는 어떤 구성 c 에 대해 chained_P 가 0이 되는 경우를 모으고, 이를 NP‑complete 성질을 이용해 다항 시간으로 판별 가능함을 보인다.

조건 A 는 “모든 다항 공간 머신 M 에 대해 (c) 가 성립한다”는 전역적 가정이며, A′ 는 (c′) 라는 약화된 형태를 요구한다. 논문은 A′ 가 성립하면 P=NP 가 가정될 때 모든 PSPACE 문제를 P 안에서 해결할 수 있음을 논리적으로 연결한다. 그러나 A 혹은 A′ 의 실제 존재성에 대한 증명은 제시되지 않으며, 저자는 이를 “가능성” 차원에서 논의한다.

기술적인 깊이에서 눈에 띄는 점은 “chained_P” 함수가 구성 간 전후 관계를 검증함으로써, 실제로 M 이 입력 x 를 따라가는 경로와 무관하게 함수 f 가 올바르게 “연결” 되었는지를 판단한다는 점이다. 이는 전통적인 구성 트레이스 검증을 함수 형태로 추상화한 것으로, 복잡도 이론에서 흔히 보는 “증명 검증”과 유사하지만 여기서는 함수 자체가 증명 역할을 한다. 또한, f 가 사이클을 형성하더라도 최종 구성 c_A 에 대한 값만이 정확히 맞다면 전체 판단에 영향을 주지 않음이 증명된다.

결론적으로, 논문은 “P=NP” 가 실제로 “P=PSPACE” 로 이어지는 충분조건을 제시하고, 그 조건을 만족시키기 위한 구조적 도구들을 설계했지만, 실제로 그러한 조건을 만족하는 알고리즘이나 구조가 존재한다는 증거는 제공하지 않는다. 이는 일종의 “조건부” 결과로, 복잡도 계층 간의 관계를 새로운 관점에서 바라볼 수 있게 한다.