Platon Sudoku · Impara il sudoku

AIC raggruppata a una cifra (Single-Digit Grouped AIC) · Esempio passo passo

Un nodo raggruppato significa che almeno uno dei diversi candidati è vero; può partecipare a una catena di inferenza alternata. Elimina un bersaglio visto dai punti finali di forzatura della catena.

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

Un nodo raggruppato significa che almeno uno dei diversi candidati è vero; può partecipare a una catena di inferenza alternata.

Come trovarlo

Verificare che le celle raggruppate condividano la regione richiesta, quindi tracciare i collegamenti forti e deboli attraverso uno o più nodi del gruppo.

Cosa consente

Elimina un bersaglio visto dai punti finali di forzatura della catena.

Evita confusione

Un vero gruppo non significa che ogni membro sia vero. Preserva il significato OR del gruppo quando segui la catena.

Esempio passo passo · Un gruppo

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 · Dove cercare

In riquadro 6, 2 può andare solo in R4C7, R4C8, R5C8. La cifra deve apparire una volta in questa regione.

In riquadro 6, 2 può andare solo in R4C7, R4C8, R5C8. La cifra deve apparire una volta in questa regione. — In riquadro 6, 2 può andare solo in R4C7, R4C8, R5C8. La cifra deve apparire una volta in questa regione.
G1: R4C8=2, R5C8=2

1: Gruppo OR A: almeno un candidato è vero

Gradino 2 · Ragionamento

In colonna 5, 2 può andare solo in R1C5, R4C5. La cifra deve apparire una volta in questa regione.

In colonna 5, 2 può andare solo in R1C5, R4C5. La cifra deve apparire una volta in questa regione. — In colonna 5, 2 può andare solo in R1C5, R4C5. La cifra deve apparire una volta in questa regione.
G1: R4C8=2, R5C8=2

1: Gruppo OR A: almeno un candidato è vero

Gradino 3 · Ragionamento

In colonna 9, 2 può andare solo in R1C9, R8C9. La cifra deve apparire una volta in questa regione.

In colonna 9, 2 può andare solo in R1C9, R8C9. La cifra deve apparire una volta in questa regione. — In colonna 9, 2 può andare solo in R1C9, R8C9. La cifra deve apparire una volta in questa regione.
G1: R4C8=2, R5C8=2

1: Gruppo OR A: almeno un candidato è vero

Gradino 4 · Assegna un nome ai gruppi candidati OR

Le parentesi graffe numerate e la legenda definiscono questi gruppi: O gruppo candidato A = R4C8=2, R5C8=2. Ogni gruppo è uno stato logico OR: almeno un candidato al suo interno è vero, ma non significa che tutti i membri siano veri.

Le parentesi graffe numerate e la legenda definiscono questi gruppi: O gruppo candidato A = R4C8=2, R5C8=2. Ogni gruppo è uno stato logico OR: almeno un candidato al suo interno è vero, ma non significa che tutti i membri siano veri. — Le parentesi graffe numerate e la legenda definiscono questi gruppi: O gruppo candidato A = R4C8=2, R5C8=2. Ogni gruppo è uno stato logico OR: almeno un candidato al suo interno è vero, ma non significa che tutti i membri siano veri.
G1: R4C8=2, R5C8=2

1: Gruppo OR A: almeno un candidato è vero

Gradino 5 · Ragionamento

Ramo 1: supponiamo che O gruppo candidato A sia falso.

Ramo 1: supponiamo che O gruppo candidato A sia falso. — Ramo 1: supponiamo che O gruppo candidato A sia falso.
G1: R4C8=2, R5C8=2

1: Gruppo OR A: almeno un candidato è vero

Gradino 6 · Collegamento forte del gruppo: forzare l'altro lato

Caso 1: O gruppo candidato A è falso, quindi il collegamento forte del gruppo forza R4C7=2. Se questo è un gruppo OR, almeno uno dei suoi candidati è vero.

Caso 1: O gruppo candidato A è falso, quindi il collegamento forte del gruppo forza R4C7=2. Se questo è un gruppo OR, almeno uno dei suoi candidati è vero. — Caso 1: O gruppo candidato A è falso, quindi il collegamento forte del gruppo forza R4C7=2. Se questo è un gruppo OR, almeno uno dei suoi candidati è vero.
G1: R4C8=2, R5C8=2

1: Gruppo OR A: almeno un candidato è vero

Gradino 7 · Anello debole del gruppo: escludere la parte in conflitto

R4C7=2 è vero come stato a catena, quindi il lato mutuamente esclusivo R4C5=2 è falso.

R4C7=2 è vero come stato a catena, quindi il lato mutuamente esclusivo R4C5=2 è falso. — R4C7=2 è vero come stato a catena, quindi il lato mutuamente esclusivo R4C5=2 è falso.
G1: R4C8=2, R5C8=2

1: Gruppo OR A: almeno un candidato è vero

Gradino 8 · Il legame forte del gruppo: una parte deve restare

R4C5=2 è falso, quindi il collegamento forte del gruppo forza R1C5=2.

R4C5=2 è falso, quindi il collegamento forte del gruppo forza R1C5=2. — R4C5=2 è falso, quindi il collegamento forte del gruppo forza R1C5=2.
G1: R4C8=2, R5C8=2

1: Gruppo OR A: almeno un candidato è vero

Gradino 9 · Anello debole del gruppo: escludere la parte in conflitto

R1C5=2 è vero come stato a catena, quindi il lato mutuamente esclusivo R1C9=2 è falso.

R1C5=2 è vero come stato a catena, quindi il lato mutuamente esclusivo R1C9=2 è falso. — R1C5=2 è vero come stato a catena, quindi il lato mutuamente esclusivo R1C9=2 è falso.
G1: R4C8=2, R5C8=2

1: Gruppo OR A: almeno un candidato è vero

Gradino 10 · L'endpoint indiretto esclude le destinazioni

R8C9=2 è vero come stato dell'endpoint, quindi esclude le destinazioni.

R8C9=2 è vero come stato dell'endpoint, quindi esclude le destinazioni. — R8C9=2 è vero come stato dell'endpoint, quindi esclude le destinazioni.
G1: R4C8=2, R5C8=2

1: Gruppo OR A: almeno un candidato è vero

Gradino 11 · Ritirare il riempimento del rettangolo precedente

Ritirare questo presupposto e le sue conseguenze. Ritorna all'istantanea del candidato invariata prima di esaminare la possibilità successiva.

Ritirare questo presupposto e le sue conseguenze. Ritorna all'istantanea del candidato invariata prima di esaminare la possibilità successiva. — Ritirare questo presupposto e le sue conseguenze. Ritorna all'istantanea del candidato invariata prima di esaminare la possibilità successiva.
G1: R4C8=2, R5C8=2

1: Gruppo OR A: almeno un candidato è vero

Gradino 12 · Caso 2: il primo endpoint è vero

Il primo endpoint O gruppo candidato A è vero come stato OR, quindi esclude le destinazioni.

Il primo endpoint O gruppo candidato A è vero come stato OR, quindi esclude le destinazioni. — Il primo endpoint O gruppo candidato A è vero come stato OR, quindi esclude le destinazioni.
G1: R4C8=2, R5C8=2

1: Gruppo OR A: almeno un candidato è vero

Gradino 13 · Entrambi i casi endpoint concordano

I due casi endpoint esauriscono le alternative ed entrambi escludono R7C8=2, R8C8=2. Rimuoverli dopo aver ritirato gli stati temporanei.

I due casi endpoint esauriscono le alternative ed entrambi escludono R7C8=2, R8C8=2. Rimuoverli dopo aver ritirato gli stati temporanei. — I due casi endpoint esauriscono le alternative ed entrambi escludono R7C8=2, R8C8=2. Rimuoverli dopo aver ritirato gli stati temporanei.
G1: R4C8=2, R5C8=2

1: Gruppo OR A: almeno un candidato è vero

Cosa consente

I due casi endpoint esauriscono le alternative ed entrambi escludono R7C8=2, R8C8=2. Rimuoverli dopo aver ritirato gli stati temporanei.

AIC raggruppata a una cifra (Single-Digit Grouped AIC) · Elimina un bersaglio visto dai punti finali di forzatura della catena.

Esempio passo passo · Diversi gruppi

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 · Dove cercare

In riquadro 1, 8 può andare solo in R2C2, R3C1. La cifra deve apparire una volta in questa regione.

In riquadro 1, 8 può andare solo in R2C2, R3C1. La cifra deve apparire una volta in questa regione. — In riquadro 1, 8 può andare solo in R2C2, R3C1. La cifra deve apparire una volta in questa regione.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Gruppo OR A: almeno un candidato è vero · 2: Gruppo OR B: almeno un candidato è vero

Gradino 2 · Ragionamento

In riquadro 2, 8 può andare solo in R1C6, R2C4, R2C5. La cifra deve apparire una volta in questa regione.

In riquadro 2, 8 può andare solo in R1C6, R2C4, R2C5. La cifra deve apparire una volta in questa regione. — In riquadro 2, 8 può andare solo in R1C6, R2C4, R2C5. La cifra deve apparire una volta in questa regione.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Gruppo OR A: almeno un candidato è vero · 2: Gruppo OR B: almeno un candidato è vero

Gradino 3 · Ragionamento

In fila 8, 8 può andare solo in R8C1, R8C2, R8C3, R8C6. La cifra deve apparire una volta in questa regione.

In fila 8, 8 può andare solo in R8C1, R8C2, R8C3, R8C6. La cifra deve apparire una volta in questa regione. — In fila 8, 8 può andare solo in R8C1, R8C2, R8C3, R8C6. La cifra deve apparire una volta in questa regione.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Gruppo OR A: almeno un candidato è vero · 2: Gruppo OR B: almeno un candidato è vero

Gradino 4 · Assegna un nome ai gruppi candidati OR

Le parentesi graffe numerate e la legenda definiscono questi gruppi: O gruppo candidato A = R2C4=8, R2C5=8, O gruppo candidato B = R8C1=8, R8C2=8, R8C3=8. Ogni gruppo è uno stato logico OR: almeno un candidato al suo interno è vero, ma non significa che tutti i membri siano veri.

Le parentesi graffe numerate e la legenda definiscono questi gruppi: O gruppo candidato A = R2C4=8, R2C5=8, O gruppo candidato B = R8C1=8, R8C2=8, R8C3=8. Ogni gruppo è uno stato logico OR: almeno un candidato al suo interno è vero, ma non significa che tutti i membri siano veri. — Le parentesi graffe numerate e la legenda definiscono questi gruppi: O gruppo candidato A = R2C4=8, R2C5=8, O gruppo candidato B = R8C1=8, R8C2=8, R8C3=8. Ogni gruppo è uno stato logico OR: almeno un candidato al suo interno è vero, ma non significa che tutti i membri siano veri.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Gruppo OR A: almeno un candidato è vero · 2: Gruppo OR B: almeno un candidato è vero

Gradino 5 · Ragionamento

Ramo 1: supponiamo che R3C1=8 sia falso.

Ramo 1: supponiamo che R3C1=8 sia falso. — Ramo 1: supponiamo che R3C1=8 sia falso.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Gruppo OR A: almeno un candidato è vero · 2: Gruppo OR B: almeno un candidato è vero

Gradino 6 · Collegamento forte del gruppo: forzare l'altro lato

Caso 1: R3C1=8 è falso, quindi il collegamento forte del gruppo forza R2C2=8. Se questo è un gruppo OR, almeno uno dei suoi candidati è vero.

Caso 1: R3C1=8 è falso, quindi il collegamento forte del gruppo forza R2C2=8. Se questo è un gruppo OR, almeno uno dei suoi candidati è vero. — Caso 1: R3C1=8 è falso, quindi il collegamento forte del gruppo forza R2C2=8. Se questo è un gruppo OR, almeno uno dei suoi candidati è vero.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Gruppo OR A: almeno un candidato è vero · 2: Gruppo OR B: almeno un candidato è vero

Gradino 7 · Anello debole del gruppo: escludere la parte in conflitto

R2C2=8 è vero come stato a catena, quindi il lato mutuamente esclusivo R2C4=8, R2C5=8 è falso.

R2C2=8 è vero come stato a catena, quindi il lato mutuamente esclusivo R2C4=8, R2C5=8 è falso. — R2C2=8 è vero come stato a catena, quindi il lato mutuamente esclusivo R2C4=8, R2C5=8 è falso.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Gruppo OR A: almeno un candidato è vero · 2: Gruppo OR B: almeno un candidato è vero

Gradino 8 · Il legame forte del gruppo: una parte deve restare

O gruppo candidato A è falso, quindi il collegamento forte del gruppo forza R1C6=8.

O gruppo candidato A è falso, quindi il collegamento forte del gruppo forza R1C6=8. — O gruppo candidato A è falso, quindi il collegamento forte del gruppo forza R1C6=8.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Gruppo OR A: almeno un candidato è vero · 2: Gruppo OR B: almeno un candidato è vero

Gradino 9 · Anello debole del gruppo: escludere la parte in conflitto

R1C6=8 è vero come stato a catena, quindi il lato mutuamente esclusivo R8C6=8 è falso.

R1C6=8 è vero come stato a catena, quindi il lato mutuamente esclusivo R8C6=8 è falso. — R1C6=8 è vero come stato a catena, quindi il lato mutuamente esclusivo R8C6=8 è falso.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Gruppo OR A: almeno un candidato è vero · 2: Gruppo OR B: almeno un candidato è vero

Gradino 10 · L'endpoint indiretto esclude le destinazioni

O gruppo candidato B è vero come stato dell'endpoint, quindi esclude le destinazioni.

O gruppo candidato B è vero come stato dell'endpoint, quindi esclude le destinazioni. — O gruppo candidato B è vero come stato dell'endpoint, quindi esclude le destinazioni.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Gruppo OR A: almeno un candidato è vero · 2: Gruppo OR B: almeno un candidato è vero

Gradino 11 · Ritirare il riempimento del rettangolo precedente

Ritirare questo presupposto e le sue conseguenze. Ritorna all'istantanea del candidato invariata prima di esaminare la possibilità successiva.

Ritirare questo presupposto e le sue conseguenze. Ritorna all'istantanea del candidato invariata prima di esaminare la possibilità successiva. — Ritirare questo presupposto e le sue conseguenze. Ritorna all'istantanea del candidato invariata prima di esaminare la possibilità successiva.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Gruppo OR A: almeno un candidato è vero · 2: Gruppo OR B: almeno un candidato è vero

Gradino 12 · Caso 2: il primo endpoint è vero

Il primo endpoint R3C1=8 è vero come stato OR, quindi esclude le destinazioni.

Il primo endpoint R3C1=8 è vero come stato OR, quindi esclude le destinazioni. — Il primo endpoint R3C1=8 è vero come stato OR, quindi esclude le destinazioni.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Gruppo OR A: almeno un candidato è vero · 2: Gruppo OR B: almeno un candidato è vero

Gradino 13 · Entrambi i casi endpoint concordano

I due casi endpoint esauriscono le alternative ed entrambi escludono R9C1=8. Rimuoverli dopo aver ritirato gli stati temporanei.

I due casi endpoint esauriscono le alternative ed entrambi escludono R9C1=8. Rimuoverli dopo aver ritirato gli stati temporanei. — I due casi endpoint esauriscono le alternative ed entrambi escludono R9C1=8. Rimuoverli dopo aver ritirato gli stati temporanei.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Gruppo OR A: almeno un candidato è vero · 2: Gruppo OR B: almeno un candidato è vero

Cosa consente

I due casi endpoint esauriscono le alternative ed entrambi escludono R9C1=8. Rimuoverli dopo aver ritirato gli stati temporanei.

AIC raggruppata a una cifra (Single-Digit Grouped AIC) · Elimina un bersaglio visto dai punti finali di forzatura della catena.

Pratica

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