数独日誌190728
【Tachyonさん提供問題【１】【２】七上XY/YZ/wxz】
またまたTachyonさんから問題を提供していただきました。いつもありがとうございます。とても難しく、ついていくのがやっとという感じですが、何とか食らいつきたいと思います。
七上[XY/YZ/WXZ]【１】
810 002 043
000 007 816
000 010 025
070 060 580
080 975 030
504 080 097
420 000 070
091 700 050
750 100 069
七上[XY/YZ/WXZ]【２】
390 000 000
007 980 300
582 010 679
830 579 000
700 030 000
000 108 037
275 000 104
003 040 700
008 000 023
| 固定リンク
「趣味」カテゴリの記事
- 数独日誌241208(2024.12.08)
- 数独日誌241201(2024.12.01)
- 数独日誌241124(2024.11.24)
- 数独日誌241117(2024.11.17)
- 数独日誌241110(2024.11.10)
コメント
Tachyonさん、そして参加していただいている皆さんへ
【１】
Nice Loopは１つ見つかりましたが。
r3c4(3468)=8=r7c4(3568)-8-[r7c379(368/13/18)]-6-r1c3(5679)=6=r1c4(56)-6-r3c4
これで５リンク構成の不連続タイプのNice Loop with ALS(XY/YZ/WXZ型)が成立し、異なる数字の強リンクと弱リンクが連結しているr3c4が不連続点となり、ここから弱リンクの数字の６が除外できますが、後が続かないようです。
【２】
こちらは見つかりました。
r2c8(45)=4=r2c12(146/146)-4-r1c3(46)=4=r46c3(146/469)-4-r6c1(46)-6-r6c5(26)-2-[r357c6(34/246/36)]-6-[r2c69(256/25)]-5-r2c8
これで８リンク構成の不連続タイプのGrouped Nice Loop with ALS(XY/YZ/WXZ型)が成立し、異なる数字の強リンクと弱リンクが連結しているr2c8が不連続点となり、ここから弱リンクの数字の５が除外でき、このマスが４で確定します。これでクリアできると思います。
投稿: | 2019年8月 1日 (木) 16時55分
コメントに名前を入れ忘れました！
投稿: ikachan | 2019年8月 1日 (木) 17時11分
皆さんこんばんは
【１】
以前数独日誌で同じパターンで解いたことがありますが、
r2c2(34)とr1c5(59)の共通の利きにあるr2c45に3459しか入れないことで、r2c245以外のr2から3と4、r1c5r2c45以外の上中ブロックから5と9を消去できます。
リンク式にすると
r1c5(59)-5-[r2c245(34/345/3459)]-9-r1c5
または
r2c2(34)-3-[r1c5r2c45(59/345/3459)]-4-r2c2
数独日誌のレギュレーションで展開すると
r7c5(359)=3=r7c3467(368/3568/3689/13)-3-[r17c5(59/359)]-59-r2c5(3459)-34-[r2c24(34/345)]-5-r7c4(3568)=5=r7c5
となって、r1c4(5),r2c1(3),r2c3(3),r7c5(9)を消去、クリアできます。
でも、これは想定筋では無い筈でXY/YZ/WXZ型から探してみましたが一発のループは見つけられませんでした。
【２】
XY/YZ/WXZ型はr357c6だけ、4は使えないので2と6の伸びを調べたら割とすぐにみつかりました。
r6c1(46)-6-6c5(26)-2-[r357c6(34/246/36)]-6-r2c6(256)=6=r2c12(146/146)-6-r1c3(46)=6=r456c3(146/169/469)-6-r6c1
となってr6c1から6を消去でクリアです。
投稿: pot | 2019年8月 1日 (木) 22時08分
皆さんこんばんは！ 一発目からの難問で参っています。
【１】
これはもうギブアップしようかなと思いましたが、こういうのも有りなのかなと思い
r7c379(1368)とr17c5(359)のALSとr2c13(②39/②359)のAHSを使い9リンクの
不連続マスらしきものがr3c1(369)に出来ましたが、
このマスで2個(3と9)が弱リンクで行き止まり、肝心の強リンクがありません。
この場合残った６を確定していいのでしょうか。
r3c1(369)-3-r8c1(36)-6-[r7c379(368/13/18)]-3-[r17c5(59/359)]-9-r2c5(3459)=9=＜r2c13(②39/②359)＞=5=r1c3(5679)=7=r1c7(79)=9=r3c7(79)-9-r3c1
【２】
r357c6(34/246/36)とr2c12(146/146)のALSを使うと
potさんと殆ど同じですがリンクの流れが違うだけです。
r2c6(256)-6-[r357c6(34/246/36)]-2-r6c5(26)-6-r6c1(46)
-4-r46c3(146/469)=4=r1c3(46)-[r2c12(146/146)]-6-r2c6
7リンクでr2c6から6を除外してr2c8が4に確定します。
投稿: Sakuya | 2019年8月 2日 (金) 20時14分
ikachanさん、そして参加していただいている皆さんへ
初っ端に難しい問題を出してしまって、ごめんなさい。
【１】について：
ikachanさんの手筋は、解決には至りませんでしたが、問題はありません。
potさんの手筋(二番目)は、XY/YZ/WXZ型を使わず、数独日誌では前代未聞の「=3=r7c3467(368/3568/3689/13)-3-」というユニットによるグループ化をしており、この特集のテーマからだいぶ外れていますが、その点を除けば正解です。
Sakuyaさんの手筋ですが残念ながら、r3c1(369)は不連続マスとしては無効で、６に確定することはできません。
（※このマスを６ではなく、３と仮定しても、９と仮定しても、この手筋からは直接、矛盾は見いだせません）
想定は、
r7c5(359)-3-[r7c379(368/13/18)]-6-r8c1(248)=6=r8c6(3468)=8=r8c9(248)-8-r7c9(18)-1-r7c7(13)-3-r7c5
で、r7c5から３を除外としました。その後、r17c5の59同盟、r2c25の34同盟を経て解決に至ることができます。
使っているマスも七つで、非常にシンプルな形に見えて最初に持って来たのですが、r7c79が重複しており見つけるのは大変困難な手筋だったようで、申し訳ございませんでした。
【２】について：
ikachanさんとpotさんので正解です。
Sakuyaさんの「r1c3(46)-[r2c12(146/146)]」は、r1c3(46)-4-[r2c12(146/146)]の事ですね？そうであれば正解です。
想定では、
r1c3(46)-6-r456c3(146/169/469)=6=r6c1(46)-6-r6c5(26)-2-[r357c6(34/246/36)]-6-r2c6(256)=6=r1c456(267/256/2567)-6-r1c3
で、r1c3から６を除外としました。
投稿: Tachyon | 2019年8月 4日 (日) 08時54分
【１】
出題者様の意図は外していると思いますが、
r7c456(3568/359/3689)-3-r7c7(13)-1-r7c9(18)-8-[r8c1r7c3(36/368)]-3-r9c3(38)-8-[r8c5r9c56(234/234/348)]-3-r7c456(3568/359/3689)
にて、r7c456から、3を除外。
あとは、n国含む基本手順で解決かと。
投稿: 匿名 | 2019年8月 4日 (日) 16時52分
XY/YZ/WXZ型を使わず、数独日誌では未登場のXYZ/XYZ/WXY型[r8c5r9c56(234/234/348)]（XYZ/XYZ型の拡張版）を使っており、今回の特集のテーマから外れますが、その点を除けば正解です。
それにしても、六リンクで解いたというのはすごいです。
投稿: Tachyon | 2019年8月 5日 (月) 07時09分
Sakuyaさんへ
【１】について：
r3c1はループの不連続マスとしては無効ですが、Triple Cell Forcing Chains（http://www.sudokuwiki.org/Cell_Forcing_Chains）の起点として捉えて、
A：r3c1(369)-3-r8c1(36)-6-[r7c379(368/13/18)]-3-[r17c5(59/359)]-9-r2c5(3459)=9=＜r2c13(②39/②359)＞=5=△r1c3(5679)=7=r1c7(79)=9=r3c7(79)-9-r3c1(369)：B
C：r3c1(369)-6-△r1c3(5679)
(※△r1c3は、CにとってAとBに不連続な分岐点)
A-〇-B
A-×-C
B-×-C
とすれば、r1c3から６を除外できます。さらに、
A：r3c1(369)-3-▲r8c1(36)-6-[r7c379(368/13/18)]-3-[r17c5(59/359)]-9-r2c5(3459)=9=＜r2c13(②39/②359)＞=5=r1c3(5679)=7=r1c7(79)=9=r3c7(79)-9-r3c1(369)：B
A：r3c1(369)-3-▲r8c1(36)-6-r3c1(369)：C
(※▲r8c1は、AにとってBとCに連続的な分岐点。数独日誌190630：2019年7月15日の私のコメントを参照)
A-〇-B
A-〇-C
B-×-C
とすれば、r1c24から３を除外できます。
その後、以下の標準NiceLoopで解決に至ることができます。
r7c5=9=r7c6=6=r8c6=8=r8c9-8-r7c9-1-r7c7-3-r7c5
投稿: Tachyon | 2019年8月12日 (月) 13時42分
もっといい手を見つけました。
A：r3c1(369)-3-r8c1(36)-6-[r7c379(368/13/18)]-3-▲[r17c5(59/359)]-9-r2c5(3459)=9=＜r2c13(②39/②359)＞=5=r1c3(5679)=7=r1c7(79)=9=r3c7(79)-9-r3c1(369)：B
C：r3c1(369)-6-r8c1(36)=6=r8c6=8=r8c9-8-r7c9-1-r7c7-3-▲[r17c5(59/359)]-9-r2c5(3459)=9=＜r2c13(②39/②359)＞=5=r1c3(5679)=7=r1c7(79)=9=r3c7(79)-9-r3c1(369)：B
(※▲[r17c5]は、BにとってAとCに連続的な分岐点。数独日誌190630：2019年7月15日の私のコメントを参照)
A-〇-B
A-×-C
B-〇-C
とすれば、Bと▲の間はループの連続タイプと同じように候補を除外できるので、
-3-▲[r17c5(59/359)]-9-より、r2c5<>5
=9=＜r2c13(②39/②359)＞=5=より、r2c13<>3
5=r1c3(5679)=7=より、r1c3<>69
r3c7(79)-9-r3c1(369)より、r3c36<>9
となり、解決に至ることができます。
投稿: Tachyon | 2019年8月12日 (月) 15時03分
Tachyonさんへ
【１】のフォローありがとうございます。
確かにr3c1（369)からr8c1(36)を6で繋ぐと設定のALSは使用しないでr17c5(59/359)のALSとAHSを使用する連続型Niceloopが出来て解決できます。ここからr3c1の３は不要な候補ですね。
Triple Cell Forcing Chainsはsudoku.orgで調べてみましたが今一つ理解できていません。これからじっくり調べてみます。
投稿: Sakuya | 2019年8月13日 (火) 15時57分
Sakuyaさん、Tachyonさんへ
【１】のr3c1(369)から3と9を除外する方法をみつけました。
Tachyonさん紹介のCell Forcing Chainsのページのとなりに、
Nishio Forcing Chainsというのがあります。
このType2を2回適用して、r3c1(369)を6に確定でき、あとは基本技でクリアかと。
Type2は、
あるセルで数字を仮定して、解き進めて(リンクをたどって)、
複数のリンクで、どこかのセルの候補を全否定するとき、
仮定した数字を候補から除外できる
ということの様です。
r3c1(369)を3と仮定すると、
リンク1：r3c1(369)-3-r8c1(36)-6-[r7c379(368/13/18)]-3-[r17c5(59/359)]-59-r2c5(3459)
リンク2：r3c1(369)-3-r8c1(36)-6-[r7c379(368/13/18)]-38-[r17c4(56/3568)]-5-[r2c24(34/345)]-34-r2c5(3459)
r2c5(3459)の全候補否定なので、r3c1(369)から3を除外。
r3c1(369)を9と仮定すると、
リンク1：r3c1(369)-9-r2c13(239/2359)=9=[r127c5(59/3459/359)]-3-[r7c79(13/18)]-8-[r8c1r7c3(36/368)]-3-r9c3(38)
リンク2：r3c1(369)-9-r2c13(239/2359)=9=[r127c5(59/3459/359)]-3-[r89c5r9c6(234/234/348)]-8-r9c3(38)
r9c3(38)の全候補否定なので、r3c1(369)から9を除外。
Sakuyaさんの、不連続らしきものが出来たループについて、右回りと左回りをトレースしてみたら、浮かび上がりました。
投稿: 匿名 | 2019年8月14日 (水) 06時45分
匿名さんへ
こんばんは。面倒で難しいリンクをありがとうございます。
西尾強制チェーンとかTriple Cell Forcing ChainsやAALSとALSを使って全候補否定のマスを探されたようですね。とりあえず理解はできました。これからも解けない問題が色々と出てくると思います。その時はまたよろしくお願いします。
投稿: Sakuya | 2019年8月14日 (水) 21時28分