画像の数独を、提示された基準で、解いてください。

画像の数独(途中まで自力で解いたもの)について、以下の基準で、どれかひとつでも、マスの埋まる解き方、あるいは候補が除外できる解き方(できるならテク名とその参照元も)を教えてください。

大きい数字が表出数字、丸で囲んだ数字があとから埋めた数字、小さい数字が今のところ除外できていない候補数字です。

(初級/中級程度の手筋は省略して結構です。全部の解答は必要ありません)

[ＮＧ - 禁止テク]
・Sudopedia( http://www.sudopedia.org/wiki/Solving_Technique )で
「Techniques of Last Resort」「Brute Force」に分類されているテク。

[ＯＫ]
・上記以外のSudopediaにあるテクおよびそのバリエーションならＯＫです。
・Unique Rectangle などの唯一解系もＯＫです。
・その他独自のテクは、この問題だけでなく他の問題にも適用できるような一般化した解説を付けてください。

ヒントは以下のサイトにあるようです。
http://www.sudoku.org.uk/SudokuThread.asp?fid=4& …

※試行錯誤的な方法なら解けるのは当たり前すぎるので、基準を遵守してください。

No.1 ベストアンサー 回答者： muturajcp 回答日時： 2011/02/04 03:34

a,b,c,d,e,f,g,h,i

2,5,3,1,7,9,4,6,8,ア
1,8,6,2,4,3,7,5,9,イ
4,9,7,6,8,5,1,3,2,ウ
9,2,4,5,1,6,3,8,7,エ
6,7,5,8,3,2,9,4,1,オ
8,3,1,7,9,4,6,2,5,カ
5,4,9,3,2,7,8,1,6,キ
3,1,2,9,6,8,5,7,4,ク
7,6,8,4,5,1,2,9,3,ケ

fウ=5..(fウマスに5が埋まる)

fウ≠5を仮定すると
fウ=5,6→fウ=6
fウ=6&(fウ,eア=5)→eア=5
fウ=6&(dウ=2,6)→dウ=2
fウ=6&(fエ=6,7)→fエ=7
dウ=2&fウ=6&(dイ=2,6,7)→dイ=7
dイ=7&(dイ,iイ=2)→iイ=2
dウ=2&fウ=6&(iウ=2,6,9)→iウ=9
eア=5&(eア,eケ=7)→eケ=7
iイ=2&(iイ,cイ=9)→cイ=9
eケ=7&(aケ=5,7)→aケ=5
aケ=5&(aイ=1,5)→aイ=1
eア=5→bア≠5
eア=5→cア≠5
aイ=1&bア≠5&cア≠5&(aイ,bア,cア,bウ=5)→bウ=5
aケ=5→aク≠5
eア=5→eク≠5
aク≠5&eク≠5&(aク,eク,gク=5)→gク=5
aイ=1&gク=5&dイ=7&(gイ=1,5,6,7)→gイ=6
gク=5&(gク,hキ=1)→hキ=1
aイ=1→aク≠1
gク=5&aク≠1&(aク,gク,bク=1)→bク=1
fエ=7&gイ=6&(gエ=3,6,7)→gエ=3
cイ=9→cキ≠9
iウ=9→iキ≠9
cキ≠9&hキ=1&iキ≠9&(cキ,hキ,iキ,bキ=9)→bキ=9
gエ=3&(cエ=3,4)→cエ=4
bウ=5&bキ=9&bク=1&(bウ,bキ,bク,bオ=4)→bオ=4=cエ
となって矛盾するから
∴
fウ=5

この回答への補足

提示した基準に従った解き方をお願い致します。

補足日時：2011/02/09 19:15

この回答へのお礼

Nice Loop with ALS によって、bウの候補６が除外できることが分かりましたので、この質問は、いったん締め切り、改めて出したいと思います。
次回からは、仮定法を使わずに、提示した基準に従った解き方をお願い致します。

お礼日時：2011/02/18 20:51