論理パズルを題材とした整数計画法による数理モデル化

岡本 吉央

概要

キーワード：整数計画法，離散最適化，数理モデリング

スケジュール

• 1/15 (水) 整数計画法の説明，SCIPを使ってみる
• 1/20 (月) 魔方陣と数独
• 1/22 (水) ののぐらむ
• 1/27 (月) 美術館
• 1/29 (水) カックロ
• 2/3 (月) ナンバーリンク
• 2/5 (水) レポート作成

実験テキストの訂正表

• 27ページ，11行目：「8種類」→「10種類」
• 43ページ，下から12行目：「問題現れる」→「問題に現れる」

ファイルの訂正履歴

• ののぐらむの問題例を生成するプログラムを jikken-ip/nonogram の下に置きました．generate_nonogram1.c と generate_nonogram2.c です．generate_nonogram1.cは菱形を描く問題例です．generate_nonogram2.cは市松模様を描く問題例です．どちらも，コンパイル後，コマンドライン引数に正整数をつけて実行して下さい．

参考情報

• 整数計画法メモ (東京農工大 宮代先生)

• 数独
  • https://sudoku.com/
  • http://www.sudokugame.org/
• ののぐらむ (お絵かきロジック，ピクロス，...)
  • http://liouh.com/picross/
  • https://www.puzzle-nonograms.com/
• 美術館
  • https://www.puzzle-light-up.com/
• カックロ
  • https://www.puzzle-kakuro.com/
• ナンバーリンク
  • http://www.pori2.net/puzzle/numberlink/index.html
  • http://connection.ivank.net/ (音が出ます)