삼항 논리식 문제를 다항시간에 푸는 새로운 방법

초록

본 논문은 3SAT 인스턴스에 대해 최대 O(n¹⁵)의 시간 복잡도로 해의 존재 여부와 구체적인 해를 찾는 알고리즘을 제시한다는 주장이다. 이를 통해 3SAT이 P에 속함을 증명하고, Cook‑Levin 정리와 Karp의 변환을 이용해 P=NP임을 결론짓는다.

상세 분석

논문은 3SAT 인스턴스를 변수‑절‑관계 그래프 형태로 변환한 뒤, “충돌‑제거”와 “클러스터‑통합”이라는 두 단계의 반복 과정을 통해 해를 구성한다. 각 단계는 다항식 시간 안에 수행된다고 주장하지만, 실제 알고리즘 설명은 매우 추상적이며 구체적인 자료구조와 업데이트 규칙이 누락돼 있다. 특히 “충돌‑제거” 단계에서 발생하는 경우의 수를 정확히 계산하지 않으며, 최악 상황에서는 충돌이 지수적으로 증가할 가능성이 있다. 논문은 O(n¹⁵)이라는 상한을 얻기 위해 여러 단계의 복잡도 추정을 합산했지만, 각 단계의 상수와 차수에 대한 엄밀한 증명이 결여돼 있다. 또한, 알고리즘이 모든 3SAT 인스턴스에 대해 정상 종료한다는 보장은 없으며, 무한 루프에 빠지는 상황이나 비정상적인 메모리 사용을 방지하는 메커니즘이 제시되지 않았다.

논문이 제시한 “변환‑정규화” 절차는 기존 Karp 변환과 동일한 다항식 복잡도를 갖는다고 주장하지만, 실제 구현에서는 절의 수가 O(n³) 수준으로 급증할 수 있어 전체 복잡도 추정에 큰 영향을 미친다. 더 나아가, 제시된 오픈소스 코드(링크) 를 검토해 보면, 핵심 함수인 resolveCluster 와 eliminateConflict 가 입력 크기에 비례하지 않는 재귀 호출을 포함하고 있어 이론적 복잡도와 실 구현 사이에 큰 차이가 존재한다.

결론적으로, 논문은 3SAT을 다항시간에 해결한다는 획기적인 결과를 제시하지만, 알고리즘의 정확성, 종료 보장, 그리고 복잡도 분석에 대한 엄밀한 증명이 부족하다. 현재 알려진 복잡도 이론과 비교했을 때, 제시된 O(n¹⁵) 상한은 실질적인 보장이 없으며, 따라서 P=NP를 증명했다고 보기엔 근거가 약하다.