画像の数独について提示した基準での解き方を教えて！

質問

画像の数独は、途中まで自力で解いたものです。
大きい数字が表出数字、丸で囲んだ数字があとから埋めた数字、小さい数字が今のところ除外できていない候補数字です。

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

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

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

※初級/中級程度の手筋は省略して結構です。全部の解答は必要ありません。
※試行錯誤的な方法なら解けるのは当たり前すぎるので、仮定法を使わず、基準を遵守してください。

注文が多くて申し訳ありませんが、宜しくお願い致します。

回答No.1

muturajcp

a,b,c,d,e,f,g,h,i
2,6,4,8,1,5,9,3,7,ア
5,8,7,9,3,2,4,6,1,イ
3,1,9,4,7,6,8,2,5,ウ
4,5,2,1,8,9,6,7,3,エ
8,9,6,3,2,7,1,5,4,オ
7,3,1,6,5,4,2,8,9,カ
1,2,8,7,4,3,5,9,6,キ
6,4,3,5,9,8,7,1,2,ク
9,7,5,2,6,1,3,4,8,ケ

背理法仮定法等を用いたプログラム法

仮定法を用いての人による手計算では
解答を得るのは非常に困難であり
とても解けるのは当たり前とはいえませんが、
パソコンで解答プログラムを作成実行する、
ことによって解けます。

お礼

今、Sudopediaが繋がらない状態が続いているので、この場をお借りして、以下のように暫定的に改めたいと思います。

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

大きい数字が表出数字、丸で囲んだ数字があとから埋めた数字、小さい数字が今のところ除外できていない候補数字です。(ここまでは解答と合っていることは確認済みです）

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

[ＮＧ - 禁止テク]
・ミシチャンのサイト(http://www.geocities.jp/master_mishichan/index.h …
「ここまでやる?級テクニック」に分類されているテク。
・Hodoku( http://hodoku.sourceforge.net/en/techniques.php )で
「Methods of Last Resort」に分類されているテク。
但し、Advanced Coloring, Forcing Chain, Kraken FishはOKです。
(これらはSudopediaではLast Resortとされていませんでしたので)

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

※もろに試行錯誤的な方法なら解けるのは当たり前すぎるので、仮定法を使わず、基準を遵守してください。
注文が多くて申し訳ありませんが宜しくお願い致します。

補足

ご苦労様です。
手数はかかりますが、仮定法で解けることは分かりきっている事なので、プログラムを組むにしても、
何卒、提示した基準での解き方の説明をお願い致します。