八段ロジックの説明
ひとつの候補数字を出発点としてオフ・オフ・ベクトルをたどる。
ひとつの行または列またはブロックのある特定の数字すべてに到達した場合か、
ひとつのマスのすべての候補数字に到達した場合には、
最初の候補数字がそのマスの値でないすると矛盾が起こることになるので、そのマスの値はその候補数字に決定できる。
適用例：矢印はすべてオフ・オフ・ベクトルです。赤い線は説明のために描いた強リンクです。
本サイト内の八段の問題で、「コンピュータに途中まで解かせる」の七段で解けるところまで解いた後で、「ワンステップ実行」をした場合

  • ａ（９）がそのマスの値でないとすると、オフ・オフ・ベクトルをたどってｇ（５）がそのマスの値でないことになります。
  • そうすると、ａ（９）もそのマスの値でないと仮定しているので、ピンク色のマスでは候補数字がなくなります。
ａ（９）がそのマスの値でないと仮定すると矛盾が生じるので、そのマスは９に決まります。

［ここに現れるオフ・オフ・ベクトルの説明］
  • ａ→ｂ：ａ（９）がそのマスの値でないとすると行またはブロックで考えてａｂ（９）がそのマスの値になります。したがってｂ（９）はそのマスの値でないことが決まります。
    その他、ｃ→ｄ，ｄ→ｅでも同様のロジックでオフ・オフ・ベクトルを作成できます。それぞれのロジックで使われる強リンクを赤く描いています。
  • ｂ→ｃ：ｂ（９）がそのマスの値でないとすると、この行で８、９があるマスはｃのあるマスとＢＣと書かれたマスだけになるのでこれら２つのマスにある８、９以外の候補数字は消せます（三段ロジック）。したがってｃ（５）はそのマスの値でないことが決まります。
    なお、ｃのあるマスには９がありませんのでロジックで解く場合には三段ロジックを適用する前に二級ロジックでＢＣと書かれたマスが９に決まりますが、オフ・オフ・ベクトル作成ロジックでは上記のロジックでｂからｃへのオフ・オフ・ベクトルを作ります。
  • ｅ→ｆ：ｅ（３）がそのマスの値でないとすると、この行でｅのあるマスとＥＦと書かれたマスには５、８だけしかないのでこの行の他のマスの５、８は全て候補から消せます（二段ロジック）。したがってｆ（５）はそのマスの値でないことが決まります。
  • ｆ→ｇ：ｆ（５）がそのマスの値でないとすると、このブロックで考えてｆｇ１（５）とｆｇ２（５）のどちらかがそのマスの値になるので、これら２つと同じ列にある他の５は全てそのマスの値でないことになります（初段ロジック）。したがってｇ（５）はそのマスの値でないことが決まります。
  • なお、ｃ→ｆ にも、ｃ→ｄと同じロジックで、直接オフ・オフ・ベクトルを作成できますが、このサイトのプログラムではｃ→ｄ→ｅ→ｆ とつながる遠回りルートを先に見つけています。
トップページに戻る時はこちら
（初期状態に戻ります。途中の状態のトップページに戻りたい場合はブラウザの戻るボタンを使ってください。）