第１話 mx(i, j) = 7であってもセルが確定してしまうケースについて
数独を仮定法＝仮置き法＝背理法＝トライ＆エラーではなく、
理詰めで解く＝確定法で解くには、
リスト構造解析だけではほど遠いわけです。
ヒント数２１程度の問題では、
セルに入る候補数字の個数が１個になっているセルは、
１つでもある可能性は０に近いですよね。
万に一つあったとしても、
それを埋めることによって、
次々に確定できるセルが登場する確率は０です。
リスト構造解析では、８個も候補数字があったのに、
それを一気に１個にしてしまう様々な方法があります。
例えば、次のケースを見て下さい。
数字が４個しか配置されていませんが、
実は確定できるセルがあります。
どこだか分かりますか。
例によって答は３０行下。
答
赤のセルです。
理由は、
同一の行や列には、同じ数字を入れてはならない・・・
という数独のルールから
のセルには１は入れられません。ですから１が入るところは赤いセルしかないわけです。
赤いセルのリスト構造解析をしただけでは、
｛１，２，３，４，５，６，８，９，７｝
入る数字の候補は１，２，３，４，５，６，８，９と８個もあります。
つまり、mx(6, 8) = 7 であったのに、
一気に ｛１，２，３，４，５，６，８，９，７｝,mx(6, 8) = 0 となり、
赤いセルは１に確定してしまったのです。
私は、このように確定させる方法をライン排除確定と呼びます。
