目次へ
井畑氏から質問された数独の問題を Mathematica で解いた。
SUDOKUWiKI.ORG を参考にした。解き方の定石が書いてあります。
問題の出典:
Q195、ナンプレ全314問 実力検定 2017，9月号、（準１級）197ページ、ふじいしのぶ著、コスミック出版
問題 - Q195
候補図
Step by step の解答
このパズルは NakedSingle (裸のシングル)、Hidden Single (隠れたシングル)と Naked Pairs を使って答えが求まる。
この表の1番目の手順が意味することは Naked Singleを探した結果、1行7列に 7を入れ、4行7列に 9を入れ、7行9列に 1を入れる。以下同様にして 計24回の手順を経て完成に至る。
手順 15 の Naked Pairs の説明
Naked Pairs の説明は SUDOKUWIKI.ORG の Naked Candidates に載っている。
- 第2行1列と3行1列にグリーンで示す Naked Pair の {5,9} がある。この2つのマスの片方に5が入れば他方には9 が入ることになる。従って第1 BOX の他のマスにある5と9 を削除できる。結果的に 番地{2,2} の 5 と番地{3,2} にある 5 を削除できる。
- 7列の Naked Pair {5,6} については削除すべきものは無い。
解答のアニメーション、CloudCDF を使っての表示
次をクリックして解答のアニメーションを見ることができる。
[ テスト-1 ] 図中の kk の右にある四角をクリックするとポップアップメニューが現れ手順の数が表示される。それを選択して手順を進める。
[ テスト-2: Button ] + をクリックすれば次の手順に行くことができる。1回目のクリックでは kkk = 1 , i = 0 になり図は変化しない。2回目のクリックで kkk = 2 , i = 1 になり図が変化する。これを繰り返して手順を進める。
[ テスト-4: Animator ] + をクリックすれば次の手順に行くことができる。1回目のクリックでは i = 0 になり図は変化しない。2回目のクリックで i = 1 になり図が変化する。これを繰り返して手順を進める。
備考：
- 今回は、最新版の Mathematica 11.2 を使った。Wolfram Cloud で Manipulate に インクレメントボタン
+を使えるようになった。改善が進んでいることを確認した。 - Wolfram Cloud 環境が整備され Manipulate の不具合が劇的に改善された。
