쌍 정리법을 이용한 k‑SAT 복잡도 분석

초록

본 논문은 k‑CNF 형태의 부울식에 대해 “쌍 정리(pair cleaning)”라는 새로운 연산을 정의하고, 이를 반복 적용하면 만족 가능한 경우에 비어 있지 않은 값 집합이 남고, 만족 불가능한 경우에는 빈 집합이 된다며 다항 시간 알고리즘을 제시한다. 저자는 이를 통해 P=NP임을 주장한다.

상세 분석

논문은 먼저 k‑CNF을 “절(clause) 그룹”이라는 단위로 묶고, 여러 절 그룹을 조합한 “절 조합(clause combination)”을 정의한다. 각 절 조합마다 변수 집합과 그에 대응하는 값 집합을 만든 뒤, 서로 다른 절 조합 사이에 공통 변수가 존재하면 해당 변수들의 값이 일치하는 경우만 남기고 나머지를 삭제하는 과정을 “쌍 정리”라고 명명한다. 이 과정을 모든 절 조합 쌍에 대해 반복하고, 더 이상 삭제가 불가능해질 때까지 수행한다.

핵심 주장인 “정리 결과가 비어 있지 않다면 원식은 만족 가능하고, 비어 있으면 불가능하다”는 두 개의 보조 정리(Lemma 1, 2)와 정리(Theorem 1, 2)로 뒷받침된다. 그러나 논문은 다음과 같은 중대한 결함을 가진다.

1. 정의의 모호성 – 절 그룹, 절 조합, 값 집합 등의 정의가 형식적으로는 제시되지만, 실제 변수 인덱스 매핑이나 값 집합의 구성 방법이 구체적이지 않다. 특히 “값 집합이 1개의 값만을 가진다”는 조건이 언제 성립하는지, 어떤 경우에 보장되는지에 대한 증명이 전혀 제공되지 않는다.

2. 알고리즘 복잡도 분석 부재 – 쌍 정리 단계는 모든 절 조합 쌍에 대해 반복한다고 명시하지만, 절 조합의 개수는 일반적으로 O(nᵏ) 수준이며, 각 정리 단계에서 값 집합을 비교·삭제하는 비용도 지수적으로 증가할 가능성이 있다. 논문은 “다항 시간”이라고 주장하지만, 입력 크기 n에 대한 명시적 시간·공간 상한을 제시하지 않는다.

3. 귀납법 증명의 불완전성 – Lemma 1의 증명은 “귀납을 사용한다”는 언급만 있을 뿐, 기저 단계와 귀납 가정이 정확히 무엇인지, 어떻게 전이되는지 상세히 서술되지 않는다. 특히 nₜ ≤ k+1인 경우와 nₜ > k+1인 경우를 구분하는 논리적 흐름이 흐릿하고, 중요한 경우(예: 절 그룹이 서로 겹치지 않을 때)의 처리도 누락된다.

4. 실험·예시 부족 – 논문 전반에 걸쳐 작은 예시(예 1~11)가 제시되지만, 실제 구현된 알고리즘이 어떻게 동작하는지, 복잡도 측면에서 어떤 입력에 대해 어느 정도의 시간·메모리를 소비하는지에 대한 실험 결과가 전혀 없다. 이는 제안된 방법의 실용성을 검증할 근거가 부족함을 의미한다.

5. P=NP 주장에 대한 논리적 비약 – “쌍 정리 결과가 비어 있지 않다면 SAT이 풀린다”는 정리가 사실이라면 P=NP가 성립할 수 있다. 그러나 위에서 지적한 정의·증명상의 구멍을 메우지 못하면 정리 자체가 성립하지 않는다. 따라서 논문은 P=NP를 증명했다고 보기엔 증명 체계가 불완전하다.

요약하면, 저자는 새로운 정리 연산을 통해 k‑SAT을 다항 시간에 해결하려 시도했지만, 정의의 모호성, 복잡도 분석 부재, 증명의 불완전성, 실험적 검증 부족 등으로 인해 현재 형태에서는 학술적 신뢰성을 확보하기 어렵다.