数独日誌170115
【Tachyonさん提供問題【３】【４】 六不連GNL with AHS & XYZC】
６リンクというそれほど長くないリンクですが、前回の【２】は残念でした。今回はうまく見つかるでしょうか？
六不連GNL+AHS&XYZC【３】
000 374 659
574 020 000
936 050 700
003 000 065
450 263 007
600 000 300
000 080 500
000 030 070
395 702 006
六不連GNL+AHS&XYZC【４】
400 002 103
000 004 506
700 030 000
012 000 005
004 985 700
570 241 630
000 020 004
143 600 007
007 400 000
| 固定リンク
「趣味」カテゴリの記事
- 数独日誌241201(2024.12.01)
- 数独日誌241124(2024.11.24)
- 数独日誌241117(2024.11.17)
- 数独日誌241110(2024.11.10)
- 数独日誌241103(2024.11.03)
コメント
Tachyonさんへ
Nice Loopは見つかりましたが、クリアに至りませんでした。とっても残念！
【３】
＜r8c46(14⑤69/1⑤69)＞=9=＜r48c7(1②489/1②49)＞=4=r9c7(148)-4-r9c5(14)-1-＜r8c46(⑤)＞
これで４リンク構成の不連続タイプのNice Loop with AHSが成立し、r8c46から１が除外できます。
さらにこのLoopの最後の部分を、
r9c5(14)-1-[r27c6(69/169)]-6-＜r8c46(⑤)＞と延ばすと、XYZ-chainも入り、r8c6からは６も除外できます。ですが、これは全く先に進まないようです。
【４】
r8c6(89)=8=＜r8c78(②89/②589)＞=5=＜r79c8(15⑥89/15⑥89)＞=1=r9c9(189)-1-[r89c5(59/159)]-9-r8c6
これで５リンク構成の不連続タイプのNice Loop with AHS & XYZ-chainが成立し、異なる数字の強リンクと弱リンクが連結しているr8c6が不連続点となり、ここから弱リンクの数字の９が除外でき、このマスは８で確定します。ただこれもクリアには至らないようです。
投稿: ikachan | 2017年1月19日 (木) 23時09分
ikachanさんへ
【３】について：
解決には至りませんでしたが、ikachanさんの手筋に問題はありません。
想定では、[WXY/XY/XYZ]に注目し、
r8c7(1249)=2=＜r4c57(14⑨/1248⑨)＞=4=r4c4(148)-4-r78c4(1469/14569)=4=r9c5(14)-4-[r259c7(18/189/148)]-9-r8c7
で、r8c7から９を除外としました。
この結果、r7c8が９に決定し、r8c13,r8c79,r29c7の二国同盟を経て最後まで埋まります。
実はこの問題、ALSを用いずに以下の５リンクの手筋：
=4=r4c4(148)-4-r78c4(1469/14569)=4=r9c5(14)-4-r9c7(148)=4=とが重ね合ったr4c7を不連続マスとして、
で、
r4c5から1、r4c7から1と8、r8c7から19を除外して解くことができます。
AHS(の一部)が不連続点となる特殊なケースを、改めて下にまとめておきます。
ア) x=＜セルA(xY..),セルB(xY..)＞=y
で、中核となる候補Ｙに強リンクでAに繋がれた場合：
セルAからxとＹ以外の候補を除外できます。
(※数独日誌160402の私の【９】についてのコメントを参照)
イ) x=＜セルA(xY..),セルB(xY..)＞-y
で、中核となる候補Ｙに弱リンクでAに繋がれた場合：
セルBからxとY以外の候補を除外できます。
(※数独日誌160402の私の【10】についてのコメントを参照)
ウ) x=＜セルA(xY..),セルB(xY..)＞とx=＜セルB(xY..),セルC(xY..)＞
で、セルBで重なった場合：
セルBからxとY以外の候補を除外できます。
(※数独日誌160319【６】と160521【４】についての私のコメントとを参照)
エ) x=＜セルA(xY..),セルB(xY..)＞とz=＜セルB(zY..),セルC(zY..)＞
で、セルBで重なった場合：
セルBからxとYとz以外の候補を除外できます。
(※数独日誌160319の私の【６】についてのコメントを参照)
オ) x=＜セルA(xY..),セルB(xY..)＞とx=＜セルB(xZ..),セルC(xZ..)＞
で、セルBで重なった場合：
セルAからxとY以外、セルBからxとYとZ以外、セルCからxとZ以外の候補を除外できます。
(※今回のケース)
カ) x=＜セルA(xYz..),セルB(Yz..)＞-z
で、中核でない候補に、zの弱リンクで、セルAとBに繋がった場合：
セルAとBからzを除外できます。
(※数独日誌160326の私の【８】についてのコメントを参照)
【４】について：
これも、解決には至りませんでしたが、ikachanさんの手筋に問題はありません。
想定でも、＜r79c8＞と[r89c5]を使いましたが、
r12c5(5679/179)-9-r8c5(59)-5-r8c8(259)=5=＜r79c8(15⑥89/15⑥89)＞=1=r7c4(1357)-1-[r89c5(59/159)]-9-r12c5
で、r12c5から９を除外としました。
この結果、r3c6が９に決定し、最後まで埋まります。
r8c5が重複しており、難しかったと思います。
投稿: Tachyon | 2017年1月22日 (日) 11時16分
すみません。半角の＜ ＞を使ったためリンク式の一部が消えてしまいました。
「=4=r4c4(148)-4-r78c4(1469/14569)=4=r9c5(14)-4-r9c7(148)=4=」のところは、以下のように訂正します。
＜r4c57(14⑨/1248⑨)＞=4=r4c4(148)-4-r78c4(1469/14569)=4=r9c5(14)-4-r9c7(148)=4=＜r48c7(1②489/1②49)＞
申し訳ありませんでした。
投稿: Tachyon | 2017年1月22日 (日) 12時57分
すみません。消えた部分が、もう一箇所ありました。
【３】について上記で指摘した部分に引き続いて、
「で、とが重ね合ったr4c7を不連続マスとして、
r4c5から1、r4c7から1と8、r8c7から19を除外して解くことができます。」のところは、以下のように訂正します。
で、＜r4c57⑨＞と＜r48c7②＞が重ね合ったr4c7を不連続マスとして、r4c5から1、r4c7から1と8、r8c7から19を除外して解くことができます。
度々、申し訳ありませんでした。
投稿: Tachyon | 2017年1月23日 (月) 18時10分
Tachyonさんへ
丁寧な解説ありがとうございます。
投稿: ikachan | 2017年1月23日 (月) 20時33分