20/12/20 03:05:20.19 oBVkYAV/.net
>>49
理解できる部分もあるけど、やはり「完全リンク」という言葉で齟齬があるようです。
自分の解釈は、２つのみなら強リンク、３つ以上は弱リンクです。
（ユニット＝箱・行・列）
ロケーション強リンク（２マス）
あるユニットで、マスＡが１ならば、マスＢは１でない
あるユニットで、マスＡが１でなければ、マスＢは１である
ロケーション弱リンク（３マス）
あるユニットで、マスＡが１ならば、マスＢ・Ｃは１でない
あるユニットで、マスＡが１でないとしても、マスＢ・Ｃは確定しない
バリュー強リンク（２値マス）
あるマスで、候補１が決まれば、候補２ではない
あるマスで、候補１でなければ、候補２と決まる
バリュー弱リンク（３値マス）
あるマスで、候補１が決まれば、候補２・３ではない
あるマスで、候補１でないとしても、候補２・３は確定しない
>P￣QかつP＿Qの時、PとQは完全リンクしているという。
弱リンクより強リンクの方が条件が厳しいから、
強リンクならば弱リンク（を満たしている）なのは当たり前と思います。
>数独における強リンクは完全リンクでもあることがほとんど
では、ほとんどでないパターンとは何なのか。数独において存在するのか。
なければ、ここで「完全リンク」の定義は必要なのでしょうか。