[논문 리뷰] SLIDE: A Useful Special Case of the CARDPATH Constraint

Christian Bessière, Emmanuel Hébrard외 3명|ArXiv.org|2009. 03. 03.

Constraint Satisfaction and Optimization참고 문헌 13인용 수 12

한 줄 요약

이 논문은 시퀀스의 모든 위치에서 주어진 제약 조건이 유지되어야 하는 특수한 경우인 SLIDE를 소개한다. SLIDE에 대해 완전한 일반화된 간선 일致성(GAC) 전파기(complete GAC propagator)를 제안하며, 이는 다양한 전역 순서 제약 조건을 인코딩하고 효율적으로 해결할 수 있음을 보여주며, 전문화된 전파기의 성능을 따라하거나 능가한다. 또한 제약 조건 툴킷에서 일반 목적의 모델링 원천(primitive)을 제공한다.

ABSTRACT

We study the CardPath constraint. This ensures a given constraint holds a number of times down a sequence of variables. We show that SLIDE, a special case of CardPath where the slid constraint must hold always, can be used to encode a wide range of sliding sequence constraints including CardPath itself. We consider how to propagate SLIDE and provide a complete propagator for CardPath. Since propagation is NP-hard in general, we identify special cases where propagation takes polynomial time. Our experiments demonstrate that using SLIDE to encode global constraints can be as efficient and effective as specialised propagators.

연구 동기 및 목표

• 슬라이딩 시퀀스 제약 조건을 모델링하는 데 유용한 CARDPATH 제약 조건의 특수한 경우로 SLIDE를 식별하고 형식화하기.
• SLIDE에 대해 완전한 GAC 전파기를 개발하여, 이전 CARDPATH 전파기가 부분적인 일치성만 달성했던 한계를 해결하기.
• SLIDE가 다양한 전역 제약 조건을 인코딩하고 효율적으로 해결할 수 있음을 보여주며, AmongSeq, Regular, Stretch, Lex 등을 포함한 광범위한 클래스를 다룰 수 있음.
• SLIDE의 실용적 효율성과 확장성을 전문화된 전파기 및 다른 모델링 접근법과 비교하여 평가하기.
• 일반적으로 NP-난이도임에도 불구하고 SLIDE에서 GAC 전파가 여전히 다항 시간 내에 수행 가능한 조건을 탐색하기.

제안 방법

• SLIDE를 시퀀스 변수의 크기가 k인 모든 윈도우에서 제약 조건이 유지되어야 하는 CARDPATH의 특수한 경우로 정의하기.
• 제약 조건의 구조에 따라 동적 프로그래밍 또는 이중 인코딩을 사용하여 SLIDE에 대한 완전한 GAC 전파기를 제안하기.
• GAC 전파가 다항 시간 내에 수행 가능한 경우를 식별하며, 예를 들어 제약 조건이 한 개의 변수에서 겹치거나 단조롭게 되어 있을 경우를 포함하기.
• 복잡한 전역 제약 조건(예: Regular, Stretch, AmongSeq)을 SLIDE 제약 조건으로 인코딩하여 통일된 전파를 가능하게 하기.
• 제약 조건이 많은 만족 가능한 튜플을 가질 경우, 지원을 저장하기 위한 최적화로 이진 결정 다이어그램(BDDs)을 고려하기.
• 실제 문제인 자동차 순서 매기기 및 간호사 스케줄링에서 전문화된 솔버(IloSequence 등)와의 비교를 위해 SLIDE를 구현하고 벤치마크하기.

실험 결과

연구 질문

• RQ1 SLIDE는 다양한 슬라이딩 시퀀스 제약 조건을 인코딩하는 일반 목적의 확장 가능한 원천으로 기능할 수 있는가?
• RQ2 SLIDE에서 GAC 전파가 일반적으로 NP-난이도인가? 만약 그렇다면, 다항 시간 내에 전파가 가능한 제약 조건의 구조적 특성은 무엇인가?
• RQ3 AmongSeq, Regular, Stretch 등의 제약 조건에 대해 SLIDE의 성능은 전문화된 전파기와 비교해 어떻게 되는가?
• RQ4 실제 응용에서 큰 도메인과 고차원 제약 조건에서도 SLIDE는 효율적으로 확장 가능한가?
• RQ5 IloSequence와 같은 대안적 모델링 기법과 비교해 SLIDE의 메모리와 시간의 상호 교환 관계는 어떠한가?

주요 결과

• SLIDE는 CardPath, AmongSeq, Regular, Stretch, Lex 등 다양한 전역 제약 조건을 통일되고 직관적인 분해를 통해 인코딩할 수 있다.
• 제안된 SLIDE의 GAC 전파기는 이전 CARDPATH 전파기들이 부분적인 정제만 제공했던 것과 달리, 완전한 간선 일치성을 달성한다.
• 자동차 순서 매기기 벤치마크에서 SLIDE 모델은 5분 타임아웃 내에 26개의 인스턴스를 해결했으며, IloSequence는 39개를 해결했지만, IloSequence가 해결하지 못한 9개의 인스턴스를 SLIDE는 해결했다.
• 메모리 사용량이 높은 편(평균 22MB 대비 IloSequence의 5MB)이지만, SLIDE 전파기는 조건의 고차원성(arity 5, 도메인 크기 30)에도 불구하고 확장성 유지했다.
• 제약 조건이 한 개의 변수에서 겹치거나 단조롭게 되어 있을 경우, SLIDE의 GAC 전파는 다항 시간 내에 수행 가능하며, 동적 프로그래밍 또는 이중 인코딩을 통해 효율적으로 계산할 수 있다.
• 복잡한 제약 조건의 지원을 저장하기 위해 BDDs를 사용하는 것은 향후 효율성을 향상시키기 위한 유망한 방향으로 규명되었다.