« 数独日誌190217 | トップページ | 数独日誌190303 »

数独日誌190224

【Tachyonさん提供問題【3】【4】七上XY-YZ二数L】
   やはり両方とも7リンクでしたか。ひとつ見つかると安心してしまい、なかなかさらに追求する意欲がでてきません。

七上XY-YZ二数L【3】
000 000 094
100 600 205
000 009 300

000 040 758
725 080 460
804 050 032

008 100 000
406 008 003
270 000 000

七上XY-YZ二数L【4】
007 001 080
901 500 074
680 000 120

000 052 400
000 070 000
008 930 000

040 010 063
300 005 241
010 403 700

|

« 数独日誌190217 | トップページ | 数独日誌190303 »

趣味」カテゴリの記事

コメント

Tachyonさん、potさんへ
【3】
玉砕しました。 残念!
ALS(XY-YZ型)はr46c4(29/79)-27-r8c4(257)と、r6c47(79/19)-17-r6c6(167)の2か所だけだと思うんですが、これがうまくつながりませんでした。

【4】
これは比較的すんなり見つかりました。

r8c2(679)=7=r8c4(678)-7-[r37c4(37/27)]-23-r1c4(236)-6-[r139c9(569/59/589)]-8-r9c1(258)=8=r7c1(2578)=7=r8c2

これで2数字リンクを含む7リンク構成の不連続タイプのNice Loop with ALS(XY-YZ型)が成り立ち、同じ数字の強リンクが連結しているr8c2が不連続点となり、ここがその数字の7で確定します。この後r6に56の2国同盟が登場しますが、クリアできると思います。

投稿: ikachan | 2019年3月 1日 (金) 17時15分

ikachanさん、Tachyonさんこんばんは。

【3】
r6c7(19)=1=r5c9(19)=9=r5c4(39)-9-[r46c4(29/79)]-27-r8c4(257)-5-[r68c7(19/159)]

最初見つかったのがこんなループで、ALSの1マスに強リンクで繋がった形です。
この形は、r6c7かr68c7のどちらかに1が入るのでc7の他のマスから1が消せます。このままではまずいなら、

r19c7(168/15689)-1-r6c7(19)=1=r5c9(19)=9=r5c4(39)-9-[r46c4(29/79)]-27-r8c4(257)-5-[r68c7(19/159)]-1-r19c7

という7リンクはどうでしょうか。もう少し考えて、

<r19c7(16⑧/156⑧9)>=5=r9c46(345/345)-5-r8c4(257)-27-[r46c4(29/79)]-9-r5c4(39)=9=r5c9(19)=1=r6c7(19)-1-<r19c7(⑧)>

というループにも気付きました。どちらもr19c7から1を消去できて解決します。

【4】
私もこれは比較的すんなり見つかりました。ikachanさんと同じループです。

投稿: pot | 2019年3月 1日 (金) 23時55分

ikachanさん、potさんへ

【3】について:
potさんのやり方で正解です。
potさんの最初の手筋は、表現の仕方を変えれば以下と同じになり、ALSに強リンクが突っ込んだ数独日誌では前代未聞のケースだと思います。

[r68c7(19/159)]-5-r8c4(257)-27-[r46c4(29/79)]-9-r5c4(39)=9=r5c9(19)=1=[r68c7]

potさんは「r6c7かr68c7のどちらかに1が入るので」としていますが、「r6c7が1になるか、r68c7が19の二国同盟になるので」の意味だと思います。
「ALSに数字Xの強リンクが接続した場合、そのALSを全て含むユニットから、そのALS以外のXを除外できる。」という公式が導きだせますね。

想定でも大筋は同じなのですが、r6c7が重複した形となり、
r1c7-1-[r68c7]-5-r8c4-27-[r46c4]-9-r5c4=9=r5c9-9-r6c7-1-r1c7
でr1c7から1を除外としました。まあpotさんが次に提示した手筋との違いは、r9c7は含めなかっただけですね。

potさんの最後の手筋も問題ありません。正解です。


【4】について:
ikachanさんのやり方で正解です。

想定でも[r139c9]を使って、ほぼ同じで、
r7c1(2578)-7-r8c2(679)=7=r8c4(678)-7-[r37c4(37/27)]-23-r1c4(236)-6-[r139c9(569/59/589)]-8-r7c7(589)=8=r7c1
で、r7c1から7を除外としました。

投稿: Tachyon | 2019年3月 2日 (土) 11時11分

コメントを書く



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




トラックバック


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

« 数独日誌190217 | トップページ | 数独日誌190303 »