第４話 例外規定
↓
わかりやすく赤で塗ってしまいましたが、
白のセルが３つない場合でも、
３on３が成立します。
何回も申し上げてきた例外規定です。
なぜこれで３on３確定が生じてしまうかと申しますと、
１番左のセル＝１，２，６が候補になっているセルが、
仮に１だとすると、1番右側のセル＝１，２のみが候補になっているセルは、
２に確定します。
すると真ん中のセルも６に確定します。
次に１番左のセルが２であるとすると、
１番左のセルが１に確定し、
真ん中のセルは６に確定します。
最後に、１番左のセルが６であるとすると、
真ん中のセルと１番左側のセルは、
１，２のみをリストとするセル群となりますから、
２on２確定すなわち相補確定が生じます。
結局どの場合を考えても、
３つのセルからなるセル群のどれかに、
１，２，６のいずれかが入ることが確定して、
３on３確定が発生します。
確定は発生するということは、
排除も発生します。
ただのリスト構造解析なら、空白のセルのリスト構造は順に、
｛７，９，３，４，６，２，１，８，５｝
｛１，２，３，４，９，６，７，８，５｝
｛８，７，３，４，９，２，６，１，５｝
｛８，７，３，４，９，２，６，１，５｝
｛７，９，３，４，２，６，１，８，５｝
｛９，７，３，４，１，２，６，８，５｝
ですが、１，２，６排除される結果、
｛７，９，３，４，６，２，１，８，５｝
｛７，９，３，４，６，２，１，８，５｝
｛８，７，３，４，９，２，６，１，５｝
｛８，７，３，４，９，２，６，１，５｝
｛７，９，３，４，２，６，１，８，５｝
｛９，７，３，４，１，２，６，８，５｝
となり、２番目のセルのリスト構造が、
｛１，２，３，４，９，６，７，８，５｝
から
｛７，９，３，４，６，２，１，８，５｝
へと大躍進を遂げるわけです。
３つもリストから外されたのですから、
３on３確定による排除による威力の大きさが分かります。
確定法で解くにはとにかくmx(i, j)のどこかを0にもっていくしかないわけです。
排除によってリスト数を減らし続ける・・・・
確定法すなわち理詰めで解くには、これしかないわけです。
第４話まで読んできて、
なるほど
３on３の確定と排除の解析は、
大変に難しい課題であることが見えてきたのではないでしょうか。
佐藤（私の名前です。）さん、３on３程度で挫けそうになるなんてだらしない・・・
とお思いの方もなるど、
苦戦は仕方がないと思って下さったのではないでしょうか。
そして、口頭ではなく文章で説明することが、
窮極の難題であることについても理解して下さったのではないでしょうか。
本当に一時の心境は
だったし、絶望とさえ思いました。
でも何とか乗り越えることが出来ましたので、
第４部の講義が続けられているわけです。
