下図の数独(途中まで解いたもの)について、以下の基準で、どれかひとつでも、マスの埋まる解き方、あるいは候補が除外できる解き方(できるならテク名とその参照元も)を教えてください。
大きい数字が表出数字、丸で囲んだ数字があとから埋めた数字、小さい数字が今のところ除外できていない候補数字です。
(ここまでは解答と合っていることは確認済みです)
(初級/中級程度の手筋は省略して結構です。全部の解答は必要ありません)
[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で質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・14歳の自分に衝撃の事実を告げてください
- ・架空の映画のネタバレレビュー
- ・「お昼の放送」の思い出
- ・昨日見た夢を教えて下さい
- ・ちょっと先の未来クイズ第4問
- ・【大喜利】【投稿~10/21(月)】買ったばかりの自転車を分解してひと言
- ・メモのコツを教えてください!
- ・CDの保有枚数を教えてください
- ・ホテルを選ぶとき、これだけは譲れない条件TOP3は?
- ・家・車以外で、人生で一番奮発した買い物
- ・人生最悪の忘れ物
- ・【コナン30周年】嘘でしょ!?と思った○○周年を教えて【ハルヒ20周年】
- ・ハマっている「お菓子」を教えて!
- ・最近、いつ泣きましたか?
- ・夏が終わったと感じる瞬間って、どんな時?
- ・10秒目をつむったら…
- ・人生のプチ美学を教えてください!!
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・都道府県穴埋めゲーム
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
背理法と対偶証明の違いについて
-
命題「PならばQ」でPが偽ならば...
-
高校数学I (問題) n は 自然...
-
a,bが有理数として√6が無理数を...
-
「逆は必ずしも真ならず」の証...
-
xは実数とする。次の命題の真偽...
-
「逆もまた真なり」について
-
矛盾と両立
-
数学の背理法について質問です...
-
命題 裏の真偽
-
高1の数学の問題です
-
n=3の倍数ならば、n=6の倍数で...
-
命題論理の反例について
-
4枚のカードの問題
-
x≠1⇒xの二乗≠1の真偽
-
高校数学 ドモルガンの法則につ...
-
背理法について質問があります...
-
強い仮定、弱い仮定、とは
-
命題の証明で・・・
-
数学の論理学的な質問なんです...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
命題「PならばQ」でPが偽ならば...
-
a>0、b>0⇔a+b>0、ab>0
-
n=3の倍数ならば、n=6の倍数で...
-
「逆もまた真なり」について
-
命題を証明せよとはどういう意...
-
高校数学です!m,nを整数とする...
-
強い仮定、弱い仮定、とは
-
数学の背理法について質問です...
-
命題論理に関する英単語
-
「逆は必ずしも真ならず」の証...
-
数学の論理学的な質問なんです...
-
数Ⅰの問題です x,yは実数、nは...
-
数学的帰納法の根本的な疑問な...
-
青チャートに、「命題p⇒qの否定...
-
数学。「次の命題の真偽を調べ...
-
対偶法による無理数の証明につ...
-
a,bが有理数として√6が無理数を...
-
nは自然数 n^2と2n+1は互いに素...
-
AでなければBでない の対偶は?
-
a.bが定数で任意のε>0に対してa...
おすすめ情報