nikori-29-hard

目次へ戻る

「全問解説数独 ニコリ編」の本に載っている問題を Mathematica で解いた。

ページ72に載っている  29 HARD について示します。

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

The Logic of Sudoku

nikori 29 hard

f:id:MMAys:20191113234105p:plain

候補図

f:id:MMAys:20191113234123p:plain

Step by step の解答

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

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

f:id:MMAys:20191113234137p:plain

手順 18 の PointngPairs の説明

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

  • 6番目のボックス の中にに緑で示す 5 が縦に並んでいる。このどちらかの5が答えなので、 8列にある他のボックスの赤い 5を削除できる。

f:id:MMAys:20191113234150p:plain

手順 19 の BoxLine の説明

Box Line の説明は SUDOKUWIKI.ORG の Intersection Removal

  • 第1列 に緑で示す 2個の1が第7のボックス内にある。したがって 第7のボックス内にある赤い 1を削除できる。また、第7列に緑で示す 9が2個 ある。したがって 第6ボックス内にある赤い 9を削除できる。

f:id:MMAys:20191113234203p:plain

解答のアニメーション、CloudCDF を使っての表示

次をクリックして解答のアニメーションを見ることができる。

[ テスト-2:  Button ]  + をクリックすれば次の手順に行くことができる。1回目のクリックでは kkk = 1 , i = 0 になり図は変化しない。2回目のクリックで kkk = 2 , i = 1 になり図が変化する。これを繰り返して手順を進める。

[ テスト-4:  Animator ]  + をクリックすれば次の手順に行くことができる。1回目のクリックでは  i = 0 になり図は変化しない。2回目のクリックで  i = 1 になり図が変化する。これを繰り返して手順を進める。

備考:

  • 今回は、最新版の Mathematica 12 を使った。

目次へ戻る

nikori-28-hard


目次へ戻る

「全問解説数独 ニコリ編」の本に載っている問題を Mathematica で解いた。

ページ70に載っている  28 HARD について示します。

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

The Logic of Sudoku

nikori 28 hard

f:id:MMAys:20191113223556p:plain

候補図

f:id:MMAys:20191113223650p:plain

Step by step の解答

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

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

f:id:MMAys:20191113223703p:plain

手順 3 の NakedPairs の説明

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

  • 第3行 に緑で示す ペア 8,9 がある。したがって 3行にある赤い 8と9 を削除できる。また、第8行に緑で示す ペア 4,8 がある。したがって 8行にある赤い 4と8 を削除できる。

f:id:MMAys:20191113223717p:plain

解答のアニメーション、CloudCDF を使っての表示

次をクリックして解答のアニメーションを見ることができる。

[ テスト-2:  Button ]  + をクリックすれば次の手順に行くことができる。1回目のクリックでは kkk = 1 , i = 0 になり図は変化しない。2回目のクリックで kkk = 2 , i = 1 になり図が変化する。これを繰り返して手順を進める。

[ テスト-4:  Animator ]  + をクリックすれば次の手順に行くことができる。1回目のクリックでは  i = 0 になり図は変化しない。2回目のクリックで  i = 1 になり図が変化する。これを繰り返して手順を進める。

備考:

  • 今回は、最新版の Mathematica 12 を使った。

目次へ戻る

ニコリの数独を Mathematica で解く

目次へ戻る

全問解説数独

全問解説数独

 

「全問解説数独 ニコリ編」の本に載っている問題を Mathematica で解くことにします。

目次へ戻る

Sudoku 4560 hard, 4 Oct 2019 - the Guardian

目次へ

Sudoku 4460 hard, the guardian, Fri  4 Oct 2019Mathematica で解いた。

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

The Logic of Sudoku

Sudoku 4560 hard

f:id:MMAys:20191016105111p:plain

候補図

f:id:MMAys:20191111200413p:plain

Step by step の解答

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

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

f:id:MMAys:20191016105651p:plain

解答のアニメーション、CloudCDF を使っての表示

次をクリックして解答のアニメーションを見ることができる。

[ テスト-2:  Button ]  + をクリックすれば次の手順に行くことができる。1回目のクリックでは kkk = 1 , i = 0 になり図は変化しない。2回目のクリックで kkk = 2 , i = 1 になり図が変化する。これを繰り返して手順を進める。

[ テスト-4:  Animator ]  + をクリックすれば次の手順に行くことができる。1回目のクリックでは  i = 0 になり図は変化しない。2回目のクリックで  i = 1 になり図が変化する。これを繰り返して手順を進める。

備考:

    • 今回は、最新版の Mathematica 12.0 を使った。

目次へ

Sudoku 4401 hard, 25 May 2019 - the Guardian

目次へ

Sudoku 4401 hard, the guardian, Sat 25 May 2019Mathematica で解いた。

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

The Logic of Sudoku

Sudoku 4401 hard

f:id:MMAys:20190611171657p:plain

候補図

f:id:MMAys:20190611171843p:plain

Step by step の解答

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

この表の1番目の手順が意味することは Hidden Singleを探した結果、2行6列に8を、4行4列に5を、4行6列に2を入れる。以下同様にして 計36回の手順を経て完成に至る。

f:id:MMAys:20190611171941p:plain

手順 11 の NakedPairs の説明

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

  • 第3行 に緑で示す Pair 3,9 がある。したがって 3行にある赤い 3と9 を削除できる。また、第5行に緑で示す Pair 6,9 がある。したがって 5行にある赤い 6と9 を削除できる。第8行に緑で示す Pair 1,2 がある。 8行に削除できるものが無い。

f:id:MMAys:20190611172034p:plain

手順 14 の PointingPairs の説明

  • 第6番目のボックスに注目する。この中に緑の 9 が横に2個並んでいる。どちらの9が決まるか後になってみないと分からないが、4行の9は決まってしまう。従って、4行になる他のボックスの9を削除できる。

f:id:MMAys:20190611172127p:plain

手順 20 の NakedPairs の説明

f:id:MMAys:20190611172204p:plain

解答のアニメーション、CloudCDF を使っての表示

次をクリックして解答のアニメーションを見ることができる。

[ テスト-2:  Button ]  + をクリックすれば次の手順に行くことができる。1回目のクリックでは kkk = 1 , i = 0 になり図は変化しない。2回目のクリックで kkk = 2 , i = 1 になり図が変化する。これを繰り返して手順を進める。

[ テスト-4:  Animator ]  + をクリックすれば次の手順に行くことができる。1回目のクリックでは  i = 0 になり図は変化しない。2回目のクリックで  i = 1 になり図が変化する。これを繰り返して手順を進める。

備考:

目次へ

Sudoku 4202 hard, 27 Oct 2018 - the Guardian

目次へ

Sudoku 4202 hard, the guardian, Sat 27 Oct 2018Mathematica で解いた。

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

The Logic of Sudoku

Sudoku 4202 hard

f:id:MMAys:20181031095145p:plain

候補図

f:id:MMAys:20181031095217p:plain

Step by step の解答

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

この表の1番目の手順が意味することは Naked Singleを探した結果、4行1列に 7 を、6行6列に 9 を入れる。以下同様にして 16回まで手順を示す。しかしこれで完成に至らない。これの解決策を次に載せました。

f:id:MMAys:20181031095439p:plain 

手順 6 - NakedPairs

f:id:MMAys:20181031101703p:plain

手順 7 - PointingPairs

f:id:MMAys:20181031101720p:plain

手順 8 これより先に進めない - 今後の課題

現在のプログラムではこれより先に進めない。新たな定石をプログラムに書き込む必要がある。

f:id:MMAys:20181031100811p:plain

 

解答のアニメーション、CloudCDF を使っての表示

次をクリックして解答のアニメーションを見ることができる。

[ テスト-2:  Button ]  + をクリックすれば次の手順に行くことができる。1回目のクリックでは kkk = 1 , i = 0 になり図は変化しない。2回目のクリックで kkk = 2 , i = 1 になり図が変化する。これを繰り返して手順を進める。

[ テスト-4:  Animator ]  + をクリックすれば次の手順に行くことができる。1回目のクリックでは  i = 0 になり図は変化しない。2回目のクリックで  i = 1 になり図が変化する。これを繰り返して手順を進める。

備考:

  • 今回は、最新版の Mathematica 11.3 を使った。Wolfram Cloud で Manipulate に インクレメントボタン+ を使えるようになった。改善が進んでいることを確認した。
  • Wolfram Cloud 環境が整備され Manipulate の不具合が劇的に改善された。

目次へ