matsulibの日記

Ingredients as Code

2013-03-01から1ヶ月間の記事一覧

数独をGurobiとPythonで解く

数独を0-1整数計画問題として定式化して、前回に引き続きGurobiとPythonを使って解いた。まずは0-1整数計画問題として定式化するために数独を10進数から2進数の形式に変形する。 ある問題の解答例: 変換前 変換後 こうすると特定の行・列・ブロックにおいて…

GurobiとPythonで数理最適化

数理最適化ソルバーGurobiにはPython含む複数の言語のインターフェースが用意されていて、 gurobipyモジュールを使うと使い慣れたPythonがソルバーのモデリング言語になる。 例題 http://www.fujilab.dnj.ynu.ac.jp/lecture/system2.pdf あるレストランで,…

「人の寿命2倍に!?」ってニュースは今…

※検索ワード「ハエの寿命」で来た人へ、この記事にはハエの寿命がどれくらいなのかについての記述はありません。 小学生のころ見たニュースで今でも記憶に残っているものがある。そんな昔のニュースでも検索したら見つかる便利な時代で良かった。これについ…