Tvinga nätverk

Nivå 12 · Svart band

Strategi:

Tvingning

Ö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

  1. Hitta en Cell med flera kandidater.
  2. Antag varje kandidat i sin tur och följ ALLA resulterande konsekvenser (inte bara en kedja).
  3. Om en antagande leder till en motsägelse (omöjligt tillstånd), eliminera den kandidaten.
  4. 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.