数独日誌160319
【Tachyonさん提供問題 (G)NL with AHS基四【５】【６】】
今回は確かに難しそうです。果たして結果は？
四(G)NL+AHS【５】
700 000 019
000 917 030
009 800 700
903 762 580
000 000 000
058 439 600
006 004 000
020 090 000
390 000 002
四(G)NL+AHS【６】
060 038 100
100 000 030
309 410 000
010 004 750
900 000 041
048 701 320
000 069 417
000 100 503
001 540 080
| 固定リンク
「趣味」カテゴリの記事
- 数独日誌241201(2024.12.01)
- 数独日誌241124(2024.11.24)
- 数独日誌241117(2024.11.17)
- 数独日誌241110(2024.11.10)
- 数独日誌241103(2024.11.03)
コメント
hodokuのソルバーは無料でしょうか？
実は池田書店のナンプレのレベル７＋＋の問題で大苦戦
しています。
投稿: 板野 司 | 2016年3月21日 (月) 22時50分
板野 司さんへ
ブログを読んでいただいてありがとうございます。
HoDoKuはなにぶん英語で書かれたページなので、細かい点はよくわかりませんが、ホームページを開くと、画面左上に長方形のメニューがいくつか並んでいます。
この中の「Downlord」のボタンを押します。
すると新しい画面で、大きな「START DOWNLORD」のボタンがありますが、おそらくそれではなくて、画面中央に普通の字の大きさで、
Looking for the latest version？ Downlord hodoku 2-2-0
とあり、「Downlord hodoku 2-2-0」の部分にリンクが貼られていて、これをクリックするとダウンロードが始まると思います。もちろん無料です。
数独日誌160101でこのソルバーについて書いていますので、
参考にしてください。
池田書店の本は以前に「極」シリーズや「激」シリーズを解いたことがあり、記事にしています。（過去のブログ記事は私のHP「ikachanの数独三昧」の中の「ブログ記事一覧」からジャンプしてください）
http://ikachanzanmai.private.coocan.jp/
ちょっと見なかった間に池田書店のナンプレ本が増えたようですね。何かお勧めの本はありますか？
投稿: ikachan | 2016年3月22日 (火) 09時04分
ikachanさんへ
御返事有難うございます。さっそく試してみます。
私がやったのは池田書店のhardシリーズの７巻と８巻だったのですが・・・最近の本でお勧めなのは以下の２冊です。 １、ナンプレ超絶難問２００ ２、ひらめきナンプレ難問２００ です。これらはまだやってはいませんが、レベル７＋＋の問題が２００問中８０問も入っています。又、最近、今井洋輔さんと稲葉直樹さんが世界文化社以外から独自にナンプレ本を出されているようなので、（amazonで検索すると出てきます）それらも面白いかもです。
投稿: 板野 司 | 2016年3月22日 (火) 20時56分
板野司さんへ
早速コメントありがとうございます。
ここのところ世界文化社とニコリ社の本しか解いていませんでした。明日にでも本屋のナンプレコーナーをのぞいてみたいと思います。
投稿: ikachan | 2016年3月22日 (火) 22時38分
Tachyonさんへ
【５】
だいぶ苦戦しましたが、なんとか見つかったと思います。
r7c4(1235)=1=＜r57c7(234⑨/138⑨)＞=3=r8c7(1348)-3-r8c46(1356/13568)=3=r7c4
これで４リンク構成の連続タイプのGrouped Nice Loop with AHSが成立します。この結果、
１の強リンクと３の強リンクが連結しているr7c4から１と３以外の２と５が除外できます。この結果r1c4が２で確定。
＜r57c7＞でこのリンクで使わなかった数字、つまりr5c7から
２と４が、r7c7から８が除外できます。この結果r2c7が２で確定し、最後まで埋ると思います。
【６】
大苦戦しましたが、頑張りました！！
でもこんな形ありでしょうか？
r8c8(69)=6=＜r8c13・r1c1(2④678/2④67/2④57)＞=7=r9c1(67)=6=r9c79(269/26)-6-r8c8
これで４リンク構成の連続タイプのGrouped Nice Loop with AHSが成立します。この場合２つのAHSが重なっているr8c1について、このリンクで未使用の２と８が除外できると思います。この結果、
r8c5が８で確定、
中中ブロックに259の３国同盟
第５行に368の３国同盟等を経て最後まで埋ると思います。
投稿: ikachan | 2016年3月24日 (木) 19時31分
ikachanさんへ
hodokuのソルバーはすごい。分かりやすくていいです。
有難うございました。さっそく、池田書店のhardの８巻で未完に終わった２題を試してみました。１題はw-wingの見落としである事が分かりました。ただ、もう１題はとんでもなかったです。ソルバーはSue De Coqを使ったのです。ミシちゃんさんのサイトを見ましたがよく分かりません。じっくり見てみる必要がありそうです。これで終わりと思いきや、ソルバーはなんとnice loopまで使ったのです。nice loopは基本形の説明だけ読んだ事があるのですが、実践で使う自信が無く敬遠していました。ikachanさん、nice loopを見つけるコツなどありますか？
投稿: 板野 司 | 2016年3月25日 (金) 22時52分
板野司さんへ
再びコメントありがとうございます。
Nice Loopについてはこのブログの最も得意とするところで、古い読者のTachyonさん（私は師匠と呼んでいます）から解説や問題提供などをしていただいています。（数独日誌110806あたりから始まっているでしょうか）
数独日誌150101でNice Loopについて、記事以外でもいろいろな方がコメントをしていて参考になるのではないかと思います。
投稿: ikachan | 2016年3月26日 (土) 09時49分
板野司さんへ
コツということですが、強リンクの数字に<>のマークをつける、というのが１つあります。私のHP「ikachanの数独三昧」の「上級問題の解き方」を参照してください。
このマークが複数ついたマスなどはLoopで使うチャンスが多くなります。
投稿: ikachan | 2016年3月26日 (土) 10時38分
ikachanさんへ
【５】について：
正解です。但し、ikachanさんが除外した候補の他に、r8c7-3-r8c46よりr8c9<>3があります。
想定では、
r5c7(2349)=9=＜r7c47(①235/①389)＞=3=r7c9(3578)-3-r5c9(34)=3=r5c7
で、
3=r5c7=9よりr5c7から2と4を除外、
9=＜r7c47①＞=3よりr7c4から2と5、r7c7から8を除外
r7c9-3-r5c9よりr8c9から3を除外としました。
【６】について：
> でもこんな形ありでしょうか？
> ＜r8c13・r1c1(2④678/2④67/2④57)＞
残念ながら、なしです。
AHSどうしのドッキングは有りますが、中核となる候補がダブってひとつのAHSになることは許されません。
(※AHSどうしのドッキングについては後に取り上げてみたいと思います)
想定では、ikachanさんがAHSと思われたセットを２つのAHSに分け、
r7c1(258)=8=＜r8c13(2④678/2④67)＞=6=r9c9(67)=7=＜r18c1(2④57/2④678)＞=8=r7c1
で、r7c1を８に確定としました。
尚、この形は、
＜r8c13④＞=6=r9c9=7=＜r18c1④＞
で、重ねあったr8c1を不連続点とみなし、そこから２と８を除外とする考え方も有ります。
投稿: Tachyon | 2016年3月26日 (土) 12時43分
ikachanさんへ
いろいろ有難うございました。nice loopについては、ゆっくりとやってみます。
投稿: 板野司 | 2016年3月26日 (土) 23時06分
ikachanさんへ
【６】についての私のコメントを補足します。
もし、ikachanさんの思われた連続Loopをよしとするならば、r1c1から５も除外できるはずですが、そうはなりません。
ikachanさんのリンク式を、私の前のコメントで述べた後者の考え方で表すならば、以下のようになります。
＜r18c1(2④57/2④678)＞=7=r9c1(67)=6=r9c79(269/26)-6-r8c8(69)=6=＜r8c13(2④678/2④67)＞
これは連続タイプではなく、これならば重ねあったr8c1から２と８が除外できます。
投稿: Tachyon | 2016年3月27日 (日) 10時00分
Tachyonさんへ
解説ありがとうございます。
r8c1を不連続点と考えるわけですね。なるほどです。
投稿: ikachan | 2016年3月27日 (日) 15時33分