#星11個の数独の問題をAlloyで
解いたら3秒かかりませんでした.きっかけは 世界一難しい数独、Alloyで解いてみたよ(RocketNews24から) - dec9ue's diary の記事.処理に82秒かかったとあり「それって超難問では?」と思ったので,自分も動かしてみて,その結果を以下につらつらと.ちなみに下記AlloyのコードはAlloyのサンプルでそこら辺に転がっているのを移してきただけで,私のオリジナルではない.
abstract sig Number { data: Number -> Number }
abstract sig Region1, Region2, Region3 extends Number {}
one sig N1, N2, N3 extends Region1 {}
one sig N4, N5, N6 extends Region2 {}