数独日誌150102
【大日向一富巨さん提供問題 【3】と【4】】
大日向さんもコメントされているように、XY-chainはなかなか見つけにくい手筋だと思います。要するに2択マスを連鎖させて、2つの候補数字を「しりとり」のようにつないでいく形なわけですが、XY-wingと比べると難易度はだいぶ上がると思います。私は、この手筋を見つけるのに背理法を使っています。
つまり「ねらい目」のマスに、ある数字Aが入ると仮定して、2択マスを辿っていくと、矛盾が起きないかを探します。普通はAが同じ行(or列orブロック)に2つ登場するタイプの矛盾です。
うまく矛盾が起こると、数字Aが入るとしたマスの次のマスから、最後矛盾が起きたマスまでにXY-chainが成り立っています。そしてその2番目のマスと最後のマスの両方を臨むマスが、最初の「ねらい目」のマスということになります。
最初の「ねらい目」のマスをどれにするか、というところが勘所というか、なかなか難しいところだと思います。さて今回はどんな感じの問題でしょうか?
【3】
700 500 009
010 007 080
002 060 700
200 006 070
004 050 600
030 400 005
003 040 800
020 300 010
100 002 007
【4】
004 002 700
030 500 200
200 060 003
010 007 005
002 000 800
400 300 090
100 040 008
006 005 070
008 700 600
| 固定リンク
「趣味」カテゴリの記事
- 数独日誌240915(2024.09.15)
- 数独日誌240908(2024.09.08)
- 数独日誌240901(2024.09.01)
- 数独日誌240825(2024.08.25)
- 数独日誌240811(2024.08.11)
コメント
大日向 一富巨さんへ
【3】をやってみましたところ、連続タイプのNiceLoopに属する技が使えましたので、期待されたワザでないと思いますが、数独日誌141227のお言葉に甘えて報告したいと思います。
(「-」は弱リンク、「=」は強リンクを表します)
中央ブロックで隠れ27同盟
数字1のX-Cycle(連続タイプ)
r1c5 - r1c7 = r3c9 - r5c9 = r5c6 - r4c5 = r1c5とし、
r1c5-1-r1c7でr1c6から1を除外
r3c9-1-r5c9でr4c9から1を除外
r5c6-1-r4c5でr4c4とr6c6から1を除外
中央ブロックで89同盟
XY-Loop(XY-Chainの連続タイプ)
r2c4(29)-r4c4(98)-r6c6(89)-r6c8(92)-r6c5(27)-r5c4(72)-r2c4(29)とし、
r2c4-9-r4c4でr79c4から9を除外
r6c6-9-r6c8でr6c137から9を除外
r6c8-2-r6c5でr6c7から2を除外
後はすんなり解けます。
X-Cycleの連続タイプについてはミシチャンのサイト(http://www.geocities.jp/master_mishichan/hyper2.html)
XY-Loopについては数独日誌110818を参照してくれれば分かり易いと思います。
投稿: Tachyon | 2015年1月 3日 (土) 13時39分
大日向さんへ
【3】
見た目のインパクトの強烈さは【1】と少し似ていますが、これは【1】以上の難問だと思います。世界文化社「世界で一番美しくて難しいナンプレ」でいえば、最終問題の難易度はあるような気がします。
序盤は中中ブロックに27の2国同盟があるだけで、まったく埋まりません。その後、
1についての四角の対角線(3行)
これで中中ブロックに89と13の2組の2国同盟
4についての四角の対角線(3行)
6についての四角の対角線(3行)
これでr1c3が8に決まり、左下ブロックに48、67、59の3組の2国同盟
8についての局部限定
そして、
r2c4(92)-r5c4(27)-r6c5(72)-r6c8(98)-r4c4(89)
5マス構成のXY-chainで、r2c4とr4c4の両方を臨むr379c4から9が除外できます。これでr9c4が6で確定し、最後まで埋まると思います。
ソルバーで確認したところ、この問題は別解がありそうです。
と、実はここまで事前に書いておいたのですが、Tachyonさんのコメントを読んで、このように最初の2択マスと最後の2択マスが同じ行(or列orブロック)にあるXY-chainは、XY-loopと呼ばれ、たくさん数字が除外できるんでしたね。忘れていました。
この場合のchainは連続タイプなので、どの2択マスからもスタートすることができます。ということで除外できる数字も多くなります。
XY-loopは長方形の角の部分によく登場するするので、その形の場合はすぐにわかるのですが。
こうなると5リンク構成の、弱リンクのみでつながっているNice Loopと考えた方が、除外できる数字がわかりやすいかもしれません。(Nice Loopの手筋では連続タイプの場合、弱リンクでつながっている2つのマスについて、その両方を臨むすべてのマスから、その数字が除外できます)
【4】
これはXY-chain、Remote Pairs、XY-chainと使い、一発ではできませんでした。はたして作者の想定は?
序盤かなり埋まり、第8行に39の2国同盟があります。
まず、
r7c2(27)-r3c2(78)-r6c2(86)-r6c6(68)-r4c5(89)-r9c5(91)-r8c5(18)-r8c4(82)
これで8マス構成のXY-chainが成立し、r7c2とr8c4の両方を臨むr7c4とr8c2から2が除外できます。これでr8c2が4、r8c4が2で確定します。
次に、68の2択マス6つからなるRemote Pairs
(r1c2-r2c1-r4c1-r6c2-r6c6-r4c4)で、r1c4から8が除外でき、このマスが1で確定します。
更に、
r4c1(86)-r2c1(68)-r2c6(89)-r3c4(98)
この4マス構成のXY-chainでr4c4から8が除外でき、このマスが6で確定し、最後まで埋まると思います。
投稿: ikachan | 2015年1月 7日 (水) 09時20分
Tachyonさんへ
早速挑戦して頂きありがとうございます。
Nice Loop関連の手筋を見つけられたようですね。さすがです。
Tachyonさんの見つけられた手筋と私の想定(下にあります)と見比べてみると、除外出来る数字は変わりませんが、別の角度から見たという感じですね。
その後のXY-Loopについては、私の想定と同じでした。
ikachanさんへ
XY-Loopと言いますと、すぐに思い浮かぶのは長方形の四隅のような形ですよね。
なので【3】のような形のXY-Loopというのはあまり思い付かないと思います。
ikachanさんと同じ事を言いますがXY-chainの始点と終点が繋がった形がXY-Loopなので、必ずしも四角形でなければいけないという決まりは無いのです。
今回の問題は、5リンク以上のXY-Loopというのも登場します。
では、鍵となっている部分のみ書き込みます。
【3】について
中中ブロックに27の2国同盟
1についての3行の四角の対角線(swordfish)
(Tachyonさんは、これの代わりにX-cycleを使われたようです)
中中ブロックに13と89の2国同盟
ここで6リンクのXY-Loopを使用します。
r2c4(92)-r5c4(27)-r6c5(72)-r6c8(29)-r6c6(98)-r4c4(89)
これにより、第4列と第6行の2と9を排除
これで最後まで行きます。
【4】について
ikachanさんの見つけられた手筋とほぼ同じです。
【1】~【3】とは異なり、序盤で少し埋まりN国同盟もあまり登場しません。
第8行に39の2国同盟
ここで8リンクのXY-chainが見つかります。ikachanさんと同じですが、念のため…
r7c2(27)-r3c2(78)-r6c2(86)-r4c1(68)-r4c5(89)-r9c5(91)-r8c5(18)-r8c4(82)
これにより、r8c2とr7c4の2を排除
大分手が進み、この後
r1c2(68)-r2c1(86)-r4c1(68)-r4c4(86)
このRemote Pairsにより、r1c4の6と8を排除し1に確定。さらに
r2c1(68)-r1c2(86)-r6c2(68)-r6c6(86)
もう一度Remote Pairsが見つかり、r2c6の8を排除し9に確定。
これで最後まで行きます。
実は【5】以降の問題は、一問を除いて想定でXY-chainを二回以上使用しています。(多すぎても大変なので、上限は三回までとしています)
投稿: 大日向 一富巨 | 2015年1月 9日 (金) 17時39分