최소 제약 네트워크의 해 찾기와 구조 분해는 모두 NP‑Hard

초록

본 논문은 최소 이진 제약 네트워크에서 임의의 해를 찾는 문제가 다항시간에 해결될 수 없음을 증명하고, 단일 제약을 k‑차 네트워크로 분해할 수 있는지 판단하는 문제 역시 k≥2일 때 NP‑Hard임을 보인다. 또한 도메인 크기와 차수 k에 따른 정확한 복잡도 경계를 제시한다.

상세 분석

논문은 먼저 최소 제약 네트워크(minimal network)의 정의를 복습한다. 최소 네트워크는 각 제약 관계의 모든 튜플이 전체 해로 확장될 수 있는 특성을 갖는다. 이러한 네트워크를 구하는 과정은 자연 조인(join) 연산을 모두 수행하는 것과 동등하므로, 일반적인 경우 지수적인 비용이 소요된다. 저자들은 Dechter가 제시한 “최소 네트워크에서 하나의 해를 찾는 문제는 NP‑Hard이다”라는 추측을 정식으로 증명한다. 핵심 아이디어는 SAT 인스턴스를 ‘k‑초대칭(supersymmetric)’ 형태로 변형한 뒤, 이를 최소 이진 제약 네트워크로 변환함으로써, 임의의 다항시간 해 찾기 알고리즘이 SAT 결정 알고리즘을 구현할 수 있음을 보이는 것이다. 이 변환은 도메인 크기가 상수인 경우에도 적용 가능하므로, 제한된 도메인에서도 문제는 여전히 NP‑Hard이다.

다음으로 저자들은 단일 제약을 k‑차 제약 네트워크로 분해할 수 있는지 여부, 즉 k‑분해가능성(k‑decomposability) 판단 문제를 다룬다. Dechter와 Pearl이 제시한 “k≥2이면 NP‑Hard”라는 추측을 증명하기 위해, 문제를 coNP‑complete로 귀결시킨다. 특히, Boolean(2‑값) 제약에 대해서는 k=2는 다항시간에 해결 가능하지만, k≥3부터는 coNP‑complete임을 보인다. 이는 모델 리스트 형태로 주어진 부울식이 k‑CNF와 동등한지를 검사하는 문제와 동치이다. 더 나아가, 3‑값 이상 도메인에 대해서도 k≥2이면 동일한 난이도가 유지된다는 일반화 결과를 제시한다. 마지막으로, 최소성 검증 자체가 NP‑Hard임을 보이며, 이는 최소 네트워크를 사전에 확인하는 것이 실용적으로 어려움을 의미한다.

전체적으로 논문은 최소 제약 네트워크와 그 구조적 분해 문제의 복잡도 지형을 명확히 그린다. 도메인 크기와 차수 k에 따른 ‘트랙터블 프론티어’를 도표로 제시함으로써, 연구자와 실무자가 언제 효율적인 알고리즘을 기대할 수 있는지 가이드라인을 제공한다. 또한, 데이터베이스의 손실 없는 분해와 관계형 데이터의 구조 식별 문제와의 연결 고리를 통해, 제약 만족 문제와 데이터베이스 이론 사이의 교차점을 강조한다.