>>49
理解できる部分もあるけど、やはり「完全リンク」という言葉で齟齬があるようです。
自分の解釈は、2つのみなら強リンク、3つ以上は弱リンクです。
(ユニット=箱・行・列)

ロケーション強リンク(2マス)
あるユニットで、マスAが1ならば、マスBは1でない
あるユニットで、マスAが1でなければ、マスBは1である

ロケーション弱リンク(3マス)
あるユニットで、マスAが1ならば、マスB・Cは1でない
あるユニットで、マスAが1でないとしても、マスB・Cは確定しない

バリュー強リンク(2値マス)
あるマスで、候補1が決まれば、候補2ではない
あるマスで、候補1でなければ、候補2と決まる

バリュー弱リンク(3値マス)
あるマスで、候補1が決まれば、候補2・3ではない
あるマスで、候補1でないとしても、候補2・3は確定しない

>P ̄QかつP_Qの時、PとQは完全リンクしているという。
弱リンクより強リンクの方が条件が厳しいから、
強リンクならば弱リンク(を満たしている)なのは当たり前と思います。

>数独における強リンクは完全リンクでもあることがほとんど
では、ほとんどでないパターンとは何なのか。数独において存在するのか。
なければ、ここで「完全リンク」の定義は必要なのでしょうか。