数独日誌151003
【Tachyonさん提供問題 総合(G)NL(+XYZC)Ⅱ【９】【10】】
TachyonさんからまたまたNice Loopの応用問題を提供していただきました。
長年にわたりTachyon師匠から教えを受けている弟子（不肖の）としては、もう少し正解率を上げたいところですが、なかなかままなりません。果たして今回は。
総合(G)NL(+XYZC)Ⅱ【９】
860 001 030
317 205 600
420 360 170
600 004 003
900 000 007
500 100 000
798 023 001
256 417 389
143 000 720
総合(G)NL(+XYZC)Ⅱ【10】
500 743 180
000 958 006
840 216 305
050 137 800
000 485 000
083 629 050
205 804 010
600 092 008
098 001 000
| 固定リンク
「趣味」カテゴリの記事
- 数独日誌241208(2024.12.08)
- 数独日誌241201(2024.12.01)
- 数独日誌241124(2024.11.24)
- 数独日誌241117(2024.11.17)
- 数独日誌241110(2024.11.10)
コメント
難しい
投稿: ノン | 2015年10月 6日 (火) 11時35分
Tachyonさんへ
今回もNice Loopは見つかりましたが、クリアに至りませんでした。
【９】
その１
r4c4(5789)-5-r4c78(2589/159)=5=r5c78(2458/1456)-5-[r5c25(38/358)]-8-[r57c4(568/56)]-5-r4c4
これで５リンク構成のNice Loop with XYZ-chainが成立し、同じ数字の弱リンクが連結しているr4c4が不連続点となり、ここからその数字５が除外できます。
その２
r5c6(268)=2=r6c6(2689)-2-[r6c39(24/246)]-46-r6c8(469)-9-r2c8(49)=9=r2c5(489)=8=r3c6(89)-8-r5c6
これで７リンク構成の２数字リンクを含むNice Loop with XYZ-chainが成立します。（不連続タイプ）異なる数字の強リンクと弱リンクが連結しているr5c6が不連続点となり、ここから弱リンクの数字８が除外できます。
【10】
r7c7(679)-7-r6c7(47)-4-[r14c9(29/249)]-9-r7c9(379)=9=r7c7
これで４リンク構成の不連続タイプのNice Loop with XYZ-chainが成立し、異なる数字の強リンクと弱リンクが連結しているr7c7が不連続点となり、ここから弱リンクの数字７が除外できます。
投稿: ikachan | 2015年10月 8日 (木) 22時18分
Tachyonさんへ
２問共にギブアップですが多少たりとも努力の跡を？
【９】
いつもの事で自信はありませんが２個のALSで繋ぎました。
r5c6(268)=2=r6c6(2689)-2-[r6c39(24/246)]-46-r6c8(469)-9-r6c6-9-[r39c6(89/689)]-68-r5c6
６リンクで多数字リンクができ、r5c6に２が確定し、後は６のX-Wingと２個の２国同盟を経て最後までいけると思います。
但し、１個のリンクで１候補が確定し、１候補が排除されるのは多数字リンクでもまずいのではと考えています。
【10】
サッパリでしたが、仮定法の変形みたいなのがあるようです。
r23c8(247/79)=7=r2c7(247)-7-r6c7(47)-4-r4c9(249)-4-r4c3(246)=4=r8c3(147)=1=r8c2(137)
４の弱リンク交点r4c9を４と入れると上記リンクでr8に７が存在出来ませんのでエラーとなります。
従ってr4c9から４を排除すると(29)の２国同盟、(34)の２国同盟を経て最後までいけると思います。
XYZ-Chain及びNiceLoopを取り入れずに申し訳ありません。別解という事にして下さい。
投稿: Sakuya | 2015年10月 9日 (金) 19時51分
ikachanさん、Sakuyaさん、ノンさんへ
あまりにも難しい問題を出してしまって、
ごめんなさい m(_ _)m
【９】について：
想定は、ikachanさんの「その２」に近く、
r6c6(2689) -2- r6c3(24) -4- r6c9(246) =4= r12c9(245/48) -4- r2c8(49) -9- r6c8(469) -46- [r6c39(24/246)] -2- r6c6
で、r6c6から２を除外。r5c6が２に確定した後、６のX-wing(r57c48)を経て最後まで行きます。
ALS:r6c39の部分が重複していて非常に見つけづらいと思いますが、ikachanさんがもう少し、この辺で粘ってくれたらなぁと思います。
Sakuyaさんの手筋ですが、
「１個のリンクで１候補が確定し、１候補が排除される」というのは別に問題はなさそうで、なぜまずいのか意味がよく分かりませんが、「-9-r6c6-9-」の部分は、r5c6が不連続点なので、
不連続点がもう一つ有る事になり、マズイです。
【10】について：
想定は、
r6c1(147) -4- r6c7(47) -7- r56c9(12379/147) =7= r79c9(379/2347) -7- r8c78(457/347) =7= r8c23(137/147) -7- [r7c2,r9c1(37,347)] -4- r6c1
で、r6c1から４を除外としました。
ミニブロックによるグループ化が四ヵ所、ブロックにおけるALSと、
これも非常に見つけづらいと思います。
投稿: Tachyon | 2015年10月10日 (土) 10時39分
【10】でSakuyaさんの「仮定法の変形みたいなの」についてですが、r4c9からr8の７のあるマスへは、以下のように４つのルートで表せます。
r4c9-4-r6c7-7-r8c7
r4c9-4-r6c7-7-r2c7=7=r23c8-7-r8c8
r4c9-4-r4c3=4=r8c3
r4c9-4-r4c3=4=r8c3=1=r8c2
よって、これはQuad Unit Forcing Chainsだと思います。
英語で申し訳ないのですが、詳しくは以下のサイトを参照してください。
http://www.sudokuwiki.org/Unit_Forcing_Chains
http://www.sudokuwiki.org/Cell_Forcing_Chains
投稿: Tachyon | 2015年10月11日 (日) 02時00分
Tachyonさんへ
【９】の問題は(XY/XYZ)のXYZの重複は考えもしませんでした。色んなリンクがあるのですね！恐れ入りました。
また、１候補云々は表現が悪かったようで不連続点が２ヶ所あるのでNGでしょうという意味です。
【10】の問題は想定の７のGroupedの強弱リンクは気が付いていましたが最後のALSで繋げるのを見つけることが出来ませんでした。
またForcing Chainの解説を有難うございます。
名称だけは知っていたのですが１マスを対象にするCell Forcing Chainsとユニットを対象にするUnit Forcing Chainsがあると初めて知りました。今回はたまたま４の弱リンク交点を使ったリンクがあったので４を消すとスルスルいけるので４を入れると何処かにエラーがあると探したのがこの結果でした。
当然ですが紹介して頂いたサイトはまだ理解してないのですがALSまで絡むと非常に難しい手筋だと思っています。頑張って理解できるかやってみます。また質問する場合もあると思いますがよろしくお願いします。
投稿: Sakuya | 2015年10月11日 (日) 21時36分
Sakuyaさんへ
Forcing Chainsは、博士数独の問題(数独日誌150204の一番目)で、私の2015年4月5日付けのコメントの手筋の後、以下の手筋で使えます。
Triple Cell Forcing Chains：
r7c7-1-r1c7=1=r1c1-1-r4c1-8-r9c1=8=r7c2
r7c7-3-[r79c3]-6-r7c2
r7c7-6-r7c2
で、r7c2から６を除外。
Triple Unit Forcing Chains(c8の３に注目)：
r2c9-2-r2c1-3-r2c8
r2c9-2-r2c1=2=r9c1=8=r4c1-8-r4c8=8=r6c8
r2c9-2-r79c9=2=r8c8
で、r2c9から２を除外
この後の手筋は、GNL with XYZ-chain以下のワザで行けると思います。
投稿: Tachyon | 2015年10月12日 (月) 09時56分
Tachyonさんへ
先日の博士数独のギブアップした問題のフォローを有難うございます。以降の手筋は
局部限定、DNL、ALS NiceLoop with XYZchain
DNL、AIC、XY-Chain、XY-Loop
DNL、XY-Chain、X-Wing、XY-Wing
Forcing Chainsの理解は別にして、以上の流れで解読出来たようです。お蔭様で今のところ博士数独は全問解読出来ました。
投稿: Sakuya | 2015年10月12日 (月) 20時10分