Platon Games
Italiano

Platon Sudoku · Impara il sudoku

Rete forzante (Forcing Net) · Esempio passo passo

A Forcing Net si ramifica e unisce le implicazioni dei candidati. Può confutare un'ipotesi o dimostrare un risultato comune tra alternative. Rimuovere un candidato rifiutato o applicare il risultato condiviso da tutti i rami esaustivi.

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

A Forcing Net si ramifica e unisce le implicazioni dei candidati. Può confutare un'ipotesi o dimostrare un risultato comune tra alternative.

Come trovarlo

Traccia ogni premessa attraverso la rete ramificata, controlla ogni collegamento e confronta contraddizioni o punti finali comuni.

Cosa consente

Rimuovere un candidato rifiutato o applicare il risultato condiviso da tutti i rami esaustivi.

Evita confusione

Non saltare un ramo né confondere un effetto condiviso con un effetto di un solo percorso.

Esempio passo passo · Contraddizione

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

R1C3=7 è vero o falso. Il grafico testa R1C3=7 è vero; una contraddizione esclude quello stato e forza R1C3=7 è falso, quindi i due possibili stati sono completamente coperti. Questo è una Forcing Net, non una Forcing Chain, perché il grafico delle dipendenze verificato si espande o si unisce invece di rimanere un unico percorso di implicazione lineare. Il ramo esplorato contiene nodi verificati 49.

R1C3=7 è vero o falso. Il grafico testa R1C3=7 è vero; una contraddizione esclude quello stato e forza R1C3=7 è falso, quindi i due possibili stati sono completamente coperti. Questo è una Forcing Net, non una Forcing Chain, perché il grafico delle dipendenze verificato si espande o si unisce invece di rimanere un unico percorso di implicazione lineare. Il ramo esplorato contiene nodi verificati 49.
R1C3=7 è vero o falso. Il grafico testa R1C3=7 è vero; una contraddizione esclude quello stato e forza R1C3=7 è falso, quindi i due possibili stati sono completamente coperti. Questo è una Forcing Net, non una Forcing Chain, perché il grafico delle dipendenze verificato si espande o si unisce invece di rimanere un unico percorso di implicazione lineare. Il ramo esplorato contiene nodi verificati 49.
Gradino 2 · Ragionamento

Ramo 1: supponiamo che R1C3=7 sia vero.

Ramo 1: supponiamo che R1C3=7 sia vero.
Ramo 1: supponiamo che R1C3=7 sia vero.
Gradino 3 · Ragionamento

R1C3=7 è vero. Rimuovere {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.

R1C3=7 è vero. Rimuovere {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
R1C3=7 è vero. Rimuovere {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
Gradino 4 · Ragionamento

Dopo le esclusioni precedenti, R8C3=3 è l'unica opzione rimasta in R8C3. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R8C3=3 è l'unica opzione rimasta in R8C3. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R8C3=3 è l'unica opzione rimasta in R8C3. È costretto a questo presupposto.
Gradino 5 · Ragionamento

R8C3=3 è vero. Rimuovere R7C3=3.

R8C3=3 è vero. Rimuovere R7C3=3.
R8C3=3 è vero. Rimuovere R7C3=3.
Gradino 6 · Ragionamento

Dopo le esclusioni precedenti, R7C4=3 è l'unica opzione rimasta in fila 7. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R7C4=3 è l'unica opzione rimasta in fila 7. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R7C4=3 è l'unica opzione rimasta in fila 7. È costretto a questo presupposto.
Gradino 7 · Ragionamento

Dopo le esclusioni precedenti, R8C2=7 è l'unica opzione rimasta in fila 8. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R8C2=7 è l'unica opzione rimasta in fila 8. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R8C2=7 è l'unica opzione rimasta in fila 8. È costretto a questo presupposto.
Gradino 8 · Ragionamento

R8C2=7 è vero. Rimuovere R8C2=8.

R8C2=7 è vero. Rimuovere R8C2=8.
R8C2=7 è vero. Rimuovere R8C2=8.
Gradino 9 · Ragionamento

Dopo le esclusioni precedenti, R8C8=8 è l'unica opzione rimasta in fila 8. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R8C8=8 è l'unica opzione rimasta in fila 8. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R8C8=8 è l'unica opzione rimasta in fila 8. È costretto a questo presupposto.
Gradino 10 · Ragionamento

R8C8=8 è vero. Rimuovere R8C8=4.

R8C8=8 è vero. Rimuovere R8C8=4.
R8C8=8 è vero. Rimuovere R8C8=4.
Gradino 11 · Ragionamento

Dopo le esclusioni precedenti, R6C1=7 è l'unica opzione rimasta in colonna 1. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R6C1=7 è l'unica opzione rimasta in colonna 1. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R6C1=7 è l'unica opzione rimasta in colonna 1. È costretto a questo presupposto.
Gradino 12 · Ragionamento

R6C1=7 è vero. Rimuovere R6C1=5.

R6C1=7 è vero. Rimuovere R6C1=5.
R6C1=7 è vero. Rimuovere R6C1=5.
Gradino 13 · Ragionamento

Dopo le esclusioni precedenti, R3C8=4 è l'unica opzione rimasta in colonna 8. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R3C8=4 è l'unica opzione rimasta in colonna 8. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R3C8=4 è l'unica opzione rimasta in colonna 8. È costretto a questo presupposto.
Gradino 14 · Ragionamento

R3C8=4 è vero. Rimuovere {R3C8=1, R3C8=6}.

R3C8=4 è vero. Rimuovere {R3C8=1, R3C8=6}.
R3C8=4 è vero. Rimuovere {R3C8=1, R3C8=6}.
Gradino 15 · Ragionamento

Dopo le esclusioni precedenti, R3C1=2 è l'unica opzione rimasta in riquadro 1. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R3C1=2 è l'unica opzione rimasta in riquadro 1. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R3C1=2 è l'unica opzione rimasta in riquadro 1. È costretto a questo presupposto.
Gradino 16 · Ragionamento

R3C1=2 è vero. Rimuovere R3C1=5.

R3C1=2 è vero. Rimuovere R3C1=5.
R3C1=2 è vero. Rimuovere R3C1=5.
Gradino 17 · Ragionamento

Dopo le esclusioni precedenti, R9C7=4 è l'unica opzione rimasta in riquadro 9. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R9C7=4 è l'unica opzione rimasta in riquadro 9. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R9C7=4 è l'unica opzione rimasta in riquadro 9. È costretto a questo presupposto.
Gradino 18 · Ragionamento

R9C7=4 è vero. Rimuovere R9C7=9.

R9C7=4 è vero. Rimuovere R9C7=9.
R9C7=4 è vero. Rimuovere R9C7=9.
Gradino 19 · Ragionamento

Dopo le esclusioni precedenti, R7C9=9 è l'unica opzione rimasta in riquadro 9. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R7C9=9 è l'unica opzione rimasta in riquadro 9. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R7C9=9 è l'unica opzione rimasta in riquadro 9. È costretto a questo presupposto.
Gradino 20 · Ragionamento

R3C8=4 è vero. Rimuovere R2C7=4.

R3C8=4 è vero. Rimuovere R2C7=4.
R3C8=4 è vero. Rimuovere R2C7=4.
Gradino 21 · Ragionamento

R6C1=7 è vero. Rimuovere R6C7=7.

R6C1=7 è vero. Rimuovere R6C7=7.
R6C1=7 è vero. Rimuovere R6C7=7.
Gradino 22 · Ragionamento

Dopo le esclusioni precedenti, R6C7=6 è l'unica opzione rimasta in R6C7. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R6C7=6 è l'unica opzione rimasta in R6C7. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R6C7=6 è l'unica opzione rimasta in R6C7. È costretto a questo presupposto.
Gradino 23 · Ragionamento

R6C7=6 è vero. Rimuovere R3C7=6.

R6C7=6 è vero. Rimuovere R3C7=6.
R6C7=6 è vero. Rimuovere R3C7=6.
Gradino 24 · Ragionamento

R7C4=3 è vero. Rimuovere R2C4=3.

R7C4=3 è vero. Rimuovere R2C4=3.
R7C4=3 è vero. Rimuovere R2C4=3.
Gradino 25 · Ragionamento

R7C9=9 è vero. Rimuovere {R1C9=9, R7C3=9}.

R7C9=9 è vero. Rimuovere {R1C9=9, R7C3=9}.
R7C9=9 è vero. Rimuovere {R1C9=9, R7C3=9}.
Gradino 26 · Ragionamento

R8C8=8 è vero. Rimuovere R1C8=8.

R8C8=8 è vero. Rimuovere R1C8=8.
R8C8=8 è vero. Rimuovere R1C8=8.
Gradino 27 · Ragionamento

Dopo le esclusioni precedenti, R3C9=6 è l'unica opzione rimasta in fila 3. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R3C9=6 è l'unica opzione rimasta in fila 3. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R3C9=6 è l'unica opzione rimasta in fila 3. È costretto a questo presupposto.
Gradino 28 · Ragionamento

R3C9=6 è vero. Rimuovere R3C9=1.

R3C9=6 è vero. Rimuovere R3C9=1.
R3C9=6 è vero. Rimuovere R3C9=1.
Gradino 29 · Ragionamento

Dopo le esclusioni precedenti, R9C1=9 è l'unica opzione rimasta in fila 9. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R9C1=9 è l'unica opzione rimasta in fila 9. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R9C1=9 è l'unica opzione rimasta in fila 9. È costretto a questo presupposto.
Gradino 30 · Ragionamento

R9C1=9 è vero. Rimuovere R9C1=5.

R9C1=9 è vero. Rimuovere R9C1=5.
R9C1=9 è vero. Rimuovere R9C1=5.
Gradino 31 · Ragionamento

Dopo le esclusioni precedenti, R2C1=5 è l'unica opzione rimasta in colonna 1. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R2C1=5 è l'unica opzione rimasta in colonna 1. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R2C1=5 è l'unica opzione rimasta in colonna 1. È costretto a questo presupposto.
Gradino 32 · Ragionamento

Dopo le esclusioni precedenti, R2C3=9 è l'unica opzione rimasta in colonna 3. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R2C3=9 è l'unica opzione rimasta in colonna 3. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R2C3=9 è l'unica opzione rimasta in colonna 3. È costretto a questo presupposto.
Gradino 33 · Ragionamento

Dopo le esclusioni precedenti, R2C9=1 è l'unica opzione rimasta in riquadro 3. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R2C9=1 è l'unica opzione rimasta in riquadro 3. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R2C9=1 è l'unica opzione rimasta in riquadro 3. È costretto a questo presupposto.
Gradino 34 · Ragionamento

Dopo le esclusioni precedenti, R1C8=5 è l'unica opzione rimasta in R1C8. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R1C8=5 è l'unica opzione rimasta in R1C8. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R1C8=5 è l'unica opzione rimasta in R1C8. È costretto a questo presupposto.
Gradino 35 · Ragionamento

R1C8=5 è vero. Rimuovere R1C9=5.

R1C8=5 è vero. Rimuovere R1C9=5.
R1C8=5 è vero. Rimuovere R1C9=5.
Gradino 36 · Ragionamento

Dopo le esclusioni precedenti, R1C9=8 è l'unica opzione rimasta in R1C9. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R1C9=8 è l'unica opzione rimasta in R1C9. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R1C9=8 è l'unica opzione rimasta in R1C9. È costretto a questo presupposto.
Gradino 37 · Ragionamento

R1C9=8 è vero. Rimuovere R2C7=8.

R1C9=8 è vero. Rimuovere R2C7=8.
R1C9=8 è vero. Rimuovere R2C7=8.
Gradino 38 · Ragionamento

R2C1=5 è vero. Rimuovere R2C4=5.

R2C1=5 è vero. Rimuovere R2C4=5.
R2C1=5 è vero. Rimuovere R2C4=5.
Gradino 39 · Ragionamento

R2C3=9 è vero. Rimuovere R2C7=9.

R2C3=9 è vero. Rimuovere R2C7=9.
R2C3=9 è vero. Rimuovere R2C7=9.
Gradino 40 · Ragionamento

Dopo le esclusioni precedenti, R2C7=7 è l'unica opzione rimasta in R2C7. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R2C7=7 è l'unica opzione rimasta in R2C7. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R2C7=7 è l'unica opzione rimasta in R2C7. È costretto a questo presupposto.
Gradino 41 · Ragionamento

R2C7=7 è vero. Rimuovere R2C4=7.

R2C7=7 è vero. Rimuovere R2C4=7.
R2C7=7 è vero. Rimuovere R2C4=7.
Gradino 42 · Ragionamento

R2C9=1 è vero. Rimuovere R2C4=1.

R2C9=1 è vero. Rimuovere R2C4=1.
R2C9=1 è vero. Rimuovere R2C4=1.
Gradino 43 · Ragionamento

Questo presupposto non lascia alcun valore o posizione possibile in R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Una cella Sudoku e ogni cifra mancante in una regione devono avere un'opzione. L'ipotesi è impossibile.

Questo presupposto non lascia alcun valore o posizione possibile in R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Una cella Sudoku e ogni cifra mancante in una regione devono avere un'opzione. L'ipotesi è impossibile.
Questo presupposto non lascia alcun valore o posizione possibile in R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Una cella Sudoku e ogni cifra mancante in una regione devono avere un'opzione. L'ipotesi è impossibile.
Gradino 44 · 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 45 · Conclusione

R1C3=7 può essere rimosso perché non può essere vero in questo modello.

R1C3=7 può essere rimosso perché non può essere vero in questo modello.
R1C3=7 può essere rimosso perché non può essere vero in questo modello.

Cosa consente

R1C3=7 può essere rimosso perché non può essere vero in questo modello.

Rete forzante (Forcing Net) · Rimuovere un candidato rifiutato o applicare il risultato condiviso da tutti i rami esaustivi.
Rete forzante (Forcing Net) · Rimuovere un candidato rifiutato o applicare il risultato condiviso da tutti i rami esaustivi.

Esempio passo passo · Risultato comune

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 set radice R7C5=2, R7C5=4, R7C5=9 contiene ogni possibile inizio in R7C5, quindi i rami radice sono esaustivi. Questo è uno Forcing Net, non uno Forcing Chain, perché il grafico delle dipendenze verificato si espande o si unisce invece di rimanere un unico percorso di implicazione lineare. Il grafico delle dipendenze contiene nodi verificati 58 nei rami radice 3. Il risultato comune da verificare è R3C6=2 è vero.

Il set radice R7C5=2, R7C5=4, R7C5=9 contiene ogni possibile inizio in R7C5, quindi i rami radice sono esaustivi. Questo è uno Forcing Net, non uno Forcing Chain, perché il grafico delle dipendenze verificato si espande o si unisce invece di rimanere un unico percorso di implicazione lineare. Il grafico delle dipendenze contiene nodi verificati 58 nei rami radice 3. Il risultato comune da verificare è R3C6=2 è vero.
Il set radice R7C5=2, R7C5=4, R7C5=9 contiene ogni possibile inizio in R7C5, quindi i rami radice sono esaustivi. Questo è uno Forcing Net, non uno Forcing Chain, perché il grafico delle dipendenze verificato si espande o si unisce invece di rimanere un unico percorso di implicazione lineare. Il grafico delle dipendenze contiene nodi verificati 58 nei rami radice 3. Il risultato comune da verificare è R3C6=2 è vero.
Gradino 2 · Ragionamento

Ramo 1: supponiamo che R7C5=2 sia vero.

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

R7C5=2 è vero. Rimuovere R3C5=2.

R7C5=2 è vero. Rimuovere R3C5=2.
R7C5=2 è vero. Rimuovere R3C5=2.
Gradino 4 · Ragionamento

Dopo le esclusioni precedenti, R3C6=2 è l'unica opzione rimasta in fila 3. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R3C6=2 è l'unica opzione rimasta in fila 3. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R3C6=2 è l'unica opzione rimasta in fila 3. È costretto a questo presupposto.
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 R7C5=4 sia vero.

Ramo 2: supponiamo che R7C5=4 sia vero.
Ramo 2: supponiamo che R7C5=4 sia vero.
Gradino 7 · Ragionamento

R7C5=4 è vero. Rimuovere R8C5=4.

R7C5=4 è vero. Rimuovere R8C5=4.
R7C5=4 è vero. Rimuovere R8C5=4.
Gradino 8 · Ragionamento

Dopo le esclusioni precedenti, R8C5=2 è l'unica opzione rimasta in R8C5. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R8C5=2 è l'unica opzione rimasta in R8C5. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R8C5=2 è l'unica opzione rimasta in R8C5. È costretto a questo presupposto.
Gradino 9 · Ragionamento

R8C5=2 è vero. Rimuovere R3C5=2.

R8C5=2 è vero. Rimuovere R3C5=2.
R8C5=2 è vero. Rimuovere R3C5=2.
Gradino 10 · Ragionamento

Dopo le esclusioni precedenti, R3C6=2 è l'unica opzione rimasta in fila 3. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R3C6=2 è l'unica opzione rimasta in fila 3. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R3C6=2 è l'unica opzione rimasta in fila 3. È costretto a questo presupposto.
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.
Gradino 12 · Ragionamento

Ramo 3: supponiamo che R7C5=9 sia vero.

Ramo 3: supponiamo che R7C5=9 sia vero.
Ramo 3: supponiamo che R7C5=9 sia vero.
Gradino 13 · Ragionamento

R7C5=9 è vero. Rimuovere {R7C7=9, R7C8=9, R7C9=9}.

R7C5=9 è vero. Rimuovere {R7C7=9, R7C8=9, R7C9=9}.
R7C5=9 è vero. Rimuovere {R7C7=9, R7C8=9, R7C9=9}.
Gradino 14 · Ragionamento

Dopo le esclusioni precedenti, R7C8=7 è l'unica opzione rimasta in R7C8. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R7C8=7 è l'unica opzione rimasta in R7C8. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R7C8=7 è l'unica opzione rimasta in R7C8. È costretto a questo presupposto.
Gradino 15 · Ragionamento

R7C8=7 è vero. Rimuovere {R7C9=7, R9C7=7, R9C8=7}.

R7C8=7 è vero. Rimuovere {R7C9=7, R9C7=7, R9C8=7}.
R7C8=7 è vero. Rimuovere {R7C9=7, R9C7=7, R9C8=7}.
Gradino 16 · Ragionamento

Dopo le esclusioni precedenti, R7C9=8 è l'unica opzione rimasta in R7C9. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R7C9=8 è l'unica opzione rimasta in R7C9. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R7C9=8 è l'unica opzione rimasta in R7C9. È costretto a questo presupposto.
Gradino 17 · Ragionamento

R7C9=8 è vero. Rimuovere {R7C7=8, R8C7=8, R9C7=8}.

R7C9=8 è vero. Rimuovere {R7C7=8, R8C7=8, R9C7=8}.
R7C9=8 è vero. Rimuovere {R7C7=8, R8C7=8, R9C7=8}.
Gradino 18 · Ragionamento

Dopo le esclusioni precedenti, R9C1=7 è l'unica opzione rimasta in fila 9. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R9C1=7 è l'unica opzione rimasta in fila 9. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R9C1=7 è l'unica opzione rimasta in fila 9. È costretto a questo presupposto.
Gradino 19 · Ragionamento

Dopo le esclusioni precedenti, R4C7=8 è l'unica opzione rimasta in colonna 7. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R4C7=8 è l'unica opzione rimasta in colonna 7. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R4C7=8 è l'unica opzione rimasta in colonna 7. È costretto a questo presupposto.
Gradino 20 · Ragionamento

R4C7=8 è vero. Rimuovere R4C7=5.

R4C7=8 è vero. Rimuovere R4C7=5.
R4C7=8 è vero. Rimuovere R4C7=5.
Gradino 21 · Ragionamento

Dopo le esclusioni precedenti, R4C9=7 è l'unica opzione rimasta in colonna 9. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R4C9=7 è l'unica opzione rimasta in colonna 9. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R4C9=7 è l'unica opzione rimasta in colonna 9. È costretto a questo presupposto.
Gradino 22 · Ragionamento

R4C9=7 è vero. Rimuovere R4C9=9.

R4C9=7 è vero. Rimuovere R4C9=9.
R4C9=7 è vero. Rimuovere R4C9=9.
Gradino 23 · Ragionamento

Dopo le esclusioni precedenti, R6C9=9 è l'unica opzione rimasta in colonna 9. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R6C9=9 è l'unica opzione rimasta in colonna 9. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R6C9=9 è l'unica opzione rimasta in colonna 9. È costretto a questo presupposto.
Gradino 24 · Ragionamento

R6C9=9 è vero. Rimuovere R6C9=1.

R6C9=9 è vero. Rimuovere R6C9=1.
R6C9=9 è vero. Rimuovere R6C9=1.
Gradino 25 · Ragionamento

Dopo le esclusioni precedenti, R5C7=1 è l'unica opzione rimasta in riquadro 6. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R5C7=1 è l'unica opzione rimasta in riquadro 6. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R5C7=1 è l'unica opzione rimasta in riquadro 6. È costretto a questo presupposto.
Gradino 26 · Ragionamento

R5C7=1 è vero. Rimuovere {R5C7=5, R5C7=7}.

R5C7=1 è vero. Rimuovere {R5C7=5, R5C7=7}.
R5C7=1 è vero. Rimuovere {R5C7=5, R5C7=7}.
Gradino 27 · Ragionamento

Dopo le esclusioni precedenti, R4C8=5 è l'unica opzione rimasta in riquadro 6. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R4C8=5 è l'unica opzione rimasta in riquadro 6. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R4C8=5 è l'unica opzione rimasta in riquadro 6. È costretto a questo presupposto.
Gradino 28 · Ragionamento

R4C8=5 è vero. Rimuovere {R4C5=5, R8C8=5}.

R4C8=5 è vero. Rimuovere {R4C5=5, R8C8=5}.
R4C8=5 è vero. Rimuovere {R4C5=5, R8C8=5}.
Gradino 29 · Ragionamento

R5C7=1 è vero. Rimuovere {R2C7=1, R5C1=1}.

R5C7=1 è vero. Rimuovere {R2C7=1, R5C1=1}.
R5C7=1 è vero. Rimuovere {R2C7=1, R5C1=1}.
Gradino 30 · Ragionamento

R9C1=7 è vero. Rimuovere R5C1=7.

R9C1=7 è vero. Rimuovere R5C1=7.
R9C1=7 è vero. Rimuovere R5C1=7.
Gradino 31 · Ragionamento

Dopo le esclusioni precedenti, R5C2=7 è l'unica opzione rimasta in fila 5. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R5C2=7 è l'unica opzione rimasta in fila 5. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R5C2=7 è l'unica opzione rimasta in fila 5. È costretto a questo presupposto.
Gradino 32 · Ragionamento

R5C2=7 è vero. Rimuovere R5C2=3.

R5C2=7 è vero. Rimuovere R5C2=3.
R5C2=7 è vero. Rimuovere R5C2=3.
Gradino 33 · Ragionamento

Dopo le esclusioni precedenti, R8C7=5 è l'unica opzione rimasta in fila 8. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R8C7=5 è l'unica opzione rimasta in fila 8. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R8C7=5 è l'unica opzione rimasta in fila 8. È costretto a questo presupposto.
Gradino 34 · Ragionamento

R8C7=5 è vero. Rimuovere {R8C7=2, R8C7=6}.

R8C7=5 è vero. Rimuovere {R8C7=2, R8C7=6}.
R8C7=5 è vero. Rimuovere {R8C7=2, R8C7=6}.
Gradino 35 · Ragionamento

Dopo le esclusioni precedenti, R1C1=1 è l'unica opzione rimasta in colonna 1. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R1C1=1 è l'unica opzione rimasta in colonna 1. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R1C1=1 è l'unica opzione rimasta in colonna 1. È costretto a questo presupposto.
Gradino 36 · Ragionamento

Dopo le esclusioni precedenti, R7C7=6 è l'unica opzione rimasta in colonna 7. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R7C7=6 è l'unica opzione rimasta in colonna 7. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R7C7=6 è l'unica opzione rimasta in colonna 7. È costretto a questo presupposto.
Gradino 37 · Ragionamento

R7C7=6 è vero. Rimuovere R7C7=2.

R7C7=6 è vero. Rimuovere R7C7=2.
R7C7=6 è vero. Rimuovere R7C7=2.
Gradino 38 · Ragionamento

Dopo le esclusioni precedenti, R9C7=2 è l'unica opzione rimasta in riquadro 9. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R9C7=2 è l'unica opzione rimasta in riquadro 9. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R9C7=2 è l'unica opzione rimasta in riquadro 9. È costretto a questo presupposto.
Gradino 39 · Ragionamento

R9C7=2 è vero. Rimuovere R9C7=9.

R9C7=2 è vero. Rimuovere R9C7=9.
R9C7=2 è vero. Rimuovere R9C7=9.
Gradino 40 · Ragionamento

Dopo le esclusioni precedenti, R9C8=9 è l'unica opzione rimasta in riquadro 9. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R9C8=9 è l'unica opzione rimasta in riquadro 9. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R9C8=9 è l'unica opzione rimasta in riquadro 9. È costretto a questo presupposto.
Gradino 41 · Ragionamento

R9C8=9 è vero. Rimuovere R9C8=3.

R9C8=9 è vero. Rimuovere R9C8=3.
R9C8=9 è vero. Rimuovere R9C8=3.
Gradino 42 · Ragionamento

R1C1=1 è vero. Rimuovere R2C3=1.

R1C1=1 è vero. Rimuovere R2C3=1.
R1C1=1 è vero. Rimuovere R2C3=1.
Gradino 43 · Ragionamento

Dopo le esclusioni precedenti, R2C5=1 è l'unica opzione rimasta in fila 2. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R2C5=1 è l'unica opzione rimasta in fila 2. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R2C5=1 è l'unica opzione rimasta in fila 2. È costretto a questo presupposto.
Gradino 44 · Ragionamento

R2C5=1 è vero. Rimuovere R2C5=5.

R2C5=1 è vero. Rimuovere R2C5=5.
R2C5=1 è vero. Rimuovere R2C5=5.
Gradino 45 · Ragionamento

Dopo le esclusioni precedenti, R9C3=3 è l'unica opzione rimasta in fila 9. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R9C3=3 è l'unica opzione rimasta in fila 9. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R9C3=3 è l'unica opzione rimasta in fila 9. È costretto a questo presupposto.
Gradino 46 · Ragionamento

Dopo le esclusioni precedenti, R5C5=5 è l'unica opzione rimasta in colonna 5. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R5C5=5 è l'unica opzione rimasta in colonna 5. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R5C5=5 è l'unica opzione rimasta in colonna 5. È costretto a questo presupposto.
Gradino 47 · Ragionamento

R5C5=5 è vero. Rimuovere R5C5=3.

R5C5=5 è vero. Rimuovere R5C5=3.
R5C5=5 è vero. Rimuovere R5C5=3.
Gradino 48 · Ragionamento

R9C3=3 è vero. Rimuovere R5C3=3.

R9C3=3 è vero. Rimuovere R5C3=3.
R9C3=3 è vero. Rimuovere R5C3=3.
Gradino 49 · Ragionamento

Dopo le esclusioni precedenti, R5C6=3 è l'unica opzione rimasta in fila 5. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R5C6=3 è l'unica opzione rimasta in fila 5. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R5C6=3 è l'unica opzione rimasta in fila 5. È costretto a questo presupposto.
Gradino 50 · Ragionamento

R5C6=3 è vero. Rimuovere R3C6=3.

R5C6=3 è vero. Rimuovere R3C6=3.
R5C6=3 è vero. Rimuovere R3C6=3.
Gradino 51 · Ragionamento

Dopo le esclusioni precedenti, R3C6=2 è l'unica opzione rimasta in R3C6. È costretto a questo presupposto.

Dopo le esclusioni precedenti, R3C6=2 è l'unica opzione rimasta in R3C6. È costretto a questo presupposto.
Dopo le esclusioni precedenti, R3C6=2 è l'unica opzione rimasta in R3C6. È costretto a questo presupposto.
Gradino 52 · Ragionamento

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

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

R3C6=2 è forzato da questo schema.

R3C6=2 è forzato da questo schema.
R3C6=2 è forzato da questo schema.

Cosa consente

R3C6=2 è forzato da questo schema.

Rete forzante (Forcing Net) · Rimuovere un candidato rifiutato o applicare il risultato condiviso da tutti i rami esaustivi.
Rete forzante (Forcing Net) · Rimuovere un candidato rifiutato o applicare il risultato condiviso da tutti i rami esaustivi.

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