下図の数独(途中まで解いたもの)について、以下の基準で、どれかひとつでも、マスの埋まる解き方、あるいは候補が除外できる解き方(できるならテク名とその参照元も)を教えてください。
大きい数字が表出数字、丸で囲んだ数字があとから埋めた数字、小さい数字が今のところ除外できていない候補数字です。
(ここまでは解答と合っていることは確認済みです)
(初級/中級程度の手筋は省略して結構です。全部の解答は必要ありません)
[NG - 禁止テク]
以下のサイト(Sudopedia)で「Techniques of Last Resort」「Brute Force」に分類されているテク
http://www.sudopedia.org/wiki/Solving_Technique
[OK]
・「Techniques of Last Resort」「Brute Force」に分類されているテク以外のSudopediaにあるテクおよびそのバリエーションならOKです。
・Unique Rectangle などの唯一解系もOKです。
・その他、独自のテクは、この問題だけでなく他の問題にも適用できるような一般化した解説を付けてください。
(参照元があればそれもお願いします)
※もろに試行錯誤的な方法なら解けるのは当たり前すぎるので、仮定法を使わず、基準を遵守してください。
注文が多くて申し訳ありませんが宜しくお願い致します。
A 回答 (1件)
- 最新から表示
- 回答順に表示
No.1
- 回答日時:
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,ケ
&はAND,|はORを表すとすると
連立方程式
p1={aイ=5|7|9|6}=真
&q2={aキ=1|aキ=6}=真
&q3={aイ≠aキ}=真
&q4={aク=1|aク=5|aク=6}=真
&q5={aキ≠aク}=真
&q6={aイ≠aク}=真
&q7={aケ=1|aケ=5|aケ=6|aケ=9}=真
&q8={aイ≠aケ}=真
&q9={aキ≠aケ}=真
&q10={aク≠aケ}=真
&q11={fキ=1|fケ=1}=真
&q12={aキ≠fキ}=真
&q13={aキ=6|aク=6|aケ=6|cケ=6}=真
&q14={hケ=1|hケ=4|hケ=6}=真
&q15={cケ≠hケ}=真
&q16={fケ≠hケ}=真
&q17={gイ=4|hイ=4}=真
&q18={hイ≠hケ}=真
&q19={hイ=4|hイ=5|hイ=6}=真
&q20={aイ≠hイ}=真
&q21={gイ≠hイ}=真
&q22={aイ=9|cイ=9|dイ=9|gイ=9}=真
&q23={fア=9|fウ=9|fエ=9}=真
&q24={dイ≠fア}=真
&q25={dイ≠fウ}=真
&q26={bエ=5|fエ=5|hエ=5}=真
&q27={hイ≠hエ}=真
&q28={bア=5|bア=6|bア=9}=真
&q29={bア≠bエ}=真
&q30={aイ≠bア}=真
&q31={gア=9|iア=9|gイ=9|iウ=9}=真
&q32={bア≠gア}=真
&q33={bア≠iア}=真
&q34={bカ=9|dカ=9|iカ=9}=真
&q35={bア≠bカ}=真
&q36={dイ≠dカ}=真
&q37={iウ≠iカ}=真
が成り立つからこれを解いていくと
p1&q2&q3→
p2={aイ=5|7|9|aキ=1}=真
p1&p2&q4&q5&q6→
p3={aイ=5|7|9|aク=5}=真
p1&p2&p3&q7&q8&q9&q10→
p4={aイ=5|7|9|aケ=9}=真
p2&q11&q12→
p5={aイ=5|7|9|fケ=1}=真
p2&p3&p4&q13→
p6={aイ=5|7|9|cケ=6}=真
p5&p6&q14&q15&q16→
p7={aイ=5|7|9|hケ=4}=真
p7&q17&q18→
p8={aイ=5|7|9|gイ=4}=真
p1&p8&q19&q20&q21→
p9={aイ=5|7|9|hイ=5}=真
p1&p2&p8&q22→
p10={aイ=5|7|9|dイ=9}=真
p10&q23&q24&q25→
p11={aイ=5|7|9|fエ=9}=真
p9&p11&q26&q27→
p12={aイ=5|7|9|bエ=5}=真
p1&p12&q28&q29&q30→
p13={aイ=5|7|9|bア=9}=真
p8&p13&q31&q32&q33→
p14={aイ=5|7|9|iウ=9}=真
p10&p13&q34&q35&q36→
p15={aイ=5|7|9|iカ=9}=真
→p14&p15&q37=真
={aイ=5|7|9|iウ=9}&{aイ=5|7|9|iカ=9}&{iウ≠iカ}=真
={aイ=5|7|9}=真
∴aイ≠6
(なお仮定法背理法は一切使用していませんし、試行錯誤的な方法ではありません)
この回答への補足
随所に見られる「{aイ=5|7|9|...}=真」は、aイが、5でもなく、7でもなく、9でもない、
即ち、「aイが6ならば...である」を表しているにすぎないように思われます。
全体をトレースして見ましたが、残念ながら「aイが6ならば、iウとiカが9となり矛盾する」
という仮定法背理法以上のテクは見つかりませんでした。
強いて言えば、Forcing Netかもしれませんが、これもSudopediaでは、
Last Resortに入ることをご了承ください。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
nは自然数 n^2と2n+1は互いに素...
-
アリバイの理論について
-
背理法での証明について 疑問に...
-
数Ⅰで習う背理法についてです。...
-
命題論理に関する英単語
-
高校数学、論理
-
a>0、b>0⇔a+b>0、ab>0
-
数学での背理法について
-
命題「PならばQ」でPが偽ならば...
-
数学B漸化式です。 a1=1/5, an+...
-
数学の背理法について質問です...
-
「逆は必ずしも真ならず」の証...
-
フェルマー?の証明
-
n=3の倍数ならば、n=6の倍数で...
-
天使と悪魔(論理学)
-
対偶
-
命題の真偽の問題で 命題〇〇に...
-
背理法について
-
a.bが定数で任意のε>0に対してa...
-
命題 裏の真偽
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
命題「PならばQ」でPが偽ならば...
-
n=3の倍数ならば、n=6の倍数で...
-
高校数学 ドモルガンの法則につ...
-
命題を証明せよとはどういう意...
-
数学の背理法について質問です...
-
命題論理に関する英単語
-
「逆もまた真なり」について
-
a>0、b>0⇔a+b>0、ab>0
-
強い仮定、弱い仮定、とは
-
有理数を文字置き→互いに素な整...
-
高校数学、論理
-
数学の論理学的な質問なんです...
-
a,bが有理数として√6が無理数を...
-
数学B漸化式です。 a1=1/5, an+...
-
青チャートに、「命題p⇒qの否定...
-
x≠1⇒xの二乗≠1の真偽
-
高1の数学の問題です
-
ウェイソン選択課題について悩...
-
数学で出てくる十分性と必要性...
-
高校数学です!m,nを整数とする...
おすすめ情報