京都大学数理解析研究所の河村彰星准教授、小林佑輔准教授の研究グループは、実時間システムや定期業務の基礎となる数学モデル「輪番割当問題」において、30年以上にわたり未解決であった「密度6分の5予想」および関連する定理群を証明しました。　輪番割当は、複数の定期的な仕事を「最長で○○日（あるいは○○ミリ秒）に1度以上は実行する」という条件のもと、一つの資源で順次実行できるかを問う問題です。仕事の総量（密度）が5/6（約83.3%）以下ならば必ずスケジュール可能とする「6分の5予想」は、1993年の提唱以来、実時間スケジューリングにおける理論的難問の一つでした。本研究では、数理解析と計算機支援...