ForcingNet

レベル12 · 黒帯

ストラテジー:

フォーシング

概要

ForcingNetは、単一のチェーンだけでなく、各候補からのすべての含意を同時にたどることで強制チェーンを拡張します。これにより、分岐する含意ネットワークが作られ、より深い矛盾や共通の結果を見つけることができます。

仕組み

  1. 複数の候補を持つセルを見つけます。2.各候補を順番に仮定し、そこから生じるすべての含意をたどります（1つの連鎖だけでなく）。3.仮定が矛盾（不可能な状態）を導く場合、その候補を除外します。4.すべての仮定が同じ結論を強制する場合、その結論は有効です。

例

開始位置

ForcingNetを探します。

1

r1c1の各候補で分岐

セルr1c1には3個の候補があります：{1, 3, 9}。

2

r1c1が1であると仮定する

r1c1=1と仮定し、ネット全体を通してすべての含意をたどります。

3

この分岐は矛盾を導く

この仮定は矛盾を導くので、その枝は不可能です。

4

r1c1から1を除外する

したがって1は矛盾を引き起こすので、r1c1から除外できます。

5

結果

テクニックを適用した結果。

ヒントとパターン

  • ForcingNetは、1つの経路だけでなくすべての含意をたどるため、強制チェーンよりも強力です。計算コストが高く、通常は総当たりの前の最後の手段です。その分岐的な性質により、手作業での追跡は困難です。