Tvingande kedjor: jämför alla grenar
En forcing chain följer konsekvenserna av ett kandidatval. För en cellbaserad kedja prövar du varje kandidat i en cell; för en enhetsbaserad kedja prövar du varje återstående placering av en siffra i en rad, kolumn eller box. En gemensam slutsats är säker först när alla startfall har kontrollerats. En motsägelse motbevisar i stället antagandet som orsakade den.
Huvudidé
Om båda möjliga värdena i startrutan med två kandidater tvingar fram kandidaten Z i en ruta som delar rad, kolumn eller box med målrutan, kan Z tas bort från målrutan.
Se draget steg för steg
Använd samma genomarbetade exempel som i lektionen om XY-Wing och följ båda möjligheterna: R1C3 är antingen 5 eller 7. Anteckningarna tar hänsyn till tidigare elimineringar.
Steg 1 av 4
Välj en tydlig förgreningspunkt
R1C3 har exakt två kandidater, så analysen omfattar två fall som täcker alla möjligheter.
Steg 2 av 4
Följ båda följderna
Om R1C3 är 5 måste R1C4 vara 6. Om R1C3 är 7 måste R2C3 vara 6.
Steg 3 av 4
Hitta det gemensamma resultatet
R2C4 delar en enhet med var och en av de två möjliga, framtvingade sexorna. Därför kan R2C4 inte innehålla 6 i någon av grenarna.
Steg 4 av 4
Behåll bara slutsatsen som gäller oavsett gren
Ta bort 6 från R2C4. Placera inte någon kandidat som antagits i analysen, om inte en av grenarna har motbevisats.
Prova på dagens sudoku
Använd korta kedjor när enklare metoder inte ger framsteg. En alternerande inferenskedja (AIC) växlar mellan starka länkar (om den ena kandidaten är falsk måste den andra vara sann) och svaga länkar (om den ena är sann måste den andra vara falsk). Om R1C4 i detta rutnät inte är 6 måste den vara 5; R1C3 kan då inte vara 5 utan är 7; R2C3 kan då inte vara 7 utan är 6. Alltså måste R1C4 eller R2C3 innehålla 6, och deras gemensamma granncell R2C4 kan inte innehålla 6. Det är samma eliminering uttryckt som en AIC. Kontrollera varje länk mot de aktuella kandidaterna, inte bara den ritade formen. Föregående lektion om Nice Loops visar alternerande länkar i en sluten slinga.
Spela dagens sudoku