[논문 리뷰] Symmetry Breaking Using Value Precedence

Toby Walsh|arXiv (Cornell University)|2009. 03. 06.

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

한 줄 요약

이 논문은 값 치환 가능 문제에서 대칭을 깨기 위해 값 우선순위 제약 조건을 삼항 제약 조건으로 효율적이고 효과적으로 표현하는 방법을 제시한다. 이 방법은 일반화된 간선 일관성(GAC)을 최적의 O(nd) 시간 복잡도로 달성하며, 특히 다수의 치환 가능한 값이 존재할 경우, 다른 방법들보다 더 뛰어난 정제 효과와 런타임 성능을 보인다.

ABSTRACT

We present a comprehensive study of the use of value precedence constraints to break value symmetry. We first give a simple encoding of value precedence into ternary constraints that is both efficient and effective at breaking symmetry. We then extend value precedence to deal with a number of generalizations like wreath value and partial interchangeability. We also show that value precedence is closely related to lexicographical ordering. Finally, we consider the interaction between value precedence and symmetry breaking constraints for variable symmetries.

연구 동기 및 목표

• 치환 가능한 값으로 인해 중복된 탐색 공간이 발생하는 제약 만족 문제에서 값 대칭 문제를 다루기 위해.
• 특수화된 전파기법에 의존하지 않고 실용적이고 효율적인 값 대칭 깨기 방법을 개발하기 위해.
• 다수의 치환 가능한 값, 부분 치환 가능성, 워스트 제품 대칭을 처리할 수 있도록 값 우선순위를 일반화하기 위해.
• 값 우선순위와 사전순 배열 제약 조건 간의 형식적 연결 고리를 확립하기 위해.
• 하이브리드 모델에서 값 우선순위와 변수 대칭 깨기 제약 조건 간의 상호작용을 평가하기 위해.

제안 방법

• 보조 0/1 변수 $B_i$ 를 사용하여 값 우선순위 제약 조건을 삼항 제약 조건의 시퀀스로 표현함으로써, 위치 $i$ 이전에 선호되는 값이 나타났는지 추적함.
• 삼항 제약 조건 $C(X_i, B_i, B_{i+1})$ 를 정의하여 다음 조건을 강제함: $X_i = v_j \Rightarrow B_{i+1} = 1$, $X_i \neq v_j \Rightarrow B_i = B_{i+1}$, 그리고 $B_i = 0 \Rightarrow X_i \neq v_k$.
• 값 우선순위 추적을 초기화하기 위해 $B_1 = 0$ 으로 설정함으로써, 선호도가 낮은 값 $v_k$ 가 $v_j$ 가 나타나기 이전에 할당될 수 없도록 보장함.
• Berge-무사이클릭 제약 그래프 구조를 활용하여 삼항 제약 조건의 국소 GAC 강제를 통해 일반화된 간선 일관성(GAC)을 확보함.
• 기존 제약 솔버에 효율적으로 구현하기 위해 표준 제약 원소(예: 함의, 등가)를 사용하여 삼항 제약 조건을 구현함.
• 연속된 값 방법이 요구하는 O(k)개의 제약 조건을 피하기 위해, 다수의 치환 가능한 값을 다루기 위해 단일 전역 우선순위 제약 조건을 사용하여 방법을 확장함.

실험 결과

연구 질문

• RQ1 특수화된 전파기법 없이 삼항 제약 조건만을 사용하여 값 우선순위를 효율적으로 표현할 수 있는가?
• RQ2 기존 방법들(예: 연속된 값 우선순위 제약 조건)과 비교해 볼 때, 제안된 표현 방식은 성능과 정제 효과 측면에서 어떻게 성과를 내는가?
• RQ3 값 우선순위와 대칭 깨기에서의 사전순 배열 제약 조건 간의 관계는 무엇인가?
• RQ4 하이브리드 모델에서 값 우선순위 제약 조건은 변수 대칭 깨기 제약 조건과 어떻게 상호작용하는가?
• RQ5 이 방법은 부분 치환 가능성과 워스트 제품 대칭을 다룰 수 있도록 일반화될 수 있는가?

주요 결과

• 제안된 삼항 표현 방식은 O(nd) 시간 내에 일반화된 간선 일관성을 달성하며, Law와 Lee의 전용 알고리즘과 동일한 효율성을 보였다.
• 다수의 치환 가능한 값이 존재하는 문제(예: k > 4)에서는 단일 전역 우선순위 제약 조건 모델이 런타임과 정제 효과 모두에서 연속된 값 모델을 능가했으며, 백트래킹 횟수를 크게 감소시켰다.
• Schur 수 문제 $S(13,5)$ 에서 전체 값 모델은 11.88초 만에 모든 해를 찾았고, 백트래킹 횟수는 6,606회였으며, 반면 연속된 값 모델은 20.80초와 210,682회의 백트래킹을 기록했다.
• 전체 값 모델은 단 243개의 제약 조건을 사용한 반면, 연속된 값 모델은 477개의 제약 조건이 필요했으며, 이는 값 대칭이 증가함에 따라 훨씬 뛰어난 확장성을 보여주었다.
• 제약 엔진이 포함된 제약 조건이 이행되었을 때 일관성을 효율적으로 유지할 수 있기 때문에, 증분적 해결에서도 이 방법은 강건성을 확보했다.
• 논문은 값 우선순위와 사전순 배열 제약 조건 간의 형식적 연결 고리를 확립하였으며, 값 우선순위가 값 대칭에 대해 사전순 배열 제약 조건의 자연스러운 일반화임을 보였다.