« 数独日誌180422 | トップページ | 数独日誌180506 »

数独日誌180429

【Tachyonさん提供問題【17】【18】重AHS総合】
   今回も何とか食らいつきたいですが。果たして。

重AHS総合【17】
004 005 002
200 800 010
000 000 800

000 783 591
000 050 006
513 692 000

001 000 000
060 007 103
700 500 900

重AHS総合【18】
075 006 030
600 000 028
000 030 000

500 001 370
348 090 165
010 503 000

000 020 000
482 000 003
050 300 210

|

« 数独日誌180422 | トップページ | 数独日誌180506 »

趣味」カテゴリの記事

コメント

Tachyonさんへ
【17】
これも比較的早く見つかりました。快調です!
<r13c1(①3689/①369)>=6=r4c1(46)-6-r4c3(26)-2-r9c3(28)-8-r9c6(1468)=8=r7c6(4689)=9=r23c6(469/1469)-9-r1c4(139)=9=<r1c12(136⑧9/37⑧9)>

これで8リンク構成の、AHSの連結を含む、連続タイプのGrouped Nice Loop with AHSが成立します。

Nice Loopの規則から、
r8c3から2が、
r9c289から8が、
r7c6から4と6が、
r3c4から9が、
r1c2から3と7が、
r3c1から3と9が、
r1c1から3が除外でき、最後まで埋まると思います。

【18】
と思ったんですが、これはダメでした。すぐにひとつ見つかったんですが、残念!!

<r8c45(①679/①567)>=6=r8c7(5679)-6-r3c7(45679)=6=r3c9(14679)=1=r1c9(149)-1-r1c5(148)=1=<r28c5(14⑤7/1⑤67)>

これでAHSの連結を含む6リンク構成のNice Loop with AHSが成り立ちます。AHSが連結しているr8c5が不連続点となり、ここから7が除外できますが、クリアできないようです。

投稿: ikachan | 2018年5月 4日 (金) 15時37分

ikachanさんへ

【17】について:
正解です。

想定では、ikachanさんの手筋とほぼ同じなのですが、<r13c1①>からr9c6までのルートが違って、
<r13c1(①3689/①369)>=3=r7c1(3489)-3-r9c2(2348)=3=r9c5(12346)=1=r9c6(1468)=8=r7c6(4689)=9=r23c6(469/1469)-9-r1c4(139)=9=<r1c12(136⑧9/37⑧9)>
で、結果はikachanさんと同じです。


【18】について:
ikachanさんの手筋は、AHSの重なり方が面白いケースですね!
はじめて見ました。
一見したとさんのころ、数独日誌180225の私のコメントにあるケース(d)かな?と思ったのですが、中核となる候補数字が他方のAHSの強リンクの数字と同じになっていて、この場合は連続的につながりません。
除外する候補は、ikachanさんので合っています。
この後、7のFinnedSworfish(r258c467)で解決に至ることができます。

想定では、r3c9から<r28c5⑤>に至る部分が違って、
<r8c45(①679/①567)>=6=r8c7(5679)-6-r3c7(45679)=6=r3c9(14679)=7=r79c9(4679/4679)-7-r8c7(5679)=7=r8c456(1679/1567/579)-7-r9c5(4678)=7=<r28c5(14⑤7/1⑤67)>
で、中核となる候補数字が他方のAHSの強リンクの数字と違ってケース(d)の連続タイプとなり、
「r8c7(5679)-6-r3c7(45679)」よりr7c7<>6
「=6=r3c9(14679)=7=」よりr3c9<>149
「r79c9(4679/4679)-7-r8c7(5679)」よりr7c7<>7
「r8c456(1679/1567/579)-7-r9c5(4678)」よりr7c46,r9c6<>7
「=7=<r28c5(14⑤7/1⑤67)>」「<r8c45(①679/①567)>=6=」よりr2c5<>14, r8c4<>79
としました。
AHSどうしではありませんが、r8c45がさらに重なり、またr8c7もダブってかなり見つけるのが難しい手筋だと思います。

投稿: Tachyon | 2018年5月 6日 (日) 10時12分

Tachyonさんへ
<r28c5(14⑤7/1⑤67)>は、r1c5とは1の強リンクで、また
r9c5とは7の強リンクでつながるということはチェックして
いましたが、確かに7の強リンクでつないだ後が難しいですね。

投稿: ikachan | 2018年5月 6日 (日) 15時14分

ikachanさんへ

【18】についての追記:
その後の調べで、ikachanさんの手筋で、r2c5から4と7が除外できることが分かりました。
 r8c7が6でない場合→r8c45(16/16)→r2c5(5)
 r8c7が6の場合→r28c5(15/15)
とすると、そのまま解決に至ることができます。
惜しい!!

投稿: Tachyon | 2018年5月 9日 (水) 12時43分

Tachyonさんへ
フォローしていただいてありがとうございます。確かにr2c5から除外できますね。 残念でした!

投稿: ikachan | 2018年5月 9日 (水) 17時24分

ikachanさんへ
ikachanさんがAHSどうしがダブる手筋で新しいケースを見つけたので、数独日誌180225の私のコメントにある、その手筋のまとめを見直しました。
(※大文字は中核となる候補数字を表します)


[ア] 二つのAHSの中核となる数字が同じ場合:
→ダブったマスから、その中核となる数字でもなく、そしてそれぞれに強リンクする数字でもない候補は除外できる。

a) それぞれにリンクする数字が同じ場合→不連続点となります。
x=<マスA(xY..),マスB(xY..)>とx=<マスB(xY..),マスC(xY..)>
不連続点がここだけであれば、マスBからxとY以外の候補を除外できます。
(※数独日誌160319【6】と160521【4】についての私のコメントを参照)

b) それぞれにリンクする数字が違う場合→不連続点となります。
x=<マスA(xY..),マスB(xY..)>とz=<マスB(zY..),マスC(zY..)>
不連続点がここだけであれば、マスBからxとYとz以外の候補を除外できます。
(※数独日誌160319【6】についての私のコメントを参照)


[イ] 二つのAHSの中核となる数字が違う場合:

c) それぞれにリンクする数字が同じ場合→不連続点となります。
x=<マスA(xY..),マスB(xY..)>とx=<マスB(xZ..),マスC(xZ..)
不連続点がここだけであれば、マスAからxとY以外、マスBからxとYとZ以外、マスCからxとZ以外の候補を除外できます。
(※数独日誌170115【3】についての私のコメントを参照)

d) それぞれにリンクする数字が違い、どちらも他方の中核となる数字とも違う場合→連続点となります(ドッキング)。
x=<マスA(xY..),マスB(xY..)>とz=<マスB(zW..),マスC(zW..)>
(※数独日誌170205【10】についての私のコメントを参照)

e) それぞれにリンクする数字が違い、どちらか一方が他方の中核となる数字と同じ場合→不連続点となります。
x=<マスA(xY..),マスB(xY..)>とz=<マスB(zX..),マスC(zX..)> (Xとxは同じ数字)
不連続点がここだけであれば、マスAからxとY以外、マスBからX(x)とYとz以外の候補を除外できます。
(※今回【18】のikachanさんの手筋のケース)

投稿: Tachyon | 2018年5月13日 (日) 10時53分

コメントを書く



(ウェブ上には掲載しません)




トラックバック


この記事へのトラックバック一覧です: 数独日誌180429:

« 数独日誌180422 | トップページ | 数独日誌180506 »