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

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