Alloy Analyzerを使って11年前に解いた数独の問題を解き直してみたという話。 TL;DR 昔よりPCは速くなったし、自分も気持ちソルバを上手に使えるようになった。 速く答えを探すには、とにかく探さなくていいものは探すな。 経緯 過去にAlloy Analyzerを使っ…

下記のような記事を見つけた。 星11個の数独の問題をAlloyで なんと以前の記事を見てdisktnkさんという方が「遅すぎる」と検証してくださったようだ。。。 Lets's Compare! ぼくの実行結果 Executing "Run run$1 for 13" Solver=sat4j Bitwidth=0 MaxSeq=0 S…

RocketNews24さんで 本当に解ける人いるの？ フィンランド人数学者が作った “世界一難しい数独” が発表されるという記事があったんで以前のAlloyの記事で使ったモデルを流用して解いてみた。 about alloy Alloy is a language for describing structures and…