플래너 3‑SAT에 절‑변수 사이클을 부여한 경우의 NP‑완전성

초록

이 논문은 변수와 절을 차례로 방문하는 해밀턴 사이클을 인시던스 그래프에 추가해도 3‑SAT의 플래너 버전이 여전히 NP‑완전임을 증명한다. 특히 단조식, 각 절에 정확히 세 개의 서로 다른 변수만 포함하는 경우에도 난이도가 유지되며, 반대로 단조식이면서 정확히 세 변수만 포함하는 경우는 항상 만족가능함을 보여준다.

상세 분석

논문은 먼저 기존의 플래너 3‑SAT 문제를 변형하여 “Linked Planar 3‑SAT”이라는 새로운 문제 정의를 제시한다. 여기서는 변수 집합 V와 절 집합 C를 모두 포함하는 해밀턴 사이클 κ가 주어지고, 원래 인시던스 그래프 Gφ와 κ의 합이 평면 그래프가 되도록 요구한다. 저자는 이 제약이 실제로는 강제조건이 아니라, 평면 이분 그래프는 언제든지 두 페이지에 배치할 수 있기 때문에 해밀턴 사이클을 평면적으로 삽입할 수 있음을 이용한다.

NP‑완전성을 보이기 위해 플래너 3‑SAT 인스턴스를 직교 격자 위에 직선으로 임베딩하고, 각 변수와 절을 짝수·홀수 x좌표에 배치한다. 그런 다음 κ를 직사각형 R 내부를 위아래로 교차하는 수직 세그먼트들의 연속으로 그린다. 원래 그래프의 각 에지는 κ와 교차할 수 있는데, 교차점마다 “connector gadget”(두 변수와 두 절로 구성)으로 교체한다. 이 gadget은 (¬x ∨ x′)와 (¬x′ ∨ x) 형태의 두 절을 포함해 x와 x′가 논리적으로 동일함을 강제한다. 따라서 모든 교차를 제거하면서도 원래 식의 만족 가능성을 보존한다.

이 과정을 통해 얻어진 Gφ는 평면이며, κ는 변수와 절을 번갈아 방문하는 연속적인 경로가 된다. 따라서 원래 식이 만족 가능하면 변환된 식도 만족 가능하고, 그 역도 성립한다. 이는 Linked Planar 3‑SAT가 NP‑완전함을 증명한다.

추가로 저자는 몇 가지 제한된 변형을 다룬다.

1. Monotone Linked Planar 3‑SAT: 모든 절이 전부 양(또는 전부 음)인 경우에도 NP‑완전성을 유지한다. 이는 기존의 변수 사이클 혹은 절 사이클만을 이용한 결과와 일치한다.
2. Exact‑3‑Variable Clauses: 각 절에 정확히 세 개의 서로 다른 변수가 등장하도록 제한해도 난이도는 변하지 않는다.
3. Monotone + Exact‑3: 흥미롭게도, 단조식이면서 정확히 세 변수를 포함하는 경우는 언제나 만족 가능함을 보인다. 이는 Darmann·Döcker·Dorn이 제기한 열린 문제를 해결한 결과이며, 이러한 인스턴스는 트리폭이 제한된 그래프가 되므로 다항시간 알고리즘이 존재한다는 의미다.

마지막으로 저자는 트리폭, k‑outerplanarity, 페이지 번호와 같은 그래프 이론적 개념을 활용해, 특정 경우(예: 절이 모두 외부면에 위치하거나 변수 사이클이 한쪽 면에만 연결되는 경우)에는 문제를 다항시간에 해결할 수 있음을 언급한다. 전체적으로 논문은 플래너 3‑SAT의 구조적 제약이 복잡도에 미치는 영향을 정밀히 분석하고, 새로운 “Linked” 변형을 통해 기존 결과들을 통합·확장한다.