We develop an approach to solve curriculum-based course timetabling (CB-CTT) problems with Large Neighborhood Prioritized Search (LNPS) based on Answer Set Programming (ASP). LNPS is a metaheuristic that starts with an initial solution and then iteratively tries to obtain improved solutions by alternately destroying and prioritized searching for a current solution. Our approach relies on high-level domain-specific LNPS configurations for efficient CB-CTT solving, and both the grounding and solving tasks are delegated to a heuristically-driven answer set optimizer implementing the LNPS algorithm. The resulting system teaspoon-lnps demonstrates that LNPS can significantly enhance the solving performance of ASP for CB-CTT solving. Furthermore, we show the competitiveness of our declarative approach by empirically contrasting it to the best known bounds obtained by more dedicated algorithms.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

ASP-Based Large Neighborhood Prioritized Search for Course Timetabling

  • Irumi Sugimori,
  • Katsumi Inoue,
  • Hidetomo Nabeshima,
  • Torsten Schaub,
  • Takehide Soh,
  • Naoyuki Tamura,
  • Mutsunori Banbara

摘要

We develop an approach to solve curriculum-based course timetabling (CB-CTT) problems with Large Neighborhood Prioritized Search (LNPS) based on Answer Set Programming (ASP). LNPS is a metaheuristic that starts with an initial solution and then iteratively tries to obtain improved solutions by alternately destroying and prioritized searching for a current solution. Our approach relies on high-level domain-specific LNPS configurations for efficient CB-CTT solving, and both the grounding and solving tasks are delegated to a heuristically-driven answer set optimizer implementing the LNPS algorithm. The resulting system teaspoon-lnps demonstrates that LNPS can significantly enhance the solving performance of ASP for CB-CTT solving. Furthermore, we show the competitiveness of our declarative approach by empirically contrasting it to the best known bounds obtained by more dedicated algorithms.