Forcing Nets

Forcing Nets (tvingande nät) är den sista tekniken som fortfarande är ren logik. Du tar varje kandidat i en cell i tur och ordning, följer dess följder så långt de går och letar efter något som alla grenar är överens om. Det de är överens om är sant, eftersom en av kandidaterna är det riktiga värdet. Ingen gissning ingår: du undersöker helt enkelt alla fall i stället för ett.

Vad mönstret är

En kedja följer en enda linje av implikationer. Ett nät följer en sådan linje för varje alternativ i startcellen eller startenheten, och i det allmänna fallet kan en linje dela sig igen: en slutsats kan behöva 2 tidigare slutledningar samtidigt, till exempel "den här cellen är 4 och den där cellen är 9, därför har rutan bara en plats kvar för 7". Att kontrollera alla alternativ är det som gör nät starkare än kedjor, och långsammare att kontrollera.

Det finns 2 sätt att börja och 2 sätt att avsluta:

Om varje gren ger samma placering är den placeringen sann. Om varje gren tar bort samma kandidat är den kandidaten död. Och om en enda gren kör in i en motsägelse (en siffra två gånger i en enhet, eller en cell utan något kvar) är just den kandidaten falsk i sig, utan att de andra behövs.

När du ska leta efter den

Bara när allt billigare har misslyckats: singlar, låsta mängder, fisk, wings, kedjor och Almost Locked Sets. Nät är dyra att spåra och lätta att göra fel i, så de är ett medvetet sista logiskt steg, inte en vana. Välj en startcell med 2 kandidater och gott om tvåkandidatgrannar; grenarna förblir korta och helheten går att kontrollera.

Så använder du den, steg för steg

1. Uppdatera alla anteckningar. Ett nät byggt på en gammal kandidat bevisar ingenting.
2. Välj en cell med 2 kandidater, eller en siffra med 2 platser i en enhet.
3. Anta det första alternativet och skriv bara ut placeringarna som verkligen är tvingade.
4. Ångra det helt och gör sedan samma sak för det andra alternativet.
5. Jämför grenarna. Behåll varje placering eller eliminering de delar.
6. Om en gren motsäger sig själv, förkasta den kandidaten direkt.

Ett genomgånget exempel

Från en cell

H1 har , och målet är 7:an i C1. Varje värde på H1 följs i tur och ordning:

• H1 = 7: C1 delar kolumn 1 med H1, så den är inte 7.
• H1 = 1: A1 kan inte vara 1, så A1 är 7, och C1 är inte 7 av samma kolumnskäl.
• H1 = 5: E1 förlorar sin 5:a, så F3 är den enda 5:an i ruta 4. Då är F8 den enda 8:an i rad F, C8 kan inte vara 8, och C1 är den enda 8:an som är kvar i rad C. C1 = 8, så C1 är inte 7.

Alla 3 grenar slutar med att C1 inte är 7, så C1 förlorar sin 7:a. Du får aldrig veta vad H1 är: grenarna gjorde sitt jobb och kastades.

Från en siffra i en enhet

Ruta 7 behöver en 7:a, och den kan bara stå i G2, H2 eller J3. Målet är 7:an i A2:

• 7 i G2 eller H2: A2 delar kolumn 2 med båda cellerna, så den är inte 7.
• 7 i J3: J3 är då inte 5, så A3 är den enda 5:an i kolumn 3. Med A3 = 5 är A2 den enda 1:an i rad A, så A2 = 1 och är inte 7.

Var ruta 7 än lägger sin 7:a har A2 ingen 7:a, så A2 förlorar den.

På båda brädena når varje gren samma resultat, vilket är hela argumentet. Riktiga nät kan också förgrena sig vidare inuti en gren, och där kan en slutsats behöva 2 tidigare slutledningar samtidigt.

Vanliga misstag

• Att lämna markeringar från en gren på rutnätet när du börjar nästa. Varje gren måste börja från samma orörda läge.
• Att följa ett "troligen" i stället för en tvingad placering. Bara singlar och låsta elimineringar får skrivas.
• Att missa en kandidat i startcellen. Hoppa över en gren och enigheten är värdelös.
• Att läsa en motsägelse i en gren som bevis för de andra grenarnas slutsatser.

Var du stöter på den

Forcing Nets är vad våra svåraste rutnät är byggda för att kräva. Räkna med dem i Legendariska pussel, och först efter att kedjetekniker som 3D Medusa har prövats. Allt som ett nät löser kan i princip också en kortare teknik lösa. Nätet är vad du använder när du inte hittar den kortare tekniken.