2014-04-01から1ヶ月間の記事一覧

matplotlibでxkcd()とやると面白い。

Pythonで数独

Pythonで数独。 定式化して解くのに、入出力合わせて15行だ。 from pulp import * m = LpProblem() v = [[[LpVariable('v%d%d%d' % (i, j, k), cat = LpBinary) for k in range(9)] for j in range(9)] for i in range(9)] with open('pulp-sudoku.txt') as …