[논문 리뷰] Symmetries of Symmetry Breaking Constraints

George Katsirelos, Toby Walsh|ArXiv.org|2009. 09. 17.

Constraint Satisfaction and Optimization참고 문헌 22인용 수 7

한 줄 요약

이 논문은 제약 충족 문제에서 대칭성 깨기 제약 조건과 브랜치 히우리스틱 간의 갈등을 줄이기 위해 두 가지 새로운 방법을 제안한다. 대칭성 깨기 제약 조건 자체에 작용하는 대칭성을 활용하여, 각 대칭성 클래스 내에서 다양한 해를 선택하기 위해 동적으로 또는 주기적으로 다른 대칭성을 적용함으로써, 제약 조건 전파를 통해 효율적인 가지치기를 가능하게 하면서도 검색 히우리스틱에 간섭을 최소화한다. 실험 결과, 두 방법 모두 핵심 벤치마크에서 표준 접근 방식을 능가함을 보여준다.

ABSTRACT

Symmetry is an important feature of many constraint programs. We show that any symmetry acting on a set of symmetry breaking constraints can be used to break symmetry. Different symmetries pick out different solutions in each symmetry class. We use these observations in two methods for eliminating symmetry from a problem. These methods are designed to have many of the advantages of symmetry breaking methods that post static symmetry breaking constraint without some of the disadvantages. In particular, the two methods prune the search space using fast and efficient propagation of posted constraints, whilst reducing the conflict between symmetry breaking and branching heuristics. Experimental results show that the two methods perform well on some standard benchmarks.

연구 동기 및 목표

• 제약 충족 문제에서 정적 대칭성 깨기 제약 조건과 변수/값 브랜치 히우리스틱 간의 갈등을 해결하기 위해.
• 대칭성 깨기 제약 조건에 작용하는 대칭성이 각 대칭성 클래스 내에서 다른 대표 해를 선택하는 데 어떻게 활용될 수 있는지 탐색하기 위해.
• 빠른 제약 조건 전파를 유지하면서도 대칭성 깨기와 검색 히우리스틱 간의 갈등을 줄이는 방법을 설계하기 위해.
• 대칭성 깨기 제약 조건에 대칭성을 적용하는 동적 및 재시작 기반 접근 방식을 평가하여 검색 성능을 향상시키기 위해.

제안 방법

• 첫 번째 방법은 모델 재시작을 사용하며, 원래의 대칭성 깨기 제약 조건의 무작위 대칭성을 적용한 새로운 모델로 주기적으로 검색을 재시작한다.
• 두 번째 방법은 검색 중에 대칭성 깨기 제약 조건의 대칭성을 동적으로 게재하여, 현재 브랜치 히우리스틱과 일치하는 대칭성을 점진적으로 선택한다.
• 두 방법 모두 어떤 대칭성도 대칭성 깨기 제약 조건의 집합에 작용할 경우 그 자체로 대칭성을 깨고 각 대칭성 클래스 내에서 다른 대표 해를 선택할 수 있다는 핵심 통찰에 기반한다.
• 이 방법들은 정적 제약 조건에서 유도되는 빠른 제약 조건 전파의 이점을 유지하면서도 브랜치 히우리스틱과의 갈등을 줄인다.
• 동적 방법은 검색 중에 대칭성 깨기 제약 조건을 게재하기 위해 '강제 대칭 규칙'을 사용하며, 사전 순서 또는 안정자 계산이 필요 없이도 가지치기를 가능하게 한다.
• 이 방법은 변수 및 값 대칭성, 포함된 대칭성까지 포함하여 일반적이며, 모두 작동한다.

실험 결과

연구 질문

• RQ1 대칭성 깨기 제약 조건에 작용하는 대칭성이 대칭성을 깨고 각 대칭성 클래스 내에서 다른 해를 선택하는 데 사용될 수 있는가?
• RQ2 대칭성 깨기 제약 조건에 대칭성을 동적으로 적용하면 브랜치 히우리스틱과의 갈등을 어떻게 줄일 수 있는가?
• RQ3 정적 대칭성 깨기 방식과 비교해 랜덤화된 대칭성 적용을 통한 모델 재시작이 검색 성능을 향상시킬 수 있는가?
• RQ4 동적 대칭성 게재 방법은 Dynamic Lex나 SBDS와 같은 기존의 하이브리드 방법과 비교해 어떻게 성능가능한가?

주요 결과

• 대칭성 깨기 제약 조건에 랜덤화된 대칭성을 적용한 모델 재시작은 브랜치 히우리스틱과의 갈등을 줄이고 그래프 색칠 문제 벤치마크에서 성능 향상을 이룬다.
• 브랜치 히우리스틱과 일치하는 대칭성을 점진적으로 적용하는 동적 대칭성 게재 방법은 콘서트 홀 스케줄링 인스턴스에서 정적 방법을 능가한다.
• 두 방법 모두 빠른 제약 조건 전파의 이점을 누리면서도 검색 히우리스틱과의 간섭을 피함으로써 더 빠른 해 찾기를 가능하게 한다.
• 동적 방법은 Dynamic Lex와 마찬가지로 안정자 계산이나 고정된 변수 순서를 요구하지 않아, 많은 대칭성을 가진 문제에 더 스케일러블하다.
• 이 방법은 사전 순서를 초월하여 일반화되어 있어 GAPLex나 Dynamic Lex와 같은 방법보다 더 넓은 적용 범위를 가진다.
• 실험 결과, 대칭성 깨기 제약 조건에 대칭성을 적용하는 것이 CSP에서의 대칭성 감소에 실현 가능하고 효과적인 전략임을 확인하였다.