数独日誌180902
【Tachyonさん提供問題【11】【12】不連(G)NL+(AHS/ALS)総合】
有終の美が飾れるでしょうか？
不連(G)NL+(AHS/ALS)総合【11】
145 000 702
006 700 801
070 000 300
057 290 130
000 507 000
020 031 075
500 000 000
403 002 500
702 000 983
不連(G)NL+(AHS/ALS)総合【12】
009 000 206
020 005 140
000 032 008
000 040 620
067 250 980
012 068 000
200 870 000
076 504 800
800 000 400
| 固定リンク
「趣味」カテゴリの記事
- 数独日誌241208(2024.12.08)
- 数独日誌241201(2024.12.01)
- 数独日誌241124(2024.11.24)
- 数独日誌241117(2024.11.17)
- 数独日誌241110(2024.11.10)
コメント
Tachyonさんへ
今回は完全に沈没でした。ヒントをお願いします。
投稿: ikachan | 2018年9月 7日 (金) 16時59分
ikachanさんへ
このところ、あまりにも見つけにくい手筋の問題ばかり出してごめんなさい。
【11】について：
重複しているところが2箇所あり、ミニブロックによるグルーブ化も2箇所あります。AHS/ALSともに使っています。
この問題は特に一発にこだわる必要はなく、むしろ二発の方がスマートかと思います。
【12】について：
二数字リンクを用い、ミニブロックによるグルーブ化を多用していますが、AHSは想定していません。
投稿: Tachyon | 2018年9月 8日 (土) 10時07分
Tachyonさんへ
【11】
これはNice Loopが１つも見つかりませんでした。完敗です！
【12】
こちらはいくつか見つかりましたが。
r6c9(3457)=4=r5c9(134)-4-r5c1(34)-3-r8c1(139)=3=r8c89(139/239)-3-r7c7(35)-5-r79c9(359/23579)=5=r46c9(1357/3457)-5-[r6c78(357/357)]-37-r6c9
これで２数字リンクを含む不連続タイプのGrouped Nice Loop with XYZ-chainが成立し、異なる数字の強リンクと弱リンクが連結しているr6c9が不連続点となり、ここから弱リンクの数字の３と７を除外できます。
これは全然だめでした。
もう１つ、
r2c9(379)-9-[r3c78(57/579)]-5-[r3c23(45/145)]-1-r13c1(1357/1567)=1=r8c1(139)=3=r8c89(139/239)-3-[r7c79(35/359)]-9-r2c9
これで７リンク構成の不連続タイプのGrouped Nice Loop with XYZ-chainが成立し、同じ数字の弱リンクが連結するr2c9が不連続点となり、ここからその数字の９が除外できます。
これは少し進みますが、クリアに至りません。
さらに１つ、
r8c1(139)=3=r8c89(139/239)-3-r7c7(35)-5-r79c9(359/23579)=5=r46c9(1357/3457)-5-[r6c78(357/357)]-37-r6c4(379)-9-r23c4(679/14679)=9=r2c5(89)=8=r1c5(18)-8-r1c2(3458)=8=r4c2(3589)=9=r79c2(3459/359)-9-r8c1
これで２数字リンクを含む不連続タイプのGrouped Nice Loop with XYZ-chainが成立し、異なる数字の強リンクと弱リンクが連結しているr8c1が不連続点となり、ここから弱リンクの数字の９が除外できます。
これもダメでした。
投稿: ikachan | 2018年9月14日 (金) 20時13分
ikachanさん、Tachyonさんこんばんは。
相変わらず超難問なので今回も感想のみです。
【11】
r4c6(468)=4=＜r45c9(46⑧/46⑧9)＞=9=r3c9(469)-9-r1c8(69)=9=r1c46(3689/3689)-9-r23c6(459/4569)=9=＜r17c6(③689/③689)＞=8=r4c6
という連続ループがあっていろいろと除外できるのですが、一発解決とはいきません。【９】でヒントをいただいたので、
r5c5(468)-4-[ループ]-8-[r6c47(468/46)]-4-r6c3(489)=4=r5c3(148)-4-r5c5
へ行き着くことができました。今の想定で一発解決できるルートはこれだけのようです。私にはこのようなチェーンを作ろうという発想が無かったので、正直驚いています。
蛇足ですが、大きなALS、[r5c1578(68/468/1678/1678)]を使えると短いチェーンが作れます。
【12】
r23c4(679/14679)-9-r6c4(379)-37-[r6c78(357/357)]-5-r46c9(1357/3457)=5=r79c9(359/23579)-5-r7c7(35)-3-r8c89(139/239)=3=r8c1(139)=1=r79c3(1345/135)-1-[r3c23(45/145)]-5-r3c78(57/579)=5=r1c8(357)=3=r2c9(379)-3-r2c3(38)
この長いチェーンが必須ルートのようで、前後はいくつかバリエーションがありました。想定筋は前後にr2c5を繋げて8を除外と予想します。
私のソルバーは3マスのALSを普通に使うようにしているので、[r8c589(129/139/239)]を使うルート、右上を[r2c9r3c78]で処理してしまうルートが多く出てきて、想定筋を特定するのに苦労しました。
この問題はALSを目一杯使っても中々短いチェーンにすることが出来なくて、[r138c1(17)]、[r1c1258(358)]を併用するのが最短のようでした。
今回の2問はソルバーを使ってこれだけ調べるのも結構時間を使っています。Tachyonさんはそれ以上でしょう。いつもありがとうございます。
投稿: pot | 2018年9月16日 (日) 01時34分
ikachanさん、potさんへ
【11】について：
potさんの連続ループの中での＜r45c9(46⑧/46⑧9)＞はAHSにする必要はなく「r4c9(468)=8=r5c9(4689)」に分解できます。
それを除けば、私の想定は、ソルバーを使ったpotさんの予想と全く同じです。
尚、この手筋の途中の連続タイプを先にやると、その後、五リンクの標準NiceLoop
r5c5=6=r6c4-6-r6c7-4-r6c3=4=r5c3-4-r5c5
で一発で済むことになります。
連続タイプを見つけるだけでも、重r1c6が重複しており、一発で解ける全体を見つけるのは、ほとんど不可能な手筋だと思います。
【12】について：
ikachanさんの３つの手筋の後、以下の標準NiceLoopで解決に至ることができます。
r9c9=2=r8c9-2-r8c5-9-r2c5-8-r2c3-3-r2c9-7-9c9
想定では、ソルバーを使ったpotさんの予想に非常に近く、
r2c3(38)=8=r2c5(89)=9= /* r23c4から[r3c23]までのpotさんと同じ */ -5-[r3c78(57/579)]-79-r2c9(379)-3-r2c3
で、r2c3から３を除外としました。
さてお次は連続タイプ／不連続タイプを明示しない総合問題を予定していますが、あと一週間ほどお待ちください。
ikachanさん、その間にpotさんの提供した問題に挑戦してみては？
ikachanさんなら、そんなに難しくないと思います。
投稿: Tachyon | 2018年9月16日 (日) 09時53分
potさんの【11】について：
＞ 蛇足ですが、大きなALS、[r5c1578(68/468/1678/1678)]
＞ を使えると短いチェーンが作れます。
おそらく想定されている手筋は以下(に近いもの)だと思います。
r5c3(148)=1=r5c2(138)-1-r9c2(16)=1=r9c45(146/1456)-1-[r1578c5]-4-r5c3
[r1578c5]は、強いて分解すれば、
[[r78c5(1678/1678)]]-68-[r15c5(68/468)]になると思います。
（※[[ ]]はAALSを表す)
投稿: Tachyon | 2018年9月17日 (月) 15時17分
Tachyonさんへ
私が見つけた手筋はご提示の通りです。
分解した手筋については、AALS（Almost ALSでしょうか？）について考えたことが無いのでコメントできませんが、右項はr5c5(468)だけの方がしっくりきます。
私のALS、AHSの解釈では、
-1-＜r78c5(16⑦8/16⑦8)＞-68-r5c5(468)-4-
が成立するからです。AHSは強リンクで伸ばすのが基本です。それは、AHS内でのラベルの切り替えに弱リンクを使っているからで、AHS内のメンバーを使い切っているこの形なら、内部リンクを強リンクでも使えると考えるからです。
どうでしょうか。
投稿: pot | 2018年9月18日 (火) 22時09分
Tachyonさんへ
見直していて気付きました。
私は68の2数字リンクを両辺の該当セルで6または8が入るセルは最大1つという意味で使ってしまいましたが、これまでの使い方とは違いましたね、難しい。
投稿: pot | 2018年9月19日 (水) 10時50分
potさんへ
＞ AALS（Almost ALSでしょうか？）
そのとおりです。
＞ 私のALS、AHSの解釈では、
＞ -1-＜r78c5(16⑦8/16⑦8)＞-68-r5c5(468)-4-
＞ が成立するからです。
私には、どうもAHSに弱リンクをくっつけて連続しているという表現には違和感を覚えます。potさんの捉え方はNiceLoopのマスを中心とした考えではなくて、AIC的な候補を中心とした考えに基づいているようです。（別の記号を使ってくれたら有難いような気がします）
この問題についてはじっくり考えてみたいと思います。
投稿: Tachyon | 2018年9月23日 (日) 04時36分
potさんへ
数独日誌全体の流れからして、
＞ -1-＜r78c5(16⑦8/16⑦8)＞-68-r5c5(468)-4-
は、
-1-[[r78c5(1678]]-68-r5c5(468)-4-
とした方がよいと思います。
投稿: Tachyon | 2019年3月10日 (日) 09時22分
すみません。上記の表記には問題があるようです。
と申しますのは、多数字リンク(弱)で結ぶ場合、一方がALSあるいはミニブロックのおけるグループでなければならないという原則がくずれてしまうからです。
この問題はもう少し考えさせてください。
投稿: Tachyon | 2019年3月10日 (日) 09時48分
以下のようには表せるようです。
-1-r78c5(1678/1678)=1=＜r239c5(②4⑤/1②4⑤6/14⑤6)＞=4=r5c5(468)-4-
投稿: Tachyon | 2019年3月10日 (日) 10時41分