[논문 리뷰] Educational Timetabling: Problems, Benchmarks, and State-of-the-Art Results

Sara Ceschia, Luca Di Gaspero외 1명|arXiv (Cornell University)|2022. 01. 19.

Scheduling and Timetabling Solutions참고 문헌 107인용 수 64

한 줄 요약

이 논문은 주요 대회에서 사용된 표준 교육 시간표 편성 공식과 벤치마크에 대한 종합적인 조사를 제공하며, 국제 대회에서 널리 사용된 여섯 가지 핵심 문제 공식—HTT, CTT, ETT 및 그 확장형 변형—을 규명한다. 논문은 최신 연구 성과를 검토하고 재현 가능성 문제를 제기하며, 연구 투명성과 비교 가능성 향상을 위해 인스턴스, 해법, 코드를 검증하고 공유할 수 있는 웹 플랫폼인 OPTHUB를 소개한다.

ABSTRACT

We propose a survey of the research contributions on the field of Educational Timetabling with a specific focus on "standard" formulations and the corresponding benchmark instances. We identify six of such formulations and we discuss their features, pointing out their relevance and usability. Other available formulations and datasets are also reviewed and briefly discussed. Subsequently, we report the main state-of-the-art results on the selected benchmarks, in terms of solution quality (upper and lower bounds), search techniques, running times, statistical distributions, and other side settings.

연구 동기 및 목표

• 연구계에서 사실상 표준이 된 널리 채택된 여섯 가지 교육 시간표 편성 문제 공식을 식별하고 분석하는 것.
• 이러한 공식들에 대해 공개된 벤치마크 인스턴스의 사용성, 관련성, 난이도 수준을 평가하는 것.
• 표준화된 데이터 공유, 해법 검증, 장기적 저장소 유지 관리의 도입을 통해 시간표 편성 연구의 재현 가능성 문제를 해결하는 것.
• 공정한 비교와 향후 벤치마크 작업을 지원하기 위해 인스턴스, 해법, 소프트웨어를 중앙집중식으로 호스팅하는 OPTHUB를 제안하는 것.
• 특히 새로운 알고리즘을 비교하는 '말 경주' 논문을 위한 방법으로 적절한 벤치마크를 선택하는 데 연구자들을 안내하는 것.

제안 방법

• 국제 대회에서의 등장과 문헌에서의 채택을 기반으로, HTT, CTT, ETT 및 그 확장형 변형을 포함한 여섯 가지 표준 시간표 공식을 체계적으로 검토하는 것.
• 이러한 벤치마크에서의 최신 연구 성과를 분석하며, 해법 품질(상한 및 하한 경계), 탐색 기법, 실행 시간, 통계 분포를 포함한다.
• 기존 데이터셋의 실용적 사용성 평가를 통해 오래된 저장소, 부실한 문서화, 해법 제공 부족 등의 문제점을 규명하는 것.
• 시간이 기록된 버전 제어 기능을 갖춘 웹 애플리케이션인 OPTHUB를 도입하여 사용자가 인스턴스와 해법을 업로드하고 검증하고 검사할 수 있도록 하는 것.
• 연구 공동체 전체의 협력이 필요한 미래 연구 인프라 프레임워크를 제안하며, 강력하고 표준화된 벤치마크와 검증 도구를 유지 관리하는 데 중점을 둔다.
• 오픈소스 코드와 재현 가능한 실험의 중요성을 강조하며, OPTHUB가 알고리즘 간 통계 분석과 공정한 비교를 지원하도록 하는 것.

실험 결과

연구 질문

• RQ1 연구계에서 사실상 표준이 된 교육 시간표 편성 문제 공식은 무엇이며, 그 이유는 무엇인가?
• RQ2 각 공식 간의 인스턴스 난이도는 어떻게 다름가? 기존 해법 기술의 발전에도 불구하고 여전히 도전적인 문제들은 어떤가?
• RQ3 시간표 편성 연구에서 재현 가능성 문제의 주요 장애물은 무엇이며, 표준화된 데이터 공유와 검증을 통해 이를 어떻게 완화할 수 있는가?
• RQ4 현재의 벤치마크는 알고리즘의 통계적 보정을 위한 지원에 얼마나 잘 기여하는가? 또는 최종 검증을 위한가?
• RQ5 OPTHUB와 같은 중앙집중식, 공동체 유지 관리 플랫폼은 시간표 편성 연구의 투명성, 신뢰성, 발전에 어떻게 기여할 수 있는가?

주요 결과

• HTT, CTT, ETT 및 그 확장형 변형을 포함한 여섯 가지 표준 공식은 주로 국제 시간표 편성 대회에서 유래되었으며, 현재는 널리 사용되는 기준이 되고 있다.
• 일부 벤치마크 인스턴스, 특히 초기 대회에서 나온 것들은 이제 최적해를 쉽게 구할 수 있을 정도로 너무 쉽게 되어 있으며, 다른 일부는 20여 년이 넘도록 여전히 매우 도전적인 상태이다.
• 공개된 데이터셋, 해법, 소스 코드를 제공하지 않는 연구 논문이 다수 존재하여 재현 가능성과 공정한 비교를 약화시키고 있다.
• OPTHUB는 여섯 가지 표준 공식 중 네 가지를 포함하는 중앙집중식 검증 플랫폼으로 개발되었으며, 인스턴스 및 해법 검증, 스코어보드, 향후 소프트웨어 실행 기능을 지원한다.
• 기존에 더 이상 도전적이지 않은 벤치마크를 대체할 수 있는 새로운 고품질의 인스턴스가 필요하며, 알고리즘의 통계적 보정을 지원하기 위한 더 나은 인스턴스 생성기 개발이 필요하다는 점을 규명했다.
• 향후 대회가 표준화 및 채택의 주요 추진력이 되도록 하기 위해, 공동체 차원의 협력적 노력이 필요하며, 이를 통해 강력한 연구 인프라를 유지 관리해야 한다고 주장한다.