[논문 리뷰] The alldifferent Constraint: A Survey

Willem Jan van Hoeve|ArXiv.org|2001. 05. 08.

Constraint Satisfaction and Optimization참고 문헌 57인용 수 91

한 줄 요약

이 논문은 제약 프로그래밍에서 allDifferent 제약 조건을 위한 필터링 알고리즘에 대한 종합적인 서베이를 제공하며, 경계 일致성에서 초일치 일치성에 이르기까지 다양한 기법을 비교한다. 이는 값 그래프에서 최대 매칭을 기반으로 한 효율적인 알고리즘을 제시하여 초일치 일치성을 O(√n ⋅ m) 시간에 달성하며, 이는 이전의 일반적 방법에 비해 크게 향상시킨다.

ABSTRACT

The constraint of difference is known to the constraint programming community since Lauriere introduced Alice in 1978. Since then, several solving strategies have been designed for this constraint. In this paper we give both a practical overview and an abstract comparison of these different strategies.

연구 동기 및 목표

• 제약 만족 문제에서 allDifferent 제약 조건을 위한 필터링 기법에 대한 실용적이고 이론적인 개요를 제공하는 것.
• allDifferent 제약 조건의 맥락에서 경계 일치성, 범위 일치성, 간선 일치성, 초일치 일치성 등의 다양한 국소 일치성 수준을 비교하는 것.
• 값 그래프에서 최대 매칭을 사용하여 초일치 일치성을 달성하는 데 효율적인 알고리즘을 제시하고 분석하는 것.
• 일般 필터링 방법과 제안된 매칭 기반 접근법 간의 시간 복잡도 비교를 수립하는 것.
• reduced cost 방법 및 대칭/동적 변형과 같은 분야의 격차를 식별하고 향후 연구 방향을 제안하는 것.

제안 방법

• 변수를 한 쪽에, 도메인 값들을 다른 쪽에 두고, 허용 가능한 할당을 나타내는 간선이 있는 값 그래프를 구성한다.
• Hopcroft-Karp 알고리즘을 사용하여 값 그래프에서 최대 매칭을 계산하며, 이는 O(√n ⋅ m) 시간에 실행된다.
• Berge의 정리를 적용하여 자유 노드에서 시작하는 짝수 교환 경로와 사이클을 분석함으로써, 어떤 최대 매칭에도 속하는 간선을 식별한다.
• 모든 최대 매칭에 속하지 않는 간선을 제거하여 초일치 일치성을 확립하며, 도메인 내 어떤 값도 비가능성이 없도록 보장한다.
• 잔여 그래프에서 강한 연결 성분을 계산하기 위해 Tarjan의 알고리즘을 사용하여 비매칭 간선을 효율적으로 식별한다.
• 최대 매칭의 크기가 변수 수와 동일한지 확인함으로써 해가 존재하는지 검증한다; 그렇지 않다면 해가 존재하지 않는다.

실험 결과

연구 질문

• RQ1 allDifferent 제약 조건에 적용 가능한 국소 일치성 수준는 무엇이며, 이들의 강도와 계산 비용은 어떻게 다를까?
• RQ2 그래프 이론적 기법을 사용하여 allDifferent 제약 조건에 대해 초일치 일치성을 어떻게 효율적으로 달성할 수 있을까?
• RQ3 제안된 초일치 일치성 알고리즘의 시간 복잡도는 일반 목적의 필터링 방법과 비교해 볼 때 어떻게 될까?
• RQ4 값 그래프에서 최대 매칭을 사용하여 allDifferent 제약 조건 하에 도메인에서 비가능한 값을 모두 식별하고 제거할 수 있을까?
• RQ5 현재의 필터링 기법의 한계점과 대칭 및 동적 변형과 같은 잠재적 확장 사항은 무엇일까?

주요 결과

• 제안된 알고리즘은 변수 수가 n이고 값 그래프의 간선 수가 m일 때, allDifferent 제약 조건에 대해 초일치 일치성을 O(√n ⋅ m) 시간에 달성한다.
• 도메인의 크기가 d로 제한된 경우 제안된 방법의 시간 복잡도는 O(dn√n)이며, 이는 일반 초일치 일치성 알고리즘의 O(d!/(d−n)!) 복잡도에 비해 크게 향상된 것이다.
• 최대 매칭이 모든 변수 노드를 커버하지 못할 경우, 즉 |M(GV)| < |XC|일 경우 비가능성을 정확히 탐지한다.
• Berge의 정리를 사용하여 자유 노드에서 시작하는 짝수 교환 경로와 사이클을 분석함으로써, 어떤 최대 매칭에도 속하지 않는 간선을 제거한다.
• 필터링 과정을 통해 유효한 할당에 포함될 수 있는 값들만 남은 단순화된 값 그래프가 생성되며, 이는 정확성과 완전성을 보장한다.
• Tarjan의 알고리즘을 통한 강한 연결 성분 계산은 비매칭 간선을 효율적으로 식별하여 필터링 단계의 전체 효율성에 기여한다.