Platon Games
Italiano

Platon Sudoku · Impara il sudoku

Catena forzante (Forcing Chain) · Esempio passo passo

Un insieme esaustivo di alternative candidate viene seguito attraverso catene di implicazioni lineari separate. Mantieni solo un posizionamento o un'eliminazione condivisa da ogni ramo vitale.

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 insieme esaustivo di alternative candidate viene seguito attraverso catene di implicazioni lineari separate.

Come trovarlo

Scegli una suddivisione vero/falso o tutte le posizioni di una cifra in una regione; seguire ogni ramo fino alla sua conseguenza verificata.

Cosa consente

Mantieni solo un posizionamento o un'eliminazione condivisa da ogni ramo vitale.

Evita confusione

Un ramo che raggiunge un risultato non è sufficiente; le alternative di partenza devono coprire tutte le possibilità.

Esempio passo passo · Due rami

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

Il risultato comune da dimostrare è R1C2=7; l'interruttore di derivazione è R1C2=5. Qualsiasi candidato è vero o falso, quindi questi due rami coprono ogni possibilità. Se entrambi raggiungono il risultato comune, quel risultato è forzato.

Il risultato comune da dimostrare è R1C2=7; l'interruttore di derivazione è R1C2=5. Qualsiasi candidato è vero o falso, quindi questi due rami coprono ogni possibilità. Se entrambi raggiungono il risultato comune, quel risultato è forzato.
Il risultato comune da dimostrare è R1C2=7; l'interruttore di derivazione è R1C2=5. Qualsiasi candidato è vero o falso, quindi questi due rami coprono ogni possibilità. Se entrambi raggiungono il risultato comune, quel risultato è forzato.
Gradino 2 · Ragionamento

Ramo 1: supponiamo che R1C2=5 sia vero.

Ramo 1: supponiamo che R1C2=5 sia vero.
Ramo 1: supponiamo che R1C2=5 sia vero.
Gradino 3 · Ragionamento

R1C2=5 è vero. Rimuovere R1C2=7.

R1C2=5 è vero. Rimuovere R1C2=7.
R1C2=5 è vero. Rimuovere R1C2=7.
Gradino 4 · 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.
Gradino 5 · Ragionamento

Ramo 2: supponiamo che R1C2=5 sia falso.

Ramo 2: supponiamo che R1C2=5 sia falso.
Ramo 2: supponiamo che R1C2=5 sia falso.
Gradino 6 · Ragionamento

​​R1C2=5 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 1. Pertanto R1C5=5 deve essere vero.

​​R1C2=5 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 1. Pertanto R1C5=5 deve essere vero.
​​R1C2=5 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 1. Pertanto R1C5=5 deve essere vero.
Gradino 7 · Ragionamento

R1C5=5 è vero. Rimuovere R2C5=5 da colonna 5.

R1C5=5 è vero. Rimuovere R2C5=5 da colonna 5.
R1C5=5 è vero. Rimuovere R2C5=5 da colonna 5.
Gradino 8 · Ragionamento

​​R2C5=5 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 2. Pertanto R2C8=5 deve essere vero.

​​R2C5=5 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 2. Pertanto R2C8=5 deve essere vero.
​​R2C5=5 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 2. Pertanto R2C8=5 deve essere vero.
Gradino 9 · Ragionamento

R2C8=5 è vero. Rimuovere R2C8=9.

R2C8=5 è vero. Rimuovere R2C8=9.
R2C8=5 è vero. Rimuovere R2C8=9.
Gradino 10 · Ragionamento

​​R2C8=9 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 2. Pertanto R2C4=9 deve essere vero.

​​R2C8=9 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 2. Pertanto R2C4=9 deve essere vero.
​​R2C8=9 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 2. Pertanto R2C4=9 deve essere vero.
Gradino 11 · Ragionamento

R2C4=9 è vero. Rimuovere R1C4=9 da colonna 4.

R2C4=9 è vero. Rimuovere R1C4=9 da colonna 4.
R2C4=9 è vero. Rimuovere R1C4=9 da colonna 4.
Gradino 12 · Ragionamento

R1C4=9 è falso. A R1C4 ora è rimasto solo R1C4=7, quindi deve essere vero.

R1C4=9 è falso. A R1C4 ora è rimasto solo R1C4=7, quindi deve essere vero.
R1C4=9 è falso. A R1C4 ora è rimasto solo R1C4=7, quindi deve essere vero.
Gradino 13 · Ragionamento

R1C4=7 è vero. Rimuovere R1C2=7 da fila 1.

R1C4=7 è vero. Rimuovere R1C2=7 da fila 1.
R1C4=7 è vero. Rimuovere R1C2=7 da fila 1.
Gradino 14 · Ragionamento

Ogni possibile ramo raggiunge lo stesso fatto: R1C2=7 è falso. Dopo aver ritirato tutte le ipotesi, questo fatto rimane certo.

Ogni possibile ramo raggiunge lo stesso fatto: R1C2=7 è falso. Dopo aver ritirato tutte le ipotesi, questo fatto rimane certo.
Ogni possibile ramo raggiunge lo stesso fatto: R1C2=7 è falso. Dopo aver ritirato tutte le ipotesi, questo fatto rimane certo.
Gradino 15 · Conclusione

Il risultato verificato è R1C2=7 è falso. Tutte le ipotesi temporanee sono state ritirate.

Il risultato verificato è R1C2=7 è falso. Tutte le ipotesi temporanee sono state ritirate.
Il risultato verificato è R1C2=7 è falso. Tutte le ipotesi temporanee sono state ritirate.

Cosa consente

Il risultato verificato è R1C2=7 è falso. Tutte le ipotesi temporanee sono state ritirate.

Catena forzante (Forcing Chain) · Mantieni solo un posizionamento o un'eliminazione condivisa da ogni ramo vitale.
Catena forzante (Forcing Chain) · Mantieni solo un posizionamento o un'eliminazione condivisa da ogni ramo vitale.

Esempio passo passo · Diversi rami

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

Le radici R2C4=2, R2C4=3, R2C4=6, R2C4=7 sono tutti i possibili candidati in R2C4. Seguirli come una catena di implicazioni lineari separata; se ogni radice raggiunge R2C6=3, quel risultato viene forzato. Più radici da sole non lo rendono uno Forcing Net.

Le radici R2C4=2, R2C4=3, R2C4=6, R2C4=7 sono tutti i possibili candidati in R2C4. Seguirli come una catena di implicazioni lineari separata; se ogni radice raggiunge R2C6=3, quel risultato viene forzato. Più radici da sole non lo rendono uno Forcing Net.
Le radici R2C4=2, R2C4=3, R2C4=6, R2C4=7 sono tutti i possibili candidati in R2C4. Seguirli come una catena di implicazioni lineari separata; se ogni radice raggiunge R2C6=3, quel risultato viene forzato. Più radici da sole non lo rendono uno Forcing Net.
Gradino 2 · Ragionamento

Ramo 1: supponiamo che R2C4=2 sia vero.

Ramo 1: supponiamo che R2C4=2 sia vero.
Ramo 1: supponiamo che R2C4=2 sia vero.
Gradino 3 · Ragionamento

R2C4=2 è vero. Rimuovere R2C4=3.

R2C4=2 è vero. Rimuovere R2C4=3.
R2C4=2 è vero. Rimuovere R2C4=3.
Gradino 4 · Ragionamento

​​R2C4=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 2. Pertanto R2C6=3 deve essere vero.

​​R2C4=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 2. Pertanto R2C6=3 deve essere vero.
​​R2C4=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 2. Pertanto R2C6=3 deve essere vero.
Gradino 5 · 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.
Gradino 6 · Ragionamento

Ramo 2: supponiamo che R2C4=3 sia vero.

Ramo 2: supponiamo che R2C4=3 sia vero.
Ramo 2: supponiamo che R2C4=3 sia vero.
Gradino 7 · Ragionamento

R2C4=3 è vero. Rimuovere R2C4=6.

R2C4=3 è vero. Rimuovere R2C4=6.
R2C4=3 è vero. Rimuovere R2C4=6.
Gradino 8 · Ragionamento

​​R2C4=6 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in riquadro 2. Pertanto R1C5=6 deve essere vero.

​​R2C4=6 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in riquadro 2. Pertanto R1C5=6 deve essere vero.
​​R2C4=6 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in riquadro 2. Pertanto R1C5=6 deve essere vero.
Gradino 9 · Ragionamento

R1C5=6 è vero. Rimuovere R4C5=6 da colonna 5.

R1C5=6 è vero. Rimuovere R4C5=6 da colonna 5.
R1C5=6 è vero. Rimuovere R4C5=6 da colonna 5.
Gradino 10 · Ragionamento

R4C5=6 è falso. A R4C5 ora è rimasto solo R4C5=3, quindi deve essere vero.

R4C5=6 è falso. A R4C5 ora è rimasto solo R4C5=3, quindi deve essere vero.
R4C5=6 è falso. A R4C5 ora è rimasto solo R4C5=3, quindi deve essere vero.
Gradino 11 · Ragionamento

R4C5=3 è vero. Rimuovere R6C6=3 da riquadro 5.

R4C5=3 è vero. Rimuovere R6C6=3 da riquadro 5.
R4C5=3 è vero. Rimuovere R6C6=3 da riquadro 5.
Gradino 12 · Ragionamento

​​R6C6=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 6. Pertanto R2C6=3 deve essere vero.

​​R6C6=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 6. Pertanto R2C6=3 deve essere vero.
​​R6C6=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 6. Pertanto R2C6=3 deve essere vero.
Gradino 13 · 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.
Gradino 14 · Ragionamento

Ramo 3: supponiamo che R2C4=6 sia vero.

Ramo 3: supponiamo che R2C4=6 sia vero.
Ramo 3: supponiamo che R2C4=6 sia vero.
Gradino 15 · Ragionamento

R2C4=6 è vero. Rimuovere R2C4=3.

R2C4=6 è vero. Rimuovere R2C4=3.
R2C4=6 è vero. Rimuovere R2C4=3.
Gradino 16 · Ragionamento

​​R2C4=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 2. Pertanto R2C6=3 deve essere vero.

​​R2C4=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 2. Pertanto R2C6=3 deve essere vero.
​​R2C4=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 2. Pertanto R2C6=3 deve essere vero.
Gradino 17 · 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.
Gradino 18 · Ragionamento

Ramo 4: supponiamo che R2C4=7 sia vero.

Ramo 4: supponiamo che R2C4=7 sia vero.
Ramo 4: supponiamo che R2C4=7 sia vero.
Gradino 19 · Ragionamento

R2C4=7 è vero. Rimuovere R2C4=3.

R2C4=7 è vero. Rimuovere R2C4=3.
R2C4=7 è vero. Rimuovere R2C4=3.
Gradino 20 · Ragionamento

​​R2C4=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 2. Pertanto R2C6=3 deve essere vero.

​​R2C4=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 2. Pertanto R2C6=3 deve essere vero.
​​R2C4=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 2. Pertanto R2C6=3 deve essere vero.
Gradino 21 · Ragionamento

Ogni possibile ramo raggiunge lo stesso fatto: R2C6=3 è vero. Dopo aver ritirato tutte le ipotesi, questo fatto rimane certo.

Ogni possibile ramo raggiunge lo stesso fatto: R2C6=3 è vero. Dopo aver ritirato tutte le ipotesi, questo fatto rimane certo.
Ogni possibile ramo raggiunge lo stesso fatto: R2C6=3 è vero. Dopo aver ritirato tutte le ipotesi, questo fatto rimane certo.
Gradino 22 · Conclusione

Il risultato verificato è R2C6=3 è vero. Tutte le ipotesi temporanee sono state ritirate.

Il risultato verificato è R2C6=3 è vero. Tutte le ipotesi temporanee sono state ritirate.
Il risultato verificato è R2C6=3 è vero. Tutte le ipotesi temporanee sono state ritirate.

Cosa consente

Il risultato verificato è R2C6=3 è vero. Tutte le ipotesi temporanee sono state ritirate.

Catena forzante (Forcing Chain) · Mantieni solo un posizionamento o un'eliminazione condivisa da ogni ramo vitale.
Catena forzante (Forcing Chain) · Mantieni solo un posizionamento o un'eliminazione condivisa da ogni ramo vitale.

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