Platon Sudoku · Impara il sudoku

Contraddizione tra componenti di colorazione (Multi-Component Coloring Contradiction) · Esempio passo passo

I collegamenti forti colorano una cifra in stati opposti all'interno di ciascun componente; le relazioni tra i componenti vincolano quali stati possono coesistere. Rimuove un candidato escluso da tutte le assegnazioni di colore coerenti.

Questo corso adatta le lezioni dell’app Platon Sudoku. Leggi qui l’esempio completo, poi continua a imparare ed esercitarti nell’app.

Vedi su Google Play

Riconoscere il modello

I collegamenti forti colorano una cifra in stati opposti all'interno di ciascun componente; le relazioni tra i componenti vincolano quali stati possono coesistere.

Come trovarlo

Colora ciascun componente collegato separatamente, quindi ispeziona i conflitti e gli obiettivi tra componenti che vedono ogni alternativa sopravvissuta.

Cosa consente

Rimuove un candidato escluso da tutte le assegnazioni di colore coerenti.

Evita confusione

Non unire componenti separati con un collegamento forte non verificato né dare per scontato che sia già posizionato un colore.

Esempio passo passo · Colore complesso

Questo esempio parte da una posizione intermedia salvata. I candidati includono eliminazioni logiche precedenti e non sono note automatiche appena generate.

Blu: indizi. Verde: conclusione. Cifre barrate: candidati eliminati. R1C1 significa riga 1, colonna 1.

Gradino 1 · Conferma il gruppo iniziale con lo stesso stato

“Contraddizione tra componenti di colorazione (Multi-Component Coloring Contradiction)” — Questo nome descrive una dimostrazione propria dell’app fra più componenti, non una tecnica HoDoKu distinta con lo stesso nome. I candidati della cifra 2 formano 4 componenti di colorazione indipendenti. Alternando i colori lungo i legami forti, R3C1=2, R8C2=2 si trovano sul lato A della componente 2: hanno lo stesso valore di verità e sono esattamente i candidati bersaglio R3C1=2, R8C2=2. A e B sono opposti in ciascuna componente; i conflitti collegano gli stati fra componenti.

Gradino 2 · Supponiamo che lo stato di destinazione sia vero

Tratta l'intero gruppo dello stesso stato R3C1=2, R8C2=2 come uno stato e presumi temporaneamente che sia vero. Seguire i conflitti tra i componenti.

Gradino 3 · Segui ogni transizione dei componenti

1. R3C1=2 è vero, quindi il peer visibile R1C2=2 è falso. Lo stato A/B opposto R1C9=2 in quel gruppo è quindi vero. 2. R1C9=2 è vero, quindi il peer visibile R5C9=2 è falso. Lo stato A/B opposto R4C7=2, R5C6=2 in quel gruppo è quindi vero. 3. R4C7=2 è vero, quindi il peer visibile R4C4=2 è falso. Lo stato A/B opposto R3C4=2 in quel gruppo è quindi vero. 4. R3C4=2 è vero, quindi il peer visibile R3C1=2 è falso. Lo stato A/B opposto R8C1=2 in quel gruppo è quindi vero.

Gradino 4 · Il presupposto impone il contrario

Il presupposto R3C1=2, R8C2=2 alla fine forza R8C1=2, lo stato A/B opposto nello stesso gruppo. Entrambi gli stati non possono essere veri, quindi l’ipotesi è falsa.