下記の数独を理詰め(提示された基準)での解き方を教えてください。

質問

下記の数独を理詰め(提示された基準)での解き方を教えてください。

ＡＢＣ　ＤＥＦ　ＧＨＪ
００１　０２０　０９０　ア
０００　００９　２００　イ
２４９　６００　０８０　ウ

１０２　５４６　０３０　エ
３００　７１８　００２　オ
４７０　３９２　５００　カ

０１０　００４　０２０　キ
００４　２００　０００　ク
０２０　０５０　６００　ケ

上記の問題の「０」の箇所のどれかひとつでも以下の基準で埋まる解き方(できるならテク名とその参照元も)を記述してください。
(初級/中級程度の手筋は省略して結構です。全部の解答は必要ありません)

[ＮＧ - 禁止テク]
・ミシチャンのサイト(http://www.geocities.jp/master_mishichan/index.h …）で
「ここまでやる?級テクニック」に分類されているテク
（ただし、Forcing Chain/Net と Advanced Coloring はＯＫです）

・Sudopedia(http://www.sudopedia.org/wiki/Solving_Technique）で
「Techniques of Last Resort」に分類されているテク
（ただし、Forcing Net はＯＫです）
「Brute Force」

[ＯＫ]
・上記以外のミシチャンのサイトかSudopediaにあるテクおよびそのバリエーションならＯＫです。

・世界文化社の「仮押さえのカーブ」およびそのバリエーションもＯＫです。

・Unique Rectangle などの唯一解系もＯＫです。

・その他独自のテクは、この問題だけでなく他の問題にも適用できるような一般化した解説を付けてください。

回答No.1

muturajcp · ベストアンサー

ABC,DEF,GHI
851,423,796,ア
637,189,254,イ
249,675,183,ウ
182,546,937,エ
395,718,462,オ
476,392,518,カ
718,964,325,キ
564,231,879,ク
923,857,641,ケ

Hオ=4,6
Hオ=4のとき.....(1)
(1)&(Gオ=4,9)→Gオ=9..........(2)
(2)&(Gオ=4.or.Gア=4)→Gア=4...(3)
(3)&(Dア=4,8)→Dア=8..........(4)
(4)&(Dキ=8,9)→Dキ=9..........(5)
(4)&(5)&(Dケ=1,8,9)→Dケ=1....(6)
(1)&(6)&(Hケ=1,4,7)→Hケ=7....(7)
(6)&(7)&(Fケ=1,3,7)→Fケ=3....(8)
(7)&(8)&(Cケ=3,7,8)→Cケ=8....(9)
(9)&(Cカ=6,8)→Cカ=6..........(a)

Hカ=1.or.Iカ=1
Iカ=1のときHカ=1,6→Hカ=6.....(b)
(b)&(Hオ=4,6)→Hオ=4
Hオ=4のとき(a)→Cカ=6=Hカとなって矛盾
→Iカ≠1
→Hカ=1......................[1]
Iカ=8.or.Cカ=8
Cカ=8のとき..................[2]
[1]&[2]&(Iカ=1,6,8)→Iカ=6...[3]
[3]&(Hオ=4,6)→Hオ=4.........[4]
Hオ=4のとき(a)→Cカ=6≠8となって矛盾
Cカ≠8
Iカ=8
Iエ=7.or.Gエ=7
Gエ=7のとき
.....
となって矛盾
Gエ≠7
Iエ=7
Hケ=4.or.Hイ=4
Hイ=4のとき
.....
となって矛盾
Hイ≠4
Hケ=4

お礼

基準に合った解き方は以下のサイトからダウンロードしたSolverで分かりました。
http://sourceforge.net/projects/hodoku/files/

目的には至りませんでしたが、この問題を試みていただいて有難うございました。

補足

回答ありがとうございます。しかしながら、これはミシチャンのサイトでの背理法(SudopediaではTryal & Error)にあたる手法を幾重にも使ったものですね。
どうせ禁じ手の背理法を使うのなら一回だけにして、しかも手筋の少ない方法を考えていただけないでしょうか？