離散最適化のための高度なモデリング

説明

最適化は意思決定の一般的な形式であり、私たちの社会の至る所にあります。その用途は、数独パズルの解法から結婚式の宴会での座席の配置まで多岐にわたります。同じ技術で、飛行機とその乗組員をスケジュールし、鉄鋼の生産を調整し、鉱山から港への鉄鉱石の輸送を整理できます。人的資源および資材管理における適切な決定により、企業は数百万ドルも利益を改善することができます。同様の問題も私たちの日常生活の多くを支えており、荷物の毎日の配送ルートの決定、学校の時間割の作成、家への電力の配送の一部です。基本的な重要性にもかかわらず、これらの問題はすべて、従来の学部のコンピューターサイエンス手法を使用して解決するのは悪夢です。

このコースは、離散最適化のための基本モデリングを完了した学生を対象としています。このコースでは、最先端の高水準モデリング言語で問題を記述し、ライブラリ制約解決ソフトウェアに残りの処理を任せることによって、困難な離散最適化問題を解決する方法についてさらに詳しく学びます。このコースでは、モデルのデバッグと改善、モデルの一部を述語にカプセル化すること、高度なスケジューリングとパッキングの問題に取り組むことに重点を置きます。この高度なテクノロジーを習得すると、これまで解決することは考えられなかった問題に取り組むことができるようになります。

こちらのコースプロモーションビデオをご覧ください：https：//www.youtube.com/watch？v = hc3cBvtrem0＆t = 8s