Platon Games
Italiano

Platon Sudoku · Impara il sudoku

Nice Loop / AIC · Esempio passo passo

Una catena di inferenza alternata collega gli stati candidati con collegamenti forti e deboli verificati. Le catene aperte e chiuse hanno conclusioni distinte. Utilizza il risultato verificato: rimuovi un candidato o inserisci una cifra quando il suo stato opposto è impossibile.

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

Una catena di inferenza alternata collega gli stati candidati con collegamenti forti e deboli verificati. Le catene aperte e chiuse hanno conclusioni distinte.

Come trovarlo

Traccia ogni implicazione da un'estremità, registrando le transizioni forti e deboli e se la catena chiude o contraddice un punto finale.

Cosa consente

Utilizza il risultato verificato: rimuovi un candidato o inserisci una cifra quando il suo stato opposto è impossibile.

Evita confusione

Un legame forte implica che, se un estremo è falso, l’altro è vero. Un legame debole implica che, se un estremo è vero, l’altro è falso. Non invertire queste implicazioni; verifica la relazione tra gli estremi prima di concludere.

Esempio passo passo · Discontinuo · eliminare

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 · ​​Leggere AIC prima di seguirlo

Questa lezione Nice Loop / AIC utilizza la normale famiglia di nodi candidati di HoDoKu: eliminazioni e posizionamenti discontinui, catene aperte di Tipo 1 e Tipo 2 e cicli continui. Inizia da R1C6=1 è vero e ispeziona R1C6=1. In colonna 6, fila 2, colonna 9, fila 7, riquadro 5, fila 5, colonna 1, fila 9, colonna 8, un collegamento solido significa che almeno un'estremità è vera; un collegamento tratteggiato significa che entrambe le estremità non possono essere vere. Segui una relazione evidenziata alla volta.

Questa lezione Nice Loop / AIC utilizza la normale famiglia di nodi candidati di HoDoKu: eliminazioni e posizionamenti discontinui, catene aperte di Tipo 1 e Tipo 2 e cicli continui. Inizia da R1C6=1 è vero e ispeziona R1C6=1. In colonna 6, fila 2, colonna 9, fila 7, riquadro 5, fila 5, colonna 1, fila 9, colonna 8, un collegamento solido significa che almeno un'estremità è vera; un collegamento tratteggiato significa che entrambe le estremità non possono essere vere. Segui una relazione evidenziata alla volta.
Questa lezione Nice Loop / AIC utilizza la normale famiglia di nodi candidati di HoDoKu: eliminazioni e posizionamenti discontinui, catene aperte di Tipo 1 e Tipo 2 e cicli continui. Inizia da R1C6=1 è vero e ispeziona R1C6=1. In colonna 6, fila 2, colonna 9, fila 7, riquadro 5, fila 5, colonna 1, fila 9, colonna 8, un collegamento solido significa che almeno un'estremità è vera; un collegamento tratteggiato significa che entrambe le estremità non possono essere vere. Segui una relazione evidenziata alla volta.
Gradino 2 · Ipotesi: avviare la catena alternata

Ramo 1: supponiamo che R1C6=1 sia vero.

Ramo 1: supponiamo che R1C6=1 sia vero.
Ramo 1: supponiamo che R1C6=1 sia vero.
Gradino 3 · Relazione debole: conflitto tra candidati collegati

R1C6=1 è vero. Rimuovere R1C6=8.

R1C6=1 è vero. Rimuovere R1C6=8.
R1C6=1 è vero. Rimuovere R1C6=8.
Gradino 4 · Relazione forte: l'altro endpoint è forzato

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

​​R1C6=8 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 6. Pertanto R2C6=8 deve essere vero.
​​R1C6=8 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 6. Pertanto R2C6=8 deve essere vero.
Gradino 5 · Relazione debole: conflitto tra candidati collegati

R2C6=8 è vero. Rimuovere R2C6=6.

R2C6=8 è vero. Rimuovere R2C6=6.
R2C6=8 è vero. Rimuovere R2C6=6.
Gradino 6 · Relazione forte: l'altro endpoint è forzato

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

​​R2C6=6 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 2. Pertanto R2C9=6 deve essere vero.
​​R2C6=6 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 2. Pertanto R2C9=6 deve essere vero.
Gradino 7 · Relazione debole: conflitto tra candidati collegati

R2C9=6 è vero. Rimuovere R2C9=3.

R2C9=6 è vero. Rimuovere R2C9=3.
R2C9=6 è vero. Rimuovere R2C9=3.
Gradino 8 · Relazione forte: l'altro endpoint è forzato

​​R2C9=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 9. Pertanto R7C9=3 deve essere vero.

​​R2C9=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 9. Pertanto R7C9=3 deve essere vero.
​​R2C9=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 9. Pertanto R7C9=3 deve essere vero.
Gradino 9 · Relazione debole: conflitto tra candidati collegati

R7C9=3 è vero. Rimuovere R7C6=3.

R7C9=3 è vero. Rimuovere R7C6=3.
R7C9=3 è vero. Rimuovere R7C6=3.
Gradino 10 · Relazione forte: l'altro endpoint è forzato

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

​​R7C6=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 6. Pertanto R6C6=3 deve essere vero.
​​R7C6=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 6. Pertanto R6C6=3 deve essere vero.
Gradino 11 · Relazione debole: conflitto tra candidati collegati

R6C6=3 è vero. Rimuovere R5C4=3.

R6C6=3 è vero. Rimuovere R5C4=3.
R6C6=3 è vero. Rimuovere R5C4=3.
Gradino 12 · Relazione forte: l'altro endpoint è forzato

​​R5C4=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 5. Pertanto R5C1=3 deve essere vero.

​​R5C4=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 5. Pertanto R5C1=3 deve essere vero.
​​R5C4=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 5. Pertanto R5C1=3 deve essere vero.
Gradino 13 · Relazione debole: conflitto tra candidati collegati

R5C1=3 è vero. Rimuovere R9C1=3.

R5C1=3 è vero. Rimuovere R9C1=3.
R5C1=3 è vero. Rimuovere R9C1=3.
Gradino 14 · Relazione forte: l'altro endpoint è forzato

​​R9C1=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 9. Pertanto R9C8=3 deve essere vero.

​​R9C1=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 9. Pertanto R9C8=3 deve essere vero.
​​R9C1=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 9. Pertanto R9C8=3 deve essere vero.
Gradino 15 · Relazione debole: conflitto tra candidati collegati

R9C8=3 è vero. Rimuovere R2C8=3.

R9C8=3 è vero. Rimuovere R2C8=3.
R9C8=3 è vero. Rimuovere R2C8=3.
Gradino 16 · Stessa cella: forza l'altro candidato

R2C8=3 è falso. Nella stessa cella R2C8, l'altro candidato R2C8=8 viene forzato a vero secondo l'ipotesi attuale.

R2C8=3 è falso. Nella stessa cella R2C8, l'altro candidato R2C8=8 viene forzato a vero secondo l'ipotesi attuale.
R2C8=3 è falso. Nella stessa cella R2C8, l'altro candidato R2C8=8 viene forzato a vero secondo l'ipotesi attuale.
Gradino 17 · Relazione debole: conflitto tra candidati collegati

R2C8=8 è vero. Rimuovere R2C6=8.

R2C8=8 è vero. Rimuovere R2C6=8.
R2C8=8 è vero. Rimuovere R2C6=8.
Gradino 18 · Relazione forte: l'altro endpoint è forzato

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

​​R2C6=8 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 6. Pertanto R1C6=8 deve essere vero.
​​R2C6=8 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 6. Pertanto R1C6=8 deve essere vero.
Gradino 19 · La catena raggiunge una contraddizione

La deduzione contraddice “R1C6=1 è vero”, quindi R1C6=1 è falso.

La deduzione contraddice “R1C6=1 è vero”, quindi R1C6=1 è falso.
La deduzione contraddice “R1C6=1 è vero”, quindi R1C6=1 è falso.
Gradino 20 · 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 21 · AIC

La catena alternata è iniziata da "R1C6=1 è vero" e ha seguito le relazioni forti e deboli etichettate, inclusi gli interruttori della stessa cella dove necessario, fino a una contraddizione. Pertanto R1C6=1 è falso. Tutti gli stati temporanei vengono ritirati.

La catena alternata è iniziata da "R1C6=1 è vero" e ha seguito le relazioni forti e deboli etichettate, inclusi gli interruttori della stessa cella dove necessario, fino a una contraddizione. Pertanto R1C6=1 è falso. Tutti gli stati temporanei vengono ritirati.
La catena alternata è iniziata da "R1C6=1 è vero" e ha seguito le relazioni forti e deboli etichettate, inclusi gli interruttori della stessa cella dove necessario, fino a una contraddizione. Pertanto R1C6=1 è falso. Tutti gli stati temporanei vengono ritirati.

Cosa consente

La catena alternata è iniziata da "R1C6=1 è vero" e ha seguito le relazioni forti e deboli etichettate, inclusi gli interruttori della stessa cella dove necessario, fino a una contraddizione. Pertanto R1C6=1 è falso. Tutti gli stati temporanei vengono ritirati.

Nice Loop / AIC · Utilizza il risultato verificato: rimuovi un candidato o inserisci una cifra quando il suo stato opposto è impossibile.
Nice Loop / AIC · Utilizza il risultato verificato: rimuovi un candidato o inserisci una cifra quando il suo stato opposto è impossibile.

Esempio passo passo · Discontinuo · luogo

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 · ​​Leggere AIC prima di seguirlo

Questa lezione Nice Loop / AIC utilizza la normale famiglia di nodi candidati di HoDoKu: eliminazioni e posizionamenti discontinui, catene aperte di Tipo 1 e Tipo 2 e cicli continui. Inizia da R1C1=4 è falso e ispeziona R1C1=4. In fila 1, colonna 2, riquadro 4, colonna 3, un collegamento solido significa che almeno un'estremità è vera; un collegamento tratteggiato significa che entrambe le estremità non possono essere vere. Segui una relazione evidenziata alla volta.

Questa lezione Nice Loop / AIC utilizza la normale famiglia di nodi candidati di HoDoKu: eliminazioni e posizionamenti discontinui, catene aperte di Tipo 1 e Tipo 2 e cicli continui. Inizia da R1C1=4 è falso e ispeziona R1C1=4. In fila 1, colonna 2, riquadro 4, colonna 3, un collegamento solido significa che almeno un'estremità è vera; un collegamento tratteggiato significa che entrambe le estremità non possono essere vere. Segui una relazione evidenziata alla volta.
Questa lezione Nice Loop / AIC utilizza la normale famiglia di nodi candidati di HoDoKu: eliminazioni e posizionamenti discontinui, catene aperte di Tipo 1 e Tipo 2 e cicli continui. Inizia da R1C1=4 è falso e ispeziona R1C1=4. In fila 1, colonna 2, riquadro 4, colonna 3, un collegamento solido significa che almeno un'estremità è vera; un collegamento tratteggiato significa che entrambe le estremità non possono essere vere. Segui una relazione evidenziata alla volta.
Gradino 2 · Ipotesi: avviare la catena alternata

Ramo 1: supponiamo che R1C1=4 sia falso.

Ramo 1: supponiamo che R1C1=4 sia falso.
Ramo 1: supponiamo che R1C1=4 sia falso.
Gradino 3 · Relazione forte: l'altro endpoint è forzato

​​R1C1=4 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 1. Pertanto R1C3=4 deve essere vero.

​​R1C1=4 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 1. Pertanto R1C3=4 deve essere vero.
​​R1C1=4 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 1. Pertanto R1C3=4 deve essere vero.
Gradino 4 · Relazione debole: conflitto tra candidati collegati

R1C3=4 è vero. Rimuovere R1C3=5.

R1C3=4 è vero. Rimuovere R1C3=5.
R1C3=4 è vero. Rimuovere R1C3=5.
Gradino 5 · Relazione forte: l'altro endpoint è forzato

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

​​R1C3=5 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 1. Pertanto R1C2=5 deve essere vero.
​​R1C3=5 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 1. Pertanto R1C2=5 deve essere vero.
Gradino 6 · Relazione debole: conflitto tra candidati collegati

R1C2=5 è vero. Rimuovere R1C2=9.

R1C2=5 è vero. Rimuovere R1C2=9.
R1C2=5 è vero. Rimuovere R1C2=9.
Gradino 7 · Relazione forte: l'altro endpoint è forzato

​​R1C2=9 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 2. Pertanto R5C2=9 deve essere vero.

​​R1C2=9 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 2. Pertanto R5C2=9 deve essere vero.
​​R1C2=9 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 2. Pertanto R5C2=9 deve essere vero.
Gradino 8 · Relazione debole: conflitto tra candidati collegati

R5C2=9 è vero. Rimuovere R4C3=9.

R5C2=9 è vero. Rimuovere R4C3=9.
R5C2=9 è vero. Rimuovere R4C3=9.
Gradino 9 · Stessa cella: forza l'altro candidato

R4C3=9 è falso. Nella stessa cella R4C3, l'altro candidato R4C3=4 viene forzato a vero secondo l'ipotesi attuale.

R4C3=9 è falso. Nella stessa cella R4C3, l'altro candidato R4C3=4 viene forzato a vero secondo l'ipotesi attuale.
R4C3=9 è falso. Nella stessa cella R4C3, l'altro candidato R4C3=4 viene forzato a vero secondo l'ipotesi attuale.
Gradino 10 · Relazione debole: conflitto tra candidati collegati

R4C3=4 è vero. Rimuovere R1C3=4.

R4C3=4 è vero. Rimuovere R1C3=4.
R4C3=4 è vero. Rimuovere R1C3=4.
Gradino 11 · La catena raggiunge una contraddizione

La deduzione contraddice “R1C1=4 è falso”, quindi R1C1=4 è vero.

La deduzione contraddice “R1C1=4 è falso”, quindi R1C1=4 è vero.
La deduzione contraddice “R1C1=4 è falso”, quindi R1C1=4 è vero.
Gradino 12 · 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 13 · AIC

La catena alternata è iniziata da "R1C1=4 è falso" e ha seguito le relazioni forti e deboli etichettate, inclusi gli interruttori della stessa cella dove necessario, fino a una contraddizione. Pertanto R1C1=4 è vero. Tutti gli stati temporanei vengono ritirati.

La catena alternata è iniziata da "R1C1=4 è falso" e ha seguito le relazioni forti e deboli etichettate, inclusi gli interruttori della stessa cella dove necessario, fino a una contraddizione. Pertanto R1C1=4 è vero. Tutti gli stati temporanei vengono ritirati.
La catena alternata è iniziata da "R1C1=4 è falso" e ha seguito le relazioni forti e deboli etichettate, inclusi gli interruttori della stessa cella dove necessario, fino a una contraddizione. Pertanto R1C1=4 è vero. Tutti gli stati temporanei vengono ritirati.

Cosa consente

La catena alternata è iniziata da "R1C1=4 è falso" e ha seguito le relazioni forti e deboli etichettate, inclusi gli interruttori della stessa cella dove necessario, fino a una contraddizione. Pertanto R1C1=4 è vero. Tutti gli stati temporanei vengono ritirati.

Nice Loop / AIC · Utilizza il risultato verificato: rimuovi un candidato o inserisci una cifra quando il suo stato opposto è impossibile.
Nice Loop / AIC · Utilizza il risultato verificato: rimuovi un candidato o inserisci una cifra quando il suo stato opposto è impossibile.

Esempio passo passo · Tipo 1

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 · ​​Leggere AIC prima di seguirlo

Questa lezione Nice Loop / AIC utilizza la normale famiglia di nodi candidati di HoDoKu: eliminazioni e posizionamenti discontinui, catene aperte di Tipo 1 e Tipo 2 e cicli continui. Inizia da R1C6=2 è falso e ispeziona R1C8=2, R1C9=2, R2C4=2. In colonna 6, fila 2, un collegamento solido significa che almeno un'estremità è vera; un collegamento tratteggiato significa che entrambe le estremità non possono essere vere. Segui una relazione evidenziata alla volta.

Questa lezione Nice Loop / AIC utilizza la normale famiglia di nodi candidati di HoDoKu: eliminazioni e posizionamenti discontinui, catene aperte di Tipo 1 e Tipo 2 e cicli continui. Inizia da R1C6=2 è falso e ispeziona R1C8=2, R1C9=2, R2C4=2. In colonna 6, fila 2, un collegamento solido significa che almeno un'estremità è vera; un collegamento tratteggiato significa che entrambe le estremità non possono essere vere. Segui una relazione evidenziata alla volta.
Questa lezione Nice Loop / AIC utilizza la normale famiglia di nodi candidati di HoDoKu: eliminazioni e posizionamenti discontinui, catene aperte di Tipo 1 e Tipo 2 e cicli continui. Inizia da R1C6=2 è falso e ispeziona R1C8=2, R1C9=2, R2C4=2. In colonna 6, fila 2, un collegamento solido significa che almeno un'estremità è vera; un collegamento tratteggiato significa che entrambe le estremità non possono essere vere. Segui una relazione evidenziata alla volta.
Gradino 2 · Ipotesi: avviare la catena alternata

Ramo 1: supponiamo che R1C6=2 sia falso.

Ramo 1: supponiamo che R1C6=2 sia falso.
Ramo 1: supponiamo che R1C6=2 sia falso.
Gradino 3 · Stessa cella: forza l'altro candidato

R1C6=2 è falso. Nella stessa cella R1C6, l'altro candidato R1C6=1 viene forzato a vero secondo l'ipotesi attuale.

R1C6=2 è falso. Nella stessa cella R1C6, l'altro candidato R1C6=1 viene forzato a vero secondo l'ipotesi attuale.
R1C6=2 è falso. Nella stessa cella R1C6, l'altro candidato R1C6=1 viene forzato a vero secondo l'ipotesi attuale.
Gradino 4 · Relazione debole: conflitto tra candidati collegati

R1C6=1 è vero. Rimuovere R6C6=1.

R1C6=1 è vero. Rimuovere R6C6=1.
R1C6=1 è vero. Rimuovere R6C6=1.
Gradino 5 · Stessa cella: forza l'altro candidato

R6C6=1 è falso. Nella stessa cella R6C6, l'altro candidato R6C6=6 viene forzato a vero secondo l'ipotesi attuale.

R6C6=1 è falso. Nella stessa cella R6C6, l'altro candidato R6C6=6 viene forzato a vero secondo l'ipotesi attuale.
R6C6=1 è falso. Nella stessa cella R6C6, l'altro candidato R6C6=6 viene forzato a vero secondo l'ipotesi attuale.
Gradino 6 · Relazione debole: conflitto tra candidati collegati

R6C6=6 è vero. Rimuovere R2C6=6.

R6C6=6 è vero. Rimuovere R2C6=6.
R6C6=6 è vero. Rimuovere R2C6=6.
Gradino 7 · Stessa cella: forza l'altro candidato

R2C6=6 è falso. Nella stessa cella R2C6, l'altro candidato R2C6=7 viene forzato a vero secondo l'ipotesi attuale.

R2C6=6 è falso. Nella stessa cella R2C6, l'altro candidato R2C6=7 viene forzato a vero secondo l'ipotesi attuale.
R2C6=6 è falso. Nella stessa cella R2C6, l'altro candidato R2C6=7 viene forzato a vero secondo l'ipotesi attuale.
Gradino 8 · Relazione debole: conflitto tra candidati collegati

R2C6=7 è vero. Rimuovere R2C8=7.

R2C6=7 è vero. Rimuovere R2C8=7.
R2C6=7 è vero. Rimuovere R2C8=7.
Gradino 9 · Stessa cella: forza l'altro candidato

R2C8=7 è falso. Nella stessa cella R2C8, l'altro candidato R2C8=2 viene forzato a vero secondo l'ipotesi attuale.

R2C8=7 è falso. Nella stessa cella R2C8, l'altro candidato R2C8=2 viene forzato a vero secondo l'ipotesi attuale.
R2C8=7 è falso. Nella stessa cella R2C8, l'altro candidato R2C8=2 viene forzato a vero secondo l'ipotesi attuale.
Gradino 10 · AIC

Almeno una delle estremità R1C6=2 e R2C8=2, con la stessa cifra, deve essere vera. Ogni bersaglio R1C8=2, R1C9=2, R2C4=2 vede entrambe le estremità e quindi non può essere vero.

Almeno una delle estremità R1C6=2 e R2C8=2, con la stessa cifra, deve essere vera. Ogni bersaglio R1C8=2, R1C9=2, R2C4=2 vede entrambe le estremità e quindi non può essere vero.
Almeno una delle estremità R1C6=2 e R2C8=2, con la stessa cifra, deve essere vera. Ogni bersaglio R1C8=2, R1C9=2, R2C4=2 vede entrambe le estremità e quindi non può essere 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.
Gradino 12 · AIC

Ritirare il caso endpoint temporaneo. Il tipo 1 AIC rimuove permanentemente R1C8=2, R1C9=2, R2C4=2, perché ciascun target vede sia R1C6=2 che R2C8=2.

Ritirare il caso endpoint temporaneo. Il tipo 1 AIC rimuove permanentemente R1C8=2, R1C9=2, R2C4=2, perché ciascun target vede sia R1C6=2 che R2C8=2.
Ritirare il caso endpoint temporaneo. Il tipo 1 AIC rimuove permanentemente R1C8=2, R1C9=2, R2C4=2, perché ciascun target vede sia R1C6=2 che R2C8=2.

Cosa consente

Ritirare il caso endpoint temporaneo. Il tipo 1 AIC rimuove permanentemente R1C8=2, R1C9=2, R2C4=2, perché ciascun target vede sia R1C6=2 che R2C8=2.

Nice Loop / AIC · Utilizza il risultato verificato: rimuovi un candidato o inserisci una cifra quando il suo stato opposto è impossibile.
Nice Loop / AIC · Utilizza il risultato verificato: rimuovi un candidato o inserisci una cifra quando il suo stato opposto è impossibile.

Esempio passo passo · Tipo 2

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 · ​​Leggere AIC prima di seguirlo

Questa lezione Nice Loop / AIC utilizza la normale famiglia di nodi candidati di HoDoKu: eliminazioni e posizionamenti discontinui, catene aperte di Tipo 1 e Tipo 2 e cicli continui. Inizia da R1C8=9 è falso e ispeziona R4C8=9. In fila 1, colonna 7, riquadro 6, colonna 8, fila 3, colonna 6, fila 5, colonna 4, fila 6, colonna 9, fila 4, un collegamento solido significa che almeno un'estremità è vera; un collegamento tratteggiato significa che entrambe le estremità non possono essere vere. Segui una relazione evidenziata alla volta.

Questa lezione Nice Loop / AIC utilizza la normale famiglia di nodi candidati di HoDoKu: eliminazioni e posizionamenti discontinui, catene aperte di Tipo 1 e Tipo 2 e cicli continui. Inizia da R1C8=9 è falso e ispeziona R4C8=9. In fila 1, colonna 7, riquadro 6, colonna 8, fila 3, colonna 6, fila 5, colonna 4, fila 6, colonna 9, fila 4, un collegamento solido significa che almeno un'estremità è vera; un collegamento tratteggiato significa che entrambe le estremità non possono essere vere. Segui una relazione evidenziata alla volta.
Questa lezione Nice Loop / AIC utilizza la normale famiglia di nodi candidati di HoDoKu: eliminazioni e posizionamenti discontinui, catene aperte di Tipo 1 e Tipo 2 e cicli continui. Inizia da R1C8=9 è falso e ispeziona R4C8=9. In fila 1, colonna 7, riquadro 6, colonna 8, fila 3, colonna 6, fila 5, colonna 4, fila 6, colonna 9, fila 4, un collegamento solido significa che almeno un'estremità è vera; un collegamento tratteggiato significa che entrambe le estremità non possono essere vere. Segui una relazione evidenziata alla volta.
Gradino 2 · Ipotesi: avviare la catena alternata

Ramo 1: supponiamo che R1C8=9 sia falso.

Ramo 1: supponiamo che R1C8=9 sia falso.
Ramo 1: supponiamo che R1C8=9 sia falso.
Gradino 3 · Relazione forte: l'altro endpoint è forzato

​​R1C8=9 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 1. Pertanto R1C7=9 deve essere vero.

​​R1C8=9 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 1. Pertanto R1C7=9 deve essere vero.
​​R1C8=9 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 1. Pertanto R1C7=9 deve essere vero.
Gradino 4 · Relazione debole: conflitto tra candidati collegati

R1C7=9 è vero. Rimuovere R5C7=9.

R1C7=9 è vero. Rimuovere R5C7=9.
R1C7=9 è vero. Rimuovere R5C7=9.
Gradino 5 · Stessa cella: forza l'altro candidato

R5C7=9 è falso. Nella stessa cella R5C7, l'altro candidato R5C7=2 viene forzato a vero secondo l'ipotesi attuale.

R5C7=9 è falso. Nella stessa cella R5C7, l'altro candidato R5C7=2 viene forzato a vero secondo l'ipotesi attuale.
R5C7=9 è falso. Nella stessa cella R5C7, l'altro candidato R5C7=2 viene forzato a vero secondo l'ipotesi attuale.
Gradino 6 · Relazione debole: conflitto tra candidati collegati

R5C7=2 è vero. Rimuovere R6C8=2.

R5C7=2 è vero. Rimuovere R6C8=2.
R5C7=2 è vero. Rimuovere R6C8=2.
Gradino 7 · Stessa cella: forza l'altro candidato

R6C8=2 è falso. Nella stessa cella R6C8, l'altro candidato R6C8=1 viene forzato a vero secondo l'ipotesi attuale.

R6C8=2 è falso. Nella stessa cella R6C8, l'altro candidato R6C8=1 viene forzato a vero secondo l'ipotesi attuale.
R6C8=2 è falso. Nella stessa cella R6C8, l'altro candidato R6C8=1 viene forzato a vero secondo l'ipotesi attuale.
Gradino 8 · Relazione debole: conflitto tra candidati collegati

R6C8=1 è vero. Rimuovere R3C8=1.

R6C8=1 è vero. Rimuovere R3C8=1.
R6C8=1 è vero. Rimuovere R3C8=1.
Gradino 9 · Stessa cella: forza l'altro candidato

R3C8=1 è falso. Nella stessa cella R3C8, l'altro candidato R3C8=6 viene forzato a vero secondo l'ipotesi attuale.

R3C8=1 è falso. Nella stessa cella R3C8, l'altro candidato R3C8=6 viene forzato a vero secondo l'ipotesi attuale.
R3C8=1 è falso. Nella stessa cella R3C8, l'altro candidato R3C8=6 viene forzato a vero secondo l'ipotesi attuale.
Gradino 10 · Relazione debole: conflitto tra candidati collegati

R3C8=6 è vero. Rimuovere R3C6=6.

R3C8=6 è vero. Rimuovere R3C6=6.
R3C8=6 è vero. Rimuovere R3C6=6.
Gradino 11 · Stessa cella: forza l'altro candidato

R3C6=6 è falso. Nella stessa cella R3C6, l'altro candidato R3C6=4 viene forzato a vero secondo l'ipotesi attuale.

R3C6=6 è falso. Nella stessa cella R3C6, l'altro candidato R3C6=4 viene forzato a vero secondo l'ipotesi attuale.
R3C6=6 è falso. Nella stessa cella R3C6, l'altro candidato R3C6=4 viene forzato a vero secondo l'ipotesi attuale.
Gradino 12 · Relazione debole: conflitto tra candidati collegati

R3C6=4 è vero. Rimuovere R5C6=4.

R3C6=4 è vero. Rimuovere R5C6=4.
R3C6=4 è vero. Rimuovere R5C6=4.
Gradino 13 · Relazione forte: l'altro endpoint è forzato

​​R5C6=4 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 5. Pertanto R5C4=4 deve essere vero.

​​R5C6=4 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 5. Pertanto R5C4=4 deve essere vero.
​​R5C6=4 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 5. Pertanto R5C4=4 deve essere vero.
Gradino 14 · Relazione debole: conflitto tra candidati collegati

R5C4=4 è vero. Rimuovere R5C4=3.

R5C4=4 è vero. Rimuovere R5C4=3.
R5C4=4 è vero. Rimuovere R5C4=3.
Gradino 15 · Relazione forte: l'altro endpoint è forzato

​​R5C4=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 4. Pertanto R6C4=3 deve essere vero.

​​R5C4=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 4. Pertanto R6C4=3 deve essere vero.
​​R5C4=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 4. Pertanto R6C4=3 deve essere vero.
Gradino 16 · Relazione debole: conflitto tra candidati collegati

R6C4=3 è vero. Rimuovere R6C9=3.

R6C4=3 è vero. Rimuovere R6C9=3.
R6C4=3 è vero. Rimuovere R6C9=3.
Gradino 17 · Relazione forte: l'altro endpoint è forzato

​​R6C9=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 9. Pertanto R4C9=3 deve essere vero.

​​R6C9=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 9. Pertanto R4C9=3 deve essere vero.
​​R6C9=3 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 9. Pertanto R4C9=3 deve essere vero.
Gradino 18 · Relazione debole: conflitto tra candidati collegati

R4C9=3 è vero. Rimuovere R4C9=7.

R4C9=3 è vero. Rimuovere R4C9=7.
R4C9=3 è vero. Rimuovere R4C9=7.
Gradino 19 · Relazione forte: l'altro endpoint è forzato

​​R4C9=7 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 4. Pertanto R4C8=7 deve essere vero.

​​R4C9=7 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 4. Pertanto R4C8=7 deve essere vero.
​​R4C9=7 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 4. Pertanto R4C8=7 deve essere vero.
Gradino 20 · AIC

Gli endpoint peer R1C8=9 e R4C8=7 portano cifre diverse. Ciascun candidato incrociato contrassegnato come R4C8=9 renderebbe falsi entrambi gli endpoint, quindi rimuovilo.

Gli endpoint peer R1C8=9 e R4C8=7 portano cifre diverse. Ciascun candidato incrociato contrassegnato come R4C8=9 renderebbe falsi entrambi gli endpoint, quindi rimuovilo.
Gli endpoint peer R1C8=9 e R4C8=7 portano cifre diverse. Ciascun candidato incrociato contrassegnato come R4C8=9 renderebbe falsi entrambi gli endpoint, quindi rimuovilo.
Gradino 21 · 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 22 · AIC

Ritirare il caso endpoint temporaneo. Il Tipo 2 AIC rimuove permanentemente i candidati incrociati R4C8=9 tra R1C8=9 e R4C8=7.

Ritirare il caso endpoint temporaneo. Il Tipo 2 AIC rimuove permanentemente i candidati incrociati R4C8=9 tra R1C8=9 e R4C8=7.
Ritirare il caso endpoint temporaneo. Il Tipo 2 AIC rimuove permanentemente i candidati incrociati R4C8=9 tra R1C8=9 e R4C8=7.

Cosa consente

Ritirare il caso endpoint temporaneo. Il Tipo 2 AIC rimuove permanentemente i candidati incrociati R4C8=9 tra R1C8=9 e R4C8=7.

Nice Loop / AIC · Utilizza il risultato verificato: rimuovi un candidato o inserisci una cifra quando il suo stato opposto è impossibile.
Nice Loop / AIC · Utilizza il risultato verificato: rimuovi un candidato o inserisci una cifra quando il suo stato opposto è impossibile.

Esempio passo passo · Ciclo continuo

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 · ​​Leggere AIC prima di seguirlo

Questa lezione Nice Loop / AIC utilizza la normale famiglia di nodi candidati di HoDoKu: eliminazioni e posizionamenti discontinui, catene aperte di Tipo 1 e Tipo 2 e cicli continui. Inizia da R9C3=6 è falso e ispeziona R9C3=5. In colonna 3, fila 5, colonna 8, fila 9, un collegamento solido significa che almeno un'estremità è vera; un collegamento tratteggiato significa che entrambe le estremità non possono essere vere. Segui una relazione evidenziata alla volta.

Questa lezione Nice Loop / AIC utilizza la normale famiglia di nodi candidati di HoDoKu: eliminazioni e posizionamenti discontinui, catene aperte di Tipo 1 e Tipo 2 e cicli continui. Inizia da R9C3=6 è falso e ispeziona R9C3=5. In colonna 3, fila 5, colonna 8, fila 9, un collegamento solido significa che almeno un'estremità è vera; un collegamento tratteggiato significa che entrambe le estremità non possono essere vere. Segui una relazione evidenziata alla volta.
Questa lezione Nice Loop / AIC utilizza la normale famiglia di nodi candidati di HoDoKu: eliminazioni e posizionamenti discontinui, catene aperte di Tipo 1 e Tipo 2 e cicli continui. Inizia da R9C3=6 è falso e ispeziona R9C3=5. In colonna 3, fila 5, colonna 8, fila 9, un collegamento solido significa che almeno un'estremità è vera; un collegamento tratteggiato significa che entrambe le estremità non possono essere vere. Segui una relazione evidenziata alla volta.
Gradino 2 · Ipotesi: avviare la catena alternata

Scegliere R9C3=6 solo come inizio lettura di questo circuito chiuso. Questa non è un'ipotesi di prova; il ciclo alternato tornerà qui.

Scegliere R9C3=6 solo come inizio lettura di questo circuito chiuso. Questa non è un'ipotesi di prova; il ciclo alternato tornerà qui.
Scegliere R9C3=6 solo come inizio lettura di questo circuito chiuso. Questa non è un'ipotesi di prova; il ciclo alternato tornerà qui.
Gradino 3 · Relazione forte: l'altro endpoint è forzato

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

​​R9C3=6 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 3. Pertanto R5C3=6 deve essere vero.
​​R9C3=6 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in colonna 3. Pertanto R5C3=6 deve essere vero.
Gradino 4 · Relazione debole: conflitto tra candidati collegati

R5C3=6 è vero. Rimuovere R5C8=6.

R5C3=6 è vero. Rimuovere R5C8=6.
R5C3=6 è vero. Rimuovere R5C8=6.
Gradino 5 · Stessa cella: forza l'altro candidato

R5C8=6 è falso. Nella stessa cella R5C8, l'altro candidato R5C8=8 viene forzato a vero secondo l'ipotesi attuale.

R5C8=6 è falso. Nella stessa cella R5C8, l'altro candidato R5C8=8 viene forzato a vero secondo l'ipotesi attuale.
R5C8=6 è falso. Nella stessa cella R5C8, l'altro candidato R5C8=8 viene forzato a vero secondo l'ipotesi attuale.
Gradino 6 · Relazione debole: conflitto tra candidati collegati

R5C8=8 è vero. Rimuovere R9C8=8.

R5C8=8 è vero. Rimuovere R9C8=8.
R5C8=8 è vero. Rimuovere R9C8=8.
Gradino 7 · Relazione forte: l'altro endpoint è forzato

​​R9C8=8 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 9. Pertanto R9C3=8 deve essere vero.

​​R9C8=8 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 9. Pertanto R9C3=8 deve essere vero.
​​R9C8=8 è falso. Insieme, questi due lati contengono tutte le opzioni rimanenti in fila 9. Pertanto R9C3=8 deve essere vero.
Gradino 8 · Relazione debole: conflitto tra candidati collegati

R9C3=8 è vero. Rimuovere R9C3=6.

R9C3=8 è vero. Rimuovere R9C3=6.
R9C3=8 è vero. Rimuovere R9C3=6.
Gradino 9 · AIC

La catena si chiude ad anello continuo alternato. Ogni relazione debole sul circuito è quindi forte, il che rimuove R9C3=5 dalla cella o dalla casa interessata.

La catena si chiude ad anello continuo alternato. Ogni relazione debole sul circuito è quindi forte, il che rimuove R9C3=5 dalla cella o dalla casa interessata.
La catena si chiude ad anello continuo alternato. Ogni relazione debole sul circuito è quindi forte, il che rimuove R9C3=5 dalla cella o dalla casa interessata.
Gradino 10 · 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 11 · AIC

L'attraversamento dell'anello è completo; ritirare i suoi stati temporanei e rimuovere permanentemente R9C3=5.

L'attraversamento dell'anello è completo; ritirare i suoi stati temporanei e rimuovere permanentemente R9C3=5.
L'attraversamento dell'anello è completo; ritirare i suoi stati temporanei e rimuovere permanentemente R9C3=5.

Cosa consente

L'attraversamento dell'anello è completo; ritirare i suoi stati temporanei e rimuovere permanentemente R9C3=5.

Nice Loop / AIC · Utilizza il risultato verificato: rimuovi un candidato o inserisci una cifra quando il suo stato opposto è impossibile.
Nice Loop / AIC · Utilizza il risultato verificato: rimuovi un candidato o inserisci una cifra quando il suo stato opposto è impossibile.

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