거리 제약 만족 문제의 복잡도 전반적 분류

초록

이 논문은 정수 집합 ℤ에 후속 관계 succ 만을 이용해 정의된 템플릿 Γ 에 대한 제약 만족 문제(CSP)의 복잡도를 연구한다. Γ가 국소 유한(가프만 그래프의 차수가 유한)일 때, 널리 받아들여지는 유한 영역 CSP의 트랙터빌리티 추측(특히 전이적 유한 템플릿에 대한 Bulatov‑Jeavons‑Krokhin 추측)을 가정하면, 세 가지 경우 중 하나만이 발생한다. 첫째, Γ는 d‑모듈러 최대·최소 다항식(polymorphism)을 갖는 구조와 동형동등하고, 이 경우 CSP는 다항식 시간에 해결된다. 둘째, Γ는 전이적 유한 구조와 동형동등한다. 셋째, CSP는 NP‑완전이다.

상세 분석

본 연구는 (ℤ; succ) 위에 1차 논리식으로 정의될 수 있는 구조 Γ의 CSP 복잡도에 대한 완전한 분류를 시도한다. 핵심 아이디어는 템플릿의 가프만 그래프가 유한 차수를 가질 때, 즉 변수 간의 인접성이 제한된 경우에만 복잡도 분석이 가능하다는 점이다. 저자들은 먼저 Γ가 전이적(transitive) 유한 구조와 동형동등한 경우를 분리한다. 전이성은 모든 원소가 동일한 궤적을 공유한다는 의미이며, 이 경우 기존의 유한 도메인 CSP 이론을 그대로 적용할 수 있다. 다음으로, Γ가 d‑모듈러 최대·최소 다항식을 보유하는 경우를 정의한다. 여기서 d‑모듈러란 입력값을 d로 나눈 나머에 따라 최대·최소 연산이 결정된다는 의미이며, 이러한 다항식은 구조에 강한 대칭성을 부여한다. 대칭성이 충분히 강하면, CSP는 선형 계획법이나 동적 계획법을 이용해 다항식 시간에 해결될 수 있다. 저자들은 이러한 다항식이 존재함을 보이기 위해, (ℤ; succ) 위의 기본 연산인 successor를 이용해 복잡한 제약을 모듈러 형태로 변환하는 기술을 개발한다. 마지막으로, 위 두 경우에 해당하지 않는 모든 템플릿에 대해 NP‑완전성을 증명한다. 이를 위해, 일반적인 3‑SAT 또는 그래프 색칠 문제를 Γ‑CSP로 다항식 시간에 귀환시키는 복잡도 감소를 구성한다. 중요한 점은, 이 감소가 가프만 그래프의 유한 차수 조건을 위배하지 않도록 정교하게 설계되었다는 것이다. 전체 논증은 Bulatov‑Jeavons‑Krokhin의 트랙터빌리티 추측을 전제조건으로 삼으며, 이 추측이 성립한다면 위의 세 경우가 완전하고 상호 배타적인 분류를 이룬다. 따라서 논문은 (ℤ; succ) 기반 무한 도메인 CSP에 대한 첫 번째 전역적인 복잡도 분류를 제공한다는 점에서 이론적 의의를 가진다.