同じ行または列に同じ数字を入れてはならない・・・というルールを視覚的に示すものです。
セルに入っている数字が同じ行または列にその数字の入る可能性を排除している・・・
のでライン排除です。
ただ、ルールを言い換えただけですが、
視覚的イメージはとても大きいのです。
数独初心者は、これを知るだけで数段レベルアップすることになります。
次の、原理３のブロック排除も
同じブロックにも同じ数字は入れてはならないという数独のルールを、
視覚的に示したものです。
これも威力を発揮します。
赤のセルは１に確定しますね。
原理２のライン反照排除とは、
６は緑のセルいずれかに入ることが確定する事態をいいます。
どうしてですか。
皆さん頭の中で言葉にして説明して下さい。
例のよって３０行下に答を書きます。
答
６のライン排除によって一番右側のブロックの
オレンジのセルのどれかに６が入ることが確定します。
そのことによって、新たな６のライン排除（ピンク）
が発生して、緑のいずれかに６が入ることが確定します。
今回は、１つのセルには確定しませんが、
青とピンクのリストから６が外されますので、
mxがそれぞれ１つずつ減る可能性があります。
いくつかのセルから構成される
や
を私はセル群と呼びます。
セル群はこの例のようにつながっている必要はありません。
つまり、離れていても良いのです。
どうしてこんな話をするかと申しますと、
次の原理４である１：１対応確定と排除について
説明するときに必要だからです。
原理４は、
オレンジのセルに｛１，２，３，４，５，６，７，８，９｝
１，２のみがリストされるとき、
そのセル群に１または２が入ることが確定し、
それによって１と２のライン排除が起きることを指しています。
今回１つのセルに確定するわけではありませんが、
青のセルのリストから１，２が外れることによって、
各mxが２つ減る可能性があり、
場合によっては確定セルが発生します。
確定セルが発生しなくても１：１確定排除を繰り返していけば、
確定セルが発生する確率は高くなるのです。
次の方法セルリスト絞り込みは、
第４部の講義でいうリスト構造解析です。
最後の原理５：＃排除とは、
行Aの１が入るセルがオレンジしかなく、
また行Bについても１の入るセルがオレンジしかない場合、
＃上に１の排除が起きること示しています。
なぜなら、もしACに１が入るとしたら、
１のライン排除によって、１の入る場所はBDに決定します。
すると１のライン排除によって、＃上に排除が起きます。
逆に、ADに１がはいるとすると、BCに１が入ることが確定して、
同じく＃上の排除が発生します。
今の例はC列とD列のオレンジにしか１が入らないケースも、
同様な論理で＃排除が発生します。
方法についてはすでに数独作成アプリVer.1に組み込んであります。
この後は、５つの原理を組み込んでいきます。
第６講では、ライン排除確定を組み込みんでいきます。
