数独日誌180603
【Tachyonさん提供問題【３】【４】連(G)NL+(AHS/ALS)総合】
『この前編の発表の時の説明が不足していたと思います。弱リンクだけのXYZ-Loopや、リンク数字が一種類だけのGrouped X-Cycleなども、今回の特集の、NiceLoop拡張
ワザに含みますので、宜しく御了承ください。』
ということでAHSを含まない形もありのようです。
連(G)NL+(AHS/ALS)総合【3】
070 218 306
800 045 020
000 060 000
008 050 060
900 070 005
050 030 400
080 090 600
030 680 004
601 023 080
連(G)NL+(AHS/ALS)総合【4】
000 205 100
000 078 900
008 003 025
070 800 009
001 307 800
380 000 070
850 430 200
032 760 000
004 582 000
| 固定リンク
「趣味」カテゴリの記事
- 数独日誌241201(2024.12.01)
- 数独日誌241124(2024.11.24)
- 数独日誌241117(2024.11.17)
- 数独日誌241110(2024.11.10)
- 数独日誌241103(2024.11.03)
コメント
Tachyonさんへ
【３】
どうもAHSから先に探してしまいます。
r1c3(459)=9=＜r13c8(④59/1④579)＞=5=r78c8(1357/1579)-5-[r9c79(579/79)]-9-r9c2(49)=9=r8c3(2579)-9-r1c3
これで６リンク構成の連続タイプのGrouped Nice Loop with AHS & XYZ-chainが成立します。
Nice Loopの規則から、
r3c8から１と７と９が、
r8c7から５が、
r23c3から９が、
またこのLoopで未使用の７が、
r7c89,r8c78,r9c4から除外でき、クリアできると思います。
【４】
これはALSが目についたので、XYZ-chainを探しました。
r2c4(16)-1-r6c4(19)-9-[r246c3(356/56/569)]-3-[r2c89(346/346)]-6-r2c4
これで４リンク構成の連続タイプのNice Loop with XYZ-chainが成立します。
Nice Loopの規則から、
r3c4から１が、
r6c5から９が、
r2c123から６が、
またこのLoopで未使用の４が、
r2c12とr1c89とr3c7から、
同じく未使用の６が、
r17c3から除外でき、最後まで埋まると思います。
投稿: ikachan | 2018年6月 8日 (金) 16時59分
ikachanさんへ
【３】について：
正解です。
想定でもAHSを使いましたが、＜r13c8(④59/1④579)＞ではなく、
r5c8(13)-1-r78c8(1357/1579)=1=＜r7c9r8c7(1237/12579)②＞=3=r4c9(12379)-3-r5c8
で、
「r5c8(13)-1-r78c8(1357/1579)」より、r36c8<>1
「=1=＜r7c9r8c7(1237/12579)②＞=3=」より、r7c9<>7, r8c7<>579
としました。この後、９のX-wing(r18c39)で解決に至ります。
【４】について：
お見事です！！
想定でも[r246c3(356/56/569)]と[r2c89(346/346)]をつかいましたが、
r3c4(169)=9=r6c4(19)-9-[r246c3(356/56/569)]-3-[r2c89(346/346)]-6-r2c4(16)=6=r3c4
で、
「r6c4(19)-9-[r246c3(356/56/569)]」より、r6c5<>9
「-9-[r246c3(356/56/569)]-3-」より、r17c3<>6
「[r2c89(346/346)]-6-r2c4(16)」より、r2c123<>6
「-3-[r2c89(346/346)]-6-」より、r1c89,r2c12,r3c7<>4
「=6=r3c4(169)=9=」より、r3c4<>1
としました。r3c4の中継が余計でした。
投稿: Tachyon | 2018年6月10日 (日) 10時05分
ikachanさん、Tachyonさんこんばんは。
今回はAHSについて。
ikachanさんの【３】の回答をいつものようにAICに直してみます。
r1c3(9)=r1c8(9)-r1c8r3c8(45)=［r7c8(5),r8c8(5)］-r9c7(5)=［r9c7(9),r9c9(9)］-r9c2(9)=r8c3(9)-r1c3(9) ［X=r8c7(5),r2c3(9),r3c3(9),r7c8(7),r7c9(7),r8c7(7),r8c8(7),r9c4(7)］
例によってr3c8(1),r3c8(7),r3c8(9)が消せません。
そこで、＜r13c8(④59/1④579)＞について考えてみると、この2セルグループはラベル4が1セルを確保しているので、他に入れるラベルは1つしかありません。
［r1c8(5),r1c8(9),r3c8(1),r3c8(5),r3c8(7),r3c8(9)］
の中に真は1つです。つまり、この条件グループは弱リンクグループなのです。
そうなれば話は簡単で、r1c8r3c8(45)を［r1c8(5),r3c8(5)］に置き換えてしまえば良く、ここの弱リンクで使われなかったグループ内の条件が偽になる訳です。
私が最初にAICについての考察を書いたときに、ALSやAHSは強リンクを持つ2つのパーツに分けてChainを作るということを書きましたが、それは間違いでした。
ALSは内部に強リンクグループを、AHSは内部に弱リンクグループを持っていて、それを使ってChainを作らないと正しい条件消去はできないとわかりました。
Nice Loopは既にそれらを取り込んだ定理を作っていて、私よりまだまだ先に進んでいるのがわかります。
投稿: pot | 2018年6月12日 (火) 01時20分