下記の数独がこれ以上、理詰めで解けなくて悶々としています。(0が埋まっ

質問

下記の数独がこれ以上、理詰めで解けなくて悶々としています。(0が埋まってないところです)

782 009 010
000 180 200
510 260 038

100 690 002
896 700 150
320 018 009

051 806 047
008 071 000
000 900 001

上記の問題を以下の基準で解いていただけないでしょうか？

[ＮＧ - 禁止テク]
・ミシチャンのサイト(http://www.geocities.jp/master_mishichan/index.html）
で「ここまでやる?級テクニック」に分類されているテク
（但し、Advanced ColoringはＯＫです）
・Sudopedia(http://www.sudopedia.org/wiki/Main_Page）
の「Techniques of Last Resort」に分類されているテク
（もちろんBrute ForceもＮＧです）
・単に、マスXに入る数字候補のどれを採用してもマスYはZとならない、というだけの手筋も
Forcing ChainとみなしＮＧです。

[ＯＫ]
・上記以外のミシチャンのサイトかSudopediaにあるテクおよびそのバリエーションならＯＫです。
・世界文化社の「仮押さえのカーブ」およびそのバリエーションもＯＫです。
・Unique Rectangle などの唯一解系もＯＫです。
・その他独自のテクは、この問題だけでなく他の問題にも適用できるような一般化した解説を付けてください。
(テク名とその参照元もできるなら書いてください)

回答No.1

hananoppo · ベストアンサー

次のサイトで調べてみました。
http://www.sudoku.org.uk/SudokuSolver/Solvers.asp

かなりの難問のようで、AIC with Groupsとかいうのを使わないと解けないようです。背理法等の使用を想定した問題ではないでしょうか。

お礼

便利なサイトを教えて頂いてありがとうございます。
このサイトを使って調べてみましたが、AIC with Groupsの他にAIC with ALSsも有効であることが分かりました。こんなテクどうやってみつけるんでしょうかね？

補足

以下のサイトのSolverで調べると、この場合の AIC with Groups は Nice Loop の考え方で理解できることがわかりました。

http://www.sudokuwiki.org/sudoku.htm

ありがとうございました。