[논문 리뷰] A note on a sports league scheduling problem

Jean-Philippe Hamiez, Jin‐Kao Hao|arXiv (Cornell University)|2014. 10. 10.

Scheduling and Timetabling Solutions참고 문헌 8인용 수 3

한 줄 요약

이 논문은 NP-난이도의 스포츠 리그 스케줄링 문제(prob026 in CSPLib)에 대해 열거적 탐색 알고리즘 EnASS를 향상시켜 검색 속도를 높이고 백트래킹을 줄이기 위해 두 가지 새로운 제약 기반 규칙을 도입한다. 개선된 알고리즘인 EnASS4는 T = 12에서 70까지의 모든 인스턴스를 성공적으로 해결하였으며, 이는 T > 50인 경우 이전에 해결되지 않았던 문제들을 포함한다. 이는 성능 향상이 뚜렷하고 기존 방법의 범위를 초월한 확장성을 보여준다.

ABSTRACT

Sports league scheduling is a difficult task in the general case. In this short note, we report two improvements to an existing enumerative search algorithm for a NP-hard sports league scheduling problem known as "prob026" in CSPLib. These improvements are based on additional rules to constraint and accelerate the enumeration process. The proposed approach is able to find a solution (schedule) for all prob026 instances for a number T of teams ranging from 12 to 70, including several T values for which a solution is reported for the first time.

연구 동기 및 목표

• 기존 방법이 실패하는 더 큰 팀 수(T > 50)에 대해 NP-난이도의 균형 잡힌 토너먼트 설계 문제(prob026)를 해결하는 데 도전한다.
• 검색 공간을 줄이기 위해 새로운 제약 규칙을 도입함으로써 열거적 탐색 알고리즘 EnASS의 효율성을 향상시킨다.
• prob026의 가용성 범위를 T = 12에서 70까지 확장하여 이전에 해결되지 않았던 사례, 특히 T ≡ 0 mod 4인 경우도 포함한다.
• 관찰된 해 패턴에서 유도된 제약 기반 가지치기 규칙이 조합 스케줄링 문제의 검색 속도를 크게 향상시킬 수 있음을 검증한다.

제안 방법

• 기존 EnASS 알고리즘은 주간 및 쌍별 매치 제약(c_W 및 c_H)만을 만족하는 충돌이 있는 초기 할당으로 시작한 후, 기간 제약(c_P)을 만족하기 위해 백트래킹을 수행한다.
• 첫 번째 개선 사항인 EnASS3는 매주 첫 번째 및 마지막 기간의 순서를 뒤바꾸는 새로운 규칙 r'_D를 도입하여 대칭성 처리를 향상시키고 검색 공간을 줄인다.
• 두 번째 개선 사항인 EnASS4는 주 2와 W-1의 순서를 뒤바꾸는 새로운 규칙 r'_I를 추가하여 대칭성을 유지하면서도 검색 중에 잘못된 할당을 추가로 제한한다.
• 규칙 r'_D와 r'_I는 백트래킹 중에 탐색을 피하기 위해 검색 공간에 영향을 주는 제약 집합 R4에 통합된다.
• 알고리즘은 P×W 스케줄 테이블을 행 단위로 채우는 재귀적 백트래킹 프레임워크를 사용하며, 검색을 이끌기 위해 동적 주 및 기간 경계(w_f, w_l)를 사용한다.
• 이 방법은 초기 충돌 할당을 보장하기 위해 패턴 기반 일치 분해를 활용하여 c_H 및 c_W를 처음부터 만족시킨다.

실험 결과

연구 질문

• RQ1 관찰된 해 패턴에서 추가적인 대칭성 깨기 제약을 도출할 수 있는가? 이는 prob026의 검색 공간을 줄이는 데 기여하는가?
• RQ2 해의 대칭성을 유지하면서 중복된 분지들을 제거하기 위해 새로운 규칙을 효과적으로 사용해 검색 공간을 가지치기할 수 있는가?
• RQ3 개선된 EnASS 알고리즘이 T = 12에서 70까지의 prob026 인스턴스를 모두 해결할 수 있는가? 특히 이전에 해결되지 않았던 T ≡ 0 mod 4인 경우도 포함하여?
• RQ4 기존의 제약 규칙 r_I 및 r_D와 비교해 새로운 규칙 r'_D 및 r'_I는 성능과 확장성에서 어떤가?

주요 결과

• EnASS4는 T = 12에서 70까지의 prob026 모든 인스턴스를 성공적으로 해결하였으며, 이는 T ≡ 0 mod 4인 경우에도 이전에 해결되지 않았던 사례를 포함한다.
• T = 52일 경우, EnASS4는 50.11초 만에 해를 발견했고, 백트래킹 횟수는 101,432,823회였다. 이는 이 인스턴스에서 EnASS1 및 EnASS2보다 뚜렷한 성능 향상을 보였다.
• T = 70은 약 18일 만에 해결되었으며, 이는 이전 비교에서 사용된 3시간 제한을 초월한 확장성을 보여준다.
• T ≡ 0 mod 4인 경우에 대해 이전 방법이 실패한 상황에서, 주 2와 W-1을 뒤바꾸는 새로운 규칙 r'_I가 핵심이었다.
• EnASS4는 T = 58 및 T = 60에서 EnASS1 대비 백트래킹 횟수를 최대 90%까지 줄였다.
• 이 방법은 T = 12에서 70까지의 모든 인스턴스를 해결한 최초의 방법이며, T = 52에서 70까지의 첫 번째 해는 제공된 URL에서 온라인으로 공개되어 있다.