「Nice Loop 例外条件」 及び 「Nice Loop 連鎖ルール」 によって 「Nice Loop」 が合致していたら、以下の定理が成立します。 ○定理／その��
「不連続 Nice Loop」 内で、不連続点のセル 「Ｘ」 に対するリンクが 「Strong inference」 と 「Weak inference」 であり、「Weak inference」 のラベルが 「Ａ」 であるならば、セル 「Ｘ」 に属する 「Ａ」 の候補数字を削除出来ます。
例えば下記のように、「Ｒ３Ｃ６」 と 「Ｒ３Ｃ５」 は 「Strong inference」 で、ラベルは 「６」 を持ち、「Ｒ３Ｃ６」 と 「Ｒ９Ｃ６」 は 「Weak inference」 で、ラベルは 「−８」 を持っているので、「Ｒ３Ｃ６」 のセルに属する 「８」 の候補数字を削除出来ます。  ※「Nice loops for advanced level players - b/b plot」より
050001600306002000009300204004530182000804000805120400601005300000600901007210046 http://www.sudoku.com/boards/viewtopic.php?t=2143 以上で、「Nice Loop」 の解法による記事が終了しました。 もし、間違った記事が見つかったら訂正します。 ではでは。m(_ _)m |
□ Nice Loop 解法
[ リスト | 詳細 ]
コメント（11）
「Nice Loop 例外条件」 及び 「Nice Loop 連鎖ルール」 によって 「Nice Loop」 が合致していたら、以下の定理が成立します。 ○定理／その��
「不連続 Nice Loop」 内で、不連続点のセル 「Ｘ」 に対するリンクが共に 「Weak inference」 であり、ラベルが共に 「Ａ」 であるならば、セル 「Ｘ」 に属する 「Ａ」 の候補数字を削除出来ます。
例えば下記のように、「Ｒ７Ｃ２」 と 「Ｒ７Ｃ６」 は 「Weak inference」 で、ラベルは 「−１」 を持ち、「Ｒ７Ｃ２」 と 「Ｒ２Ｃ２」 は 「Weak inference」 で、ラベルも 「−１」 を持っているので、「Ｒ７Ｃ２」 のセルに属する 「１」 の候補数字を削除出来ます。  ※「Nice loops for advanced level players - b/b plot」より
020618547704009008008000900030107050000006000040305010002000600400000005070963020 http://www.sudoku.com/boards/viewtopic.php?t=2143 次は、「成立する定理５／５」 です。m(_ _)m |
「Nice Loop 例外条件」 及び 「Nice Loop 連鎖ルール」 によって 「Nice Loop」 が合致していたら、以下の定理が成立します。 ○定理／その��
「不連続 Nice Loop」 内で、不連続点のセル 「Ｘ」 に対するリンクが共に 「Strong inference」 であり、ラベルが共に 「Ａ」 であるならば、セル 「Ｘ」 の値は 「Ａ」 で確定されます。
例えば下記のように、「Ｒ９Ｃ６」 と 「Ｒ９Ｃ７」 は 「Strong inference」 で、ラベルは 「８」 を持ち、「Ｒ９Ｃ６」 と 「Ｒ８Ｃ６」 は 「Strong inference」 で、ラベルも 「８」 を持っているので、「Ｒ９Ｃ６」 のセルは 「８」 で確定されます。  ※「Nice loops for advanced level players - b/b plot」より
050001600306002000009306204064530182000864000805120460601005300000600901007210046 http://www.sudoku.com/boards/viewtopic.php?t=2143 次は、「成立する定理４／５」 です。m(_ _)m |
「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 |
「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 |
