数独日誌140720
【Tachyonさん提供問題 五連(G)NL+XYZC【３】【４】】
連続タイプはたくさん除外できるので、見つけがいがあります。
五連(G)NL+XYZC【３】
000 928 300
030 000 005
900 375 010
070 009 201
010 000 060
004 100 030
060 540 008
800 000 053
005 893 000
五連(G)NL+XYZC【４】
000 002 050
000 850 920
502 000 801
730 400 000
000 080 000
000 007 013
805 000 692
009 068 000
040 900 000
| 固定リンク
「趣味」カテゴリの記事
- 数独日誌241201(2024.12.01)
- 数独日誌241124(2024.11.24)
- 数独日誌241117(2024.11.17)
- 数独日誌241110(2024.11.10)
- 数独日誌241103(2024.11.03)
コメント
[3],[4]もやってみました。
[3]
右上ブロックに出てくる６，６のペアについてつながり具合を調べました。ｒ１９ｃ９が６７の二国同盟になることがわかります。これでｒ5６ｃ7は５７のニ国同盟になります。これで終わりまで行くと思います。
[4]
下中ブロックにある２，２ペアでスタートします。ｒ３ｃ６が９、ｒ６ｃ３が８と決まります。これでｒ１ｃ１が９、ｒ５６ｃ２で５，９のニ国同盟が出来上がりますので初めの２の２択の片方ｒ９ｃ５の２が確定します。チェックの段階でｒ９ｃ５の２のほうが伸び方がよかったのですが、結果的にそれが選ばれました。したがってこの２からスタートして終わりまで行くということもありだということになります。
今回の問題を４つ解きましたが２択の片方が終わりまで行くというのが多いようです。矛盾はすぐには出てきません。
以前の問題は２択の片方がすぐに矛盾に行き当たるというのが多かったようです。
矛盾のない数字の配置を探し出すのが数独の基本的な道筋ですから矛盾が見つかりやすければ問題が易しくなります。進んだ手筋が必要になるのは矛盾が見つかりにくい場面においてです。矛盾にすぐに行き当たるようであれば進んだ手筋の出番はありません。詰将棋でいくら趣向を凝らした問題を作っていても頓死筋のチェックを怠っていれば趣向が無意味になるというのと似ているような感じがします。
もしかしたらＬｏｏｐの手筋を一回使えばあとは通常手筋の範囲内で解けるという問題にすると必然的に「２択の片方が矛盾に行き当たるか、終わりまで行くかのどちらかになってしまう」ということなのかもしれません。
そうであれば、２択のどちらから行っても手が止まってしまうというのはＬｏｏｐを重ねて２回使わないと解けない問題であるというのと同じだということになりそうです。
投稿: htms42 | 2014年7月20日 (日) 11時24分
Tachyonさんへ
今回は２つとも見つかりました！
【３】
r1c7(47)-7-[r9c28(24/247)]-4-r9c1(1247)=4=r1c1(14567)-4-r1c7
これで４リンク構成の連続タイプのNice Loop with XYZ-chainが成り立ちます。
７の弱リンクでつながっているr1c8とr9c8の間にある、r27c8から７が除外できます。
４の弱リンクがつながっているr9c1と[r9c28]の間にある、r9c79から４が除外できます。
４の弱リンクでつながっているr1c1とr1c8の間にある、r1c29から４を除外できます。
またこのLoopで使わなかった２についても、r9c19から２が除外できます。
【４】
r4c3(16)-1-[r46c5(129/29)]-2-r9c5(127)=2=r9c1(1236)=6=r9c3(1367)-6-r4c3
これで５リンク構成の連続タイプのNice Loop with XYZ-chainが成り立ちます。
１の弱リンクでつながっているr4c3とr4c5の間にある、r4c6から１が除外できます。
２の強リンクと６の強リンクが連結しているr9c1から、それ以外の数字である１と３が除外できます。
６の弱リンクでつながっているr9c3とr4c3の間にある、r1256c3から６が除外できます。
またこのLoopで使わなかった９についても、r13c5から９が除外できます。
投稿: ikachan | 2014年7月23日 (水) 20時37分
ikachanさんへ
【３】について：
お見事です！ これは１リンク多い私の負けです。
(ただikachanさんの示したルートの中の「r1c7」は正しくは「r1c8」の事ですね？)
想定でのルートは、
r9c1(1247) =1= r9c7(1467) =6= r9c9(2467) -6- [r1c89(47/467)] -4- r1c1(14567) =4= r9c1
で、
６の弱リンクでつながっているr9c9とr1c9の間にある、r3c9から６を除外、
４の弱リンクでつながっているr1c9とr1c1の間にある、r1c2から４を除外、
４の強リンクと１の強リンクが連結しているr9c1から、それ以外の数字である２と７を除外、
１の強リンクと６の強リンクが連結しているr9c7から、それ以外の数字である４と７を除外、
そしてALSで、このLoopで使わなかった７に関して、r1c3, r2c78から７を除外としました。
【４】については想定どおりです。
投稿: Tachyon | 2014年7月25日 (金) 08時36分
Tachyonさんへ
>「r1c7」は正しくは「r1c8」の事ですね？
ご指摘の通りです。失礼しました。
投稿: ikachan | 2014年7月25日 (金) 18時12分