日経新聞の土曜版に載っているナンバープレース(数独) を Mathematica プログラムで解いてきた。その結果、Naked Singles（裸のシングル）と Hidden Singles (隠れたシングル）を探すことで答えを求めることができることが分かった。
一歩進んだ問題を探していたところ Sudoku-hard the guardian を見つけた。 いくつかの問題を解いてみた結果、Naked Singles と Hidden Singles だけでは解くことができないこと、またその解決法が分かった。次に例を示します。
Sdoku-2908-hard, Thursday 4 Sep 2014
Singles + HiddenPairs 33手で 解決 クリック here
Sudoku-2915-hard, Friday 12 Sep 2014
Singles + NakedPairs + HiddenPairs 33手で 解決 クリック here
Sudoku-2920-hard, Thursday 18 Sep 2014
Singles + HiddenPairs 30手で 解決
Sudoku-2925-hard, Wednesday 24 Sep 2014
Singles のみで解決
Sudoku-2926-hard, Tursday 25 Sep 2014
Singles のみで解決
Sudoku-2927-hard, Friday 26 Sep 2014
Singles + Box/Line Reduction + Naked Triples で解決
Sudoku-2975-hard, Friday 21 Nov 2014
Singles + Pointing Pairs + Box/Line Reduction + Naked Triples で解決
まとめと課題
- NakedPairs と HiddenPairs についてはプログラムが完成しているので、2908-hard、2915-hard、2920-hard についてはプログラムで答えを見つけることができた。
- Pointing Pairs , Box/Line Reduction , Naked Triples を使えば 2927-hard, 2975-hard を解くことができる。
- Pointing Pairs , Box/Line Reduction , Naked Triples のプログラムを作成することが今後の課題である。
なを、使用している命名法は The Logic of Sudoku, by Andrew C. Stuartによるものです。
