ネットワークの強制

強制ネットは、各候補から生じるすべての影響を同時に追跡することで、強制チェーンを拡張します。単一のチェーンではなく、分岐する影響ネットワークを形成し、より深い矛盾や共通の結果を発見できます。

テクニック

1. 複数の候補を持つセルを見つけます。 2.
2. それぞれの候補を仮定し、すべての結果する影響を追跡します（1つの連鎖ではなく）。 3.
3. 仮定が矛盾（不可能な状態）を引き起こす場合、その候補を除外します。 4.
4. すべての仮定が同じ結論を強いる場合、その結論は有効です。

Tips

• 強制ネットは、1つの経路だけを追うのではなく、すべての影響を追跡するため、強制チェーンよりも強力です。計算量が多く、ブルートフォースを最後の手段として使うことが多いです。分岐構造のため、手動で追跡するのは難しいです。