数独

最近雑誌買ってハマってるけど、難易度高いものは途中で詰む
解き方ネットで調べてみても自分の解きたい問題に応用させるってのが難しい…
何回も間違うし、フリクション使った方がいいかなw

強リンクだけペンシルマークつけてけば大抵の問題は解ける
フリクションなら点を消すだけだし

・・・なに言ってるかわかんないかもだが

>>657
何いってるかわかりませんw

なかなか一つ目が入らないという珍しいの見つけたｗ

034　090　072
000　000　000
060　030　010

043　000　095
090　070　031
000　000　000

000　000　000
078　060　040
000　710　069

難易度的にはそんなにアレだけど・・・

25日の毎日新聞朝刊の 数独 上級ってのが解けない なさけない

Grouped X-CycleであるBoxをはさむグループ弱リンクどうしの接続は、グループがオーバーラップしても
よいことが個人的wに分かった
○○１
１１１　←weak　　　
○○○
　　↓
　　weak

この場合に、□に１があってはならない
□□１
１１１　　　
□□○

>>660
問題教えてくりろな
難いのやってみたい

>>659
一番右の上から８番目みたいなのが苦手だわ
一列に５つ空白があると、候補が一つしかないのを見落としてしまいがち

>>663
図書館に行けば2週間分ぐらい主要な新聞のストックあるだろ
井桁理論を使わないと解けない問題も提供しているらしいな

>>661 >>662
確かにそうですね。でも、図としてはこちらでよいのでは？

□□１
１１１
□□１

弱リンクに重複（overlap）は許されませんが、強リンクや強関係には重複が許されます。
r123c3の1とr2c123の1は強関係にあり、どちらかが必ず真になります。
従って、どちらからも共通して見ることができる□の1を除外できます。
r2c3の1が重複していますが問題ありません。

>>661の図には「weak」と書かれていますが、これは強リンクの誤りかと思います。
そうでないと、>>662のような結果にはならないので。

>>667
それは反対。強リンクの場合には接続する部分(T字路のつきあたり)にあってはいけない。
例えば(2,7)に1がある場合には、(1,3)が1となり、(4〜9,3)の1が除外される。これは
w-s-wのリンクと同じことになる。
逆に(2,7)から強リンクで接続されている場合で(2,7)が1でないとすると、(4〜9,3)は1でも
1でなくてもよい。

>>668
何か話がかみ合いませんね。どういうことを想定されているのでしょうか？
私は例えば次のようなGrouped X-Chainの話をしているのですが。
r123c3=r8c3-r8c7=r7c8-r2c8=r2c123
Chainの両端にあるr123c3の1とr2c123の1は強関係あり、どちらかが必ず真になります。
従って、どちらからも共通して見ることができるr1c12,r3c12の1を除外できます。
Chainの両端でr2c3の1が重複していますが、強関係では重複が許されるので問題ありません。
こういう話なのですが。

>>669
その場合はr8c7、r7c8のどちらかが1となり、それで左上のBoxがどうなるかを考えれば
両方とも、r2c3が1が存在することになるのでr2c3が確定することになります。
私が言いたいのはそうではなく、r7c8=r2c8-r2c123=r123c3-r8c3=r8c5
のようなGrouped X-Chainができ、r6c456とr8c79の1が除外できるということです。

>>670
> 両方とも、r2c3が1が存在することになるのでr2c3が確定することになります。
r2c3の1は確定しないはず。なぜなら、r2c3が1でなくても何の矛盾も生じないからです。
その場合はGrouped X-Loopが成立するだけです。

> 私が言いたいのはそうではなく、r7c8=r2c8-r2c123=r123c3-r8c3=r8c5
> のようなGrouped X-Chainができ、r7c456とr8c79の1が除外できるということです。
それは分かりますが、それでは>>661、>>662の説明になっていないのでは？

>>671
＞r2c3の1は確定しないはず。なぜなら、r2c3が1でなくても何の矛盾も生じないからです。
＞その場合はGrouped X-Loopが成立するだけです。
Grouped X-Loopは成立しないとは言っていない。r7c8とr8c7は強リンクだからどちらかが1
となる。例えば、r7c8が1の場合は、r2c8は1でなくなるから、強リンクで結ばれた先の
r2c123のどれかは1となることが必要となるので、上記のようになる。

＞それは分かりますが、それでは>>661、>>662の説明になっていないのでは？
□の中に１が入ってはいけないというのは、Grouped X-Cycleのリンクを構成する上での
条件という意味。

> Grouped X-Loopは成立しないとは言っていない。
どう言っていないのか分からない。r2c3の1が確定したらGrouped X-Loopも何もないはず。

> 〜が必要となるので、上記のようになる。
上記のようにはなりません。少なくともr2c3の1は確定しない。

> □の中に１が入ってはいけないというのは、Grouped X-Cycleのリンクを構成する上での
> 条件という意味。
まさかそんな基本的な意味だったとは。難しい方に誤解したようです。
Empty Rectangleの強リンクはGroupedの基本中の基本ですものね。

>>673
＞どう言っていないのか分からない。r2c3の1が確定したらGrouped X-Loopも何もないはず。
Grouped X-Cycleが成立した結果、強リンクの先であるGroupsの交点が1だと確定するのではないでしょうか。
>>672の内容は誤りであることが分かりました。

＞まさかそんな基本的な意味だったとは。難しい方に誤解したようです。
＞Empty Rectangleの強リンクはGroupedの基本中の基本ですものね。
そうですか、そんなに簡単なことを書いて失礼しました。こちらはあまり知られていない内容では
ないかと思ったので書いてみました。

上記の
Grouped X-Cycleが成立した結果、強リンクの先であるGroupsの交点が1だと確定するのではないでしょうか。
の部分は削除します。

>>674 >>665
Grouped X-Loopは、もしr2c3が1でなかったらという仮定での話であり、
現時点では成立しません。ただ、将来的に成立する可能性はありますが、
r2c3の1が確定してしまったらその可能性はなくなります。

それから、勝手に誤解して申し訳ございません。Empty Rectangleの強リンクは
私には余りにも当たり前すぎたものですから。ただ、Groupedの考え方はそれほど
一般的ではないかもしれません。

それと、Empty Rectangleの強リンクをr2c123=r123c3のようにされていますね。
r2c3を重複させて強リンクをお考えのようで、それで構わないのですが、
一般的には、r2c123=r13c3あるいはr2c12=r123c3のように重複なしの強リンクを
考えるのが普通です。

>>676
＞Grouped X-Loopは、もしr2c3が1でなかったらという仮定での話であり、
＞現時点では成立しません。ただ、将来的に成立する可能性はありますが、
＞r2c3の1が確定してしまったらその可能性はなくなります。
Grouped X-Loopとなる条件を満たした結果として、r2c3の1が除外されるものと誤解したまでのことです。

＞それと、Empty Rectangleの強リンクをr2c123=r123c3のようにされていますね。
＞r2c3を重複させて強リンクをお考えのようで、それで構わないのですが、
＞一般的には、r2c123=r13c3あるいはr2c12=r123c3のように重複なしの強リンクを
＞考えるのが普通です。
どちらで考えても同じですが、Boxをはさむ強リンク間の接続では、このオバーラップはない
ので、その対比として考えると、上記のような考え方ができるということです。

Help!!

000-000-000
020-604-010
003-020-800
060-007-058
060-007-058
008-065-300
050-800-060
005-090-200
040-506-070
000-000-000

次はどこにどの数字が入りますか？

ごめ
5行目は余分だった

>>678
・上から３行目、３国同盟。→１マス確定
・左から３列目＆７列目の６の位置。
・右下ブロック、４国同盟。（隠れ３国同盟と、見つけやすいほうをどうぞ）
・左から９列目、３国同盟。
・左から９列目で、４が入るのは右下ブロックのみ。
　よって、右下ブロックの他のマスの４消去。
・右下ブロックで、１が入るのは８行目のみ。
　よって、８行目の他の１消去。
・上から２行目＆８行目の８の位置。
・上から２行目＆８行目の３の位置。
・中央ブロック、２国同盟。
・上から５行目、２国同盟。→１マス確定

ここまで入ると、ばたばたと最後まで埋まるはず。

すいません
３行目には１マス確定しました
２行目の６の位置が分かりません

６の候補は

--6---6--
---------
6-------6
---------
---------
---------
6-------6
---------
--6---6--

ですよね。そこからどう考えたらいいのでしょう？

もう見つけているようなので、
すっ飛ばしてください。
X-Wingのことを言いたかったので。

先日はお世話になりました。

無事解けました。
184-953-627
527-684-913
693-721-845
269-317-458
478-265-391
351-849-762
715-498-236
842-536-179
936-172-584

さて、またまたＨｅｌｐ！です。

000-000-000
203-906-804
800-100-300
004-005-006
000-000-000
900-700-100
006-004-005
709-801-403
000-000-000

よろしくお願いいたします。

>>678
r4c1(13),r4c4(23),r6c1(13),r6c4(23)のX-Wing

でけました！　ありがとう
　
ところで皆さんは、難問の場合、候補の数字を　「すべて」　書き込むんですか？

私はこれまで、一つのブロック内の強リンクのみ書き込んでやってましたが、無理でした(+_+)

「みんなのソフトシリーズナンプレアドバンス」全問クリア記念カキコ！
だけどエンディングとかぜんぜん無かったよう・・・ふぇぇ・・・

┏━┯━┯━┳━┯━┯━┳━┯━┯━┓
┃ １│ ６│ ７┃ ２│ ３│ ８┃ ９│ 　│ 　┃
┠─┼─┼─╂─┼─┼─╂─┼─┼─┨
┃ ２│ ３│ ４┃ ５│ ９│ ７┃ １│ ８│ ６┃
┠─┼─┼─╂─┼─┼─╂─┼─┼─┨
┃ ５│ ８│ ９┃ １│ ６│ ４┃ ２│ ７│ ３┃
┣━┿━┿━╋━┿━┿━╋━┿━┿━┫
┃ ８│ ４│ ２┃ ９│ １│ ６┃ 　│ ３│ 　┃
┠─┼─┼─╂─┼─┼─╂─┼─┼─┨
┃ ６│ ７│ １┃ ３│ ４│ ５┃ ８│ ２│ ９┃
┠─┼─┼─╂─┼─┼─╂─┼─┼─┨
┃ ３│ ９│ ５┃ ７│ ８│ ２┃ ４│ ６│ １┃
┣━┿━┿━╋━┿━┿━╋━┿━┿━┫
┃ 　│ ５│ ３┃ ８│ ２│ ９┃ ６│ １│ 　┃
┠─┼─┼─╂─┼─┼─╂─┼─┼─┨
┃ 　│ １│ ８┃ ６│ 　│ ３┃ 　│ 　│ ２┃
┠─┼─┼─╂─┼─┼─╂─┼─┼─┨
┃ 　│ ２│ ６┃ ４│ 　│ １┃ ３│ 　│ ８┃
┗━┷━┷━┻━┷━┷━┻━┷━┷━┛

ここから先に進めません。どなたかヒントください

>>687
上から８行目（下から２行目）に、２国同盟があるよ。

候補数字が、aとbだけのマス。
それが２つあるということは、
上から８行目の他のマスにaとbは入らない。

唯一解にならない気が・・・

http://i.imgur.com/SWRXuct.jpg
禿げしくスレチかもしれんが、次の手を教えていただきたい
詰んだ...

上から4行目に4、5、7の3国同盟

>>691 ほんとだ！ありがとうございます。

また質問
http://i.imgur.com/4orwN1w.jpg
x cycleっていう方法を使ったんだけどあってるかな
そうすると緑矢印のとこは9になるのか？

すいません 自己解決しました

自分の解き方は>>691によって
真ん中ブロックで6の位置が絞られるから
上から6行目で5、6,、7の3国同盟
今度は真ん中ブロックで8の位置が絞られる
よって上から9・左から5のマスが9に確定

X cycleとか超上級のテクニック使わないと解けない問題とかねぇのかな

ひとっつもうまらへん（TT)
┏━┯━┯━┳━┯━┯━┳━┯━┯━┓
┃ 　│ 　│ 　┃ 　│ 　│ 　┃ 　│ 　│ 　┃
┠─┼─┼─╂─┼─┼─╂─┼─┼─┨
┃ 　│ ８│ 　┃ ４│ 　│ ３┃ 　│ １│ 　┃
┠─┼─┼─╂─┼─┼─╂─┼─┼─┨
┃ 　│　 │ ７┃ 　│ ５│ 　┃ ９│ 　│ 　┃
┣━┿━┿━╋━┿━┿━╋━┿━┿━┫
┃ 　│ ６│ 　┃ 　│ 　│ 　┃ 　│ ８│ 　┃
┠─┼─┼─╂─┼─┼─╂─┼─┼─┨
┃　 │ 　│ ９┃ 　│ ６│ 　┃ １│ 　│ 　┃
┠─┼─┼─╂─┼─┼─╂─┼─┼─┨
┃ 　│ ３│ 　┃ 　│ 　│ 　┃ 　│ ６│ 　┃
┣━┿━┿━╋━┿━┿━╋━┿━┿━┫
┃ 　│ 　│ ５┃ 　│ ７│ 　┃ ６│ 　│ 　┃
┠─┼─┼─╂─┼─┼─╂─┼─┼─┨
┃ 　│ ４│ 　┃ １│ 　│ ８┃ 　│ ２│ 　┃
┠─┼─┼─╂─┼─┼─╂─┼─┼─┨
┃ 　│ 　│ 　┃ 　│ 　│ 　┃ 　│ 　│ 　┃
┗━┷━┷━┻━┷━┷━┻━┷━┷━┛

r8c1 r8c7 r8c9 に候補3は入らない
r8c9 に候補9は入らない
r8c7 r8c9 は候補5,7の二国同盟となり、r8c1 に候補7は入らない
候補7のX-wingにより、r9c1 に7は入らない
左下のボックスの候補7が決まる

数独の問題をPC（Windows7 x64）上のソフトに入力しソフト上で解きたいのですが、お勧めのソフトを教えてください
候補を手動で一つずつ入力・消去できるものが理想（nikoli.comのメモのようなイメージ）
ソフトに問題を解かせるというよりもソフトは問題と解くための作業台のようなイメージです

>>699
HoDoKuというフリーソフトはいかがでしょうか？
http://hodoku.sourceforge.net/en/index.php
基本的にはSolverですが、自分で解くのにも使えますよ。
Solverとしては使いやすく完成度が高いです。どうも世界的な定番のようです。

>>700
レスありがとう

HoDoKu、Simple Sudoku、CR-Sudoku、Sudoku SnakeはDLしてちょっと試してみてはいます

HoDoKuは候補を一つずつ入力する方法がまだ理解できておりません
Options→Show All Candidatesで候補の自動入力ができることは理解しておりますが、
自動ではなく手動で一つずつ候補を入力できないものかと思いまして

英語慣れしていないせいもありまだ使い方を理解できていないかと思いますので、
使い方を調べながらしばらく使ってみようかと思います

>>701
最初の候補書きも自分でやりたいわけですか。要するに、紙上で解くのと全く同じに
したいわけですね。HoDoKuの場合、候補書きは多分自動でないとできないと思います。
その後の候補の除外や確定は手作業でできるのですけどね。
いずれにしても、HoDoKuではご希望に沿えないようです。

>>702
そうです、紙で解くのと全く同じ感じにしたいわけです
候補を一つずつ入力というのは面倒なんですけど、ソフトのアシストで楽をするというのもちょっとどうかなと

数独を本格的にやりだしたのがnikoli.comだったせいもあり、紙の上で解くという習慣がないというか
雑誌ならともかく単行本とかに書き込みするのもあまり好きではないというのもありまして

> HoDoKuの場合、候補書きは多分自動でないとできないと思います
この回答を頂けただけでもありがたいです
他のソフト含めいろいろと試してみてからまた考えたいと思います
やっぱり自分の好みにするには自作しかないかなとは思ってますが

お付き合いいただき、どうもありがとうございました

>>703
NumDocとかは？

NumDocによると

---4916--
4--8327--
-9-657-4-
--8349--6
---215---
3--7869--
010578060
--512---8
---96----

次は r2c2 に ５ が入るそうなんだけどなぜ？