第27回 (2013)
セッションID: 2E5-OS-09b-2
会議情報
主催: 一般社団法人 人工知能学会
会議名: 2013年度人工知能学会全国大会（第27回）
回次: 27
開催地: 富山県富山市 富山国際会議場
開催日: 2013/06/04 - 2013/06/07
SATによる車両運用計画問題の定式化と集中／分散解法の適用
詳細
主催: 一般社団法人 人工知能学会
会議名: 2013年度人工知能学会全国大会（第27回）
回次: 27
開催地: 富山県富山市 富山国際会議場
開催日: 2013/06/04 - 2013/06/07
車両運用計画問題とは鉄道ダイヤ（運用）に車両を割り当てる問題である．本論文では，この問題をSATで定式化し，SATアルゴリズムを適用する．さらに，複数の鉄道会社が関係する問題（分散車両運用計画問題）を節集合分割型分散SATで定式化し，非同期バックトラッキングアルゴリズムを適用する．実際の鉄道ダイヤから作成した問題例を用いて実験を行い，これらの定式化と解法の有効性を確認する．
