※「Nice loops for advanced level players - b/b plot」より
※この画像では、「Sword fish」の解法までセル、及び候補数字を削除されていました。 002090107038600000400000000000005000009010300000400000000000004000007920806030700 http://www.sudoku.com/boards/viewtopic.php?t=2143 先ずは、「Nice Loop」 による用語の定義を書きました。 上記のように、実線で黄色の丸印に数字が書かれているのは 「Strong link」 で、
破線で水色の四角印に数字が書かれているのは、「Weak link」 ですので、 それを見ながら理解してください。(^_^)v ○セル
９×９のナンバープレイス（ナンプレ、数独）で問題を解く場合、８１個の内、１つの四角に数字を書く場所を 「セル」 と呼びます。 ○候補数字
空白のセルに入れる可能性がある数字を、「候補数字」 と呼びます。 例えば、上記の画像で見ると、「上から１、左から１」 （Ｒ１Ｃ１） のセルに入れる可能性があるのは 「５か６」 しか入れませんので、それを 「５か６の候補数字」 と言います。 ○ループ
最初から始まって、最後に同じ場所から戻ることを 「ループ」 と呼びます。 ○ユニット （unit）
行・列・ブロックの、何れかが入っている枠組みです。 ○２値セル （Bi-valueセル）
候補数字が２つだけしか無いセルを、「２値セル（Bi-valueセル）」 と呼びます。 例えば、「上から１、左から１」 （Ｒ１Ｃ１） のセルには５か６の候補数字しか無いので、これを 「２値セル」 と言います。 ○２所セル （Bi-locationセル）
互いのセル内に存在する共通の候補数字が、ユニット内の他のセルに存在しない時、互いのセルを 「２所セル（Bi-locationセル）」と呼びます。 例えば、「上から２、左から１ （Ｒ２Ｃ１）」 と「上から７、左から１ （Ｒ７Ｃ１）」 のセルにはどちらかに 「９」 が入り、他の縦のセルに 「９」 は入れません。 従って、「上から２、左から１ （Ｒ２Ｃ１）」 と「上から７、左から１ （Ｒ７Ｃ１）」 のリンクを、「９の２所セル」 と言います。 ○リンク
互いのセル 「A」 と 「B」 が同じユニットに属し、共通の候補数字を持つことを、「A」 と 「B」 は、「リンクしている」 と呼びます。 ○ラベル
互いのセルにリンクし、実線の上に黄色い丸印の数字や、破線の上に水色の四角の数字を持つことを 「ラベル」 と呼びます。場合によっては、２つの数字を持つこともあります。 例えば、「上から１、左から１」（Ｒ１Ｃ１） と 「上から１、左から２」（Ｒ１Ｃ２） のセルには、５か６のペアで繋がっています。 ○ Strong inference （強い演繹関係）
互いのセル 「A」 と 「B」 の間に、次のような関係を 「Strong inference」 と呼びます。 When A is false, then B is true. When B is false, then A is true. (can not both be false) 「A」 と 「B」 が同じユニットに属する場合、「A」 と 「B」 が同時に 「true」 になることはありません。 (A = false) → (B = true) (A = true) → (B = false) (B = false) → (A = true) (B = true) → (A = false) ○Weak inference （弱い演繹関係）
２つのセル 「A」 と 「B」 の間に、次のような関係を 「Weak inference」 と呼びます。 When A is true, then B is false. When B is true, then A is false. (can not both be true) 「A」 と 「B」 が同じユニットに属する場合でも、「A」 と 「B」 が同時に 「false」 であることはあり得ます。 (A = true) → (B = false) (A = false) → (B = true / false) (B = true) → (A = false) (B = false) → (A = true / false) 「A」 と 「B」 が同じユニットに属する場合で 「Strong inference」 であれば、「Weak inference」 であります。 従って、「Strong inference」 は 「Weak inference」 でもあります。 ○ Strong link （強いリンク）
「Strong inference」 を満たすリンクを、「Strong link」 と呼びます。 ○ Weak link （弱いリンク）
「Weak inference」 を満たすリンクを、「Weak link」 と呼びます。 ○連続的 Nice loop （Continuous Nice loop）
ループ全体が 「Nice Loop 連鎖ルール」（次回、記事を書きます） に従っていたら、「連続的 Nice Loop」 と呼びます。 ○不連続 Nice loop （Discontinuous Nice loop）
先頭セルが 「Nice Loop 例外条件」（次々回） に合致し、それ以外のループが 「Nice Loop 連鎖ルール」 に従っていたら、「不連続 Nice Loop」 と呼びます。 次は、「Nice Loop 連鎖ルール」 です。m(_ _)m |
□ Nice Loop 解法
[ リスト ]
ギャー＼((;◎_◎)／！
URLをクリックしたら更にむずかしいサイトになりました(ﾟ＿ﾟi)ﾀﾗｰ･･･
ここでも充分むずかしいのに・・・お手上げ凸ヾ(｡･▽･｡)ﾎﾟﾁｯ
2009/10/1(木) 午前 1:43 [ マッハ (*Θ_Θ*)/ ]
●マッハさん＞
ナンバープレイスのパズルがとても楽しくて、
解けなかった問題を解けるようになる解法を、
必死に学んでいます。
見に来てくれて、有難う御座います。
ぽちっも有難う御座います〜！ ＼(^o^)／
2009/10/1(木) 午前 11:03
mixiのコミュニティからここへ来ました。
用語解説がありがたいですが、わかるようでわからない？
数独は得意のつもりでしたが、いや〜勉強不足です。
何回もお邪魔して、少しずつ覚えていきたいです。
2009/10/8(木) 午後 8:19 [ taka-chan ]
●taka-chanさん＞
見に来てくれて、有難う御座います！ ＼(^o^)／
ナンプレで難しい問題を挑んでいますが、
２〜４国同盟やＸ−Ｗｉｎｇまでは解けますが、
その先が見えないときもありますよね。
ミクシィで「なりさん」の問題も難しくて、
今回は「Nice Loop」を使いました。
もし、「Nice Loop」の解法を覚えていくと
一気に埋まることが出来ますので、
是非、学んでみてはどうでしょうか。(^_-)-☆
ではでは、宜しくお願いします〜！ (^_^)v
2009/10/9(金) 午後 3:28
●taka-chanさん＞
あと、「sudoku solver」に似た、
凄いソフトがいますので、
是非、ダウンロードして試してください。(^_^)v
※「Sudoku Susser」→http://www.madoverlord.com/projects/sudoku.t
2009/10/9(金) 午後 3:36
●「Nice Loop」とは？も読んだけど・・・ナンプレやってないとわからないね。
2009/10/13(火) 午後 0:21
●エルマさん＞
ナンプレにハマっていくと、
難しい問題に挑戦していくと思います。
もしナンプレにハマってきたら、
徐々に解ける解法（ロジック）を
学んでいくと良いかもしれません。
見に来てくれて、有難う御座います〜！ ＼(^o^)／
2009/10/14(水) 午前 9:42