Sunday 2:20 p.m.–2:50 p.m.
数理最適化によるパズルの解法 (ja)
Tsutomu Saito
- Audience level:
- Intermediate
- Category:
- Science / 科学
Description
カックロや数独など、いろいろなパズルを数理最適化の手法を使って解いていきます
Abstract
数理最適化とは
- 数理最適化では、問題を 数理モデル で表して、それを解きます
- 数理モデルは、非常にシンプルなルールで様々な問題を記述できます
- 解くソフトウェアを ソルバ とよびます
- 特定の問題は専用のソルバを使うこともありますが、汎用のソルバを使うことも多いです
- 今回使うソルバは、汎用ソルバでCBCという無料のソルバです
- モデラーがpulpになります
数理最適化の問題の例
- ナップザック問題
- ビンパッキング問題
- 施設配置問題
- 集合被覆問題
- 最小費用流問題
- 包絡分析法(DEA)
- シフトスケジューリング(平準化)
- 各種パズル