数独日誌210328
【Tachyonさん提供問題【11】【12】総合＜X/XY/Y＞型】
今回は２問とも難しい気配が・・・
総＜X/XY/Y＞【11】
600 008 204
980 600 000
003 700 689
008 000 062
000 080 000
150 000 008
591 267 843
000 809 021
802 400 006
総＜X/XY/Y＞【12】
507 000 000
400 070 080
130 002 407
694 281 735
703 040 000
200 730 604
001 300 070
070 010 006
000 007 009
| 固定リンク
「趣味」カテゴリの記事
- 数独日誌241201(2024.12.01)
- 数独日誌241124(2024.11.24)
- 数独日誌241117(2024.11.17)
- 数独日誌241110(2024.11.10)
- 数独日誌241103(2024.11.03)
コメント
Tachyonさん、potさんへ
苦戦が続いています！
【11】
ひとつ見つかりましたが。
＜r5c6r6c56(134⑥/②3479/②34⑥)＞=4=r4c56(13479/134)-4-[r4c12(347/347)]-7-r4c5(13479)=7=＜r5c6r6c56②⑥＞
これでr4c7から４と７が、
r4c467から３が、
＜r5c6r6c56＞から2467以外の１，３，９が
除外できますが、クリアに至らないようです。
【12】
これも＜X/XY/Y＞型以外でひとつ見つかりましたがこれもクリアできませんでした。
r6c8(19)-1-r9c8(1245)=1=＜r9c17(③8/12③58)＞=8=r9c4(4568)-8-r3c4(5689)=8=r3c3(689)-8-r6c3(58)-5-r6c6(59)-9-r6c8
これでr15c8から１が、
＜r9c17＞から138以外の２と５が、
r18c4から８が、
r6c2から５が除外できますがダメ
でした。
投稿: ikachan | 2021年4月 1日 (木) 17時19分
ikachanさん、Tachyonさんこんばんは
【11】
r5c6r6c56を使って
r4c5(13479)=7=＜r5c6r6c56(134⑥/②3479/②34⑥)＞=4=r4c56(13479/134)-4-[r4c12(347/347)]-7-r4c5
このループはすぐに見つかった。r5c6r6c56の139、r4c7の47、r4c4567とr5c12の3が除外できるけどクリアならず。
他に使えるAHSはr358c2とr246c5があってr358c2を検討していると
r4c56(13479/134)-4-r4c2(347)=4=＜r358c2(1②4/②34⑥7/34⑥7)＞=1=r1c2(17)-1-r1c4(139)=1=r45c4(1359/1359)-1-r4c56(13479/134)
というリンクができて最初のループと上手く繋がる。
r4c5(13479)=7=＜r5c6r6c56(134⑥/②3479/②34⑥)＞=4=r4c56(13479/134)-4-r4c2(347)=4=＜r358c2(1②4/②34⑥7/34⑥7)＞=1=
r1c2(17)-1-r1c4(139)=1=r45c4(1359/1359)-1-r4c56(13479/134)=1=＜r4c47(13⑤9/134⑤79)＞=9=r4c5
より大きな連続タイプでr4c5の134、r5c6r6c56の139、r4c17の4、r358c2の37、r1c58の1、r4c47の347が消えるけどこれでもダメだった。
半分心が折れてるけど仕方ないのでこれを消去した状態で2発目を考える。
＜r5c6r6c56＞はr4c5(7)=r4c6(4)、＜r358c2＞はr1c2(1)=r4c2(4)、＜r246c5＞はr1c5(9)=r3c5(4)と同等なのでこれらを起点で調べると、
最初の2つはやはり繋がってしまってどうしても同じ形にしか持ち込めない。最後のリンクは
r1c2(17)-1-[r3c12(24/124)]-4-r3c5(145)=4=＜r246c5(②34/⑦9/②4⑦)＞=9=r1c5(39)-9-r1c4(19)-1-r1c2
でクリア、どうやらこっちが本命だったみたい。消去前の状態でここに持っていくには
r1c2(17)-1-[r3c12(24/124)]-4-r3c5(145)=4=＜r246c5(1②34/134⑦9/②34⑦9)＞=9=r1c5(139)-9-r4c5(13479)=9=
＜r4c47(13⑤9/134⑤79)＞=1=r4c56(13479/134)-1-r45c4(1359/1359)=1=r1c4(139)-1-r1c2
としてr1c2の1を除外でクリア、難しかった。
【12】
AHSは一杯あるけど有効なのはr1c469だけ、リンクも1と8で確定なので丁寧に調べるしかない。
8の側のリンクはr9c4経由だど結構伸びるのでまずこんなのができた。
r5c9(128)=1=r12c9(123/123)-1-r1c78(129-1269)=1=＜r1c469(1④689/③④689/12③)＞=8=r3c4(5689)-8-r9c4(4568)=8=＜r9c17(③8/12③58)＞=1=r9c8(1245)-1-[r56c8(129/19)]-2-r5c9
r5c9の2を除外だけどクリアならず。
＜r13c8(12⑥9/5⑥9)＞-9-[r56c8(129/19)]-1-r5c9(128)=1=r12c9(123/123)-1-r1c78(129-1269)=1=＜r1c469(1④689/③④689/12③)＞=8=r3c4(5689)-8-r9c4(4568)=8=＜r9c17(③8/12③58)＞=1=＜r89c8(2④5/12④5)＞=5=＜r13c8(⑥)＞
AHSが繋がるのでこんなループもできてr13c8の9除外でこれもダメ。r56c8をALSにしないで不連続点にすることもできて
r56c8(129/19)-1-r5c9(128)=1=r12c9(123/123)-1-r1c78(129-1269)=1=＜r1c469(1④689/③④689/12③)＞=8=r3c4(5689)-8-r9c4(4568)=8=＜r9c17(③8/12③58)＞=1=r9c8(1245)-1-r56c8
r56c8の1を除外、これはクリアでした。
投稿: pot | 2021年4月 1日 (木) 21時36分
ikachanさん、potさんへ
【11】について：
potさんので文句なく正解です。
ikachanの手筋からは、ikachanさんの結果で除外した候補の他に、r4c5から３が除外できます。
この後、以下のXYZ-Chainで解決に至ることができます。
r1c2-1-[r1c45]-3-[r89c5]-15-r3c5-4-[r3c12]-1-r1c2
想定は、
＜r5c6r6c56(134⑥/②3479/②34⑥)＞=4=r4c56(13479/134)-4-[r49c2(347/37)]-7-r1c2(17)-1-[r3c12(24/124)]-4-r3c5(145)=4=＜r246c5(1②34/134⑦9/②34⑦9)＞
とし、まず、ダブっているr6c5から2467以外の３９を除外。
そして、リンクする数字が同じで、中核となる数字が違うので、
r56c6から246以外の１３を除外、r24c5から247以外の１３９を除外としました。
２つのAHSがダブった場合の概要は以下の通りです。今回は[イ]のa)に相当します。
[大原則]
ダブったマスから、その中核となる数字でもなく、そしてそれぞれに強リンクする数字でもない候補は除外できる。
[ア] 二つのAHSの中核となる数字が同じ場合：
[大原則]のみ
[イ] 二つのAHSの中核となる数字が違う場合：
a) それぞれに強リンクする数字が同じ場合：
[大原則]の他に、
AHSでダブったマス以外のマスから、その中核となる数字でもなく、そのAHSに強リンクする数字でもない候補は除外できる。
b) それぞれに強リンクする数字が違う場合：
I. どちらも他方の中核となる数字とも違う場合：
連続的に繋がります（ドッキング）。
II. どちらも他方の中核となる数字と同じ場合：
[大原則]のみ
III. 一方だけが他方の中核となる数字と同じ場合：
[大原則]の他に、
AHSでダブったマス以外の、強リンクする数字Xが他方AHSの中核となる数字と同じ方のマスから、
そのAHSの中核となる数字でもなく、そのAHSに強リンクする数字Xでもない候補は除外できる。
IIIの例：
＜AB①＞=2=...=1=＜BC③＞ の場合、マスB<>123以外, マスC<>13以外
尚、potさんに近い別解として以下の手筋があります。
r1c2-1-[r3c12]-4-r3c5=4=＜r246c5②⑦＞=9=＜r4c47⑤＞=1=r4c56-1-r45c4=1=r1c4-1-r1c2
【12】について：
これもpotさんので文句なく正解です。
ikachanさんの結果の後、以下の手筋で解決に至ることができます。
＜r1c469③④＞=1=r1c7-1-[r9c17]-8-r9c4=8=r3c4-8-＜r1c469③④＞
想定は、potさんのに、かなり近く
r6c2(158)=1=r5c2(15)-1-r5c9(128)=1=r12c9(123/123)-1-r1c78(129-1269)=1=＜r1c469(1④689/③④689/12③)＞=8=r1c2(268)-8-r6c2
で、r6c2から８を除外しました。
投稿: Tachyon | 2021年4月 4日 (日) 09時15分
【11】について追記します。
＜X/XY/Y＞のように中核となる数字が複数ある場合は、ダブっているマスの中核数字で判断します。この場合、ダブってるマスはr6c5で、一方のAHSは②、他方のAHSは②⑦であり、二つのAHSの中核となる数字が違う場合となります。
投稿: Tachyon | 2021年4月 6日 (火) 07時25分
Tachyonさんへ
【11】について分からないことがあります。
「重複する二つのAHSの中核が異なり、リンクが同じ場合」で、AHSが2マス同士なら
その2つのAHSに含まれる3マスに入る数字が
・それぞれの中核数字が1つずつ
・リンク数字が1つまたは2つ（実際に2つは入れない）
と決まるから、その3マスが実質3国同盟になって重複でないマスからも除外可能ということは理解できます。
でも【11】は何故でしょうか？
2つのAHSに含まれる5マスに入る数字が
・片方のAHSにしか含まれない中核の6と7が1つずつ
・両方のAHSに含まれる中核の2が1つまたは2つ
・リンク数字の4が1つまたは2つ
しか決まらないと思うんです。それだと、この5マスに入る数字は2467が決まりますが、もう一つが2か4に決まらないと重複でないマスから除外できないと思います。
今のところ私の理解はここまでなので、全然違う理由があるかもしれませんが、Tachyonさんがどう判断したのかをお聞きしたいと思います。
投稿: pot | 2021年4月 7日 (水) 13時14分
potさん、ikachanさんへ
私が間違っていました。お詫びします。
この場合、重複マスには、違う中核数字は一方の⑦があるだけで、他方の違う中核数字⑥はありません。（②は共通の中核数字）
従って、[イ]のa)は成立しません。
但し、r4c5からは、重複マスにも存在している、違う中核数字⑦が有るので、247以外が除外できます。[大原則]も適用されます。
中核数字が２個以上ある場合には、違った定義が必要ですね。
投稿: Tachyon | 2021年4月 8日 (木) 15時59分