| ||
適用例:赤い線は強リンク、灰色の線は弱リンクです。 | ||
本サイト内の七段の問題で、「コンピュータに途中まで解かせる」の六段で解けるところまで解いた後で、「ワンステップ実行」をした場合 a(9)がそのマスの値でないと仮定する。
すなわち、a(9)がそのマスの値でなければf(6)がそのマスの値である。a(9)とf(6)のどちらかは必ずそのマスの値になる、ということである。 この例は、両端の数字(aとf)が同じ行にあり違う数字(9、6)の場合にあたる。 a(9)と同じマスにある候補数字x(6)は、a(9)がそのマスの値であってもf(6)がそのマスの値であってもそのマスの値になれないので、候補から消せる。 |