某友人がCPLEXで数独を解いてみたと聞いて、自分でもやってみた。 01変数を9*9*9=729個使った定式化。たぶん某友人と同じ。 モデリングにはGNU MathProgを使い、ソルバはGLPKを使った。以下のファイルを書いてから glpsol -m sudoku.mod -d instance.dat -w …