Tvinga nätverk
Nivå 12 · Svart band
Strategi:
TvingningKräver:
Tvingande kedjorÖversikt
Framtvingande nät utökar Tvingande kedjor genom att följa alla konsekvenser från varje kandidat samtidigt, inte bara enskilda kedjor. Detta skapar ett grenande konsekvensnät som kan hitta djupare motsägelser och gemensamma resultat.
Så här fungerar det
- Hitta en Cell med flera kandidater.
- Antag varje kandidat i sin tur och följ ALLA resulterande konsekvenser (inte bara en kedja).
- Om en antagande leder till en motsägelse (omöjligt tillstånd), eliminera den kandidaten.
- Om alla antaganden tvingar samma slutsats, är denna slutsats giltig.
Exempel
Sök efter Tvinga nätverk.
1
Tvinga nätverk
Cell r1c1 has 3 candidates: {5, 6, 9}.
2
Tvinga nätverk
Assume r1c1 = 6 and follow all implications through the net.
3
Tvinga nätverk
This assumption leads to a CONTRADICTION (impossible state).
4
Tvinga nätverk
So 6 causes a contradiction and can be eliminated from r1c1.
5
Resultat efter tillämpning av tekniken.
Tips och mönster
- Tvingande nät är kraftfullare än Tvingande kedjor eftersom de följer varje konsekvens, inte bara en väg.
- De är beräkningsmässigt kostsamma och används vanligtvis som sista utväg innan bruteforce.
- Det grenade karaktären gör dem svåra att följa manuellt.