┏━━━━━┳━━━━━┳━━━━━┓ ┐ ┃ ┃ ┃ ┃←第１行／Ｒｏｗ１│ ┃ブロック１┃ブロック２┃ブロック３┃←第２行／Ｒｏｗ２│ ┃ ┃ ┃ ┃←第３行／Ｒｏｗ３│ ┣━━━━━╋━━━━━╋━━━━━┫ │ ┃ ┃ ┃ ┃←第４行／Ｒｏｗ４│ ┃ブロック４┃ブロック５┃ブロック６┃←第５行／Ｒｏｗ５├ 横の列 ┃ ┃ ┃ ┃←第６行／Ｒｏｗ６│ ┣━━━━━╋━━━━━╋━━━━━┫ │ ┃ ┃ ┃ ┃←第７行／Ｒｏｗ７│ ┃ブロック７┃ブロック８┃ブロック９┃←第８行／Ｒｏｗ８│ ┃ ┃ ┃ ┃←第９行／Ｒｏｗ９│ ┗━━━━━┻━━━━━┻━━━━━┛ ┘ ↑ ↑ ↑ ↑ ↑ ↑ ↑ ↑ ↑ 第 第 第 第 第 第 第 第 第 １ ２ ３ ４ ５ ６ ７ ８ ９ 列 列 列 列 列 列 列 列 列 ／ ／ ／ ／ ／ ／ ／ ／ ／ Ｃ Ｃ Ｃ Ｃ Ｃ Ｃ Ｃ Ｃ Ｃ ｏ ｏ ｏ ｏ ｏ ｏ ｏ ｏ ｏ ｌ ｌ ｌ ｌ ｌ ｌ ｌ ｌ ｌ ｕ ｕ ｕ ｕ ｕ ｕ ｕ ｕ ｕ ｍ ｍ ｍ ｍ ｍ ｍ ｍ ｍ ｍ ｎ ｎ ｎ ｎ ｎ ｎ ｎ ｎ ｎ １ ２ ３ ４ ５ ６ ７ ８ ９ └───────┬─────────┘ 縦の列 Nice Loop 連鎖ルールとは？�� 「Strong link」 を張る時は、実線でラベルを 「＋数字」、または単に 「数字」 と書きます （ここでは、「数字」 でした）。
�� 「Weak link」 を張る時は、破線でラベルを 「−数字」 と書きます。
�� 「Strong inference」 は、「Weak inference」 と解釈しても良い。
�� 「Strong inference」 から 「Strong inference」 にリンクを張る場合は、
異なるラベルでなければなりません。 例えば下記のように、「Ｒ４Ｃ２」 と 「Ｒ４Ｃ６」 のセルには、共に 「１」 の候補数字を持ち、同じ行の他のセルに 「１」 の候補数字は存在しないのでラベル 「１」 の 「Strong inference」 となります。 他にも、「Ｒ４Ｃ６」 と 「Ｒ８Ｃ６」 のセルには、共に 「６」 の候補数字を持ち、同じ列の他のセルに 「６」 の候補数字は存在しないので、こちらもラベル 「６」 の 「Strong inference」 となります。 ※「Nice loops for advanced level players - b/b plot」より 701239640602145007049867010400050070900080061060020053090018724000470500074590106 http://www.sudoku.com/boards/viewtopic.php?t=2143 �� 「Weak inference」 から 「Weak inference」 にリンクを張る場合は、
異なるラベルで、且つリンク元のセルは 「２値セル」 でなければなりません。 例えば下記のように、「２値セル」 だけでリンクが繋がっています。先ず、「Ｒ３Ｃ３」 と 「Ｒ３Ｃ９」 のセルには、共に 「１」 の候補数字を持っているので、ラベルは 「−１」 となります。 他にも、「Ｒ３Ｃ９」 と 「Ｒ１Ｃ７」 のセルには、共に 「９」 の候補数字を持っているので、ラベルは 「−９」 となります。 ※「Nice loops for advanced level players - b/b plot」より 560731048000590630000062570090205180004010300008309020076980000005020800800150063 http://www.sudoku.com/boards/viewtopic.php?t=2143 �� 「Strong inference」 から 「Weak inference」、またはその逆にリンクを張る場合は、
異なるラベルで、同じ値でなければなりません。 例えば下記のように、「Ｒ８Ｃ１」 と 「Ｒ６Ｃ１」 のラベルは 「１」 の 「Strong inference」 を持ち、「Ｒ６Ｃ１」 と 「Ｒ４Ｃ２」 のラベルも 「１」 の 「Strong inference」 を持っています。 しかし、上記の 「��」 の定義と、ここの定義に従って、「Ｒ６Ｃ１」 と 「Ｒ４Ｃ２」 のラベル 「��」 の 「Strong inference」 から、「２値セル」 では無くてもラベル 「−１」 の 「Weak inference」 と解釈しても良いようです（重要です！）。 ※「Nice loops for advanced level players - b/b plot」より 701239640602145007049867010400050070900080061060020053090018724000470500074590106 http://www.sudoku.com/boards/viewtopic.php?t=2143 次は、「Nice Loop 例外条件」 です。m(_ _)m |
□ Nice Loop 解法
[ リスト ]
連鎖ルールのレの字もわからず読み終えてしまいました。
この記事見て。。。そうだね・・・なんてコメントできたらなぁ／(_-_)＼ｻｶﾀﾞﾁ!
2009/10/7(水) 午後 0:08 [ マッハ (*Θ_Θ*)/ ]
●マッハさん＞
ナンプレが好きで、どんどん難しい問題を挑戦していくと、
解けないものを解けるように、
色んなロジックを駆使しています。
今回の「Nice Loop」はとても難しいのですが、
何となく解けるようになり始めてきました。
いつも見に来てくれて、
本当に有難う御座いました〜！ ＼(^o^)／
2009/10/8(木) 午後 0:40
Nice Loopは見つけるのが大変です
私はエクセルのマクロをツールとして使っています。
ぴーにぃさんはどうされていますか
2011/4/7(木) 午後 2:10 [ exc**_otak* ]
●exc**_otak*さん＞
問題が解けない時は、
先ず「２〜ｎ国同盟」や「X-wing」の解法を使って、
解けないマスを解くように努力しています。
※解法の神様＝みしちゃん→http://www.geocities.jp/master_mishichan/
それ以上に問題が解けなくなると、
Nice Loopも使って解くこともあります。
※daigoさんのソフト→http://www.vector.co.jp/soft/data/game/se472172.html
そして最後にどうしても解けなくなったら、
「Sudoku Susser」のソフトで解く事になります。
私はエクセルのマクロが分からなくて、
作り方も出来なくてパスしました。(^_^;
2011/4/7(木) 午後 4:33
早速の回答ありがとうございます。
現在NiceLoopのロジックをエクセルのマクロに組み込んでいるところです。
みしちゃんやHodoku、Sudoku Susserなどほかのサイトも一緒に参考にしています。
用語の定義や解法の説明が明確で一義的でないとプログラムが想定外の動きをします。
ぴーにぃさんの説明記述は明快でわかりやすくとても役に立ちます。おかげでなんとかできそうです。
エクセルのいいところは入出力が容易でたとえばNiceLoopの連鎖一覧詳細もすぐにできるところですね。少しでも曖昧なところがあるとたちどころに動かなくなります。
2011/4/8(金) 午後 2:59 [ exc**_otak* ]
●exc**_otak*さん＞
それにしても、コンピュータにとっては直ぐに解けるのですが、
人間で処理する時間がとても遅くて、
（頭が良くて、直ぐに解ける人間もありますが、、、(^_^; ）
解くまではかなり時間が掛かります。
でも私はナンプレが好きで、
楽しんで解けるよう努力しています。
なので、楽しんでいきましょうね！ (^_-)-☆
2011/4/8(金) 午後 4:31