「Nice Loop 連鎖ルール」 によって 「Nice Loop」 が合致していたら、以下の定理が成立します。 ○定理／その��
連続的 Nice Loop 内で、互いのリンクが共に 「Strong inference」 であるセル 「Ｘ」 に対して、それらのリンクのラベルが 「Ａ」 と 「Ｂ」 （Ａ≠Ｂ） であるならば、セル 「Ｘ」 には 「Ａ」 と 「Ｂ」以外の候補数字は存在出来ません。
例えば下記のように、「Ｒ４Ｃ２」 と 「Ｒ４Ｃ６」 のラベルは 「１」 の 「Strong inference」 を持ち、「Ｒ４Ｃ６」 と 「Ｒ８Ｃ６」 のラベルは 「６」 の 「Strong link」 を持っているので、リンク元のセル 「Ｒ４Ｃ６」 の候補数字 「１、３、６」から 「３」 を削除することが出来ます。 他にも、「Ｒ４Ｃ６」 と 「Ｒ８Ｃ６」 のラベルは 「６」 の 「Strong inference」 を持ち、「Ｒ８Ｃ６」 と 「Ｒ８Ｃ１」 のラベルは 「２」 の 「Strong link」 を持っているので、リンク元のセル 「Ｒ８Ｃ６」 の候補数字 「２、３、６」から 「３」 を削除することが出来ます。 また、「Ｒ８Ｃ１」 と 「Ｒ８Ｃ６」 のラベルは 「２」 の 「Strong inference」 を持ち、「Ｒ８Ｃ１」 と 「Ｒ６Ｃ１」 のラベルは 「１」 の 「Strong link」 を持っているので、リンク元のセル 「Ｒ８Ｃ１」 の候補数字 「１、２、８」から 「８」 を削除することが出来ます。  ※「Nice loops for advanced level players - b/b plot」より
701239640602145007049867010400050070900080061060020053090018724000470500074590106 http://www.sudoku.com/boards/viewtopic.php?t=2143 次は、「成立する定理２／５」 です。m(_ _)m |
□ Nice Loop 解法
[ リスト ]
コメント（0）
