« 数独日誌141202 | トップページ | 数独日誌141210 »

数独日誌141204

【Tachyonさん提供問題 九上(G)NL+XYZC【1】【2】】
   Tachyonさんから、またまた骨のある問題を提供していただきました。他ではお目にかかれないNice Loopを使う応用問題です。いつも解くのが楽しみです。ありがとうございます。

九上(G)NL+XYZC【1】
000 000 080
860 007 003
574 800 000

200 540 109
000 000 000
109 062 008

000 005 814
700 904 632
420 000 000

九上(G)NL+XYZC【2】
100 000 370
030 071 209
700 306 510

000 703 002
450 000 037
307 009 000

074 635 000
613 920 000
000 000 003

|

« 数独日誌141202 | トップページ | 数独日誌141210 »

趣味」カテゴリの記事

コメント

[1]r4c26にある3,3の2択で調べました。r3c5の3が確定します。これで終わりまで行きます。
この2択の片方、r4c6にある3でスタートしても終わりまで行きますからあえて共通に決まる数字を探す必要はないと言ってもいいでしょう。
[2]r5c37にある9,9の2択で調べます。r8c6の8が確定します。これで終わりまで行きます。
この2択の片方、r5c7にある9でスタートしても終わりまで行きます。やはり2択の片方で終わりまで行くという構造は問題作成段階で排除しておく必要があると思います。終わりまで行くという構造がどこかの2択に出てくるのは避けることができないというのであればそういう2択を探し出す手順を解法にすればいいことになります。そういう2択が出てくるということに目をつぶって解法を考えてもあまり意味がないのではないでしょうか。

投稿: htms42 | 2014年12月 7日 (日) 20時21分

htms42さんへ
Tachyonさんは「2択チェック法」を前提に問題を提供しているわけではなく、あくまでもNice Loopを使った解法を前提に出題されているわけです。

その問題に対して、「2択チェック法」で解くと、どうだからこうして欲しいなどといった、自分の使っている解法を中心に考える、独りよがりな発言は控えていただきたいと思います。

投稿: ikachan | 2014年12月 7日 (日) 21時07分

Tachyonさんへ
問題を一回解いて、さらにもっと少ないリンク数の解き方がないかをチェックするのは、とても骨の折れる、ちょっと億劫な作業だと思います。ご苦労をお察しします。

特にリンク数が増えてくると、別解も多くなる気がします。今回も師匠より少ないリンク数で解けたようです。

【1】
[r17c2(139/39)]-1-r1c6(16)-6-r9c6(1368)=6=r9c4(136)=3=r56c4(137/37)-3-r4c6(38)-8-r4c2(38)-3-[r17c2]

これで7リンク構成の連続タイプのGrouped Nice Loop with XYZ-chainが成立します。

まず1の弱リンクでつながっているr1c2とr1c6について、この2つのマスの両方を臨むr1c3459から1を除外できます。

次に6の弱リンクでつながっているr1c6とr9c6について、この2つのマスの両方を臨むr3c6から6を除外できます。

さらに6の強リンクと3の強リンクが連結しているr9c4から、その2つの数字以外の1が除外できます。

そして3の弱リンクでつながっているr56c4とr4c6の3つのマスについて、この3つのマスのすべてを臨むr5c56から3を除外できます。

また3の弱リンクでつながっているr4c2とr17c2について、この3つのマスのすべてを臨むr56c2から3が除外できます。

この結果r3c9が1、r3c8が6などとなり、最後まで埋まると思います。

【2】
r7c1(289)-8-r4c1(89)-9-r5c3(12689)=9=r5c7(1689)-9-[r7c79(189/18)]-8-r7c1

これで5リンク構成の不連続タイプのNice Loop with XYZ-chainが成立し、同じ数字の弱リンクが連結しているr7c1が不連続点となり、ここからその数字8が除外できます。

除外できることを確認してみると、

もしr7c1に8が入ると、r4c1が9、r5c3に9が入らないので、r5c7が9、r7c79が18の2国同盟となるので、r7に8が2つ登場してしまいます。

この結果右下ブロックで8が入るのはr7c789だけとなり、r8c89が45の2国同盟、r8c7が7、r8c6が8などとなり、最後まで埋まると思います。

投稿: ikachan | 2014年12月10日 (水) 09時13分

Tachyonさんへ
【1】
r17c2(139/39)-1-r1c6(16)-6-r9c6(1368)=6=r9c4(136)=3=r56c4(137/37)-3-r4c6(38)=3=r4c2(38)-3-r17c2(139/39)
ikachanさんの解答と全く同じでした。

【2】
6列r15c6(248/28)とr89c6(478/478)及び9行にr9c45(148/148)のALSと9行にr9c123(2589/89/589)の8のグループを利用すると

r7c9(18)-8-r3c9(48)-4-r3c2(2489)=4=r1c2(4689)-4-r15c6(248/28)-8-r89c6(478/478)-4-r9c45(148/148)-8-r9c123(2589/89/589)=8=r7c1(289)-8-r7c9(18)

と9リンクのDNLができます。r7c9(18)が8の弱リンク交点の不連続点となり、1に確定します。次に6ブロックのr4c7、r4c8、r5c7の9とr4c1,r7c7の(89)を使ったGrouped W-Wingでr7c1(289)の8が排除されます。その結果9ブロックにr7c78(89/289)の8の局部限定があり、r8c6(478)が8に確定して以降は最後までいけます。

ikachanさん 5リンク凄いですね! 解答前のコメントにあるようにTachyonさんも目の届かない所もあるのでしょう。かく言う私も一度解いたら別のALS解法を探すぐらいで別解に挑む根気はありません。

投稿: Sakuya | 2014年12月10日 (水) 19時50分

ikachanさん、Sakuyaさんへ

【1】について:
ヤレヤレ初っ端から、お二人に木っ端微塵に挫かれてしまいました。恥の上塗り...
想定では、r17c2ではなくr59c9のALSに注目して
r1c4(1246)=4=r1c7(2457)=7=r1c9(1567)-7-[r59c9(567/57)]-6-r5c1(36)-3-r4c2(38)=3=r4c6(38)-3-r56c4(137/37)=3=r9c4(136)=6=r1c4
の九リンク構成で、数独日誌141101の私のコメント(2014年11月 8日 (土) 10時29分)でのまとめに従って、
ア:r1c4から1と2、r1c7から2と5、r9c4から1
イ:[r59c9]-6-r5c1でr5c38から6、
r5c1-3-r4c2でr5c23とr6c2から3、r4c6-3-r56c4でr5c56から3
ウ:[r59c9]でr1c9から5
を除外としました。

【2】について:
ikachanさん、完璧にお見事です! Sakuyaさんも正解です。
想定では、九リンクの不連続タイプで、
r9c456(148/148/478) -8- r8c6(478) =8= r8c789(478/458/458) -8- [r7c79(189/18)] -9- r5c7(1689) =9= r5c3(12689) -9- r4c1(89) =9= r79c1(289/2589) -9- r9c2(89) -8- r9c456
とし、r9c456から8を除外としました。

投稿: Tachyon | 2014年12月13日 (土) 11時36分

コメントを書く



(ウェブ上には掲載しません)




トラックバック


この記事へのトラックバック一覧です: 数独日誌141204:

« 数独日誌141202 | トップページ | 数独日誌141210 »