Sudoku(数独)を Mathematicaで解く: 3,010-hard the guardian Sat 3 Jan 2015

Sudoku 3,010 hard  The Guardian,  Sat 3 Jan 2015

The guardian の sudoku 3,010 hard Mathematica で解くことに挑戦した。

 

解法の説明

  Naked Singles とHidden Singles の他に Pointing Pairs を使うことで答えが得られた。 手順を次に示す。手順9 と26 に Pointing Pairs が使われている。

1番目の手順の読み方は、Hidden Singles  (隠れたシングル)を行の中に探した結果、6行3列に6を入れるが答えになる。NakedSingles とHiddenSingles は同様に読む。

手順9 の PointingPairsBox は、候補図の box 1 の中で Pointing Pairs を探した結果、 1行1列の7 と1行2列の7 が Pointing Pairs になっており、その結果、1行6列の候補7を削除できる。同様に、box 4 の中で 4行1列の9 と4行3列の9 が Pointing Pairs になっており、その結果、4行6列の候補9を削除できる。box 5 の 5行4列の4 と5行5列の 4 が Pointing Pairs になっており、その結果、5行2列の候補 4を削除できる。26番の手順の PointingPairsBox も同様に読む。

35回の手順を経て解答に至る。

Pointing Pairs

  • Box 1 の中に Pointing Pair の 7 が見つかる。これは1行目にあるので, 1行6列にある 7 が削除できる。
  • Box 4 の中に Pointing Pair の 9 が見つかる。4行目にあるので, 4行6列にある 9 が削除できる。
  • Box 5 の中に Pointing Pair の 4 が見つかる。5行目にあるので, 5行2列にある 4 が削除できる。

Pointing Pairs

  • Box 1 の中に Pointing Pair の 5 が見つかる。これは3列目にあるので, 9行3列にある 5 が削除できる。

解答のアニメーション

Wolfram CDF Player

プラスをクリックして数字を増やすと各ステップの答えがわかります。答えになる理由を調べたいとき why をクリックすると分かります。

「Get the Wolfram CDF Player 」が表示される場合は、 CDF プラグインがサポートされていないことを意味します。興味のある人は Wolfram CDF をブログに載せる を見てください。

CloudDeployを使って

次をクリックすることで Wolfram Cloud 上で手順を確認できる。ポップアップメニューの数を増やすと道筋ごとの候補図が現れ解答に至ります。

3,010 hard the guardian ( Wolfram Cloud )

Wolfram Cloud の状況

  • 6 Jan 2015 に Wolfram Cloud 上で警告メッセージが出なくなったことを確認した。改善されたので大変うれしい。
  • 17 Jan 2015 から Wolfram Cloud の環境が悪い方向に変化した。
    1. PopupMenu の機能は働いているが数字の表示が変化しない。したがって数字が指し示す状態がわからない。
    2. グラフィック上に手順を示していたが表示しなくなった。
    この2項目をテクニカルサポートに問い合わせた。次期改善の項目にに登録したとの知らせが届いた。
  • 28 Jan 2015 "You are out of Cloud Credits" のメールが届いた。 上記の "3,010 hard the guardan" をクリックして状況を確認したところ、実行できないことが分かった。
  • 31 Jan 2015 に Cloud credits の追加購入した。(10,000 credits/3,800円)
    その後 Wolfram Cloud 上で実行できることを確認した。

目次へ