ネットワークの強制
レベル 12 · 黒帯
前提ストラテジー: 強制次に学ぶ → 強制チェーン
概要
強制ネットは、各候補から生じるすべての影響を同時に追跡することで、強制チェーンを拡張します。単一のチェーンではなく、分岐する影響ネットワークを形成し、より深い矛盾や共通の結果を発見できます。
仕組み
- 複数の候補を持つセルを見つけます。
- それぞれの候補を仮定し、すべての結果する影響を追跡します（1つの連鎖ではなく）。
- 仮定が矛盾（不可能な状態）を引き起こす場合、その候補を除外します。
- すべての仮定が同じ結論を強いる場合、その結論は有効です。
例
セル r1c1 には 3 候補があります: {1, 3, 9}。
1 / 4
ヒントとパターン
- 強制ネットは、1つの経路だけを追うのではなく、すべての影響を追跡するため、強制チェーンよりも強力です。計算量が多く、ブルートフォースを最後の手段として使うことが多いです。分岐構造のため、手動で追跡するのは難しいです。