数独日誌180730
【Tachyonさん提供問題【５】【６】不連(G)NL+(AHS/ALS)総合】
まだ前半ですが、難問が続いています。
不連(G)NL+(AHS/ALS)総合【５】
000 016 800
600 008 450
008 090 067
465 080 200
000 060 500
003 050 618
200 040 900
014 600 705
000 870 000
不連(G)NL+(AHS/ALS)総合【６】
100 259 080
090 030 005
008 400 090
000 000 040
964 583 217
010 040 050
009 004 500
600 090 030
080 075 009
| 固定リンク
「趣味」カテゴリの記事
- 数独日誌241201(2024.12.01)
- 数独日誌241124(2024.11.24)
- 数独日誌241117(2024.11.17)
- 数独日誌241110(2024.11.10)
- 数独日誌241103(2024.11.03)
コメント
Tachyonさんへ
Nice Loopは見つかったんですが、クリアに至りません。これはヒントをお願いします。
投稿: ikachan | 2018年8月 3日 (金) 13時12分
ikachanさんへ
あまりにも見つけにくい手筋の問題を出してごめんなさい。
・二問ともに、二数字リンク(弱)を使うことを想定しています。
・【５】ではAHSを想定していませんが、【６】では想定しています。
・【５】ではr1c7が重複することを想定しています。
投稿: Tachyon | 2018年8月 4日 (土) 09時51分
Tachyonさんへ
【５】
連続タイプが見つかりましたが。
r9c7(13)-3-[r9c12(359/359)]-9-r9c3(69)-6-r7c3(67)-7-r1c3(279)-29-[r1c89(239/239)]-3-r3c7(13)=3=r9c7
これで７リンク構成の、２数字リンクを含む連続タイプのNice Loop with XYZ-chainが成立します。
Nice Loopの規則から、
r9c689から３が、
r8c1とr9c6から９が、
r25c3から７が、
r1c124から２と９が、
r2c9から３が、
またこのLoopで未使用の５がr7c2とr9c6から除外できます。ただこのあとクリアするにはXY-wingが２回必要なようです。
【６】
まず４についてのX-wingがあります。
これも連続タイプがひとつ見つかりましたが。
r7c8(267)=7=r8c7(178)=8=r46c7(3689/3689)-8-[r46c9(368/368)]-36-r1c9(346)-4-r1c2(347)=4=r2c1(247)-4-r9c1(234)-23-r7c12(237/237)-7-r7c8
これで９リンク構成の、２数字リンクを含む連続タイプのGrouped Nice Loop with XYZ-chainが成立します。
Nice Loopの規則から、
r8c7から１が、
r36c9から３と６を、
r8c23とr9c3から２と３を除外できますが、
この後、さらに上級手筋を使わないとクリア
できないようです。
投稿: ikachan | 2018年8月10日 (金) 17時54分
ikachanさん、Tachyonさんこんばんは。
最近のTachyonさんの問題は相当に難しいですよね。特に不連続タイプは、不連続点がALSやAHSになった時の処置が私には上手く出来ません。
それらしいルートは見つかったのですが、Nice Loopでの表現が上手く出来ないので【５】【６】ともAICで書きます。
【５】
r9c9(6)=r9c3(6)-r7c3(6)=r7c3(7)-r1c3(7)=[r1c8(3),r1c9(3)]-r3c7(3)=r9c7(3)-[r7c8(3),r8c8(3)]=r8c8(2)
これは、r9c89(④)のAHS、r1c389のALS(2数字リンクで分割)、r78c8のALSを使っていて、r9c9(6),r8c8(2)のどちらかが真になることから、共通の弱リンクとなるr9c8(2),r9c9(2)を消去でき、最後まで進みます。
次の2要素を使うと、より短いChainが出来ます。こちらは、r9c9(234)を消去できて、最後まで進みます。
右上ブロックの2拓セルが作る弱リンクグループ [r1c8(3),r1c9(3),r2c9(1),r2c9(3)]
c9ラベル16の隠れALSが作る強リンクグループ
（[r2c9(1)],[r7c9(1),r7c9(6)],[r9c9(1),r9c9(6)]）
r9c9(6)=r9c3(6)-r7c3(6)=r7c3(7)-r1c3(7)=[r1c8(3),r1c9(3)]-r2c9(1)=[r9c9(1),r9c9(6)]
【６】
こちらも、同じような感じで、以下のChainが作れます。
r1c9(4)=[r4c9(8),r6c9(8)]-r7c9(8)=r7c4(8)-[r7c4(6),r9c4(6)]=r7c5(6)-r3c5(6)=r3c5(1)-[r3c7(1),r3c9(1)]=r2c7(1)
使っているのは、r1c9r2c7(④)のAHS、r146c9のALS(2数字リンクで分割)、r79c4(③)のAHSで、r1c9(4),r2c7(1)のどちらかが真になることから、共通の弱リンクとなるr1c9(3),r1c9(6),r2c7(4)を消去でき、最後まで進みます。
さらに、以下の2要素を使うとより短いChainが作れて、r2c1が4に決まり、最後まで進みます。
r2ラベル148の隠れALSが作る強リンクグループ
（[r2c1(4)],[r2c4(1),r2c4(8)],[r2c6(1),r2c6(8)],[r2c7(1),r2c7(4)]）
c4の2拓セルが作る弱リンクグループ [r2c4(1),r2c4(8),r4c4(1),r7c4(1),r7c4(8),r9c4(1)]
r2c1(4)=[r2c4(1),r2c4(8)]-r7c4(8)=r7c9(8)-[r4c9(8),r6c9(8)]=r1c9(4)-r1c2(4)=r2c1(4)
投稿: pot | 2018年8月10日 (金) 22時46分
ikachanさん、potさんへ
大変申し訳ございません。
ヒントで「【５】ではr1c7が重複することを想定しています。」と書きましたが、間違っていました。
正しくは「r9c7が重複」でした。お詫び致します。
【５】について：
ikachanさんの手筋の後、XY-Chain：
r8c5-2-r9c6-1-r9c7-3-[r78c8]-2-r8c5
で解決に至ることができます。
potさんの上段のAICに近い手筋は以下になると思います。
＜r9c89④＞=6=r9c3-6-r7c3-7-r1c3-29-[r1c89]-3-r3c7=3=r9c7-3-[r78c8]-2-＜r9c89④＞
potさんの下段のAICに近い手筋は以下になると思います。
＜r79c9⑥＞=6=r9c3-6-r7c3-7-r1c3-29-r1c89=29=r2c9=1=＜r79c9⑥＞
想定では、XYZ-Chain：
r789c8(38/238/234)-3-[r7c9r9c7(136/13)]-6-r7c3(67)-7-r1c3(279)-29-[r1c89(239/239)]-3-r3c7(13)-1-r9c7(13)-3-r789c8
で、r789c8から３を除外としました。
【６】について：
ikachanさんの
「-23-r7c12(237/237)-7-」は「-23-[r7c12(237/237)]-7-」、
「r36c9から３と６を」は「r37c9から３と６を」の事だとすれば、その後、標準NiceLoop：
r2c7=1=r2c4-1-r8c4=1=r8c9=4=r9c7-4-r2c7
で解決に至ることができます。
想定では、
r1c9(346)=4=r2c7(1467)=1=r3c79(1367/1236)-1-r3c5(16)-6-r7c5(126)=6=＜r79c4(1③68/1③6)＞=8=r7c9(1268)-8-[r46c9(368/368)]-36-r1c9
で、r1c9から３と６を除外としました。これはpotさんの上段のAICとほぼ同じだと思います。
potさんの下段のAICは、どうもよく分からないのですが近い手筋は以下ではないかと思います。
r2c1=4=r2c7=1=r2c46-1-r3c5-6-r7c5=6=＜r79c4③＞=8=r7c9-8-[r46c9]-36-r1c9-4-r1c2=4=r2c1
それでは、この特集の後編を発表したいと思います。
どの問題も、うまくやればニコリのワザ(Ｎ国同盟、四角の対角線等)と、(Grouped) Nice Loop (with XYZ-Chain)一発で解けます。
...が、あんまり一発にはこだわらなくても良いと思います。
不連(G)NL+(AHS/ALS)総合【７】
400 002 301
800 000 000
001 040 920
008 096 742
907 428 510
240 170 000
089 060 200
000 000 005
704 200 000
不連(G)NL+(AHS/ALS)総合【８】
876 109 403
519 000 008
324 000 000
700 006 840
690 040 030
402 300 006
267 000 395
140 000 000
900 607 104
不連(G)NL+(AHS/ALS)総合【９】
050 300 160
006 100 000
007 640 200
731 064 050
608 057 301
590 813 670
865 729 413
003 086 700
070 031 086
不連(G)NL+(AHS/ALS)総合【10】
000 090 610
000 310 008
000 006 930
250 000 091
360 020 074
710 000 006
085 900 000
400 075 000
007 040 000
不連(G)NL+(AHS/ALS)総合【11】
145 000 702
006 700 801
070 000 300
057 290 130
000 507 000
020 031 075
500 000 000
403 002 500
702 000 983
不連(G)NL+(AHS/ALS)総合【12】
009 000 206
020 005 140
000 032 008
000 040 620
067 250 980
012 068 000
200 870 000
076 504 800
800 000 400
投稿: Tachyon | 2018年8月11日 (土) 15時25分
Tachyonさんへ
【５】
これは難しくなかったですね。r789c8(38/238/234)の３マスのグループ化がちょっと盲点でした。
投稿: ikachan | 2018年8月12日 (日) 15時08分