Forcing Net

Nivå 12 · Svart bälte

Strategi:

Översikt

Forcing Net utökar Tvingande kedjor genom att följa alla implikationer från varje kandidat samtidigt, inte bara enskilda kedjor. Detta skapar ett förgrenat implikationsnätverk som kan hitta djupare motsägelser och gemensamma utfall.

Så fungerar det

Hitta en cell med flera kandidater.
Anta varje kandidat i tur och ordning och följ ALLA konsekvenser som följer (inte bara en kedja).
Om ett antagande leder till en motsägelse (omöjligt tillstånd), eliminera den kandidaten.
Om alla antaganden tvingar fram samma slutsats är den slutsatsen giltig.

Exempel

Startposition

Leta efter Forcing Net.

Sudoku grid showing the initial puzzle state for Leta efter Forcing Net.

1

Förgrena på varje kandidat för r1c1

cell r1c1 har 3 kandidater: {1, 3, 9}.

Sudoku grid illustrating step 1: Förgrena på varje kandidat för r1c1 — cell r1c1 har 3 kandidater: {1, 3, 9}.

2

Anta att r1c1 är 1

Anta att r1c1 = 1 och följ alla implikationer genom nätet.

Sudoku grid illustrating step 2: Anta att r1c1 är 1 — Anta att r1c1 = 1 och följ alla implikationer genom nätet.

3

Denna gren leder till en motsägelse

Detta antagande leder till en motsägelse, så den grenen är omöjlig.

Sudoku grid illustrating step 3: Denna gren leder till en motsägelse — Detta antagande leder till en motsägelse, så den grenen är omöjlig.

4

Eliminera 1 från r1c1

Alltså orsakar 1 en motsägelse och kan elimineras från r1c1.

Sudoku grid illustrating step 4: Eliminera 1 från r1c1 — Alltså orsakar 1 en motsägelse och kan elimineras från r1c1.

5

Resultat

Resultat efter att tekniken tillämpats.

Sudoku grid showing the result after applying the technique

Tips och mönster

Forcing Nets är kraftfullare än Tvingande kedjor eftersom de följer varje implikation, inte bara en väg.
De är beräkningsmässigt dyra och är vanligtvis en sista utväg före brute force.
Deras förgrenade natur gör dem svåra att följa för hand.