반격자 연산 보존 무한 도메인 CSP의 다항시간 해결

초록

본 논문은 자동사상군의 궤도 수가 n에 대해 지수 이하로 성장하는 무한 도메인 구조에 대해, 반격자(세미-래티스) 다항식 보존 연산이 존재하면 해당 제약 만족 문제(CSP)를 다항시간에 해결할 수 있음을 보인다. 핵심은 효율적인 샘플링 알고리즘과 아크-일관성 절차를 결합한 새로운 해결 전략이다.

상세 분석

이 연구는 유한 도메인 CSP 이론에서 핵심적인 역할을 하는 ‘반격자(polymorphism) 정리’를 무한 도메인으로 일반화한다는 점에서 큰 의미를 가진다. 기존의 Jeavons‑Cohen‑Gyssens 정리는 반격자 연산이 존재하면 CSP가 P에 속한다는 것을 보였지만, 무한 도메인에서는 자동사상군(automorphism group)의 궤도 구조가 복잡해져 바로 적용되지 않는다. 저자들은 궤도 수가 n에 대해 cⁿ보다 느리게, 즉 ‘sub‑exponential growth’를 보이는 구조를 ‘sub‑exponential structure’라 정의하고, 이러한 구조에 한정하여 정리를 재구성한다.

핵심 개념은 두 가지이다. 첫째, ‘totally symmetric polymorphisms’(전대칭 다항식)이다. 반격자 연산 f가 결합·멱등·교환성을 만족하면, fⁿ(x₁,…,xₙ)=f(x₁,f(x₂,…,f(xₙ₋₁,xₙ)…)) 형태의 전대칭 연산을 모든 차수 n에 대해 만들 수 있다. 둘째, ‘sampling algorithm’이다. 입력 인스턴스 A의 변수 수 n에 대해, Γ의 유한 부분구조 B를 효율적으로 추출하여 A→Γ 여부와 A→B 여부가 동치가 되도록 한다. 이때 B의 크기가 n에 대해 다항식이면, 아크‑일관성(arc‑consistency) 절차를 적용해 다항시간에 해를 판정할 수 있다.

논문은 먼저 유한 구조에 대한 아크‑일관성의 완전성 조건을 정리하고(정리 2.1), 이를 무한 구조에 확장하기 위해 ‘totally symmetric polymorphisms’가 존재하면 P( S )→Γ (여기서 P( S )는 S의 비공집합 부분집합들로 이루어진 구조) 가 성립함을 보인다(보조정리 2.3). 이어서 ‘sub‑exponential growth’를 갖는 모든 구조에 대해 효율적인 샘플링 알고리즘이 존재함을 증명한다(정리 2.2). 이 증명은 궤도 수가 제한된 구조를 ‘orbit‑finite’ 클래스로 분류하고, 각 궤도에 대해 대표 원소를 선택해 유한 부분구조를 구성하는 방법을 사용한다.

결과적으로, 반격자 연산을 보존하고 자동사상군의 궤도 수가 서브‑지수적으로 성장하는 모든 무한 도메인 구조 Γ에 대해 CSP(Γ)는 다항시간에 해결 가능함을 보인다(정리 1.1). 이는 기존에 Datalog 기반 방법으로는 풀 수 없던 예시, 예를 들어 (ℚ;{(x,y,z) | x>y ∨ x>z})와 같은 구조에도 적용된다. 또한, ω‑categorical 구조에 대한 일반화 가능성을 논의하며, 반격자 연산이 존재하면 CSP가 P에 속한다는 강력한 추측을 제시한다.

이 논문의 기여는 (1) 무한 도메인 CSP에 대한 새로운 복합도 기준을 제시하고, (2) 전대칭 다항식과 궤도 제한을 활용한 효율적 샘플링 기법을 도입했으며, (3) 기존 유한 도메인 이론과 무한 도메인 이론 사이의 격차를 메우는 중요한 연결 고리를 제공했다는 점이다.