数独の最難問を提示された基準でといてください。

質問

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

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

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

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

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

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

回答No.1

auroray

これって少し前に話題になったものですよね!?
確かコンピュータが作成した一番難しい問題とかいうやつでしたね。

これは確か仮定を使わないと解けないと紹介されていたと思います。
ですので解答方法は見つからないかもしれませんね。

自分も５か所仮定していって解くことができました。

自分も誰か解答できないか期待してみます。

失礼しました。

お礼

補足について、この場をお借りして、訂正します。
[OK]のところで、
「上記以外のSudopedia」は「上記以外のHodoku」です。

補足

この問題は、当てずっぽうではなく論理で解けると紹介されています。
http://gigazine.net/news/20100822_hardest_sudoku/
まあ「論理」という日本語がまた曲者なのですが...
とにかく今、Sudopediaが繋がらない状態が続いているので、とりあえず、以下のように暫定的に改めたいと思います。

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

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

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

[ＮＧ - 禁止テク]
・ミシチャンのサイト(http://www.geocities.jp/master_mishichan/index.html)
「ここまでやる?級テクニック」に分類されているテク。
・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 などの唯一解系もＯＫです。
・その他独自のテクは、この問題だけでなく他の問題にも適用できるような一般化した解説を付けてください。

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