「Nice Loop 連鎖ルール」 によって 「Nice Loop」 が合致していたら、以下の定理が成立します。 ○定理／その��
「連続的 Nice Loop」 内で、互いのセル同士が共に 「Weak inference」 であるならば、「リンクのラベル」 と「同じ値の候補数字」 は、その２つのセルのどちらかに存在しなければなりません。
従って、ユニットに属するセルで、その２つのセル以外の 「同じ値の候補数字」 から削除することが出来ます。 例えば下記のように、「Ｒ４Ｃ３」 と 「Ｒ４Ｃ５」 は 「Weak link」 で、共に「７」 の候補数字を持っているので、「Ｒ４Ｃ１」 と 「Ｒ４Ｃ９」 のセルに属する 「７」 の候補数字から削除することが出来ます。 他にも、「Ｒ１Ｃ７」 と 「Ｒ７Ｃ７」 も 「Weak link」 で、共に「２」 の候補数字を持っているので、「Ｒ９Ｃ７」 のセルに属する 「２」 の候補数字から削除することが出来ます。 また、「Ｒ６Ｃ７」 と 「Ｒ７Ｃ７」 も 「Weak link」 で、共に「４」 の候補数字を持っているので、「Ｒ９Ｃ７」 のセルに属する 「４」 の候補数字から削除することが出来ます。  ※「Nice loops for advanced level players - b/b plot」より
560731048000590630000062570090205180004010300008309020076980000005020800800150063 http://www.sudoku.com/boards/viewtopic.php?t=2143 次は、「成立する定理３／５」 です。m(_ _)m |
過去の投稿日別表示
[ リスト | 詳細 ]
2009年10月05日
全1ページ
[1]
コメント（2）
全1ページ
[1]
