※「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 |
過去の投稿日別表示
[ リスト | 詳細 ]
2009年09月30日
全1ページ
[1]
コメント（7）
全1ページ
[1]
