ナンプレのリンク系テクニック
from ヒント数字が一個でもなくなると解が不確定になるナンプレの中でヒント数が最大のものを解いている
A と B のどちらかは成立しなければならない（A, B）の組を弱リンクと呼ぶ。
A OR B が True にならないと解の条件を満たさない状態。
A と B のどちらか一方のみ成立する（A, B）の組を強リンクと呼ぶ。
A XOR B が True にならないと解の条件を満たさない状態。
強リンクは弱リンクでもある。
強ー弱ー強ー……ー強ー弱ー強の連鎖があると候補数字を削減できることがある。
(A XOR B) AND (B OR C) AND (C XOR D) → (A NOR D)
A と D を両方 True にすると B と C が両方 False になる。
A と B の両方が成立する（A, B）の組の知られた呼び名は多分無いが同値類としてまとめると良い。
(A XOR B) AND (B XOR C) の場合に A = C が 成立する。これを弱リンクとも強リンクとも違う形でメモしておくと思考を省略できる。
(A = B) AND (B = C) の時に (A = C) が成立するのでショートカットの線が増える。
逆に、そんな線を書かねばならないほどに答えが確定しないのが恐ろしい。
数字が確定しない、ヒント数字も減らない、でもヒント数字の関係を表すリンクだけがジワジワと確定方向に動いているようなもどかしい感じ。