HornSAT와 CNFSAT의 해결 가능성

초록

본 논문은 Horn형 CNF( HornSAT )와 일반 CNF( CNFSAT ) 사이의 복잡도 차이를 부분 순서 집합( poset )의 구조적 특성으로 설명한다. 저자는 불만족 HornCNF가 각 절의 인과관계에 의해 형성되는 poset을 가지며, 이 poset에서 모든 절을 거짓으로 만드는 진리값 할당은 단순히 연결된 공간을 이룬다고 주장한다. 반면 CNFSAT은 절들 간에 복잡한 상관관계가 존재해 동일한 poset을 다항식 크기로 구성할 수 없으므로, CNFSAT을 HornSAT으로 다항식 시간 내에 환원할 수 없다고 결론짓는다.

상세 분석

논문은 먼저 HornSAT이 갖는 특수한 구조를 “인과관계에 의한 부분 순서 집합(poset)”이라는 개념으로 정의한다. Horn절은 ‘양의 리터럴이 하나 이하’인 절로, 이들 절이 모이면 논리적 함의 관계가 자연스럽게 방향성을 갖는다. 저자는 각 절을 노드, 절 사이의 함의(예: x → y)를 간선으로 보는 유향 그래프를 구성하고, 이 그래프가 사이클을 포함하지 않을 경우 위상 정렬이 가능하므로 부분 순서 집합이 형성된다고 주장한다. 이때 불만족 HornCNF는 최소 모델이 존재하지 않으며, 모든 절을 거짓으로 만드는 할당이 존재한다. 저자는 이러한 할당이 “단순히 연결된 공간(simple connected space)”이라며, 이는 그래프 이론에서 모든 정점이 하나의 연결 성분에 속함을 의미한다고 해석한다.

다음으로 CNFSAT에 대해 동일한 poset을 만들려 하면, 일반 절은 양의 리터럴이 여러 개 포함될 수 있어 함의 관계가 다중 방향성을 띤다. 저자는 이로 인해 그래프에 사이클이 빈번히 발생하고, 사이클을 제거하기 위해서는 절들을 복제하거나 추가적인 변수를 도입해야 하며, 그 결과 poset의 크기가 입력 크기의 다항식 한계를 초과한다고 주장한다. 따라서 “CNFSAT을 HornSAT으로 다항식 크기 환원할 수 없다”는 결론에 도달한다.

하지만 이 논증에는 몇 가지 근본적인 결함이 있다. 첫째, HornSAT이 P‑시간에 해결 가능하다는 사실은 이미 알려진 바이며, 이는 단순히 위상 정렬이나 단위 전파(unit propagation) 알고리즘으로 증명된다. 저자가 poset을 이용해 “단순히 연결된 공간”이라는 위상적 성질을 언급했지만, 이는 복잡도 이론에서 요구되는 정형화된 증명과는 거리가 있다. 둘째, “poset의 크기가 다항식이 아니다”라는 주장은 구체적인 크기 하한을 제시하지 않는다. 실제로 CNF를 Horn형으로 변환하는 표준 방법(예: 각 절에 새로운 보조 변수를 도입해 Horn 절로 분해)은 입력 크기에 선형 혹은 다항식 수준의 증가만을 초래한다. 다만 이러한 변환은 논리적 동등성을 유지하지 못해 원래의 만족 가능성을 보존하지 못한다는 점은 맞지만, 이는 환원 불가능성을 증명하기 위한 충분조건이 아니다.

또한, 논문은 “CNFSAT을 HornSAT으로 환원할 수 없다”는 결론을 내리면서도, 복잡도 이론에서 널리 사용되는 다항식 시간 다항식 크기 환원(poly‑time many‑one reduction)과 “부분 순서 집합의 크기” 사이의 정확한 관계를 정의하지 않는다. 환원 가능성은 함수적 변환의 존재 여부와 그 변환이 다항식 시간 내에 수행될 수 있는가에 초점이 맞춰져야 하는데, 여기서는 구조적 복잡도만을 강조함으로써 핵심적인 복잡도 관점을 놓치고 있다. 결국 논문의 주장은 직관적인 그래프‑이론적 설명에 머무르며, 정형화된 복잡도 이론의 도구(예: NP‑완전성, Karp‑환원, Cook‑정리 등)를 활용하지 않아 설득력이 떨어진다.

마지막으로, “단순히 연결된 공간”이라는 위상학적 용어를 논리적 만족성 문제에 적용한 시도는 흥미롭지만, 해당 용어가 의미하는 바가 명확히 정의되지 않아 독자가 이를 수학적으로 검증하기 어렵다. 위상학적 연결성은 일반적으로 연속적인 변형을 의미하는데, 이산적인 부울 변수 할당 공간에 이를 직접 적용하려면 추가적인 매핑과 증명이 필요하다. 현재 논문에서는 이러한 매핑을 제시하지 않아, 제안된 아이디어가 실제 복잡도 구분에 기여할 수 있는지 판단하기 어렵다.

요약하면, 논문은 HornSAT과 CNFSAT 사이의 구조적 차이를 poset이라는 새로운 시각으로 접근하려 했지만, 정의의 모호성, 증명의 부실함, 기존 복잡도 이론과의 연결 고리 부족 등으로 인해 학술적 기여가 제한적이다. 향후 연구에서는 poset의 정확한 정의, 크기 하한 증명, 그리고 이를 기존의 다항식 환원 프레임워크와 연계하는 작업이 필요할 것이다.