開発状況や無料アプリ/上位版アプリに関すること、携帯電話やスマホのこと、プログラミングのこと、更新情報などをアップしています。10年以上継続しているブログです。よるiOSアプリ開発)に関する技術的なこともアップしていく予定です。昨日、実に私が好みそうなニュースがありました。それは、世界一難しい数独を開発したというニュースです。Inkala氏が作成した問題で、曰く「世界でもっとも難しい数独」とのことです。__53_____8______2__7__1_5__4____53___1__7___6__32___8__6_5____9__4____3______97__ナンプレくん2は問題入力機能があるので、挑戦してみたい方はこの問題を入力してみると良いかもしれません。ちなみに、私は挑戦はまだしていないです。ところで、この問題に関する作者のコメントとして、「通常の数独ロジックでは、多くても2、3ステップを踏めば数字を確定させることができますが、この問題では一度に8・9ステップを必要とします」とあります。このコメントの中で、8・9ステップと言うのが気になるのですが、これって背理法(それも何個も数字を仮定して、徐々に解候補をつぶしていくような)を用いるような気がしてしょうがないのです。私もナンプレは問題を作るプログラムを開発していたので良く分かるのですが、背理法以外でそこまでステップを必要とする解法が良く分かりません。して背理法を使わないでも解けるのかも知れませんが、背理法を使うのだったら、世界一難しいと言うのは、無理があるなぁという気がしました。ダウンロード可能です。@MocoGamesツイッターフォローお願いします。