Platon Sudoku · Sudoku leren

Gegroepeerde AIC voor één cijfer (Single-Digit Grouped AIC) · Stapsgewijs voorbeeld

Een gegroepeerd knooppunt betekent dat ten minste één van meerdere kandidaten waar is; het kan deelnemen aan een afwisselende gevolgtrekkingsketen. Elimineer een doelwit dat wordt gezien door de dwingende eindpunten van de keten.

Deze les is aangepast uit de lesstof van de Platon Sudoku-app. Lees hier het volledige voorbeeld en leer en oefen daarna verder in de app.

Bekijken op Google Play

Herken het patroon

Een gegroepeerd knooppunt betekent dat ten minste één van meerdere kandidaten waar is; het kan deelnemen aan een afwisselende gevolgtrekkingsketen.

Hoe kunt u het vinden?

Controleer of de gegroepeerde cellen het vereiste gebied delen en traceer vervolgens de sterke en zwakke verbindingen via een of meer groepsknooppunten.

Wat het toestaat

Elimineer een doelwit dat wordt gezien door de dwingende eindpunten van de keten.

Vermijd verwarring

Een echte groep betekent niet dat elk lid waar is. Behoud de OR-betekenis van de groep bij het volgen van de keten.

Stapsgewijs voorbeeld · Eén groep

Dit voorbeeld begint vanuit een opgeslagen tussenstand. De kandidaten bevatten eerdere logische uitsluitingen en zijn geen zojuist automatisch gegenereerde notities.

Blauw: aanwijzingen. Groen: conclusie. Doorgestreepte cijfers: uitgesloten kandidaten. R1C1 betekent rij 1, kolom 1.

Stap 1 · Waar te zoeken

In blok 6 kan 2 alleen in R4C7, R4C8, R5C8 worden gebruikt. Het cijfer moet één keer in dit gebied voorkomen.

1: OR-groep A: minstens één kandidaat is waar

Stap 2 · Redenering

In -kolom 5 kan 2 alleen in R1C5, R4C5 worden gebruikt. Het cijfer moet één keer in dit gebied voorkomen.

1: OR-groep A: minstens één kandidaat is waar

Stap 3 · Redenering

In -kolom 9 kan 2 alleen in R1C9, R8C9 worden gebruikt. Het cijfer moet één keer in dit gebied voorkomen.

1: OR-groep A: minstens één kandidaat is waar

Stap 4 · Benoem de OR-kandidaatgroepen

De genummerde accolades en legenda definiëren deze groepen: OF kandidaatgroep A = R4C8=2, R5C8=2. Elke groep is één logische OR-toestand: minstens één kandidaat erin is waar, maar dat betekent niet dat alle leden waar zijn.

1: OR-groep A: minstens één kandidaat is waar

Stap 5 · Redenering

Branch 1: stel dat OF kandidaatgroep A onwaar is.

1: OR-groep A: minstens één kandidaat is waar

Stap 6 · Groep sterke link: forceer de andere kant

Geval 1: OF kandidaatgroep A is onwaar, dus de sterke link van de groep dwingt R4C7=2 af. Als dit een OR-groep is, is ten minste één van de kandidaten waar.

1: OR-groep A: minstens één kandidaat is waar

Stap 7 · Zwakke schakel van de groep: sluit de conflicterende kant uit

R4C7=2 is waar als ketenstatus, dus de elkaar uitsluitende kant R4C5=2 is onwaar.

1: OR-groep A: minstens één kandidaat is waar

Stap 8 · Sterke schakel van de groep: één kant moet blijven

R4C5=2 is onwaar, dus de sterke link van de groep dwingt R1C5=2 af.

1: OR-groep A: minstens één kandidaat is waar

Stap 9 · Zwakke schakel van de groep: sluit de conflicterende kant uit

R1C5=2 is waar als ketenstatus, dus de elkaar uitsluitende kant R1C9=2 is onwaar.

1: OR-groep A: minstens één kandidaat is waar

Stap 10 · Het indirecte eindpunt sluit de doelen uit

R8C9=2 is waar als eindpuntstatus en sluit dus de doelen uit.

1: OR-groep A: minstens één kandidaat is waar

Stap 11 · Trek de vorige rechthoekvulling eruit

Trek deze veronderstelling en de gevolgen ervan in. Keer terug naar de ongewijzigde momentopname van de kandidaat voordat u de volgende mogelijkheid onderzoekt.

1: OR-groep A: minstens één kandidaat is waar

Stap 12 · Geval 2: het eerste eindpunt is waar

Het eerste eindpunt OF kandidaatgroep A is waar als een OR-status en sluit dus de doelen uit.

1: OR-groep A: minstens één kandidaat is waar

Stap 13 · Beide eindpuntgevallen zijn het erover eens

In de twee eindpuntgevallen zijn de alternatieven uitgeput, en beide sluiten R7C8=2, R8C8=2 uit. Verwijder ze na het intrekken van de tijdelijke toestanden.

1: OR-groep A: minstens één kandidaat is waar

Wat het toestaat

In de twee eindpuntgevallen zijn de alternatieven uitgeput, en beide sluiten R7C8=2, R8C8=2 uit. Verwijder ze na het intrekken van de tijdelijke toestanden.

Gegroepeerde AIC voor één cijfer (Single-Digit Grouped AIC) · Elimineer een doelwit dat wordt gezien door de dwingende eindpunten van de keten.

Stapsgewijs voorbeeld · Meerdere groepen

Dit voorbeeld begint vanuit een opgeslagen tussenstand. De kandidaten bevatten eerdere logische uitsluitingen en zijn geen zojuist automatisch gegenereerde notities.

Blauw: aanwijzingen. Groen: conclusie. Doorgestreepte cijfers: uitgesloten kandidaten. R1C1 betekent rij 1, kolom 1.

Stap 1 · Waar te zoeken

In blok 1 kan 8 alleen in R2C2, R3C1 worden gebruikt. Het cijfer moet één keer in dit gebied voorkomen.