Tvingande kedjor

Nivå 12 · Svart bälte

Strategi:

Forcing

Kräver:

X-cykler

Översikt

Tvingande kedjor utforskar vad som händer när man antar att en cell är var och en av sina kandidater. Om alla antaganden leder till samma slutsats måste den slutsatsen vara sann.

Så fungerar det

  1. Hitta en cell med 2-3 kandidater.
  2. Anta varje kandidat i tur och ordning och följ den logiska kedjan.
  3. Om alla kedjor leder till samma eliminering är den elimineringen giltig.
  4. Om alla kedjor placerar samma siffra i en annan cell är den placeringen giltig.

Exempel

Startposition

Leta efter Tvingande kedjor.

1

Börja från bivalue cell r1c3

Hitta en bivaluell cell r1c3 med kandidaterna { 1, 5 }.

2

Första grenen: r1c3 är 1

Om r1c3 = 1, följ implikationerna för att se vad som elimineras.

3

Andra grenen: r1c3 är 5

Om r1c3 = 5, följ implikationerna för att se vad som elimineras.

4

Ta bort de gemensamma elimineringarna från r2c4

Båda antagandena eliminerar samma kandidater. Ta bort dem från r2c4.

5

Resultat

Resultat efter att tekniken tillämpats.

Tips och mönster

  • Tvingande kedjor är kraftfulla men tidskrävande.
  • Börja med celler som har få kandidater.
  • De är i grunden "om-så"-logik som följer implikationer.
  • Överväg att använda papper och penna för att spåra kedjor.