0 1 배낭 문제와 P와 NP의 관계 오류 탐구

초록

본 논문은 0‑1 배낭 문제에 대해 “대표 다항 탐색 분할”을 찾는 것이 불가능하므로 결정론적 다항 시간 알고리즘이 존재하지 않는다 주장한다. 저자는 이를 통해 P⊂NP 를 증명하려 하나, 정의의 모호성, 증명 구조의 결함, 기존 복잡도 이론과의 불일치가 드러난다.

상세 분석

이 논문은 저자가 이전에 제시한 “대표 다항 탐색 분할(representative polynomial search partition)”이라는 개념을 전제로 한다. 이 개념은 NP‑complete 문제를 다항 시간에 해결하려면 입력 집합을 다항 크기의 부분집합으로 축소할 수 있어야 한다는 주장이다. 그러나 논문은 이 개념을 형식적으로 정의하지 않고, “대표성”과 “다항성”을 동시에 만족하는 분할이 존재하지 않음을 보이려는 시도만을 반복한다.

첫째, 저자는 0‑1 배낭 문제를 Horowitz‑Sahni의 정의를 인용해 제시하지만, 실제 문제의 입력 크기와 탐색 공간을 정확히 분석하지 않는다. 2^r개의 모든 δ 조합을 고려한다는 전제는 맞지만, “대표 다항 탐색 분할”이란 무엇인지, 어떻게 구성되는지에 대한 구체적 알고리즘이나 증명 절차가 전혀 제시되지 않는다.

둘째, 논문은 “대표 분할을 찾는 과정은 전체 입력을 검사해야 하므로 지수 시간이 필요하다”는 논리를 여러 번 반복한다. 이는 곧 “모든 가능한 입력을 검사하지 않으면 해를 찾을 수 없다”는 전제와 동일한데, 이는 이미 NP‑complete 문제의 정의와 일치하는 일반적인 사실이며, 이를 통해 P≠NP 를 증명하는 데는 충분하지 않다. 복잡도 이론에서는 특정 문제에 대한 특수한 구조(예: 정수 가중치가 제한된 경우)나 근사 알고리즘을 통해 다항 시간 해결 가능성을 탐색한다. 논문은 이러한 가능성을 전면 배제하면서도, 실제로는 “대표 분할”이라는 가상의 객체가 존재하지 않을 경우를 가정하고 귀류법을 전개한다.

셋째, 저자는 “P=NP 탐색 분할 정리(P=NP Search Partition Theorem)”를 제시하고, 이를 회피하려면 먼저 대표 분할이 존재해야 한다는 모순을 주장한다. 그러나 이 정리는 논문 내부에서만 정의된 비공식적인 정리이며, 기존 복잡도 이론에 의해 검증된 바가 없다. 또한, 정리 자체가 “대표 분할을 찾는 알고리즘이 다항 시간에 존재한다면 P=NP 가 된다”는 식으로 순환 논증을 구성하고 있어, 증명의 독립성이 결여된다.

넷째, 논문은 “예측 가능한 관계”와 “무작위 관계” 두 경우를 나누어 분석한다. 예측 가능한 경우(예: 2의 거듭제곱 집합)에는 배낭 문제를 이진 변환으로 해결할 수 있다고 주장하지만, 이는 특수한 입력에 한정된 알고리즘이며 일반적인 NP‑complete 문제의 난이도를 반영하지 않는다. 무작위 경우에 대해서는 “무작위 관계는 예측 불가능하므로 다항 시간 알고리즘이 존재하지 않는다”는 식의 직관적 논증만을 제시한다. 이는 확률론적 평균 복잡도와 최악‑사례 복잡도를 혼동한 것으로, 복잡도 이론에서 인정되는 엄밀한 증명 방식이 아니다.

마지막으로, 논문 전반에 걸쳐 수식 표기 오류, 문법적 혼란, 그리고 인용된 이전 논문의 존재 여부가 불분명한 점이 다수 발견된다. 특히 “Theorem 5.1. Knapsack Random Set Theorem”은 “Deterministic Turing Machines cannot exploit a random relation”이라고 주장하지만, 무작위 관계를 정의하거나 그에 대한 형식적 모델을 제시하지 않는다. 따라서 이 정리는 증명 없이 받아들여질 수 없는 가정에 불과하다.

종합하면, 이 논문은 기존 복잡도 이론과의 연결 고리가 약하고, 핵심 개념인 “대표 다항 탐색 분할”을 명확히 정의하거나 구축하지 못한다. 또한, 증명 과정에서 순환 논증과 비공식적인 정리를 남용하고, 특수한 입력에 대한 사례 분석을 일반화하려는 오류가 있다. 따라서 논문의 결론인 “P는 NP의 진정한 부분집합이다”는 현재 학계에서 받아들여지는 증명 기준을 충족하지 못한다.