SAT에는 마법사가 없다

이 논문은 컴퓨터 과학에서 흔히 사용되는 “인코딩된 결정 문제”라는 개념을 보다 정형화된 수학적 틀 안에서 재구성한다. 인코딩된 결정 문제 (E, F)는 입력 인코딩 집합 E와 받아들여야 할 문자열 집합 F의 쌍으로 정의된다. 여기서 문자열은 단순히 기호들의 나열이 아니라, 정의역이 유한한 부분함수 N→Σ 로서, 두 문자열 사이에 부분 순서 ≤ 가 존재한다. 이러한 순서 구조를 바탕으로 문자열들의 “확장(expansion)”, “실린더(cylinder)”, “로그그램(logogram)”이라는 연산을 정의한다. **1. 문자열과 로그그램** 문자열 g 가 E 내의 어떤 문자열 x 에 포함된다는 것은 x ≥ g (즉 x 가 g 를 확장한다)라는 관계로 표현된다. 주어진 F⊆E에 대해, 로그그램 Log_E(F) 는 E 내의 모든 문자열 x 에 대해 x ≥ g 이면 x∈F 가 되는 최소 문자열 집합 g 들의 모임이다. 즉, Log_E(F) 의 원소는 F 에 속함을 보장하는 “증거” 역할을 한다. 로그그램을 축소한 |Log_E(F)| 는 포함 관계가 중복되지 않는 최소 원소들만 남긴 집합으로, 이 집합이 실제로 F 를 완전히 기술한다는 점에서 핵심적인 역할을 한다. **2. 프로그램 커널** 어떤 결정 프로그램 P가 (E, F)를 해결한다면, P는 입력 x∈E에 대해 일련의 “테스트”를 수행한다. 여기서 테스트는 문자열 g∈|Log_E(F)| 가 x 에 포함되는지를 확인하는 연산으로 해석된다. 논문은 P가 실제로 사용하는 테스트들의 집합을 Ker(P) 라 정의하고, 이를 |Log_E(F)| 의 부분집합으로 본다. 중요한 정리는 Ker(P) 가 |Log_E(F)| 의 “완전성”(complete) 조건을 만족해야 한다는 것이다. 즉, 모든 x∈F에 대해 x 가 Ker(P) 의 어느 문자열이라도 포함해야 함을 의미한다. **3. 불가약성과 커널의 동일성** 로그그램 |Log_E(F)| 가 “불가약(irreducible)”, 즉 어떤 proper subset가 여전히 완전성을 유지하지 못하는 경우, 두 프로그램 P와 Q가 동일한 문제를 해결한다면 Ker(P)=Ker(Q) 가 된다. 이는 정리 5 에서 증명되며, 문제의 구조가 프로그램 구현에 강하게 제약된다는 의미다. **4. 내부 독립성 개념** 문자열 f, g∈Σ^∞(E) 사이에 “얽힘(entangle)” 관계 f⊒_E g 를 정의한다. 이는 E 내의 모든 문자열이 f 를 포함하면 반드시 g 도 포함한다는 의미다. 두 문자열이 서로 얽히지 않을 때를 “상호 독립(mutual independence)”이라 부른다. 내부 독립성은 E 전체가 이러한 상호 독립성을 만족하는지를 말한다. 특히 “강한 내부 독립성(strong internal independence)”은 |Log_E(F)| 의 모든 서로 다른 원소가 서로 얽히지 않으며, 어느 원소도 다른 원소를 포함하지 않는다는 강한 조건이다. **5. SAT에 대한 적용** 논문은 SAT, 정확히는 CNF‑SAT 문제를 대상으로 위의 개념을 적용한다. 먼저 (CNF, SAT) 쌍이 로그그램 |Log_CNF(SAT)| 를 갖는다는 것을 확인하고, 이 로그그램이 강한 내부 독립성을 만족함을 증명한다. 즉, SAT의 각 “증거” 문자열은 다른 증거와 전혀 얽히지 않으며, 하나의 문자열이 다른 문자열을 포함하거나 대체할 수 없다. **6. 위자드(wizard) 부재와 결과** “위자드”는 여러 문자열이 동시에 존재해야만 F 에 속함을 보장하는 집합형 증거를 의미한다. 예를 들어, PRIME 문제에서는 특정 수들의 집합이 모두 소수임을 확인해야만 전체가 소수임을 증명할 수 있다. 그러나 SAT의 경우, 논문은 |Log_CNF(SAT)| 에 이러한 위자드가 존재하지 않음을 보인다. 즉, SAT의 만족 여부는 개별 문자열(리터럴, 절) 수준에서 독립적으로 판단될 수 있다. **7. 커널의 일관성** 위자드가 없고 로그그램이 강한 내부 독립성을 갖기 때문에, SAT을 해결하는 모든 결정 프로그램은 반드시 |Log_CNF(SAT)| 의 모든 원소를 테스트해야 한다. 따라서 Ker(P)=|Log_CNF(SAT)| 가 모든 P에 대해 동일하게 된다. 이는 SAT의 구조적 복잡성이 프로그램 구현에 의해 달라지지 않으며, 모든 알고리즘이 동일한 “정보적” 작업을 수행한다는 강력한 선언이다. **8. 의의와 한계** 이 연구는 문자열 기반의 형식적 도구를 통해 NP‑complete 문제의 내부 구조를 새로운 시각에서 분석한다. 특히 SAT에 대해 “마법사”가 없다는 결과는, SAT가 단순히 개별 절의 존재 여부에 의해 완전히 결정된다는 점을 강조한다. 그러나 논문은 실제 알고리즘의 시간 복잡도나 공간 복잡도와는 직접적인 연관성을 제시하지 않으며, 로그그램의 크기 자체가 지수적일 가능성을 배제하지 않는다. 따라서 이 접근법은 복잡도 이론의 새로운 도구를 제공하지만, 기존 P vs NP 논쟁을 직접 해결하지는 않는다. **9. 결론** 논문은 (E, F) 문제를 문자열 집합으로 모델링하고, 프로그램이 실제로 이용하는 문자열 집합인 커널을 정의함으로써 문제의 구조적 특성을 분석한다. SAT에 대해 강한 내부 독립성을 증명하고, 위자드가 존재하지 않음을 보임으로써 모든 SAT 해결 프로그램이 동일한 커널, 즉 전체 축소 로그그램을 사용한다는 결론에 도달한다. 이는 SAT의 내재적 난이도가 프로그램 설계와 무관하게 고정되어 있음을 수학적으로 입증한 중요한 결과이다.