強制網路

等級 12 · 黑帶

策略:

強制

需要:

強制鏈

概要

強制網透過同時跟進每個候選數的全部影響來延伸 強制鏈,而非僅單一鏈條。這會產生一個分支的影響網絡,能夠發現更深層的矛盾與共同結果。

工作原理

  1. 找到一個包含多個候選數字的單元格。
  2. 假設每個候選數字逐一進行,並追蹤所有由此產生的推論(不僅僅是一條路徑)。
  3. 如果某個假設導致矛盾(不可能的狀態),則排除該候選數字。
  4. 如果所有假設都導致相同的結論,則該結論是有效的。

範例

尋找強制網路。

1

強制網路

Cell r1c1 has 3 candidates: {5, 6, 9}.

2

強制網路

Assume r1c1 = 6 and follow all implications through the net.

3

強制網路

This assumption leads to a CONTRADICTION (impossible state).

4

強制網路

So 6 causes a contradiction and can be eliminated from r1c1.

5

應用該技術後的結果。

技巧與模式

  • 強制網比 強制鏈 更強大,因為它會追蹤每一個推論,而不僅僅是單一路徑。它們計算成本較高,通常在暴力破解之前才會使用。其分支特性使得手動追蹤相當困難。