>>238
> 数独の解法なんて、プログラムにかければすぐ出るじゃん。

それは、演繹的解法とは言わない。どうやって解いたか説明できないでしょ？

それと、プログラムどころか、雑誌社とかいけば、全答えのデータベース
もってるよ（正解が複数出ないため）。

だから、どんな難しい問題作ってもデータベース称号されたら、１ナノ秒くらいで
解ける。

「あんな難しい（人間が論理的に詰めた場合）数独をなぜ出題したか」考えれば
わかること。