Sunday 2:20 p.m.–2:50 p.m.

数理最適化によるパズルの解法 (ja)

Tsutomu Saito

Audience level:
Intermediate
Category:
Science / 科学

Description

カックロや数独など、いろいろなパズルを数理最適化の手法を使って解いていきます

Abstract

数理最適化とは - 数理最適化では、問題を 数理モデル で表して、それを解きます - 数理モデルは、非常にシンプルなルールで様々な問題を記述できます - 解くソフトウェアを ソルバ とよびます - 特定の問題は専用のソルバを使うこともありますが、汎用のソルバを使うことも多いです - 今回使うソルバは、汎用ソルバでCBCという無料のソルバです - モデラーがpulpになります 数理最適化の問題の例 - ナップザック問題 - ビンパッキング問題 - 施設配置問題 - 集合被覆問題 - 最小費用流問題 - 包絡分析法(DEA) - シフトスケジューリング(平準化) - 各種パズル