거의 2‑SAT 문제, 파라미터 k에 대해 효율적 해결 가능

초록

본 논문은 2‑CNF 식에서 최대 k 개의 절을 삭제하면 만족 가능한 식이 되는지를 판별하는 ‘Almost 2‑SAT’ 문제를 다룬다. 저자들은 이 문제를 파라미터 k에 대해 고정‑파라미터 트랙터블(FPT)임을 보이며, 시간 복잡도 O(15^k · k · m³)인 알고리즘을 제시한다.

상세 분석

‘Almost 2‑SAT’은 2‑SAT의 근사 버전으로, 원래 식이 불만족일 때 최소 k 개의 절을 제거해 만족 가능하게 만들 수 있는지를 묻는다. 이 문제는 NP‑완전이며, 파라미터 k에 대한 고정‑파라미터 트랙터블성 여부는 오랫동안 열린 질문이었다. 논문은 두 핵심 기법, 즉 iterative compression과 bounded search tree를 결합해 해결책을 제시한다. 먼저, 기존의 만족 가능한 2‑CNF F₀를 하나씩 추가하면서 현재 식 F에 대해 “k‑절 삭제로 만족 가능” 여부를 판단한다. 압축 단계에서는 현재 식 F와 이미 만족 가능한 부분 F′(절 수 ≤ k) 사이의 차이를 분석해, 새로운 절을 포함시킨 뒤 최소 k 개의 절을 삭제해 만족 가능한 새로운 부분 F″를 찾는 문제로 환원한다. 이 압축 문제는 “2‑CNF deletion set”이라 부르는 특수한 hitting set 문제와 동형이며, 절마다 두 리터럴만 포함하므로 구조적 제약을 활용할 수 있다. 저자들은 각 절을 변수‑리터럴 그래프에 매핑하고, 강한 연결 요소(SCC)와 임플리시트 그래프를 이용해 충돌 구조를 탐지한다. 충돌이 발생하면 해당 충돌을 일으키는 최소 k 개의 절 중 하나를 선택해 브랜칭한다. 브랜칭 규칙은 “양쪽 리터럴이 같은 SCC에 있으면 반드시 삭제해야 한다”, “임플리시트 그래프에서 사이클이 존재하면 사이클을 깨는 절을 선택한다” 등으로 정의된다. 각 브랜치에서는 k가 1씩 감소하므로 깊이가 k 이하인 탐색 트리를 만든다. 중요한 점은 각 단계에서 그래프를 O(m) 시간에 갱신하고, SCC와 임플리시트 관계를 재계산함으로써 전체 복잡도를 O(15^k·k·m³)으로 제한한다. 여기서 15는 가장 나쁜 경우의 브랜칭 계수이며, 실제 구현에서는 더 작은 상수로 개선 가능하다. 또한, 저자들은 kernelization을 통해 입력 크기를 O(k²)로 축소하는 전처리 단계도 제시한다. 이 단계에서는 불필요한 절을 제거하고, 변수의 등장 횟수를 제한함으로써 이후 탐색이 더 효율적으로 진행되도록 만든다. 전체 알고리즘은 정확성 증명과 함께, 각 브랜칭이 최적해를 놓치지 않음을 보이는 귀류법 기반의 논증을 제공한다. 결과적으로 ‘Almost 2‑SAT’이 FPT임을 최초로 입증했으며, 이는 2‑SAT 기반 문제들의 파라미터화된 복잡도 연구에 중요한 전환점을 제공한다.