スラッシュドット・ジャパン: 「世界で一番難しい数独」の難しい問題 ~ 個人的に(数独が好きなので)興味あり

スラッシュドット・ジャパン: 「世界で一番難しい数独」の難しい問題.

コンピュータで解くのは邪道だと思うが(バックトラックで解ける。解けなかったら解が存在しないことになるだろう。ホントかな?)、人間が解くのに難しいというのはどういうことなのか? そもそも、手続き的なとき型があるなら誰でも(ある時間内に)出来るわけで、そうでない直感的なとき方があると面白いわけで…

そのうちきちんと考えようと思いつつ、まだ考えていないなぁ。