« 数独日誌230507 | トップページ | 数独日誌230521 »

数独日誌230514

【Tachyonさん提供問題【1】【2】二<XY/XY/Y>】
Tachyonさんからまたまた問題を提供していただきました。いつもありがとうございます。今回は、

『さてお次は、既に<X/X>と<X/XY/Y>はやりましたが、AHSのさらなるステップとして、<XY/XY/Y>型をやっていきたいと思います。
・・・それでは、まず2リンクから。どの問題も基本的なワザ(局部限定、N国同盟と井桁理論を含む)と、<XY/XY/Y>型のAHSを
含んだ(G)NL+AHS(+ALS)一発で解けます』ということです。

二<XY/XY/Y>【1】
004 000 002
000 724 900
200 106 040

302 071 059
059 200 170
817 459 623

020 307 000
008 012 000
900 000 200

二<XY/XY/Y>【2】
500 009 470
007 400 020
040 001 960

070 100 500
100 000 007
004 003 080

086 500 010
030 908 756
000 200 804

|

« 数独日誌230507 | トップページ | 数独日誌230521 »

趣味」カテゴリの記事

コメント

Tachyonさん、potさんへ
難しいです!
2問ともギブアップです。
2リンクと言うと昔、横(縦)一列にそれぞれある2つのALS
(wxy/xy/xyz型)について、弱リンクで行って帰ってくるパターンがありましたが、今回はその形はなさそうです。

AHSの3マス自体がなかなか見つけづらく、ちょっと先行き
心配です。

投稿: ikachan | 2023年5月18日 (木) 16時32分

ikachanさん、Tachyonさんこんばんは

ikachanさんが苦戦してるようなのでまずはヒントを残しましょう。
AHSを使った2リンクはきつい縛りなので、ループになる条件は限定されます。
2つのリンクのどちらかを弱リンクにしたければ、AHSを不連続点にするリンクになりますが、その時のもう一つのリンクは、そのAHSに向かう強リンク且つ異なる数字でなければならないため実現できません。
なので、2つの強リンクを使ったループになります。

考えられるパターンは、
AHS=中継マス(AHSも有)=起点と同じAHS
AHS=中継マス(AHSも有)=起点と異なるAHS
のどちらかで、上段なら連続タイプ、下段なら不連続タイプ(重複マス)です。
さらに、連続タイプの場合AHSと中継マスは異なるセクションに無ければならず、不連続タイプの場合は起点と終点のAHSは異なるセクションにあって共通マスを持つ必要があります。

【1】の<XY/XY/Y>は
<r1c128(①⑥7/3⑥789/①3⑥8)>
<r1c12r3c2(16⑦/36⑦8⑨/3⑦8⑨)>
<r123c2(367⑧⑨/36⑧/37⑧⑨)>
<r9c259(3④6⑦/④68/1④56⑦8)>
の4つです。
私は【4】まで終わっているので土曜日に回答をコメントします。
ikachanさんには、答えを見る前にもう少し考えてもらえたらと思います。

投稿: pot | 2023年5月18日 (木) 23時01分

potさん、ありがとうございます!!!
理論的な部分はともかく、具体的に3マスのAHSも示して
いただいて、だいぶイメージがつかめてきました。おかげ様で達成感も味わえました!
【1】
<r1c128(①⑥7/3⑥789/①3⑥8)>=7=r3c2(3789)=9=<r1c128(①⑥)>

これで2リンク構成の連続タイプのNice Loop with AHSが成立します。この結果、
r3c2から3と8が、
r1c28からも3と8が除外できます。
この後r7に1456の4国同盟が登場しますが、クリアできると思います。

【2】
<r459c3(238⑨/23⑤8⑨/1⑤⑨)>=3=r4c1(23689)=8=<r459c3(⑤⑨)>

これで2リンク構成の連続タイプのNice Loop with AHSが成立します。この結果、
r4c1から2,6,9が、
r45c3から2が、
r9c3から1が除外でき、クリアできると思います。

投稿: ikachan | 2023年5月19日 (金) 17時49分

ikachanさん、Tachyonさんこんばんは
AHSは難しいです。3リンクになると縛りがほとんど無くなるので数倍難しく感じます。
6リンクぐらいで超難問になる予感がします。

【1】【2】ともikachanさんと同じです。

【1】は<r1c12r3c2>を使って
<r1c12r3c2(16⑦/36⑦8⑨/3⑦8⑨)>=1=r1c8(1368)=6=<r1c12r3c2(⑦⑨)>
というのも出来て結果は同じです。

<r1c128(①⑥)>と<r1c12r3c2(⑦⑨)>は中核が異なっていますが2マスを共有しています。
こういう関係があるだけで、AHS構成マスから中核以外の数字をすべて除外できます。SueDeCoqに似ているんですが、解法として名前は付けられていないのかな?私には分かりませんでした。

投稿: pot | 2023年5月20日 (土) 21時43分

ikachanさん、potさんへ

【1】について:
ikachanさんので、文句なく正解です。
potさんの別解も正解です。

想定も、ikachanさんと全く同じです。


【2】について:
これもikachanさんので、文句なく正解です。
ということでpotさんも正解です。

同じく、この想定もikachanさんと全く同じです。


potさんのヒントが無ければ、どうなることになるかと思いましたが、今後も、この調子でやっていけそうですね?
三リンクからは、少しヒントを出していく事にします。

投稿: Tachyon | 2023年5月21日 (日) 08時05分

potさんの【1】の別解の仕方を考えると、【2】も、

<r4c13r5c3(2③6⑧9/2③⑧9/2③5⑧9)>=5=r9c3=9=<r4c13r5c3③⑧>

というのがありますが、<r4c13r5c3③⑧>は<XY/XY/XY>となるので今回のテーマからは外れます。

投稿: Tachyon | 2023年5月21日 (日) 08時24分

コメントを書く



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




« 数独日誌230507 | トップページ | 数独日誌230521 »