제약 만족 문제에서 변수 및 리비전 순서 전략의 평가와 개선

초록

본 논문은 CSP 해결 과정에서 다음에 선택할 변수를 결정하는 휴리스틱을 체계적으로 실험하고, 실패 정보를 활용한 최신 변수 순서 기법이 전반적으로 우수함을 확인한다. 이를 바탕으로 아크 일관성을 유지할 때 전파 리스트를 효율적으로 정렬하는 새로운 리비전 순서 기법을 제안한다. 제안 기법은 제약 검사 횟수와 리스트 연산을 감소시킬 뿐 아니라 탐색 트리 규모도 크게 줄인다.

상세 요약

논문은 먼저 변수 선택 휴리스틱을 크게 두 축으로 구분한다. 하나는 실패 기반(weighted degree, dom/wdeg 등)으로, 탐색 과정에서 발생한 충돌을 해당 제약에 가중치로 누적하고, 가중치가 큰 제약에 연관된 변수를 우선 선택한다. 다른 하나는 영향 기반(impact, activity 등)으로, 변수에 특정 값을 할당했을 때 도메인 감소량을 측정해 그 영향력이 큰 변수를 먼저 선택한다. 실험에서는 30여 개의 표준 벤치마크(스케줄링, 퍼즐, 그래프 색칠 등)를 사용해 각 휴리스틱의 성능을 비교하였다. 결과는 실패 기반 휴리스틱이 평균적으로 탐색 노드 수와 실행 시간을 15~30% 정도 감소시키며, 특히 밀집된 제약 네트워크에서 그 효과가 두드러짐을 보여준다.

이러한 관찰을 토대로 저자들은 아크 일관성(AC) 유지 과정에서 전파 리스트의 순서를 조정하는 ‘리비전 순서’ 전략을 설계한다. 기존 AC 구현은 보통 FIFO 혹은 단순한 변수 인덱스 순서를 사용했지만, 실패 가중치를 전파 대상 제약에 매핑해 가중치가 큰 제약을 먼저 처리하도록 한다. 이 방식은 불필요한 재전파를 억제하고, 제약 검사와 리스트 삽입·삭제 연산을 현저히 줄인다. 실험 결과, 새로운 리비전 순서 기법은 평균적으로 제약 검사 횟수를 20% 이상 감소시키고, 탐색 트리 깊이도 10% 정도 얕게 만든다.

또한 논문은 두 전략(변수 순서와 리비전 순서)의 상호 작용을 분석한다. 실패 기반 변수 순서와 가중치 기반 리비전 순서를 결합했을 때 시너지 효과가 나타나, 단일 전략만 적용했을 때보다 전체 성능이 10~15% 추가 향상된다. 저자들은 이러한 결과가 CSP 솔버 설계 시 ‘실패 정보’를 중심으로 데이터 구조와 전파 메커니즘을 재구성할 필요성을 강조한다고 결론짓는다.