제약 언어 관점에서 바라본 아크 일관성 및 그 변형들의 완전성 분석

초록

본 논문은 제약 언어(Constraint Language)별로 아크 일관성(AC), 앞선 아크 일관성(LAAC), 피크 아크 일관성(PAC), 싱글톤 아크 일관성(SAC)의 해결 능력을 비교하고, 2‑세미격자와 다수(polymorphism) 구조를 갖는 언어에 대해 SAC가 다항식 시간 내에 완전함을 새롭게 증명한다.

상세 분석

논문은 CSP를 구조 동형 문제로 재정의하고, 오른쪽 템플릿 구조 B에 따라 정의되는 제약 언어 CSP(B)를 분석한다. 먼저 전통적인 아크 일관성(AC)을 ℘(B) → B의 동형 존재 여부와 동등시켜, AC가 완전하게 작동하려면 ℘(B)에서 B로의 폴리모픽 사상(동형)이 필요함을 보인다. 이어서 LAAC는 ℘(B)×B → B 형태의 사상이 존재할 때 완전함을 보이며, 이는 변수 하나씩 선택하면서 AC를 재검사하는 절차와 일치한다. PAC는 각 변수 a에 대해 값 b를 시험해 보는 “peek” 방식이며, B에 대한 특정 동형 사상이 존재하면 모든 인스턴스에 대해 거짓을 반환하지 않는다. 이 세 방법은 서로 포함 관계를 형성하는데, AC ⊆ LAAC ⊆ PAC ⊆ SAC 순으로 강력해진다.

핵심 기여는 SAC에 대한 새로운 다항식 시간 트랙터빌리티 결과이다. 저자는 2‑세미격자(polymorphism)와 다수(majority) 폴리모픽을 가진 모든 유한 언어 B에 대해 ℘(B)에서 B로의 사상이 존재함을 증명한다. 2‑세미격자 구조는 f(x,y)=x∧y 형태의 연산으로, 이 연산이 B의 모든 관계를 보존하면 SAC가 모든 인스턴스를 정확히 판정한다. 다수 폴리모픽은 f(x,y,z) = majority(x,y,z) 로 정의되며, 이는 기존에 3‑일관성이 전역 일관성을 보장한다는 결과와 연결된다. 특히, SAC는 기존에 알려진 O(|B|³) 시간 복잡도보다 O(|B|²) 로 개선된 실행 시간을 제공한다는 점에서 실용적 의의가 크다.

또한 논문은 각 알고리즘이 “one‑sided error”를 가지며, 특정 언어에 대해 완전한 결정 절차가 될 수 있음을 체계적으로 정리한다. 이를 통해 연구자는 CSP의 복잡도 경계선을 더 세밀하게 그릴 수 있으며, 특히 다항식 시간 내에 해결 가능한 언어군을 폴리모픽 관점에서 명확히 구분한다.