« 数独日誌201004 | トップページ | 数独日誌201018 »

数独日誌201011

【Tachyonさん提供問題【5】【6】<X/XY/Y>型】
やはり難しくなってきたようです。

六連<X/XY/Y>【5】
008 040 007
640 008 000
009 000 008

865 371 924
090 050 800
413 982 756

900 000 100
000 800 075
500 020 600

六連<X/XY/Y>【6】
600 008 000
070 021 506
001 006 048

185 009 003
000 080 005
760 100 489

240 800 600
006 010 050
510 260 000

|

« 数独日誌201004 | トップページ | 数独日誌201018 »

趣味」カテゴリの記事

コメント

Tachyonさん、potさんへ
今回も一勝一敗でした。

【5】
AHS<X/XY/Y>は<r2c347(12⑦/12⑤⑦/23⑤)>しかなさそうに見えたんですが、途中でALSの[r8c127(123/23/234)]を使うに違いないと思い込んでしまい、そこから抜け出すのに時間がかかりました。

r7c9(23)=2=r8c7(234)-2-[r8c12(123/23)]-1-r13c1(123/1237)=1=<r2c347(12⑦/12⑤⑦/23⑤)>=2=r2c9(1239)-2-r7c9

これで6リンク構成の連続タイプのGrouped Nice Loop with ALS & AHSが成立します。

この結果、r8c3から2が、
r8c56,r79c2から未使用の3が、
r2c4から1が、
r2c7から3が除外でき、クリアに至ると思います。

【6】
<r8c679(3④7/②3789/②④7)>があやしいとにらみました。r9c7(3789)=8=<r8c679>=7=r8c4(379)とうまくつなげられるので。ただ後が続きませんでした。

投稿: ikachan | 2020年10月15日 (木) 17時08分

[6]
この問題は4国同盟のバリエーションとして解くことができると思います。
4つのセルに4つの数字が入っているということでは4国同盟です。通常の4国同盟はその4つのセルがすべて同一ブロック、同一行、同一列のどれかに所属しています。その条件がこのバリエーションでは満たされてはいません。しかし、何らかの結果が得られます。どういう結果が出てくるかは場面によって変化しますので使う時には確かめておく必要があります。結果が一定したものではないということが公式に9なっていない理由だと思いますが注目して損はない関係だと思っています。この問題で言えばr279c8、r7c9の4つのセルに3,9,1,7の4つの数字が入っています。3と9は(39)の組になっています。(39)の組を仮に数pとします。1、7、pはブロック9の中の3国同盟になっています(pは単一の数字ではなくて数字の組だということの抑えがr2c8にある(39)です)。r89c9の7は消えてしまいます。このことはr7c9に1または7を入れて確かめることができます。r8c9が2、r9c9が4と決まります。これで終わりまで行きます。(r1c8にある39も消えます。)
今年の5月の問題の[1]でも同じ関係が出てきています。r1c4が1であることがすぐに出てきますので終わりまで行くことができます。

投稿: htms42 | 2020年10月15日 (木) 19時28分

ikachanさん、Tachyonさんこんばんは
今回はあっさり

【5】
r7c9(23)=2=r8c7(234)-2-[r8c12(123/23)]-1-r89c3(1246/147)=1=<r2c347(12⑦/12⑤⑦/23⑤)>=2=r2c9(1239)-2-r7c9

ikachanさんと中継マスが1つ違うだけで、除外対象も同じです。
ただ、ikachanさんの回答を見るまでr2c4の1を除外できることに気づいてなかった、これはうっかり。

【6】
r145c8のリンクを考えていて気づきましたが、このパターンは以前にもありました。
r2c8(39)とr7c9(17)の共通の利きにあるr79c8が1379以外の要素を持ちませんのでr179c8以外のc8から3と9、r7c89r9c8以外の下右ボックスから1と7を除外できます。r179c8かr7c89r9c8をALSで使えると簡単なんですが、代わりに<r145c8>が使えました。

r7c9(17)-1-r7c8(1379)=1=<r145c8(1②379/②⑥7/1⑥7)>=7=r79c8(1379/379)-7-r7c9

r1c8の3と9、r89c79の7を除外してクリア、4リンクでした。

もう一つ近くに似たようなループを見つけました。

r2c8(39)-3-r13c7(12379/2379)=3=<r89c7(237⑧9/37⑧9)>=9=r13c7(12379/2379)-9-r2c8

r1c8の3と9、r89c7の2と7を除外でこれもクリアです。

ところで、このr279c8とr7c9の関係はSue-De-Coqなんですね。複雑そうなので理解しようともしてませんでしたけど、最近解説ページを読んでSue-De-Coqは2択マスと大きなALSで作る2リンク連続タイプだと気づきました。その最小構成ですね。

投稿: pot | 2020年10月15日 (木) 19時35分

htms42さんへ
ご無沙汰しています。
コメントありがとうございます。
4国同盟うんぬんはよくわからないのですが、ご指摘の手順は、
r89c9(247/47)-7-[r29c8(39/379)]-39-[r7c89(1379/17)]-7-r89c9

と考えれば2数字リンクを含むNice Loop with ALS と考えられるのではないでしょうか。これで不連続点のr89c9から7が除外できます。

投稿: ikachan | 2020年10月17日 (土) 14時47分

4N'(通常の4国同盟は4Nと書くことにします)についての追加です。
9/13の[8] にも出てきていますが少し違います。
c7に出てきている3と6はすべて(36)の組であり、(36)をpと置くとr789c7が1、9、pの3国同盟の形になっているというところは上で見た4N'と同じですがpが2つの数字の組であるという押さえが2か所になり、他の数字が一緒になっています。(36)がr79c7の両方に入るのか、片方だけに入るのかの判断をしないと3Nに対応させることができません。r7とr9の両方に入るとすると矛盾が生じることは簡単に知ることができますので(36)はどちらか片方です。これでr8c7、9c7 のどちらかに1が入ることが確定しますのでr8c89が27の2国同盟になり、r8c3は8であることが決まります。
私は初めはr56にある88の2択について調べました。r256c7が4,8,(36)になるか(36),4,8になるかのどちらかになるので1は消えることがわかりました。これでr89c7のどちらかに1が入ることが確定します。したがってr8c3の8が確定します。これで終わりにするつもりでしたが88の組に目を付けた理由に当たるものが欲しいと考えて見つけやすい4N’からの考察に切り替えました。この手掛かりは形で判断できます。

こういうことをいろいろ書いても興味を示してくれないだろうとは思いますが、・・・。

 私がよく行く駅前のブックセンター、数独、ナンプレのコーナーがなくなってしまいました。単行本の棚が縮小されてしまったと思っていたらいつの間にかコーナーがなくなってしまったのです。西尾徹也は毎日新聞のクロスワードパズルの出題者に変身しています。二コリの安福氏は副社長になり数独の現場からは離れてしまいました。数独はまちがい探しと同じランクのパズルゲームになっていくのだろうと思います。

投稿: htms42 | 2020年10月17日 (土) 19時55分

ikachanさん、potさんへ

【5】について:
お二人とも正解です。

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


【6】について:
potさん、お見事です!! ついでですが二番目の手筋は

r2c8(39)-3-r13c7(12379/2379)=3=<r89c7(237⑧9/37⑧9)>=9=r79c8(1379/379)-9-r2c8

とすると、r13c7の重複が回避できると思います。

想定は、potさんの一番目の手筋に近く

r1c9(127)=1=r7c9(17)-1-r7c8(1379)=1=<r145c8(1②379/②⑥7/1⑥7)>=7=r79c8(1379/379)-7-r789c9(17/247/47)=7=r1c9

と遠回りの余計なr1c9を中継してしまいました。結果はr1c3<>39, r89c7<>7, r1c9<>2となります。
Sue-De-Coqについてですが、ちょっと定義がちがうんじゃないかと思うのですが、それについては後ほどコメントしたいと思います。

投稿: Tachyon | 2020年10月18日 (日) 09時21分

コメントを書く



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




« 数独日誌201004 | トップページ | 数独日誌201018 »