Q194 - 井畑氏からの質問の問題


目次へ

井畑氏から質問された数独の問題を Mathematica で解いた。

SUDOKUWiKI.ORG を参考にした。解き方の定石が書いてあります。

The Logic of Sudoku

問題の出典: 

Q194、ナンプレ全314問 実力検定 2017,9月号、(準1級)197ページ、ふじいしのぶ著、コスミック出版

問題 - Q194

f:id:MMAys:20171019220021p:plain

候補図

f:id:MMAys:20171019220054p:plain

Step by step の解答

このパズルは NakedSingle (裸のシングル)、Hidden Single (隠れたシングル)と Naked Pairs と PointingPairs を使って答えが求まる。

この表の1番目の手順が意味することは Naked Singleを探した結果、3行1列に 7を入れ、7行9列に 3を入れる。以下同様にして 計33回の手順を経て完成に至る。

f:id:MMAys:20171019220037p:plain

手順 5 の Naked Pairs の説明

Naked Pairs の説明は SUDOKUWIKI.ORG の Naked Candidates に載っている。

  • 第6行5列と6行9列にグリーンで示す Naked Pair の {3,8} がある。この2つのマスの片方に3が入れば他方には8 が入ることになる。従って6行の他のマスにある3と8 を削除できる。結果的に {6,1} の3 と{6,3} にある3と8 が削除できる。
f:id:MMAys:20171019220109p:plain

手順 6 の Pointing Pairs の説明

Pointing Pairs の説明は SUDOKUWIKI.ORG の Pointing Pairs に載っている。

  • 第4 BOX の中で 8 が入っているマスは {4,2}と{4,3}である。このどちらかに 8 が入ることになるので、4行の他のマスには 8 が入ることができない。従って、4行の7列と8列にある 8 は削除できる。
  • 第5 BOX の5行の {5,4}と{5,6} に 7 がある。従って5行の他のマスにある7 を削除できる。結果として{5,1} の7が削除できる。
  • 第8 BOX の6列の {8,6}と{9,6} に 2 がある。従って6列の他のマスにある2 を削除できる。結果として{2,6} の2が削除できる。
  • 第9 BOX の 9列の {8,9}と{9,9} に 5 がある。従って9列の他のマスにある 5 を削除できる。結果として{2,9} の 5が削除できる。
f:id:MMAys:20171019220121p:plain

解答のアニメーション、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 の不具合が劇的に改善された。

目次へ