Suomi

Platon Sudoku · Opiskele sudokua

XY-Chain · Vaiheittainen esimerkki

Jokaisessa ketjuruudussa on täsmälleen kaksi ehdokasnumeroa. Naapuriruudut näkevät toisensa ja jakavat linkin numeron; molemmat päät jakavat kohdenumeron. Poista jaetun päätepisteen numero ruudusta, joka näkee molemmat päät.

Tämä oppitunti perustuu Platon Sudoku -sovelluksen opetusaineistoon. Lue koko esimerkki täällä ja jatka oppimista ja harjoittelua sovelluksessa.

Katso Google Playssa

Tunnista kuvio

Jokaisessa ketjuruudussa on täsmälleen kaksi ehdokasnumeroa. Naapuriruudut näkevät toisensa ja jakavat linkin numeron; molemmat päät jakavat kohdenumeron.

Kuinka löytää se

Jäljitä yhdistettyjä kaksiarvoisia ruutuja vaihtaen kunkin ruudun toiseen ehdokasnumeroon, kunnes lopussa on aloituskohdenumero.

Mitä se sallii

Poista jaetun päätepisteen numero ruudusta, joka näkee molemmat päät.

Vältä sekoittumista

Kahden ehdokkaan numeron ruutu ylimääräisellä kynämerkillä on virheellinen. jokainen linkki ja molemmat päätepisteen tähtäyslinjat on tarkistettava.

Vaiheittainen esimerkki · Lyhyt ketju

Esimerkki alkaa tallennetusta välitilanteesta. Ehdokkaissa on huomioitu aiemmat loogiset poistot; ne eivät ole juuri luotuja automaattisia muistiinpanoja.

Sininen: perusteet. Vihreä: johtopäätös. Yliviivatut numerot: poistetut ehdokkaat. R1C1 tarkoittaa riviä 1, saraketta 1.

Vaihe 1 · Perustetaan kaksiarvoinen ketju

Jokaisessa ketjun ruudussa on täsmälleen kaksi ehdokasta: R5C8={4, 7}, R5C4={3, 7}, R6C6={2, 3}, R6C5={2, 4}. Ruudun sisällä niiden suhde on vahva: jos toinen on epätosi, toisen on oltava tosi. Eri ruuduissa yhdistetyt saman numeron ehdokkaat sulkevat toisensa pois. Päätepisteillä R5C8=4, R6C5=4 on yhteinen ehdokasnumero 4.

Jokaisessa ketjun ruudussa on täsmälleen kaksi ehdokasta: R5C8={4, 7}, R5C4={3, 7}, R6C6={2, 3}, R6C5={2, 4}. Ruudun sisällä niiden suhde on vahva: jos toinen on epätosi, toisen on oltava tosi. Eri ruuduissa yhdistetyt saman numeron ehdokkaat sulkevat toisensa pois. Päätepisteillä R5C8=4, R6C5=4 on yhteinen ehdokasnumero 4.
Jokaisessa ketjun ruudussa on täsmälleen kaksi ehdokasta: R5C8={4, 7}, R5C4={3, 7}, R6C6={2, 3}, R6C5={2, 4}. Ruudun sisällä niiden suhde on vahva: jos toinen on epätosi, toisen on oltava tosi. Eri ruuduissa yhdistetyt saman numeron ehdokkaat sulkevat toisensa pois. Päätepisteillä R5C8=4, R6C5=4 on yhteinen ehdokasnumero 4.
Vaihe 2 · Päättely

Haara 1: oletetaan, että R5C8=4 on väärä.

Haara 1: oletetaan, että R5C8=4 on väärä.
Haara 1: oletetaan, että R5C8=4 on väärä.
Vaihe 3 · Päättely

R5C8=4 on väärä. R5C8:llä on nyt vain R5C8=7 jäljellä, joten sen on oltava totta.

R5C8=4 on väärä. R5C8:llä on nyt vain R5C8=7 jäljellä, joten sen on oltava totta.
R5C8=4 on väärä. R5C8:llä on nyt vain R5C8=7 jäljellä, joten sen on oltava totta.
Vaihe 4 · Päättely

Tapaus 1: R5C8 on kaksiarvoinen ruutu R5C8=4, R5C8=7. Kun toinen ehdokasnumero on epätosi, R5C8=7 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R5C4=7:n kanssa, joten ylitä ristiriidat.

Tapaus 1: R5C8 on kaksiarvoinen ruutu R5C8=4, R5C8=7. Kun toinen ehdokasnumero on epätosi, R5C8=7 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R5C4=7:n kanssa, joten ylitä ristiriidat.
Tapaus 1: R5C8 on kaksiarvoinen ruutu R5C8=4, R5C8=7. Kun toinen ehdokasnumero on epätosi, R5C8=7 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R5C4=7:n kanssa, joten ylitä ristiriidat.
Vaihe 5 · Päättely

R5C4=7 on väärä. R5C4:llä on nyt vain R5C4=3 jäljellä, joten sen on oltava totta.

R5C4=7 on väärä. R5C4:llä on nyt vain R5C4=3 jäljellä, joten sen on oltava totta.
R5C4=7 on väärä. R5C4:llä on nyt vain R5C4=3 jäljellä, joten sen on oltava totta.
Vaihe 6 · Päättely

R5C4 on seuraava kaksiarvoinen ruutu R5C4=3, R5C4=7. Kun toinen ehdokasnumero on epätosi, R5C4=3 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R6C6=3:n kanssa, joten ylitä ristiriidat.

R5C4 on seuraava kaksiarvoinen ruutu R5C4=3, R5C4=7. Kun toinen ehdokasnumero on epätosi, R5C4=3 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R6C6=3:n kanssa, joten ylitä ristiriidat.
R5C4 on seuraava kaksiarvoinen ruutu R5C4=3, R5C4=7. Kun toinen ehdokasnumero on epätosi, R5C4=3 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R6C6=3:n kanssa, joten ylitä ristiriidat.
Vaihe 7 · Päättely

R6C6=3 on väärä. R6C6:llä on nyt vain R6C6=2 jäljellä, joten sen on oltava totta.

R6C6=3 on väärä. R6C6:llä on nyt vain R6C6=2 jäljellä, joten sen on oltava totta.
R6C6=3 on väärä. R6C6:llä on nyt vain R6C6=2 jäljellä, joten sen on oltava totta.
Vaihe 8 · Päättely

R6C6 on seuraava kaksiarvoinen ruutu R6C6=2, R6C6=3. Kun toinen ehdokasnumero on epätosi, R6C6=2 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R6C5=2:n kanssa, joten ylitä ristiriidat.

R6C6 on seuraava kaksiarvoinen ruutu R6C6=2, R6C6=3. Kun toinen ehdokasnumero on epätosi, R6C6=2 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R6C5=2:n kanssa, joten ylitä ristiriidat.
R6C6 on seuraava kaksiarvoinen ruutu R6C6=2, R6C6=3. Kun toinen ehdokasnumero on epätosi, R6C6=2 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R6C5=2:n kanssa, joten ylitä ristiriidat.
Vaihe 9 · Päättely

Päätepisteen kaksiarvoruudussa R6C5 (R6C5=2, R6C5=4) R6C5=2 on epätosi, joten R6C5=4 on pakotettu tosi nykyisen oletuksen mukaan. Tämä päätepiste ei sisällä kohteita R6C8=4, R6C9=4.

Päätepisteen kaksiarvoruudussa R6C5 (R6C5=2, R6C5=4) R6C5=2 on epätosi, joten R6C5=4 on pakotettu tosi nykyisen oletuksen mukaan. Tämä päätepiste ei sisällä kohteita R6C8=4, R6C9=4.
Päätepisteen kaksiarvoruudussa R6C5 (R6C5=2, R6C5=4) R6C5=2 on epätosi, joten R6C5=4 on pakotettu tosi nykyisen oletuksen mukaan. Tämä päätepiste ei sisällä kohteita R6C8=4, R6C9=4.
Vaihe 10 · Poista edellinen suorakulmion täyttö

Peruuta tämä oletus ja sen seuraukset. Palaa muuttumattomaan ehdokasnumeron tilannekuvaan ennen kuin tutkit seuraavaa mahdollisuutta.

Peruuta tämä oletus ja sen seuraukset. Palaa muuttumattomaan ehdokasnumeron tilannekuvaan ennen kuin tutkit seuraavaa mahdollisuutta.
Peruuta tämä oletus ja sen seuraukset. Palaa muuttumattomaan ehdokasnumeron tilannekuvaan ennen kuin tutkit seuraavaa mahdollisuutta.
Vaihe 11 · Päättely

Oletetaan, että ensimmäinen päätepiste R5C8=4 on tosi sen kaksiarvoisessa ruudussa R5C8 (R5C8=4, R5C8=7). Ruudun sisällä se sulkee pois toisen ehdokasnumeron; ruutujen välillä se jättää pois näkyvät ristiriitaiset ehdokasnumerot R5C8=7, R6C8=4, R6C9=4.

Oletetaan, että ensimmäinen päätepiste R5C8=4 on tosi sen kaksiarvoisessa ruudussa R5C8 (R5C8=4, R5C8=7). Ruudun sisällä se sulkee pois toisen ehdokasnumeron; ruutujen välillä se jättää pois näkyvät ristiriitaiset ehdokasnumerot R5C8=7, R6C8=4, R6C9=4.
Oletetaan, että ensimmäinen päätepiste R5C8=4 on tosi sen kaksiarvoisessa ruudussa R5C8 (R5C8=4, R5C8=7). Ruudun sisällä se sulkee pois toisen ehdokasnumeron; ruutujen välillä se jättää pois näkyvät ristiriitaiset ehdokasnumerot R5C8=7, R6C8=4, R6C9=4.
Vaihe 12 · Johtopäätös

Kaksi päätepistetapausta käyttävät kaikki mahdollisuudet, ja molemmat ylitetään R6C8=4, R6C9=4. Poista väliaikaiset loogiset totuustilat ja poista ne sitten.

Kaksi päätepistetapausta käyttävät kaikki mahdollisuudet, ja molemmat ylitetään R6C8=4, R6C9=4. Poista väliaikaiset loogiset totuustilat ja poista ne sitten.
Kaksi päätepistetapausta käyttävät kaikki mahdollisuudet, ja molemmat ylitetään R6C8=4, R6C9=4. Poista väliaikaiset loogiset totuustilat ja poista ne sitten.

Mitä se sallii

Kaksi päätepistetapausta käyttävät kaikki mahdollisuudet, ja molemmat ylitetään R6C8=4, R6C9=4. Poista väliaikaiset loogiset totuustilat ja poista ne sitten.

XY-Chain · Poista jaetun päätepisteen numero ruudusta, joka näkee molemmat päät.
XY-Chain · Poista jaetun päätepisteen numero ruudusta, joka näkee molemmat päät.

Vaiheittainen esimerkki · Keskipitkä ketju

Esimerkki alkaa tallennetusta välitilanteesta. Ehdokkaissa on huomioitu aiemmat loogiset poistot; ne eivät ole juuri luotuja automaattisia muistiinpanoja.

Sininen: perusteet. Vihreä: johtopäätös. Yliviivatut numerot: poistetut ehdokkaat. R1C1 tarkoittaa riviä 1, saraketta 1.

Vaihe 1 · Perustetaan kaksiarvoinen ketju

Jokaisessa ketjun ruudussa on täsmälleen kaksi ehdokasta: R1C4={3, 8}, R1C8={6, 8}, R7C8={2, 6}, R7C6={2, 4}, R7C5={3, 4}. Ruudun sisällä niiden suhde on vahva: jos toinen on epätosi, toisen on oltava tosi. Eri ruuduissa yhdistetyt saman numeron ehdokkaat sulkevat toisensa pois. Päätepisteillä R1C4=3, R7C5=3 on yhteinen ehdokasnumero 3.

Jokaisessa ketjun ruudussa on täsmälleen kaksi ehdokasta: R1C4={3, 8}, R1C8={6, 8}, R7C8={2, 6}, R7C6={2, 4}, R7C5={3, 4}. Ruudun sisällä niiden suhde on vahva: jos toinen on epätosi, toisen on oltava tosi. Eri ruuduissa yhdistetyt saman numeron ehdokkaat sulkevat toisensa pois. Päätepisteillä R1C4=3, R7C5=3 on yhteinen ehdokasnumero 3.
Jokaisessa ketjun ruudussa on täsmälleen kaksi ehdokasta: R1C4={3, 8}, R1C8={6, 8}, R7C8={2, 6}, R7C6={2, 4}, R7C5={3, 4}. Ruudun sisällä niiden suhde on vahva: jos toinen on epätosi, toisen on oltava tosi. Eri ruuduissa yhdistetyt saman numeron ehdokkaat sulkevat toisensa pois. Päätepisteillä R1C4=3, R7C5=3 on yhteinen ehdokasnumero 3.
Vaihe 2 · Päättely

Haara 1: oletetaan, että R1C4=3 on väärä.

Haara 1: oletetaan, että R1C4=3 on väärä.
Haara 1: oletetaan, että R1C4=3 on väärä.
Vaihe 3 · Päättely

R1C4=3 on väärä. R1C4:llä on nyt vain R1C4=8 jäljellä, joten sen on oltava totta.

R1C4=3 on väärä. R1C4:llä on nyt vain R1C4=8 jäljellä, joten sen on oltava totta.
R1C4=3 on väärä. R1C4:llä on nyt vain R1C4=8 jäljellä, joten sen on oltava totta.
Vaihe 4 · Päättely

Tapaus 1: R1C4 on kaksiarvoinen ruutu R1C4=3, R1C4=8. Kun toinen ehdokasnumero on epätosi, R1C4=8 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R1C8=8:n kanssa, joten ylitä ristiriidat.

Tapaus 1: R1C4 on kaksiarvoinen ruutu R1C4=3, R1C4=8. Kun toinen ehdokasnumero on epätosi, R1C4=8 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R1C8=8:n kanssa, joten ylitä ristiriidat.
Tapaus 1: R1C4 on kaksiarvoinen ruutu R1C4=3, R1C4=8. Kun toinen ehdokasnumero on epätosi, R1C4=8 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R1C8=8:n kanssa, joten ylitä ristiriidat.
Vaihe 5 · Päättely

R1C8=8 on väärä. R1C8:llä on nyt vain R1C8=6 jäljellä, joten sen on oltava totta.

R1C8=8 on väärä. R1C8:llä on nyt vain R1C8=6 jäljellä, joten sen on oltava totta.
R1C8=8 on väärä. R1C8:llä on nyt vain R1C8=6 jäljellä, joten sen on oltava totta.
Vaihe 6 · Päättely

R1C8 on seuraava kaksiarvoinen ruutu R1C8=6, R1C8=8. Kun toinen ehdokasnumero on epätosi, R1C8=6 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R7C8=6:n kanssa, joten ylitä ristiriidat.

R1C8 on seuraava kaksiarvoinen ruutu R1C8=6, R1C8=8. Kun toinen ehdokasnumero on epätosi, R1C8=6 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R7C8=6:n kanssa, joten ylitä ristiriidat.
R1C8 on seuraava kaksiarvoinen ruutu R1C8=6, R1C8=8. Kun toinen ehdokasnumero on epätosi, R1C8=6 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R7C8=6:n kanssa, joten ylitä ristiriidat.
Vaihe 7 · Päättely

R7C8=6 on väärä. R7C8:llä on nyt vain R7C8=2 jäljellä, joten sen on oltava totta.

R7C8=6 on väärä. R7C8:llä on nyt vain R7C8=2 jäljellä, joten sen on oltava totta.
R7C8=6 on väärä. R7C8:llä on nyt vain R7C8=2 jäljellä, joten sen on oltava totta.
Vaihe 8 · Päättely

R7C8 on seuraava kaksiarvoinen ruutu R7C8=2, R7C8=6. Kun toinen ehdokasnumero on epätosi, R7C8=2 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R7C6=2:n kanssa, joten ylitä ristiriidat.

R7C8 on seuraava kaksiarvoinen ruutu R7C8=2, R7C8=6. Kun toinen ehdokasnumero on epätosi, R7C8=2 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R7C6=2:n kanssa, joten ylitä ristiriidat.
R7C8 on seuraava kaksiarvoinen ruutu R7C8=2, R7C8=6. Kun toinen ehdokasnumero on epätosi, R7C8=2 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R7C6=2:n kanssa, joten ylitä ristiriidat.
Vaihe 9 · Päättely

R7C6=2 on väärä. R7C6:llä on nyt vain R7C6=4 jäljellä, joten sen on oltava totta.

R7C6=2 on väärä. R7C6:llä on nyt vain R7C6=4 jäljellä, joten sen on oltava totta.
R7C6=2 on väärä. R7C6:llä on nyt vain R7C6=4 jäljellä, joten sen on oltava totta.
Vaihe 10 · Päättely

R7C6 on seuraava kaksiarvoinen ruutu R7C6=2, R7C6=4. Kun toinen ehdokasnumero on epätosi, R7C6=4 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R7C5=4:n kanssa, joten ylitä ristiriidat.

R7C6 on seuraava kaksiarvoinen ruutu R7C6=2, R7C6=4. Kun toinen ehdokasnumero on epätosi, R7C6=4 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R7C5=4:n kanssa, joten ylitä ristiriidat.
R7C6 on seuraava kaksiarvoinen ruutu R7C6=2, R7C6=4. Kun toinen ehdokasnumero on epätosi, R7C6=4 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R7C5=4:n kanssa, joten ylitä ristiriidat.
Vaihe 11 · Päättely

Päätepisteen kaksiarvoruudussa R7C5 (R7C5=3, R7C5=4) R7C5=4 on epätosi, joten R7C5=3 on pakotettu tosi nykyisen oletuksen mukaan. Tämä päätepiste ei sisällä kohteita R1C5=3, R8C4=3.

Päätepisteen kaksiarvoruudussa R7C5 (R7C5=3, R7C5=4) R7C5=4 on epätosi, joten R7C5=3 on pakotettu tosi nykyisen oletuksen mukaan. Tämä päätepiste ei sisällä kohteita R1C5=3, R8C4=3.
Päätepisteen kaksiarvoruudussa R7C5 (R7C5=3, R7C5=4) R7C5=4 on epätosi, joten R7C5=3 on pakotettu tosi nykyisen oletuksen mukaan. Tämä päätepiste ei sisällä kohteita R1C5=3, R8C4=3.
Vaihe 12 · Poista edellinen suorakulmion täyttö

Peruuta tämä oletus ja sen seuraukset. Palaa muuttumattomaan ehdokasnumeron tilannekuvaan ennen kuin tutkit seuraavaa mahdollisuutta.

Peruuta tämä oletus ja sen seuraukset. Palaa muuttumattomaan ehdokasnumeron tilannekuvaan ennen kuin tutkit seuraavaa mahdollisuutta.
Peruuta tämä oletus ja sen seuraukset. Palaa muuttumattomaan ehdokasnumeron tilannekuvaan ennen kuin tutkit seuraavaa mahdollisuutta.
Vaihe 13 · Päättely

Oletetaan, että ensimmäinen päätepiste R1C4=3 on tosi sen kaksiarvoisessa ruudussa R1C4 (R1C4=3, R1C4=8). Ruudun sisällä se sulkee pois toisen ehdokasnumeron; ruutujen välillä se jättää pois näkyvät ristiriitaiset ehdokasnumerot R1C4=8, R1C5=3, R8C4=3.

Oletetaan, että ensimmäinen päätepiste R1C4=3 on tosi sen kaksiarvoisessa ruudussa R1C4 (R1C4=3, R1C4=8). Ruudun sisällä se sulkee pois toisen ehdokasnumeron; ruutujen välillä se jättää pois näkyvät ristiriitaiset ehdokasnumerot R1C4=8, R1C5=3, R8C4=3.
Oletetaan, että ensimmäinen päätepiste R1C4=3 on tosi sen kaksiarvoisessa ruudussa R1C4 (R1C4=3, R1C4=8). Ruudun sisällä se sulkee pois toisen ehdokasnumeron; ruutujen välillä se jättää pois näkyvät ristiriitaiset ehdokasnumerot R1C4=8, R1C5=3, R8C4=3.
Vaihe 14 · Johtopäätös

Kaksi päätepistetapausta käyttävät kaikki mahdollisuudet, ja molemmat ylitetään R1C5=3, R8C4=3. Poista väliaikaiset loogiset totuustilat ja poista ne sitten.

Kaksi päätepistetapausta käyttävät kaikki mahdollisuudet, ja molemmat ylitetään R1C5=3, R8C4=3. Poista väliaikaiset loogiset totuustilat ja poista ne sitten.
Kaksi päätepistetapausta käyttävät kaikki mahdollisuudet, ja molemmat ylitetään R1C5=3, R8C4=3. Poista väliaikaiset loogiset totuustilat ja poista ne sitten.

Mitä se sallii

Kaksi päätepistetapausta käyttävät kaikki mahdollisuudet, ja molemmat ylitetään R1C5=3, R8C4=3. Poista väliaikaiset loogiset totuustilat ja poista ne sitten.

XY-Chain · Poista jaetun päätepisteen numero ruudusta, joka näkee molemmat päät.
XY-Chain · Poista jaetun päätepisteen numero ruudusta, joka näkee molemmat päät.

Vaiheittainen esimerkki · Pitkä ketju

Esimerkki alkaa tallennetusta välitilanteesta. Ehdokkaissa on huomioitu aiemmat loogiset poistot; ne eivät ole juuri luotuja automaattisia muistiinpanoja.

Sininen: perusteet. Vihreä: johtopäätös. Yliviivatut numerot: poistetut ehdokkaat. R1C1 tarkoittaa riviä 1, saraketta 1.

Vaihe 1 · Perustetaan kaksiarvoinen ketju

Jokaisessa ketjun ruudussa on täsmälleen kaksi ehdokasta: R1C3={1, 9}, R1C4={7, 9}, R2C4={7, 9}, R2C8={5, 9}, R2C5={5, 6}, R2C6={1, 6}, R2C9={1, 7}, R3C9={1, 7}. Ruudun sisällä niiden suhde on vahva: jos toinen on epätosi, toisen on oltava tosi. Eri ruuduissa yhdistetyt saman numeron ehdokkaat sulkevat toisensa pois. Päätepisteillä R1C3=1, R3C9=1 on yhteinen ehdokasnumero 1.

Jokaisessa ketjun ruudussa on täsmälleen kaksi ehdokasta: R1C3={1, 9}, R1C4={7, 9}, R2C4={7, 9}, R2C8={5, 9}, R2C5={5, 6}, R2C6={1, 6}, R2C9={1, 7}, R3C9={1, 7}. Ruudun sisällä niiden suhde on vahva: jos toinen on epätosi, toisen on oltava tosi. Eri ruuduissa yhdistetyt saman numeron ehdokkaat sulkevat toisensa pois. Päätepisteillä R1C3=1, R3C9=1 on yhteinen ehdokasnumero 1.
Jokaisessa ketjun ruudussa on täsmälleen kaksi ehdokasta: R1C3={1, 9}, R1C4={7, 9}, R2C4={7, 9}, R2C8={5, 9}, R2C5={5, 6}, R2C6={1, 6}, R2C9={1, 7}, R3C9={1, 7}. Ruudun sisällä niiden suhde on vahva: jos toinen on epätosi, toisen on oltava tosi. Eri ruuduissa yhdistetyt saman numeron ehdokkaat sulkevat toisensa pois. Päätepisteillä R1C3=1, R3C9=1 on yhteinen ehdokasnumero 1.
Vaihe 2 · Päättely

Haara 1: oletetaan, että R1C3=1 on väärä.

Haara 1: oletetaan, että R1C3=1 on väärä.
Haara 1: oletetaan, että R1C3=1 on väärä.
Vaihe 3 · Päättely

R1C3=1 on väärä. R1C3:llä on nyt vain R1C3=9 jäljellä, joten sen on oltava totta.

R1C3=1 on väärä. R1C3:llä on nyt vain R1C3=9 jäljellä, joten sen on oltava totta.
R1C3=1 on väärä. R1C3:llä on nyt vain R1C3=9 jäljellä, joten sen on oltava totta.
Vaihe 4 · Päättely

Tapaus 1: R1C3 on kaksiarvoinen ruutu R1C3=1, R1C3=9. Kun toinen ehdokasnumero on epätosi, R1C3=9 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R1C4=9:n kanssa, joten ylitä ristiriidat.

Tapaus 1: R1C3 on kaksiarvoinen ruutu R1C3=1, R1C3=9. Kun toinen ehdokasnumero on epätosi, R1C3=9 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R1C4=9:n kanssa, joten ylitä ristiriidat.
Tapaus 1: R1C3 on kaksiarvoinen ruutu R1C3=1, R1C3=9. Kun toinen ehdokasnumero on epätosi, R1C3=9 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R1C4=9:n kanssa, joten ylitä ristiriidat.
Vaihe 5 · Päättely

R1C4=9 on väärä. R1C4:llä on nyt vain R1C4=7 jäljellä, joten sen on oltava totta.

R1C4=9 on väärä. R1C4:llä on nyt vain R1C4=7 jäljellä, joten sen on oltava totta.
R1C4=9 on väärä. R1C4:llä on nyt vain R1C4=7 jäljellä, joten sen on oltava totta.
Vaihe 6 · Päättely

R1C4 on seuraava kaksiarvoinen ruutu R1C4=7, R1C4=9. Kun toinen ehdokasnumero on epätosi, R1C4=7 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R2C4=7:n kanssa, joten ylitä ristiriidat.

R1C4 on seuraava kaksiarvoinen ruutu R1C4=7, R1C4=9. Kun toinen ehdokasnumero on epätosi, R1C4=7 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R2C4=7:n kanssa, joten ylitä ristiriidat.
R1C4 on seuraava kaksiarvoinen ruutu R1C4=7, R1C4=9. Kun toinen ehdokasnumero on epätosi, R1C4=7 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R2C4=7:n kanssa, joten ylitä ristiriidat.
Vaihe 7 · Päättely

R2C4=7 on väärä. R2C4:llä on nyt vain R2C4=9 jäljellä, joten sen on oltava totta.

R2C4=7 on väärä. R2C4:llä on nyt vain R2C4=9 jäljellä, joten sen on oltava totta.
R2C4=7 on väärä. R2C4:llä on nyt vain R2C4=9 jäljellä, joten sen on oltava totta.
Vaihe 8 · Päättely

R2C4 on seuraava kaksiarvoinen ruutu R2C4=7, R2C4=9. Kun toinen ehdokasnumero on epätosi, R2C4=9 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R2C8=9:n kanssa, joten ylitä ristiriidat.

R2C4 on seuraava kaksiarvoinen ruutu R2C4=7, R2C4=9. Kun toinen ehdokasnumero on epätosi, R2C4=9 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R2C8=9:n kanssa, joten ylitä ristiriidat.
R2C4 on seuraava kaksiarvoinen ruutu R2C4=7, R2C4=9. Kun toinen ehdokasnumero on epätosi, R2C4=9 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R2C8=9:n kanssa, joten ylitä ristiriidat.
Vaihe 9 · Päättely

R2C8=9 on väärä. R2C8:llä on nyt vain R2C8=5 jäljellä, joten sen on oltava totta.

R2C8=9 on väärä. R2C8:llä on nyt vain R2C8=5 jäljellä, joten sen on oltava totta.
R2C8=9 on väärä. R2C8:llä on nyt vain R2C8=5 jäljellä, joten sen on oltava totta.
Vaihe 10 · Päättely

R2C8 on seuraava kaksiarvoinen ruutu R2C8=5, R2C8=9. Kun toinen ehdokasnumero on epätosi, R2C8=5 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R2C5=5:n kanssa, joten ylitä ristiriidat.

R2C8 on seuraava kaksiarvoinen ruutu R2C8=5, R2C8=9. Kun toinen ehdokasnumero on epätosi, R2C8=5 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R2C5=5:n kanssa, joten ylitä ristiriidat.
R2C8 on seuraava kaksiarvoinen ruutu R2C8=5, R2C8=9. Kun toinen ehdokasnumero on epätosi, R2C8=5 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R2C5=5:n kanssa, joten ylitä ristiriidat.
Vaihe 11 · Päättely

R2C5=5 on väärä. R2C5:llä on nyt vain R2C5=6 jäljellä, joten sen on oltava totta.

R2C5=5 on väärä. R2C5:llä on nyt vain R2C5=6 jäljellä, joten sen on oltava totta.
R2C5=5 on väärä. R2C5:llä on nyt vain R2C5=6 jäljellä, joten sen on oltava totta.
Vaihe 12 · Päättely

R2C5 on seuraava kaksiarvoinen ruutu R2C5=5, R2C5=6. Kun toinen ehdokasnumero on epätosi, R2C5=6 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R2C6=6:n kanssa, joten ylitä ristiriidat.

R2C5 on seuraava kaksiarvoinen ruutu R2C5=5, R2C5=6. Kun toinen ehdokasnumero on epätosi, R2C5=6 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R2C6=6:n kanssa, joten ylitä ristiriidat.
R2C5 on seuraava kaksiarvoinen ruutu R2C5=5, R2C5=6. Kun toinen ehdokasnumero on epätosi, R2C5=6 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R2C6=6:n kanssa, joten ylitä ristiriidat.
Vaihe 13 · Päättely

R2C6=6 on väärä. R2C6:llä on nyt vain R2C6=1 jäljellä, joten sen on oltava totta.

R2C6=6 on väärä. R2C6:llä on nyt vain R2C6=1 jäljellä, joten sen on oltava totta.
R2C6=6 on väärä. R2C6:llä on nyt vain R2C6=1 jäljellä, joten sen on oltava totta.
Vaihe 14 · Päättely

R2C6 on seuraava kaksiarvoinen ruutu R2C6=1, R2C6=6. Kun toinen ehdokasnumero on epätosi, R2C6=1 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R2C9=1:n kanssa, joten ylitä ristiriidat.

R2C6 on seuraava kaksiarvoinen ruutu R2C6=1, R2C6=6. Kun toinen ehdokasnumero on epätosi, R2C6=1 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R2C9=1:n kanssa, joten ylitä ristiriidat.
R2C6 on seuraava kaksiarvoinen ruutu R2C6=1, R2C6=6. Kun toinen ehdokasnumero on epätosi, R2C6=1 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R2C9=1:n kanssa, joten ylitä ristiriidat.
Vaihe 15 · Päättely

R2C9=1 on väärä. R2C9:llä on nyt vain R2C9=7 jäljellä, joten sen on oltava totta.

R2C9=1 on väärä. R2C9:llä on nyt vain R2C9=7 jäljellä, joten sen on oltava totta.
R2C9=1 on väärä. R2C9:llä on nyt vain R2C9=7 jäljellä, joten sen on oltava totta.
Vaihe 16 · Päättely

R2C9 on seuraava kaksiarvoinen ruutu R2C9=1, R2C9=7. Kun toinen ehdokasnumero on epätosi, R2C9=7 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R3C9=7:n kanssa, joten ylitä ristiriidat.

R2C9 on seuraava kaksiarvoinen ruutu R2C9=1, R2C9=7. Kun toinen ehdokasnumero on epätosi, R2C9=7 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R3C9=7:n kanssa, joten ylitä ristiriidat.
R2C9 on seuraava kaksiarvoinen ruutu R2C9=1, R2C9=7. Kun toinen ehdokasnumero on epätosi, R2C9=7 pakotetaan tosi nykyisen oletuksen mukaan. Ruutujen välillä se on toisensa poissulkeva R3C9=7:n kanssa, joten ylitä ristiriidat.
Vaihe 17 · Päättely

Päätepisteen kaksiarvoruudussa R3C9 (R3C9=1, R3C9=7) R3C9=7 on epätosi, joten R3C9=1 on pakotettu tosi nykyisen oletuksen mukaan. Tämä päätepiste ei sisällä kohteita R3C1=1, R3C2=1, R3C3=1.

Päätepisteen kaksiarvoruudussa R3C9 (R3C9=1, R3C9=7) R3C9=7 on epätosi, joten R3C9=1 on pakotettu tosi nykyisen oletuksen mukaan. Tämä päätepiste ei sisällä kohteita R3C1=1, R3C2=1, R3C3=1.
Päätepisteen kaksiarvoruudussa R3C9 (R3C9=1, R3C9=7) R3C9=7 on epätosi, joten R3C9=1 on pakotettu tosi nykyisen oletuksen mukaan. Tämä päätepiste ei sisällä kohteita R3C1=1, R3C2=1, R3C3=1.
Vaihe 18 · Poista edellinen suorakulmion täyttö

Peruuta tämä oletus ja sen seuraukset. Palaa muuttumattomaan ehdokasnumeron tilannekuvaan ennen kuin tutkit seuraavaa mahdollisuutta.

Peruuta tämä oletus ja sen seuraukset. Palaa muuttumattomaan ehdokasnumeron tilannekuvaan ennen kuin tutkit seuraavaa mahdollisuutta.
Peruuta tämä oletus ja sen seuraukset. Palaa muuttumattomaan ehdokasnumeron tilannekuvaan ennen kuin tutkit seuraavaa mahdollisuutta.
Vaihe 19 · Päättely

Oletetaan, että ensimmäinen päätepiste R1C3=1 on tosi sen kaksiarvoisessa ruudussa R1C3 (R1C3=1, R1C3=9). Ruudun sisällä se sulkee pois toisen ehdokasnumeron; ruutujen välillä se jättää pois näkyvät ristiriitaiset ehdokasnumerot R1C3=9, R3C1=1, R3C2=1, R3C3=1.

Oletetaan, että ensimmäinen päätepiste R1C3=1 on tosi sen kaksiarvoisessa ruudussa R1C3 (R1C3=1, R1C3=9). Ruudun sisällä se sulkee pois toisen ehdokasnumeron; ruutujen välillä se jättää pois näkyvät ristiriitaiset ehdokasnumerot R1C3=9, R3C1=1, R3C2=1, R3C3=1.
Oletetaan, että ensimmäinen päätepiste R1C3=1 on tosi sen kaksiarvoisessa ruudussa R1C3 (R1C3=1, R1C3=9). Ruudun sisällä se sulkee pois toisen ehdokasnumeron; ruutujen välillä se jättää pois näkyvät ristiriitaiset ehdokasnumerot R1C3=9, R3C1=1, R3C2=1, R3C3=1.
Vaihe 20 · Johtopäätös

Kaksi päätepistetapausta käyttävät kaikki mahdollisuudet, ja molemmat ylitetään R3C1=1, R3C2=1, R3C3=1. Poista väliaikaiset loogiset totuustilat ja poista ne sitten.

Kaksi päätepistetapausta käyttävät kaikki mahdollisuudet, ja molemmat ylitetään R3C1=1, R3C2=1, R3C3=1. Poista väliaikaiset loogiset totuustilat ja poista ne sitten.
Kaksi päätepistetapausta käyttävät kaikki mahdollisuudet, ja molemmat ylitetään R3C1=1, R3C2=1, R3C3=1. Poista väliaikaiset loogiset totuustilat ja poista ne sitten.

Mitä se sallii

Kaksi päätepistetapausta käyttävät kaikki mahdollisuudet, ja molemmat ylitetään R3C1=1, R3C2=1, R3C3=1. Poista väliaikaiset loogiset totuustilat ja poista ne sitten.

XY-Chain · Poista jaetun päätepisteen numero ruudusta, joka näkee molemmat päät.
XY-Chain · Poista jaetun päätepisteen numero ruudusta, joka näkee molemmat päät.

Harjoittelu

Tämä oppitunti perustuu Platon Sudoku -sovelluksen opetusaineistoon. Lue koko esimerkki täällä ja jatka oppimista ja harjoittelua sovelluksessa.

Katso Google Playssa