« 数独日誌110514 | トップページ | 数独日誌110519 »

数独日誌110517

   数独日誌110514にTachyonさんからコメントをいただきました。Sue de Coqの手筋を使う問題です。管理人は1日考えましたがgive upしたいと思います。2択マスも少なく、全く手掛かりがありません。表出数字が多く、それで四角の対角線がらみの手筋を消しているような雰囲気があります。読者の皆さんで解けた方、是非コメントをいただければと思います。Tachyonさん、正解の発表はもう1,2日お待ちください。

|

« 数独日誌110514 | トップページ | 数独日誌110519 »

趣味」カテゴリの記事

コメント

Tachyonさんの問題、難しいですね。本当に解けているか分かりませんが、とりあえず以下になりました。
436217985
159384276
782956314
647895132
825431697
391672458
974128563
218563749
563749821
SueDeCoqを使って、2行1列の6と9、3行4列の8を候補から削除して4行1列が6。そのあとも上級テクを使いまくりで、正しく使えているかわからないまま、多分、偶然にフィニッシュしました。ほとんど、仮置きして、埋めていったら終わっちゃった状態でした。Tachyonさん、解説よろしく。

投稿: まあ坊 | 2011年5月18日 (水) 01時51分

私もSue de Coqがいきなり使えるとすると、(2,3)にある69の2択マスと(3,8)にある18の2択マスがらみかな、と思いました。

しかしこの問題の場合は、左上ブロックと第3行の交差する部分である(3,1)(3,2)(3,3)の3つのマスには、候補数字としてこの順に、1789,789,279が入る可能性があると思います。

3つのマスに全部で12789の5つの数字が入る可能性があり、このままではSue de Coqは使えない、と思いました。

つまりこの3つのマスに2と7と9が入れば、(3,4)から8は除外できないですし、この3つのマスに9以外の、例えば1と2と7が入れば(2,1)から6と9が除外できません。

私は別の手筋でもう少し数を除外して2択マスを増やしてからSue de Coqを使うのかな、と思ったのですが、見つかりませんでした。

Tachyonさん、出番が来たようです。

投稿: ikachan | 2011年5月18日 (水) 20時49分

え―っ? まあ坊さん、そんなに早く? 三日は苦しめようと思ったのに...
と言うのは冗談で、もっとやさしいのを作ろうとしたのですが、そうすると他のワザで全て解けてしまうので、うまくいきませんでした。
ikachanさん、ごめんなさい。表出数字が多くなってしまったのは、余計なワザをできるだけ避けたためです。

まあ坊さんの答えで合っています。

尚、この問題でSueDeCoqがいきなり使えないわけではありませんが、(いきなりのをもう少し考えてみてください ikachanさんの18については合っています)
まあ坊さんのSueDeCoqに行きつくには、2の局部限定が必要なだけです。
その後、必要な上級テクは

Finned/Sashimi (Sword)Fish
2 String-Kite
三国同盟
9の六連結で不連続のX-Cycle(これは絶対必要だと思います)
W-Wing
XY-Wing

といったところでしょうか。
その後、XY-Chainは絶対必要だと思います。

さてまた、SueDeCoq用の問題をもう3つ作ってみました。

SueDeCoqが解けた後は、(一個だけとは限りませんが)
あせらず、暇な時に、気長に気楽に試してみてください。

↓これも、いきなり使えます
000026548
200058700
508013000
050070300
801532604
002090050
000260000
025180000
689340000


↓これも、いきなり使えます
000000000
009006541
540079020
100002000
460090052
000400017
014985203
285300100
000000005

↓SueDeCoq到達までには、Finned(Sword)Fish、2-StringKite、XY-Chain、XYZ-Wing等が必要と思われます。
720109058
510700000
489350701
042501680
158000040
607804105
005000210
200005803
860203570

投稿: Tachyon | 2011年5月18日 (水) 21時19分

私もTachyonさんの問題を解いてみました。まあ坊さんが示された箇所に、{18}と{2679}のAlmost Locked Setsを利用した拡張型のSue de Coqを確認できましたが、その後がさっぱり解けません。せいぜい、r6c6=r79c6-r8c5=r8c9の繋がりで、{9}のGrouped 2-String Kiteを適用できたくらいです。

ついでに、私も自作のソルバーを使って、Sue de Coqの問題を作ってみました。良かったら、解いてみてください。

--4 7-- -65
359 -4- 8-7
--- --- 3--
-7- --9 5--
--- 68- ---
9-- --2 -3-
--7 -5- --1
4-6 --8 ---
5-- --- --9

Sue de Coqはすぐに適用できますが、その後が結構難しいです。Sue de Coqを除いて、世界文化社が想定していると思われる解法だけで解けるとは思いますが。

投稿: パズル好き | 2011年5月18日 (水) 22時08分

Tachyonさんの最初の問題ですが、パズル好きさんの「拡張型のSue de Coq」というコメントでやっとわかりました。

(1,3)(2,3)(3,1)(3,2)(3,3)の5つのマスに入る可能性のある数字はこの順に267,69,1789,789,279となると思います。5つのマスに126789の6つの数字が候補となっています。

(3,8)に18の2択マスがあるので、5つのマスの内(3,1)と(3,2)に1と8が同時には入りません。ということは、この5つのマスには(1または8)と2,6,7,9が入ることになり、(2,1)から6と9が除外できることになります。

また(3,1)と(3,2)に1または8が入るので、(3,8)には8または1が入り、(3,4)のマスから1と8を(実際は1は候補になっていませんが)除外できるということですね。

この拡張型はなかなか見つけるのは大変そうです。

投稿: ikachan | 2011年5月19日 (木) 20時10分

上記の私のコメントで以下を訂正したいと思います。

> まあ坊さんのSueDeCoqに行きつくには、
> 2の局部限定が必要なだけです。

2の局部限定は必要ありません。まあ坊さんの箇所がそのまま、いきなりのSueDeCoqとなります。
ただし、2の局部限定を行ったほうが、わかりやすい気がします。

さらにikachanさんの最初のコメントで、

> 左上ブロックと第3行の交差する部分である
> (3,1)(3,2)(3,3)の3つのマスには、
> 候補数字としてこの順に、
> 1789,789,279が入る可能性があると思います。

とありますが、(3,3)は(1,3)(2,3)と共にブロック内のALS{2679}を形成しているので、
交差する部分は(3,1)(3,2)の2つのマスだけに限定して考えれば、よりすっきりすると思います。

その後についてですが、さっぱり解けないということなので、
パズル好きさんの手筋の後について、もう少しヒントを詳しくしたいと思います。


(局部限定、四角の対角線等は省略)

9のFinned/Sashimi Fish
478の三国同盟
9の六連結X-Chain(不連続X-Cycle)
→右中と右下ブロックの9が決まる

67のW-Wing(2回?)を経て
中下ブロックの6、右下ブロックの7が決まる

678のXY-Wing
この後またSueDeCoqが使える。
→左上、中上、右上ブロックの1が決まる

その後はXY-Chainを多用(SueDeCoqが使える箇所もあります)


どうでしょうか?

さて、前回よりも、もう少しやさしいSueDeCoqの問題ができたと思うので、あと2つ加えさせてください。
どちらも、いきなりSueDeCoqが使えます。

023057819
970080305
805090076
709008560
050000780
068570194
030810907
087000031
194700058


509780341
480931605
301405009
704090060
200070090
690054712
900000150
806519037
135047906

投稿: Tachyon | 2011年5月19日 (木) 21時18分

Tachyonさんのヒントも参考にして、自分の解き筋を再検証してみました。
2,4行の9のFinnedFishで(6,5)の9を除外。6,8,9行の9のSashimiSwordFishで(7,6)の9を除外。
8行と6列の2-StringKiteで(6,9)の9を除外。
6行2,6列が2,9の二国同盟。
(2,5)から(9,6)にかけての9のX-Chainで(8,5)(9,5)の9を除外して、(8,9)が9に確定。
(2,9)-(5,9)-(5,1)の86-67-78のXY-Wingで(2,1)が1に確定。
(8,5)-(7,6)-(7,8)の67-78-86のXY-Wingで(8,7)が7に確定。
(6,6)-(9,6)-(9,4)-(5,4)において(5,4)には2が入らず、(6,6)が2。
(9,4)-(9,7)-(6,7)で(9,4)が4だと(6,7)も4で、真ん中ブロックに4入らず、(5,4)が4に確定。
最後の2つの手筋は仮定法のうちかな。

投稿: まあ坊 | 2011年5月22日 (日) 15時30分

まあ坊さんへ

> (2,5)から(9,6)にかけての9のX-Chainで(8,5)(9,5)の9を除外して、
> (8,9)が9に確定。

やっぱり使いましたね。(5,8)も9に決まらなかった?

> (6,6)-(9,6)-(9,4)-(5,4)において(5,4)には2が入らず、
> (6,6)が2。

すごいです。
これは 29―9=94=42 (―は弱リンク、=は強リンク)で、
私が、数独日誌101109でコメントした変形M-Ring①の一種です。

> (9,4)-(9,7)-(6,7)で(9,4)が4だと(6,7)も4で、
> 真ん中ブロックに4入らず、(5,4)が4に確定。

これは (5,4)-(9,4)-(9,7)-(6,7)の、4=48=8―84 で、
M-Wing (同じく数独日誌101109のパズル好きさんのコメント) と思われます。

M-R/Wingを使うとは想定していませんでした。それならXY-Chainは不要ですね。

投稿: Tachyon | 2011年5月23日 (月) 19時51分

コメントを書く



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




トラックバック


この記事へのトラックバック一覧です: 数独日誌110517:

« 数独日誌110514 | トップページ | 数独日誌110519 »