다항시간 알고리즘의 존재 여부에 대한 부분합 문제 연구

초록

본 논문은 부분합 문제에 대한 다항시간 결정 알고리즘이 존재하지 않음을 증명하고, 이를 통해 P와 NP가 서로 다르다는 결론을 도출한다.

상세 분석

논문은 먼저 부분합 문제를 NP‑완전 문제로 소개하고, 기존에 알려진 NP‑완전성 증명(예: SAT에서의 다항시간 환원)을 간략히 요약한다. 이어서 저자는 “다항시간 알고리즘이 존재한다면”이라는 가정 하에, 입력 크기 n에 대해 모든 가능한 부분집합을 탐색하지 않고도 해를 찾을 수 있는 구조적 성질을 찾아내려 한다. 구체적으로는 “모든 정수는 일정한 범위 내에서만 나타날 수 있다”는 전제와 “부분합 집합은 다항시간 내에 압축될 수 있다”는 가정을 도입한다. 그러나 이러한 전제는 일반적인 부분합 인스턴스에 대해 성립하지 않으며, 특히 입력값이 큰 경우(예: 2^n개의 서로 다른 합)에는 압축이 불가능함을 논문 자체가 인정한다.

다음 단계에서는 가정에 모순이 발생한다는 점을 보이기 위해, “가장 큰 합”과 “가장 작은 합” 사이의 간격을 이용해 중간값을 찾는 이분 탐색 방식이 다항시간에 가능하다고 주장한다. 하지만 이 과정에서 필요한 “중간값 존재 여부”를 판단하기 위한 서브문제가 이미 부분합 문제와 동등한 난이도를 갖는다는 점을 간과한다. 즉, 저자는 부분합 문제 자체를 서브루틴으로 사용하면서도 그것이 다항시간에 해결될 수 있다고 전제하고 있다.

또한 논문은 “NP 문제는 비결정적 기계가 다항시간에 해결한다”는 정의를 인용하지만, 비결정적 기계와 결정적 기계 사이의 복잡도 차이를 정량적으로 분석하지 않는다. 특히, 비결정적 기계가 “정답을 바로 제시”한다는 가정은 실제 알고리즘 설계와는 무관한 이론적 가정이며, 이를 바탕으로 P≠NP를 증명하려면 비결정적 기계의 모든 가능한 경로를 결정적 기계가 시뮬레이션해야 하는데, 그 비용을 무시하고 있다.

결론적으로, 논문은 부분합 문제에 대한 다항시간 알고리즘이 존재하지 않음을 증명하려 했으나, 핵심 가정이 일반적인 입력에 대해 성립하지 않으며, 증명 과정에서 자기 모순과 비현실적인 서브루틴 사용이 발견된다. 따라서 제시된 증명은 현재 학계에서 받아들여지는 P≠NP 증명 기준을 충족하지 못한다.