数独日誌180525
【Tachyonさん提供問題【１】【２】連(G)NL+(AHS/ALS)総合】
TachyonさんからまたまたNice Loopの応用問題を提供していただきました。いつもありがとうございます。
AHSというのはAlmost Hidden Sets、つまり「ほぼかくれn国同盟」ということで、ALSはAlmost Locked Sets、つまり「ほぼn国同盟」ということです。ALSのタイプは２つのマスの
候補数字がxyとxyzの形、xyzとxyzの形、３つのマスの候補数字がxyとwxyとxyzの形があります。またALSはXYZ-chainの一環として登場します。
『お待たせしました。
これまでやってきたNiceLoop拡張ワザについての連続タイプ特集の前編を発表したいと思います。どの問題も、うまくやればニコリのワザ(Ｎ国同盟、四角の対角線等)と、(Grouped) Nice Loop (with XYZ-Chain)一発で解けます。』
連(G)NL+(AHS/ALS)総合【1】
713 462 859
000 917 432
249 005 006
400 109 000
020 546 090
090 008 045
530 090 060
001 053 904
900 600 503
連(G)NL+(AHS/ALS)総合【2】
002 967 050
006 413 020
900 852 000
005 206 007
638 795 241
720 108 500
000 074 002
200 689 305
000 021 400
| 固定リンク
「趣味」カテゴリの記事
- 数独日誌241208(2024.12.08)
- 数独日誌241201(2024.12.01)
- 数独日誌241124(2024.11.24)
- 数独日誌241117(2024.11.17)
- 数独日誌241110(2024.11.10)
コメント
Tachyonさんへ
連続タイプは制約が強い分、見つけやすい気がします。
【１】
これはすぐ見つかりました！
r5c9(178)=1=＜r7c49(27⑧/17⑧)＞=7=r7c7(127)-7-[r5c17(13/137)]-1-r5c9
これで４リンク構成の連続タイプのNice Loop with AHS & XYZ-chainが成立します。
Nice Loopの規則から
r346c7から７が除外でき、クリアに至ると思います。
【２】
こっちは少し苦戦しました。
r2c2(578)=5=＜r79c2(15⑥89/5⑥789)＞=8=r79c1(1358/358)-8-r2c1(58)-5-r2c2
これで４リンク構成の連続タイプのGrouped Nice Loop with AHSが成立します。
r79c1から５，６，８以外の１，７，９が除外でき、最後まで埋まると思います。
投稿: ikachan | 2018年6月 1日 (金) 16時56分
ikachanさん、Tachyonさんこんばんは。
Hodokuは初めて見ましたが、確かに違うAICのようでした。
私は訳せないので、当面はmishichanのAICで考えようと思います。
自分なりに今週の問題を解いてみたところ、【1】はikachanさんと違うルートになりました。
r4c9(7)=r4c9(8)-［r4c2(8),r4c3(8)］=r5c3(8)-r5c3(7)=［r5c7(7),r5c9(7)］-r4c9(7) ［X=r4c7(7),r4c8(7),r6c7(7),r4c8(8)］
このAICでは、ループが出来たときは、すべての弱リンクが強リンクになるように条件を消去できます。
それぞれの弱リンクで切り離して考えてみてください。
Tachyonさんの想定ルートはどちらだったでしょうか。
投稿: pot | 2018年6月 2日 (土) 02時56分
potさんへ
potさんのルートをNice Loopの書き方に直すと、
r4c9(78)-8-r4c23(568/5678)=8=r5c3(78)=7=r5c79(137/178)-7-r4c9
となると思います。
投稿: ikachan | 2018年6月 2日 (土) 15時03分
ikachanさん potさんへ
すみません、
この前編の発表の時の説明が不足していたと思います。
弱リンクだけのXYZ-Loopや、リンク数字が一種類だけのGrouped X-Cycleなども、今回の特集の、NiceLoop拡張ワザに含みますので、宜しく御了承ください。
【１】について：
potさんので正解です。
ikachanの手筋では、さらにr7c4から２が除外できます。それ以外は正解です。
想定では、XYZ-Loop：
[r5c17(13/137)]-1-[r45c9(78/178)]-7-[r5c17]
で、
「-1-[r45c9(78/178)]-7-」より、r4c8,r7c9<>8
「[r45c9(78/178)]-7-[r5c17]」より、r4c78,r6c7<>7
としました。
【２】について：
ikachanの回答で「r79c1から」は正しくは「r79c2から」だと思います。そうだとすれは正解です。
想定では、二数字リンクを使ったXYZ-Loop：
r1c2(148)-8-[r2c23(58/578)]-7-[r38c2(147/147)]-14-r1c2
で、
「r1c2(148)-8-[r2c23(58/578)]」より、r1c1<>8
「[r2c23(58/578)]-7-[r38c2(147/147)]」より、r9c2<>7
「[r38c2(147/147)]-14-r1c2」より、r47c2<>1, r4c2<>4
としました。
投稿: Tachyon | 2018年6月 3日 (日) 06時09分
Tachyonさんへ
相変わらずミスが多く、ご指摘ありがとうございます。
【１】については２数字リンク、【２】については３数字リンクですか。参りました。
投稿: ikachan | 2018年6月 3日 (日) 15時48分
ikachanさん、Tachyonさんこんばんは。
Tachyonさんの【1】の想定筋を見ていて気付いたことがあるので報告します。想定筋をAICに直そうとしたとき、最初に考えたのは次のようなものでした。
r5c9(1)=r4c9r5c9(78)-r5c7(7)=r5c1r5c7(13)-r5c9(1) ［X=r4c7(7),r4c8(7),r6c7(7)］
ところが、このループではr4c8(8),r7c9(8)を消去できません。
消去できる理由が過去ログにあると思って読んでいて引っかかったのが、140316のDokuZukiさんのコメントです。
DokuZukiさんによると、nセル・n+1ラベルのALSなら各ラベル間で強リンクがあるというものです。確かに、［r4c9(78),r5c9(178)］について、
r5c9(1)=［r4c9(7),r5c9(7)］=［r4c9(8),r5c9(8)］=r5c9(1)
という強リンクが成立しています。しかし、このリンクは共に真となっても良いので、弱リンクとしては使えません。
これをAICに組み込むと、こんなループが作れます。
［r4c9(8),r5c9(8)］=［r4c9(7),r5c9(7)］-r5c7(7)=r5c1r5c7(13)-r5c9(1)=［r4c9(8),r5c9(8)］ ［X=r4c8(8),r7c9(8)］
強リンクが連続する［r4c9(8),r5c9(8)］を真として良いのか、ここでは今ひとつ確信が持てません。
もう一歩進めて考えたのが次です。
r5c9(1)=［r4c9(7),r5c9(7)］-r5c7(7)=r5c1r5c7(13)-r5c9(1) ［X=r4c7(7),r4c8(7),r6c7(7),r4c8(8),r7c9(8)］
今度は間違いありません。
強弱交互のループになったことで、r5c9(1)と［r4c9,r5c9(7)］はどちらかが偽になります。この2つのパーツが共通の強リンクを持っていれば、リンク先は真になる訳です。
このリンクの使い方は今まで考えたことがありませんでした。もしかしたら、応用の利く方法かもしれませんので、しばらく研究してみます。
投稿: pot | 2018年6月 4日 (月) 23時12分
potさんへ
コメントありがとうございます。
AICについてはあまりよくわからないのですが、【１】のTachyonさんの想定手筋で、
『想定では、XYZ-Loop：
[r5c17(13/137)]-1-[r45c9(78/178)]-7-[r5c17]
で、
「-1-[r45c9(78/178)]-7-」より、r4c8,r7c9<>8
「[r45c9(78/178)]-7-[r5c17]」より、r4c78,r6c7<>7
としました。』
このLoopで未使用の８について、
r45c9の２つのマスの両方を臨むr7c9とr4c8から除外できる、というのがXYZ-chainのルールです。
この理由は、確かにr7c9とr4c8に８が入ると矛盾が起こるので、私はそういうもんなんだな、と単純に思っていました。
投稿: ikachan | 2018年6月 6日 (水) 14時26分