強制配置とロック候補

3種類の強制

1人に合法マスが1つなら人物の強制、1マスを使える人が1人ならマスの強制、N人が同じNマスだけならロック集合です。

集合は順番を決めませんが、他の人をそのマスから除外できます。

確定を全体へ波及させる

1人を置いたら他の全員からその行列を消し、影響するエリア・物・方向の条件を読み直します。

• 全候補表を更新する。
• 新しい単一候補を探す。
• 入れる人が1人だけの行列を探す。

置く前に証明する

可能性が高そうなだけなら候補のままです。各代替をどのルールが消したか記録します。

短い証明が、最初の推測で盤面全体を壊すことを防ぎます。