グループ化自己制約

グループ化自己制約は、候補間の強リンクと弱リンクを交互につなぎ、端点から確実な結論を導きます。

この盤面での流れ

候補5を偽とすると、鎖を一周して同じ候補5が真になり矛盾する

まだマークはありません現在地 0 / 2