두 번째 차원 일관성 연구

초록

본 논문은 제약 만족 문제에서 값 쌍의 불일치를 탐지하는 두 번째 차원 일관성들을 체계적으로 분석한다
주요 일관성인 경로 일관성 PC 3‑일관성 3C 이중 일관성 DC 그리고 2‑싱글톤 아크 일관성 2SAC의 관계를 밝히고 보수적·강력 변형까지 포괄한다
특히 이진 네트워크에서 DC가 PC와 동등함을 보이며 보수적 이중 일관성 CDC가 기존 보수적 경로 일관성보다 강함을 증명한다
강한(보수적) DC를 강제하는 일반 알고리즘을 제시하고 다양한 벤치마크 실험을 통해 검색 전 CDC 적용이 MAC 성능을 크게 향상시킴을 입증한다

상세 분석

논문은 두 번째 차원 일관성이라는 개념을 정의하면서 기존 연구에서 주로 다루어졌던 일관성(예를 들어 아크 일관성 GAC)과는 달리 값 쌍 사이의 불일치를 직접 식별한다는 점에 주목한다
네 가지 기본 일관성인 PC 3C DC 2SAC을 각각 형식적으로 정의하고 이들 사이의 포함 관계를 정리한다
PC는 모든 변수 삼중에 대해 두 변수 사이의 제약이 제3 변수의 값을 매개로 전파되는지를 검증하는 반면 3C는 변수 삼중 전체에 대해 일관성을 요구한다
DC는 GAC 실행 결과를 활용해 두 변수의 특정 값 조합이 전체 네트워크에 대해 일관성을 유지하는지를 검사한다 즉 GAC가 이미 확보된 상태에서 추가적인 값 쌍 검증을 수행함으로써 구현이 간단하고 효율적이다
2SAC는 하나의 값을 고정한 뒤 남은 변수들에 대해 싱글톤 아크 일관성을 적용하고, 다시 두 번째 값을 고정해 동일 과정을 반복함으로써 두 값이 동시에 가능한지를 판단한다
이론적 분석에서는 DC와 PC가 이진 제약 네트워크에서 동등함을 증명하고, 보수적 DC(CDC)는 기존 보수적 경로 일관성(PPC, CPC)보다 엄격함을 보인다 이는 CDC가 기존 보수적 일관성에서 놓치는 불일치 쌍을 추가로 탐지하기 때문이다
또한 강한(보수적) DC를 강제하는 알고리즘은 GAC 유지와 병행하여 수행될 수 있도록 설계되었으며, 복합 제약(비이진)에서도 적용 가능하도록 일반화된 절차를 제공한다
실험 부분에서는 다양한 이진 및 비이진 구조 문제(예: 그래프 색칠, 스도쿠, 일정 계획)에서 CDC 적용 전후의 MAC 수행 시간을 비교한다
결과는 대부분의 경우 CDC 적용이 탐색 트리의 깊이를 크게 감소시키고, 특히 밀집 제약이나 높은 도메인 크기를 가진 인스턴스에서 성능 향상이 두드러짐을 보여준다
이러한 결과는 두 번째 차원 일관성이 검색 전 전처리 단계에서 강력한 도메인 축소 효과를 제공함을 시사한다 그리고 구현 복잡도가 낮아 기존 CSP 솔버에 쉽게 통합될 수 있다는 실용적 장점도 강조한다