UTM와 부정 연산을 이용한 새로운 복잡도 구분

초록

본 논문은 결정적 튜링 기계(DTM)의 “고정점 없는” 조합자와 범용 튜링 기계(UTM)의 “고정점” 조합자를 구분하여, 부정(Negation) 연산을 활용함으로써 L≠P 및 P≠NP 를 증명하려는 시도를 제시한다. 저자는 로그스페이스 DTM 집합이 부정에 대해 닫혀 있음을 이용해, 다항시간 UTM가 로그스페이스 DTM을 에뮬레이트하면서도 닫힘성을 잃는다는 점을 핵심 논증으로 삼는다.

상세 분석

논문이 제시하는 핵심 아이디어는 “고정점(fixpoint)과 고정점 없는 영역”이라는 개념을 도입해 복잡도 클래스 사이의 구분을 시도한다는 점이다. 여기서 고정점 없는 조합자는 부정 연산과 같이 입력을 변형해도 자원의 증가가 없다는 의미로 해석된다. 반면 UTM이 구현하는 고정점은 자기 자신을 포함하는 형태의 대각화(diagonalisation) 과정에서 나타난다. 저자는 이 차이를 이용해, 로그스페이스( L )에 속하는 결정적 튜링 기계들의 집합이 부정에 대해 닫혀 있으므로, 이를 에뮬레이트하는 다항시간 UTM은 부정 연산을 적용했을 때 닫힘성을 잃게 된다고 주장한다.

이러한 주장에는 몇 가지 근본적인 문제점이 존재한다. 첫째, “고정점”과 “고정점 없는”이라는 용어가 형식적으로 정의되지 않았다. 복잡도 이론에서는 보통 함수의 고정점(fixed point)이라는 개념을 사용하지만, 여기서는 연산자 수준에서의 메타적 의미로 전용하고 있어 논리적 모호성이 크다. 둘째, 부정 연산이 “자원을 추가하지 않는다”는 전제는 실제 계산 모델에서는 성립하지 않는다. 부정은 입력을 반전시키는 단순 연산일 수 있으나, 이를 적용한 후의 기계가 원래 기계와 동일한 시간·공간 제한을 유지한다는 보장은 없다. 특히 로그스페이스 기계에 부정을 적용하면, 반전된 입력을 처리하기 위해 추가적인 작업 공간이 필요할 수 있다.

셋째, 논문은 “다항시간 UTM이 모든 로그스페이스 DTM을 에뮬레이트한다”는 사실을 이용해 L≠P 를 증명한다. 하지만 기존의 복잡도 이론에서는 L⊆P 가 자명하고, L≠P 를 보이기 위해서는 시간 계층 정리와 같은 강력한 증명이 필요하다. 단순히 에뮬레이션 가능성만으로는 두 클래스가 서로 다르다는 결론을 도출할 수 없다. 에뮬레이션이 가능하다는 것은 L⊆P 를 의미할 뿐, 역함수(즉, P⊆L)를 부정하지 않는다.

또한 P≠NP 를 주장하는 부분에서도 동일한 논리적 구조가 반복된다. 저자는 “UTM이 부정 연산에 대해 닫히지 않는다”는 점을 이용해 P와 NP 사이에 비대칭성을 만든다. 그러나 NP는 비결정적 기계의 정의에 기반하며, 부정 연산과는 직접적인 연관이 없다. 기존의 NP‑완전성 이론과 대조했을 때, 부정 연산을 통한 대각화는 NP 클래스의 특성을 반영하지 못한다.

마지막으로, 논문은 “시간/공간 제한 DTM 집합을 나눌 수 있다”는 일반화된 주장을 제시하지만, 구체적인 증명 절차와 형식적 정의가 부족하다. 특히 “halting problem과 time/space hierarchy theorem을 이용한다”는 언급은 구체적인 귀납적 단계나 교차 증명 없이 단순히 이름만 나열한 수준에 머물러 있다. 따라서 제시된 증명은 현재 복잡도 이론의 엄격한 기준을 충족시키지 못한다.

요약하면, 논문은 새로운 메타적 개념을 도입하려는 시도는 흥미롭지만, 정의의 불명확성, 부정 연산에 대한 비현실적 가정, 그리고 기존 복잡도 계층 구조와의 불일치로 인해 제시된 L≠P 및 P≠NP 증명은 신뢰할 수 없는 것으로 판단된다.