Platon Sudoku · Sudoku leren

Tegenstrijdigheid tussen kleurcomponenten (Multi-Component Coloring Contradiction) · Stapsgewijs voorbeeld

Sterke verbindingen kleuren één cijfer in tegengestelde toestanden binnen elke component; relaties tussen componenten bepalen welke toestanden naast elkaar kunnen bestaan. Verwijder een kandidaat die is uitgesloten door alle consistente kleurtoewijzingen.

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

Sterke verbindingen kleuren één cijfer in tegengestelde toestanden binnen elke component; relaties tussen componenten bepalen welke toestanden naast elkaar kunnen bestaan.

Hoe kunt u het vinden?

Kleur elk verbonden onderdeel afzonderlijk en inspecteer vervolgens de conflicten en doelen tussen de componenten, waarbij elk overgebleven alternatief wordt gezien.

Wat het toestaat

Verwijder een kandidaat die is uitgesloten door alle consistente kleurtoewijzingen.

Vermijd verwarring

Voeg geen afzonderlijke componenten met een niet-geverifieerde sterke verbinding samen en ga er niet vanuit dat er al een kleur is geplaatst.

Stapsgewijs voorbeeld · Complexe kleuren

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 · Bevestig de startende groep met dezelfde status

“Tegenstrijdigheid tussen kleurcomponenten (Multi-Component Coloring Contradiction)” — Deze naam beschrijft een eigen bewijs van de app met meerdere componenten, geen afzonderlijke HoDoKu-techniek met dezelfde naam. De kandidaten voor cijfer 2 vormen 4 onafhankelijke kleurcomponenten. Door kleuren langs sterke koppelingen af te wisselen, liggen R3C1=2, R8C2=2 aan kant A van component 2: ze delen dezelfde waarheidswaarde en zijn precies de doelkandidaten R3C1=2, R8C2=2. A en B zijn tegengesteld binnen elke component; conflicten verbinden toestanden tussen componenten.

Stap 2 · Stel dat de doelstatus waar is

Behandel de hele groep met dezelfde status R3C1=2, R8C2=2 als één status en neem tijdelijk aan dat dit waar is. Volg de conflicten tussen componenten.

Stap 3 · Volg elke componentovergang

1. R3C1=2 is waar, dus de zichtbare peer R1C2=2 is onwaar. De tegenovergestelde A/B-toestand R1C9=2 in die groep is dus waar. 2. R1C9=2 is waar, dus de zichtbare peer R5C9=2 is onwaar. De tegenovergestelde A/B-toestand R4C7=2, R5C6=2 in die groep is dus waar. 3. R4C7=2 is waar, dus de zichtbare peer R4C4=2 is onwaar. De tegenovergestelde A/B-toestand R3C4=2 in die groep is dus waar. 4. R3C4=2 is waar, dus de zichtbare peer R3C1=2 is onwaar. De tegenovergestelde A/B-toestand R8C1=2 in die groep is dus waar.

Stap 4 · De aanname dwingt het tegenovergestelde af

De aanname R3C1=2, R8C2=2 dwingt uiteindelijk R8C1=2 af, de tegenovergestelde A/B-toestand in dezelfde groep. Beide toestanden kunnen niet waar zijn, dus de veronderstelling is onjuist.