2019-06-07から1日間の記事一覧

juliaで数独

github.com github.com 上が普通の解法(幅探索、仮定したら、縦横セルの3つに伝播)、下がたまたま見つけて、めっちゃ意外で目的関数がなく、制約を満たすだけの最適化。こっちはソルバーに突っ込んだだけ。 最近とあるwebシステムを作ったのですが、現代…