Platon Games
Suomi

Platon Sudoku · Opiskele sudokua

Nice Loop / AIC · Vaiheittainen esimerkki

Vuorotteleva päättelyketju yhdistää ehdokasnumeroiden loogiset totuustilat vahvistettuihin vahvoihin ja heikkoihin päättelylinkkeihin. Avoimella ja suljetulla ketjulla on selkeät johtopäätökset. Käytä vahvistettua tulosta: poista ehdokasnumero tai aseta numero, kun sen päinvastainen looginen totuustila on mahdoton.

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

Katso Google Playssa

Tunnista kuvio

Vuorotteleva päättelyketju yhdistää ehdokasnumeroiden loogiset totuustilat vahvistettuihin vahvoihin ja heikkoihin päättelylinkkeihin. Avoimella ja suljetulla ketjulla on selkeät johtopäätökset.

Kuinka löytää se

Seuraa jokaista implikaatiota yhdestä päästä, kirjaamalla vahvat ja heikot siirtymät ja se, sulkeutuuko ketju vai onko se ristiriidassa päätepisteen kanssa.

Mitä se sallii

Käytä vahvistettua tulosta: poista ehdokasnumero tai aseta numero, kun sen päinvastainen looginen totuustila on mahdoton.

Vältä sekoittumista

Vahva linkki tarkoittaa: jos toinen päätepiste on epätosi, toinen on tosi. Heikko linkki tarkoittaa: jos toinen päätepiste on tosi, toinen on epätosi. Älä käännä näitä implikaatioita; tarkista päätepisteiden välinen suhde ennen päätelmää.

Vaiheittainen esimerkki · Epäjatkuva · eliminoida

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 · Lue AIC ennen kuin seuraat sitä

Tämä Nice Loop / AIC oppitunti käyttää HoDoKu:n tavallista ehdokasnumerosolmuperhettä: epäjatkuvia eliminointeja ja sijoitteluja, avoimia tyypin 1 ja tyypin 2 ketjuja ja jatkuvia silmukoita. Aloita kohdasta R1C6=1 on totta ja tarkasta R1C6=1. sarake 6, rivi 2, sarake 9, rivi 7, 3×3 lohko 5, rivi 5, sarake 1, rivi 9, sarake 8:ssä yhtenäinen linkki tarkoittaa, että ainakin yksi pää on tosi; katkoviivalinkki tarkoittaa, että nämä kaksi päätepistettä eivät voi olla tosia samaan aikaan. Seuraa yhtä korostettua suhdetta kerrallaan.

Tämä Nice Loop / AIC oppitunti käyttää HoDoKu:n tavallista ehdokasnumerosolmuperhettä: epäjatkuvia eliminointeja ja sijoitteluja, avoimia tyypin 1 ja tyypin 2 ketjuja ja jatkuvia silmukoita. Aloita kohdasta R1C6=1 on totta ja tarkasta R1C6=1. sarake 6, rivi 2, sarake 9, rivi 7, 3×3 lohko 5, rivi 5, sarake 1, rivi 9, sarake 8:ssä yhtenäinen linkki tarkoittaa, että ainakin yksi pää on tosi; katkoviivalinkki tarkoittaa, että nämä kaksi päätepistettä eivät voi olla tosia samaan aikaan. Seuraa yhtä korostettua suhdetta kerrallaan.
Tämä Nice Loop / AIC oppitunti käyttää HoDoKu:n tavallista ehdokasnumerosolmuperhettä: epäjatkuvia eliminointeja ja sijoitteluja, avoimia tyypin 1 ja tyypin 2 ketjuja ja jatkuvia silmukoita. Aloita kohdasta R1C6=1 on totta ja tarkasta R1C6=1. sarake 6, rivi 2, sarake 9, rivi 7, 3×3 lohko 5, rivi 5, sarake 1, rivi 9, sarake 8:ssä yhtenäinen linkki tarkoittaa, että ainakin yksi pää on tosi; katkoviivalinkki tarkoittaa, että nämä kaksi päätepistettä eivät voi olla tosia samaan aikaan. Seuraa yhtä korostettua suhdetta kerrallaan.
Vaihe 2 · Oletus: aloita vuorotteleva ketju

Haara 1: oletetaan, että R1C6=1 on totta.

Haara 1: oletetaan, että R1C6=1 on totta.
Haara 1: oletetaan, että R1C6=1 on totta.
Vaihe 3 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R1C6=1 on totta. Poista R1C6=8.

R1C6=1 on totta. Poista R1C6=8.
R1C6=1 on totta. Poista R1C6=8.
Vaihe 4 · Vahva suhde: toinen päätepiste on pakotettu

R1C6=8 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 6:n jäljellä olevat vaihtoehdot. Siksi R2C6=8:n on oltava totta.

R1C6=8 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 6:n jäljellä olevat vaihtoehdot. Siksi R2C6=8:n on oltava totta.
R1C6=8 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 6:n jäljellä olevat vaihtoehdot. Siksi R2C6=8:n on oltava totta.
Vaihe 5 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R2C6=8 on totta. Poista R2C6=6.

R2C6=8 on totta. Poista R2C6=6.
R2C6=8 on totta. Poista R2C6=6.
Vaihe 6 · Vahva suhde: toinen päätepiste on pakotettu

R2C6=6 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 2:n jäljellä olevat vaihtoehdot. Siksi R2C9=6:n on oltava totta.

R2C6=6 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 2:n jäljellä olevat vaihtoehdot. Siksi R2C9=6:n on oltava totta.
R2C6=6 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 2:n jäljellä olevat vaihtoehdot. Siksi R2C9=6:n on oltava totta.
Vaihe 7 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R2C9=6 on totta. Poista R2C9=3.

R2C9=6 on totta. Poista R2C9=3.
R2C9=6 on totta. Poista R2C9=3.
Vaihe 8 · Vahva suhde: toinen päätepiste on pakotettu

R2C9=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 9:n jäljellä olevat vaihtoehdot. Siksi R7C9=3:n on oltava totta.

R2C9=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 9:n jäljellä olevat vaihtoehdot. Siksi R7C9=3:n on oltava totta.
R2C9=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 9:n jäljellä olevat vaihtoehdot. Siksi R7C9=3:n on oltava totta.
Vaihe 9 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R7C9=3 on totta. Poista R7C6=3.

R7C9=3 on totta. Poista R7C6=3.
R7C9=3 on totta. Poista R7C6=3.
Vaihe 10 · Vahva suhde: toinen päätepiste on pakotettu

R7C6=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 6:n jäljellä olevat vaihtoehdot. Siksi R6C6=3:n on oltava totta.

R7C6=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 6:n jäljellä olevat vaihtoehdot. Siksi R6C6=3:n on oltava totta.
R7C6=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 6:n jäljellä olevat vaihtoehdot. Siksi R6C6=3:n on oltava totta.
Vaihe 11 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R6C6=3 on totta. Poista R5C4=3.

R6C6=3 on totta. Poista R5C4=3.
R6C6=3 on totta. Poista R5C4=3.
Vaihe 12 · Vahva suhde: toinen päätepiste on pakotettu

R5C4=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 5:n jäljellä olevat vaihtoehdot. Siksi R5C1=3:n on oltava totta.

R5C4=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 5:n jäljellä olevat vaihtoehdot. Siksi R5C1=3:n on oltava totta.
R5C4=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 5:n jäljellä olevat vaihtoehdot. Siksi R5C1=3:n on oltava totta.
Vaihe 13 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R5C1=3 on totta. Poista R9C1=3.

R5C1=3 on totta. Poista R9C1=3.
R5C1=3 on totta. Poista R9C1=3.
Vaihe 14 · Vahva suhde: toinen päätepiste on pakotettu

R9C1=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 9:n jäljellä olevat vaihtoehdot. Siksi R9C8=3:n on oltava totta.

R9C1=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 9:n jäljellä olevat vaihtoehdot. Siksi R9C8=3:n on oltava totta.
R9C1=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 9:n jäljellä olevat vaihtoehdot. Siksi R9C8=3:n on oltava totta.
Vaihe 15 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R9C8=3 on totta. Poista R2C8=3.

R9C8=3 on totta. Poista R2C8=3.
R9C8=3 on totta. Poista R2C8=3.
Vaihe 16 · Sama ruutu: pakota toinen ehdokasnumero

R2C8=3 on väärä. Samassa ruudussa R2C8 toinen ehdokasnumero R2C8=8 pakotetaan tosi nykyisen oletuksen mukaan.

R2C8=3 on väärä. Samassa ruudussa R2C8 toinen ehdokasnumero R2C8=8 pakotetaan tosi nykyisen oletuksen mukaan.
R2C8=3 on väärä. Samassa ruudussa R2C8 toinen ehdokasnumero R2C8=8 pakotetaan tosi nykyisen oletuksen mukaan.
Vaihe 17 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R2C8=8 on totta. Poista R2C6=8.

R2C8=8 on totta. Poista R2C6=8.
R2C8=8 on totta. Poista R2C6=8.
Vaihe 18 · Vahva suhde: toinen päätepiste on pakotettu

R2C6=8 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 6:n jäljellä olevat vaihtoehdot. Siksi R1C6=8:n on oltava totta.

R2C6=8 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 6:n jäljellä olevat vaihtoehdot. Siksi R1C6=8:n on oltava totta.
R2C6=8 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 6:n jäljellä olevat vaihtoehdot. Siksi R1C6=8:n on oltava totta.
Vaihe 19 · Ketju saavuttaa ristiriidan

Päätelmä on ristiriidassa "R1C6=1 on totta", joten R1C6=1 on väärä.

Päätelmä on ristiriidassa "R1C6=1 on totta", joten R1C6=1 on väärä.
Päätelmä on ristiriidassa "R1C6=1 on totta", joten R1C6=1 on väärä.
Vaihe 20 · 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 21 · AIC yhteenveto

Vuorotteleva ketju alkoi "R1C6=1 on totta" ja seurasi merkittyjä vahvoja ja heikkoja suhteita, mukaan lukien saman ruudun kytkimet tarvittaessa, ristiriitaisuuteen. Siksi R1C6=1 on väärä. Kaikki väliaikaiset loogiset totuustilat vedetään pois.

Vuorotteleva ketju alkoi "R1C6=1 on totta" ja seurasi merkittyjä vahvoja ja heikkoja suhteita, mukaan lukien saman ruudun kytkimet tarvittaessa, ristiriitaisuuteen. Siksi R1C6=1 on väärä. Kaikki väliaikaiset loogiset totuustilat vedetään pois.
Vuorotteleva ketju alkoi "R1C6=1 on totta" ja seurasi merkittyjä vahvoja ja heikkoja suhteita, mukaan lukien saman ruudun kytkimet tarvittaessa, ristiriitaisuuteen. Siksi R1C6=1 on väärä. Kaikki väliaikaiset loogiset totuustilat vedetään pois.

Mitä se sallii

Vuorotteleva ketju alkoi "R1C6=1 on totta" ja seurasi merkittyjä vahvoja ja heikkoja suhteita, mukaan lukien saman ruudun kytkimet tarvittaessa, ristiriitaisuuteen. Siksi R1C6=1 on väärä. Kaikki väliaikaiset loogiset totuustilat vedetään pois.

Nice Loop / AIC · Käytä vahvistettua tulosta: poista ehdokasnumero tai aseta numero, kun sen päinvastainen looginen totuustila on mahdoton.
Nice Loop / AIC · Käytä vahvistettua tulosta: poista ehdokasnumero tai aseta numero, kun sen päinvastainen looginen totuustila on mahdoton.

Vaiheittainen esimerkki · Epäjatkuva · paikka

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 · Lue AIC ennen kuin seuraat sitä

Tämä Nice Loop / AIC oppitunti käyttää HoDoKu:n tavallista ehdokasnumerosolmuperhettä: epäjatkuvia eliminointeja ja sijoitteluja, avoimia tyypin 1 ja tyypin 2 ketjuja ja jatkuvia silmukoita. Aloita kohdasta R1C1=4 on väärä ja tarkasta R1C1=4. rivi 1, sarake 2, 3×3 lohko 4, sarake 3:ssä yhtenäinen linkki tarkoittaa, että ainakin yksi pää on tosi; katkoviivalinkki tarkoittaa, että nämä kaksi päätepistettä eivät voi olla tosia samaan aikaan. Seuraa yhtä korostettua suhdetta kerrallaan.

Tämä Nice Loop / AIC oppitunti käyttää HoDoKu:n tavallista ehdokasnumerosolmuperhettä: epäjatkuvia eliminointeja ja sijoitteluja, avoimia tyypin 1 ja tyypin 2 ketjuja ja jatkuvia silmukoita. Aloita kohdasta R1C1=4 on väärä ja tarkasta R1C1=4. rivi 1, sarake 2, 3×3 lohko 4, sarake 3:ssä yhtenäinen linkki tarkoittaa, että ainakin yksi pää on tosi; katkoviivalinkki tarkoittaa, että nämä kaksi päätepistettä eivät voi olla tosia samaan aikaan. Seuraa yhtä korostettua suhdetta kerrallaan.
Tämä Nice Loop / AIC oppitunti käyttää HoDoKu:n tavallista ehdokasnumerosolmuperhettä: epäjatkuvia eliminointeja ja sijoitteluja, avoimia tyypin 1 ja tyypin 2 ketjuja ja jatkuvia silmukoita. Aloita kohdasta R1C1=4 on väärä ja tarkasta R1C1=4. rivi 1, sarake 2, 3×3 lohko 4, sarake 3:ssä yhtenäinen linkki tarkoittaa, että ainakin yksi pää on tosi; katkoviivalinkki tarkoittaa, että nämä kaksi päätepistettä eivät voi olla tosia samaan aikaan. Seuraa yhtä korostettua suhdetta kerrallaan.
Vaihe 2 · Oletus: aloita vuorotteleva ketju

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

Haara 1: oletetaan, että R1C1=4 on väärä.
Haara 1: oletetaan, että R1C1=4 on väärä.
Vaihe 3 · Vahva suhde: toinen päätepiste on pakotettu

R1C1=4 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 1:n jäljellä olevat vaihtoehdot. Siksi R1C3=4:n on oltava totta.

R1C1=4 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 1:n jäljellä olevat vaihtoehdot. Siksi R1C3=4:n on oltava totta.
R1C1=4 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 1:n jäljellä olevat vaihtoehdot. Siksi R1C3=4:n on oltava totta.
Vaihe 4 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R1C3=4 on totta. Poista R1C3=5.

R1C3=4 on totta. Poista R1C3=5.
R1C3=4 on totta. Poista R1C3=5.
Vaihe 5 · Vahva suhde: toinen päätepiste on pakotettu

R1C3=5 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 1:n jäljellä olevat vaihtoehdot. Siksi R1C2=5:n on oltava totta.

R1C3=5 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 1:n jäljellä olevat vaihtoehdot. Siksi R1C2=5:n on oltava totta.
R1C3=5 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 1:n jäljellä olevat vaihtoehdot. Siksi R1C2=5:n on oltava totta.
Vaihe 6 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R1C2=5 on totta. Poista R1C2=9.

R1C2=5 on totta. Poista R1C2=9.
R1C2=5 on totta. Poista R1C2=9.
Vaihe 7 · Vahva suhde: toinen päätepiste on pakotettu

R1C2=9 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 2:n jäljellä olevat vaihtoehdot. Siksi R5C2=9:n on oltava totta.

R1C2=9 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 2:n jäljellä olevat vaihtoehdot. Siksi R5C2=9:n on oltava totta.
R1C2=9 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 2:n jäljellä olevat vaihtoehdot. Siksi R5C2=9:n on oltava totta.
Vaihe 8 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R5C2=9 on totta. Poista R4C3=9.

R5C2=9 on totta. Poista R4C3=9.
R5C2=9 on totta. Poista R4C3=9.
Vaihe 9 · Sama ruutu: pakota toinen ehdokasnumero

R4C3=9 on väärä. Samassa ruudussa R4C3 toinen ehdokasnumero R4C3=4 pakotetaan tosi nykyisen oletuksen mukaan.

R4C3=9 on väärä. Samassa ruudussa R4C3 toinen ehdokasnumero R4C3=4 pakotetaan tosi nykyisen oletuksen mukaan.
R4C3=9 on väärä. Samassa ruudussa R4C3 toinen ehdokasnumero R4C3=4 pakotetaan tosi nykyisen oletuksen mukaan.
Vaihe 10 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R4C3=4 on totta. Poista R1C3=4.

R4C3=4 on totta. Poista R1C3=4.
R4C3=4 on totta. Poista R1C3=4.
Vaihe 11 · Ketju saavuttaa ristiriidan

Päätelmä on ristiriidassa "R1C1=4 on väärä", joten R1C1=4 on totta.

Päätelmä on ristiriidassa "R1C1=4 on väärä", joten R1C1=4 on totta.
Päätelmä on ristiriidassa "R1C1=4 on väärä", joten R1C1=4 on totta.
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 · AIC yhteenveto

Vuorotteleva ketju alkoi "R1C1=4 on väärä" ja seurasi merkittyjä vahvoja ja heikkoja suhteita, mukaan lukien saman ruudun kytkimet tarvittaessa, ristiriitaisuuteen. Siksi R1C1=4 on totta. Kaikki väliaikaiset loogiset totuustilat vedetään pois.

Vuorotteleva ketju alkoi "R1C1=4 on väärä" ja seurasi merkittyjä vahvoja ja heikkoja suhteita, mukaan lukien saman ruudun kytkimet tarvittaessa, ristiriitaisuuteen. Siksi R1C1=4 on totta. Kaikki väliaikaiset loogiset totuustilat vedetään pois.
Vuorotteleva ketju alkoi "R1C1=4 on väärä" ja seurasi merkittyjä vahvoja ja heikkoja suhteita, mukaan lukien saman ruudun kytkimet tarvittaessa, ristiriitaisuuteen. Siksi R1C1=4 on totta. Kaikki väliaikaiset loogiset totuustilat vedetään pois.

Mitä se sallii

Vuorotteleva ketju alkoi "R1C1=4 on väärä" ja seurasi merkittyjä vahvoja ja heikkoja suhteita, mukaan lukien saman ruudun kytkimet tarvittaessa, ristiriitaisuuteen. Siksi R1C1=4 on totta. Kaikki väliaikaiset loogiset totuustilat vedetään pois.

Nice Loop / AIC · Käytä vahvistettua tulosta: poista ehdokasnumero tai aseta numero, kun sen päinvastainen looginen totuustila on mahdoton.
Nice Loop / AIC · Käytä vahvistettua tulosta: poista ehdokasnumero tai aseta numero, kun sen päinvastainen looginen totuustila on mahdoton.

Vaiheittainen esimerkki · Tyyppi 1

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 · Lue AIC ennen kuin seuraat sitä

Tämä Nice Loop / AIC oppitunti käyttää HoDoKu:n tavallista ehdokasnumerosolmuperhettä: epäjatkuvia eliminointeja ja sijoitteluja, avoimia tyypin 1 ja tyypin 2 ketjuja ja jatkuvia silmukoita. Aloita kohdasta R1C6=2 on väärä ja tarkasta R1C8=2, R1C9=2, R2C4=2. sarake 6, rivi 2:ssä yhtenäinen linkki tarkoittaa, että ainakin yksi pää on tosi; katkoviivalinkki tarkoittaa, että nämä kaksi päätepistettä eivät voi olla tosia samaan aikaan. Seuraa yhtä korostettua suhdetta kerrallaan.

Tämä Nice Loop / AIC oppitunti käyttää HoDoKu:n tavallista ehdokasnumerosolmuperhettä: epäjatkuvia eliminointeja ja sijoitteluja, avoimia tyypin 1 ja tyypin 2 ketjuja ja jatkuvia silmukoita. Aloita kohdasta R1C6=2 on väärä ja tarkasta R1C8=2, R1C9=2, R2C4=2. sarake 6, rivi 2:ssä yhtenäinen linkki tarkoittaa, että ainakin yksi pää on tosi; katkoviivalinkki tarkoittaa, että nämä kaksi päätepistettä eivät voi olla tosia samaan aikaan. Seuraa yhtä korostettua suhdetta kerrallaan.
Tämä Nice Loop / AIC oppitunti käyttää HoDoKu:n tavallista ehdokasnumerosolmuperhettä: epäjatkuvia eliminointeja ja sijoitteluja, avoimia tyypin 1 ja tyypin 2 ketjuja ja jatkuvia silmukoita. Aloita kohdasta R1C6=2 on väärä ja tarkasta R1C8=2, R1C9=2, R2C4=2. sarake 6, rivi 2:ssä yhtenäinen linkki tarkoittaa, että ainakin yksi pää on tosi; katkoviivalinkki tarkoittaa, että nämä kaksi päätepistettä eivät voi olla tosia samaan aikaan. Seuraa yhtä korostettua suhdetta kerrallaan.
Vaihe 2 · Oletus: aloita vuorotteleva ketju

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

Haara 1: oletetaan, että R1C6=2 on väärä.
Haara 1: oletetaan, että R1C6=2 on väärä.
Vaihe 3 · Sama ruutu: pakota toinen ehdokasnumero

R1C6=2 on väärä. Samassa ruudussa R1C6 toinen ehdokasnumero R1C6=1 pakotetaan tosi nykyisen oletuksen mukaan.

R1C6=2 on väärä. Samassa ruudussa R1C6 toinen ehdokasnumero R1C6=1 pakotetaan tosi nykyisen oletuksen mukaan.
R1C6=2 on väärä. Samassa ruudussa R1C6 toinen ehdokasnumero R1C6=1 pakotetaan tosi nykyisen oletuksen mukaan.
Vaihe 4 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R1C6=1 on totta. Poista R6C6=1.

R1C6=1 on totta. Poista R6C6=1.
R1C6=1 on totta. Poista R6C6=1.
Vaihe 5 · Sama ruutu: pakota toinen ehdokasnumero

R6C6=1 on väärä. Samassa ruudussa R6C6 toinen ehdokasnumero R6C6=6 pakotetaan tosi nykyisen oletuksen mukaan.

R6C6=1 on väärä. Samassa ruudussa R6C6 toinen ehdokasnumero R6C6=6 pakotetaan tosi nykyisen oletuksen mukaan.
R6C6=1 on väärä. Samassa ruudussa R6C6 toinen ehdokasnumero R6C6=6 pakotetaan tosi nykyisen oletuksen mukaan.
Vaihe 6 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R6C6=6 on totta. Poista R2C6=6.

R6C6=6 on totta. Poista R2C6=6.
R6C6=6 on totta. Poista R2C6=6.
Vaihe 7 · Sama ruutu: pakota toinen ehdokasnumero

R2C6=6 on väärä. Samassa ruudussa R2C6 toinen ehdokasnumero R2C6=7 pakotetaan tosi nykyisen oletuksen mukaan.

R2C6=6 on väärä. Samassa ruudussa R2C6 toinen ehdokasnumero R2C6=7 pakotetaan tosi nykyisen oletuksen mukaan.
R2C6=6 on väärä. Samassa ruudussa R2C6 toinen ehdokasnumero R2C6=7 pakotetaan tosi nykyisen oletuksen mukaan.
Vaihe 8 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R2C6=7 on totta. Poista R2C8=7.

R2C6=7 on totta. Poista R2C8=7.
R2C6=7 on totta. Poista R2C8=7.
Vaihe 9 · Sama ruutu: pakota toinen ehdokasnumero

R2C8=7 on väärä. Samassa ruudussa R2C8 toinen ehdokasnumero R2C8=2 pakotetaan tosi nykyisen oletuksen mukaan.

R2C8=7 on väärä. Samassa ruudussa R2C8 toinen ehdokasnumero R2C8=2 pakotetaan tosi nykyisen oletuksen mukaan.
R2C8=7 on väärä. Samassa ruudussa R2C8 toinen ehdokasnumero R2C8=2 pakotetaan tosi nykyisen oletuksen mukaan.
Vaihe 10 · AIC yhteenveto

Saman numeron päätepisteistä R1C6=2 ja R2C8=2 vähintään toisen on oltava tosi. Jokainen kohde R1C8=2, R1C9=2, R2C4=2 näkee molemmat päätepisteet, joten se ei voi olla tosi.

Saman numeron päätepisteistä R1C6=2 ja R2C8=2 vähintään toisen on oltava tosi. Jokainen kohde R1C8=2, R1C9=2, R2C4=2 näkee molemmat päätepisteet, joten se ei voi olla tosi.
Saman numeron päätepisteistä R1C6=2 ja R2C8=2 vähintään toisen on oltava tosi. Jokainen kohde R1C8=2, R1C9=2, R2C4=2 näkee molemmat päätepisteet, joten se ei voi olla tosi.
Vaihe 11 · 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 12 · AIC yhteenveto

Peruuta väliaikainen päätepistetapaus. Tyyppi 1 AIC poistaa pysyvästi R1C8=2, R1C9=2, R2C4=2:n, koska jokainen kohde näkee sekä R1C6=2:n että R2C8=2:n.

Peruuta väliaikainen päätepistetapaus. Tyyppi 1 AIC poistaa pysyvästi R1C8=2, R1C9=2, R2C4=2:n, koska jokainen kohde näkee sekä R1C6=2:n että R2C8=2:n.
Peruuta väliaikainen päätepistetapaus. Tyyppi 1 AIC poistaa pysyvästi R1C8=2, R1C9=2, R2C4=2:n, koska jokainen kohde näkee sekä R1C6=2:n että R2C8=2:n.

Mitä se sallii

Peruuta väliaikainen päätepistetapaus. Tyyppi 1 AIC poistaa pysyvästi R1C8=2, R1C9=2, R2C4=2:n, koska jokainen kohde näkee sekä R1C6=2:n että R2C8=2:n.

Nice Loop / AIC · Käytä vahvistettua tulosta: poista ehdokasnumero tai aseta numero, kun sen päinvastainen looginen totuustila on mahdoton.
Nice Loop / AIC · Käytä vahvistettua tulosta: poista ehdokasnumero tai aseta numero, kun sen päinvastainen looginen totuustila on mahdoton.

Vaiheittainen esimerkki · Tyyppi 2

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 · Lue AIC ennen kuin seuraat sitä

Tämä Nice Loop / AIC oppitunti käyttää HoDoKu:n tavallista ehdokasnumerosolmuperhettä: epäjatkuvia eliminointeja ja sijoitteluja, avoimia tyypin 1 ja tyypin 2 ketjuja ja jatkuvia silmukoita. Aloita kohdasta R1C8=9 on väärä ja tarkasta R4C8=9. rivi 1, sarake 7, 3×3 lohko 6, sarake 8, rivi 3, sarake 6, rivi 5, sarake 4, rivi 6, sarake 9, rivi 4:ssä yhtenäinen linkki tarkoittaa, että ainakin yksi pää on tosi; katkoviivalinkki tarkoittaa, että nämä kaksi päätepistettä eivät voi olla tosia samaan aikaan. Seuraa yhtä korostettua suhdetta kerrallaan.

Tämä Nice Loop / AIC oppitunti käyttää HoDoKu:n tavallista ehdokasnumerosolmuperhettä: epäjatkuvia eliminointeja ja sijoitteluja, avoimia tyypin 1 ja tyypin 2 ketjuja ja jatkuvia silmukoita. Aloita kohdasta R1C8=9 on väärä ja tarkasta R4C8=9. rivi 1, sarake 7, 3×3 lohko 6, sarake 8, rivi 3, sarake 6, rivi 5, sarake 4, rivi 6, sarake 9, rivi 4:ssä yhtenäinen linkki tarkoittaa, että ainakin yksi pää on tosi; katkoviivalinkki tarkoittaa, että nämä kaksi päätepistettä eivät voi olla tosia samaan aikaan. Seuraa yhtä korostettua suhdetta kerrallaan.
Tämä Nice Loop / AIC oppitunti käyttää HoDoKu:n tavallista ehdokasnumerosolmuperhettä: epäjatkuvia eliminointeja ja sijoitteluja, avoimia tyypin 1 ja tyypin 2 ketjuja ja jatkuvia silmukoita. Aloita kohdasta R1C8=9 on väärä ja tarkasta R4C8=9. rivi 1, sarake 7, 3×3 lohko 6, sarake 8, rivi 3, sarake 6, rivi 5, sarake 4, rivi 6, sarake 9, rivi 4:ssä yhtenäinen linkki tarkoittaa, että ainakin yksi pää on tosi; katkoviivalinkki tarkoittaa, että nämä kaksi päätepistettä eivät voi olla tosia samaan aikaan. Seuraa yhtä korostettua suhdetta kerrallaan.
Vaihe 2 · Oletus: aloita vuorotteleva ketju

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

Haara 1: oletetaan, että R1C8=9 on väärä.
Haara 1: oletetaan, että R1C8=9 on väärä.
Vaihe 3 · Vahva suhde: toinen päätepiste on pakotettu

R1C8=9 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 1:n jäljellä olevat vaihtoehdot. Siksi R1C7=9:n on oltava totta.

R1C8=9 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 1:n jäljellä olevat vaihtoehdot. Siksi R1C7=9:n on oltava totta.
R1C8=9 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 1:n jäljellä olevat vaihtoehdot. Siksi R1C7=9:n on oltava totta.
Vaihe 4 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R1C7=9 on totta. Poista R5C7=9.

R1C7=9 on totta. Poista R5C7=9.
R1C7=9 on totta. Poista R5C7=9.
Vaihe 5 · Sama ruutu: pakota toinen ehdokasnumero

R5C7=9 on väärä. Samassa ruudussa R5C7 toinen ehdokasnumero R5C7=2 pakotetaan tosi nykyisen oletuksen mukaan.

R5C7=9 on väärä. Samassa ruudussa R5C7 toinen ehdokasnumero R5C7=2 pakotetaan tosi nykyisen oletuksen mukaan.
R5C7=9 on väärä. Samassa ruudussa R5C7 toinen ehdokasnumero R5C7=2 pakotetaan tosi nykyisen oletuksen mukaan.
Vaihe 6 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R5C7=2 on totta. Poista R6C8=2.

R5C7=2 on totta. Poista R6C8=2.
R5C7=2 on totta. Poista R6C8=2.
Vaihe 7 · Sama ruutu: pakota toinen ehdokasnumero

R6C8=2 on väärä. Samassa ruudussa R6C8 toinen ehdokasnumero R6C8=1 pakotetaan tosi nykyisen oletuksen mukaan.

R6C8=2 on väärä. Samassa ruudussa R6C8 toinen ehdokasnumero R6C8=1 pakotetaan tosi nykyisen oletuksen mukaan.
R6C8=2 on väärä. Samassa ruudussa R6C8 toinen ehdokasnumero R6C8=1 pakotetaan tosi nykyisen oletuksen mukaan.
Vaihe 8 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R6C8=1 on totta. Poista R3C8=1.

R6C8=1 on totta. Poista R3C8=1.
R6C8=1 on totta. Poista R3C8=1.
Vaihe 9 · Sama ruutu: pakota toinen ehdokasnumero

R3C8=1 on väärä. Samassa ruudussa R3C8 toinen ehdokasnumero R3C8=6 pakotetaan tosi nykyisen oletuksen mukaan.

R3C8=1 on väärä. Samassa ruudussa R3C8 toinen ehdokasnumero R3C8=6 pakotetaan tosi nykyisen oletuksen mukaan.
R3C8=1 on väärä. Samassa ruudussa R3C8 toinen ehdokasnumero R3C8=6 pakotetaan tosi nykyisen oletuksen mukaan.
Vaihe 10 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R3C8=6 on totta. Poista R3C6=6.

R3C8=6 on totta. Poista R3C6=6.
R3C8=6 on totta. Poista R3C6=6.
Vaihe 11 · Sama ruutu: pakota toinen ehdokasnumero

R3C6=6 on väärä. Samassa ruudussa R3C6 toinen ehdokasnumero R3C6=4 pakotetaan tosi nykyisen oletuksen mukaan.

R3C6=6 on väärä. Samassa ruudussa R3C6 toinen ehdokasnumero R3C6=4 pakotetaan tosi nykyisen oletuksen mukaan.
R3C6=6 on väärä. Samassa ruudussa R3C6 toinen ehdokasnumero R3C6=4 pakotetaan tosi nykyisen oletuksen mukaan.
Vaihe 12 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R3C6=4 on totta. Poista R5C6=4.

R3C6=4 on totta. Poista R5C6=4.
R3C6=4 on totta. Poista R5C6=4.
Vaihe 13 · Vahva suhde: toinen päätepiste on pakotettu

R5C6=4 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 5:n jäljellä olevat vaihtoehdot. Siksi R5C4=4:n on oltava totta.

R5C6=4 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 5:n jäljellä olevat vaihtoehdot. Siksi R5C4=4:n on oltava totta.
R5C6=4 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 5:n jäljellä olevat vaihtoehdot. Siksi R5C4=4:n on oltava totta.
Vaihe 14 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R5C4=4 on totta. Poista R5C4=3.

R5C4=4 on totta. Poista R5C4=3.
R5C4=4 on totta. Poista R5C4=3.
Vaihe 15 · Vahva suhde: toinen päätepiste on pakotettu

R5C4=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 4:n jäljellä olevat vaihtoehdot. Siksi R6C4=3:n on oltava totta.

R5C4=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 4:n jäljellä olevat vaihtoehdot. Siksi R6C4=3:n on oltava totta.
R5C4=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 4:n jäljellä olevat vaihtoehdot. Siksi R6C4=3:n on oltava totta.
Vaihe 16 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R6C4=3 on totta. Poista R6C9=3.

R6C4=3 on totta. Poista R6C9=3.
R6C4=3 on totta. Poista R6C9=3.
Vaihe 17 · Vahva suhde: toinen päätepiste on pakotettu

R6C9=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 9:n jäljellä olevat vaihtoehdot. Siksi R4C9=3:n on oltava totta.

R6C9=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 9:n jäljellä olevat vaihtoehdot. Siksi R4C9=3:n on oltava totta.
R6C9=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 9:n jäljellä olevat vaihtoehdot. Siksi R4C9=3:n on oltava totta.
Vaihe 18 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R4C9=3 on totta. Poista R4C9=7.

R4C9=3 on totta. Poista R4C9=7.
R4C9=3 on totta. Poista R4C9=7.
Vaihe 19 · Vahva suhde: toinen päätepiste on pakotettu

R4C9=7 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 4:n jäljellä olevat vaihtoehdot. Siksi R4C8=7:n on oltava totta.

R4C9=7 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 4:n jäljellä olevat vaihtoehdot. Siksi R4C8=7:n on oltava totta.
R4C9=7 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 4:n jäljellä olevat vaihtoehdot. Siksi R4C8=7:n on oltava totta.
Vaihe 20 · AIC yhteenveto

Vertaispäätepisteissä R1C8=9 ja R4C8=7 on eri numeroita. Jokainen merkitty ristiehdokasnumero R4C8=9 tekisi molemmista päätepisteistä vääriä, joten poista se.

Vertaispäätepisteissä R1C8=9 ja R4C8=7 on eri numeroita. Jokainen merkitty ristiehdokasnumero R4C8=9 tekisi molemmista päätepisteistä vääriä, joten poista se.
Vertaispäätepisteissä R1C8=9 ja R4C8=7 on eri numeroita. Jokainen merkitty ristiehdokasnumero R4C8=9 tekisi molemmista päätepisteistä vääriä, joten poista se.
Vaihe 21 · 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 22 · AIC yhteenveto

Peruuta väliaikainen päätepistetapaus. Tyyppi 2 AIC poistaa pysyvästi kandidaattinumerot R4C8=9 R1C8=9:n ja R4C8=7:n välillä.

Peruuta väliaikainen päätepistetapaus. Tyyppi 2 AIC poistaa pysyvästi kandidaattinumerot R4C8=9 R1C8=9:n ja R4C8=7:n välillä.
Peruuta väliaikainen päätepistetapaus. Tyyppi 2 AIC poistaa pysyvästi kandidaattinumerot R4C8=9 R1C8=9:n ja R4C8=7:n välillä.

Mitä se sallii

Peruuta väliaikainen päätepistetapaus. Tyyppi 2 AIC poistaa pysyvästi kandidaattinumerot R4C8=9 R1C8=9:n ja R4C8=7:n välillä.

Nice Loop / AIC · Käytä vahvistettua tulosta: poista ehdokasnumero tai aseta numero, kun sen päinvastainen looginen totuustila on mahdoton.
Nice Loop / AIC · Käytä vahvistettua tulosta: poista ehdokasnumero tai aseta numero, kun sen päinvastainen looginen totuustila on mahdoton.

Vaiheittainen esimerkki · Jatkuva silmukka

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 · Lue AIC ennen kuin seuraat sitä

Tämä Nice Loop / AIC oppitunti käyttää HoDoKu:n tavallista ehdokasnumerosolmuperhettä: epäjatkuvia eliminointeja ja sijoitteluja, avoimia tyypin 1 ja tyypin 2 ketjuja ja jatkuvia silmukoita. Aloita kohdasta R9C3=6 on väärä ja tarkasta R9C3=5. sarake 3, rivi 5, sarake 8, rivi 9:ssä yhtenäinen linkki tarkoittaa, että ainakin yksi pää on tosi; katkoviivalinkki tarkoittaa, että nämä kaksi päätepistettä eivät voi olla tosia samaan aikaan. Seuraa yhtä korostettua suhdetta kerrallaan.

Tämä Nice Loop / AIC oppitunti käyttää HoDoKu:n tavallista ehdokasnumerosolmuperhettä: epäjatkuvia eliminointeja ja sijoitteluja, avoimia tyypin 1 ja tyypin 2 ketjuja ja jatkuvia silmukoita. Aloita kohdasta R9C3=6 on väärä ja tarkasta R9C3=5. sarake 3, rivi 5, sarake 8, rivi 9:ssä yhtenäinen linkki tarkoittaa, että ainakin yksi pää on tosi; katkoviivalinkki tarkoittaa, että nämä kaksi päätepistettä eivät voi olla tosia samaan aikaan. Seuraa yhtä korostettua suhdetta kerrallaan.
Tämä Nice Loop / AIC oppitunti käyttää HoDoKu:n tavallista ehdokasnumerosolmuperhettä: epäjatkuvia eliminointeja ja sijoitteluja, avoimia tyypin 1 ja tyypin 2 ketjuja ja jatkuvia silmukoita. Aloita kohdasta R9C3=6 on väärä ja tarkasta R9C3=5. sarake 3, rivi 5, sarake 8, rivi 9:ssä yhtenäinen linkki tarkoittaa, että ainakin yksi pää on tosi; katkoviivalinkki tarkoittaa, että nämä kaksi päätepistettä eivät voi olla tosia samaan aikaan. Seuraa yhtä korostettua suhdetta kerrallaan.
Vaihe 2 · Oletus: aloita vuorotteleva ketju

Valitse R9C3=6 vain tämän suljetun silmukan lukualkuksi. Tämä ei ole kokeiluoletus; vaihtuva silmukka palaa tähän.

Valitse R9C3=6 vain tämän suljetun silmukan lukualkuksi. Tämä ei ole kokeiluoletus; vaihtuva silmukka palaa tähän.
Valitse R9C3=6 vain tämän suljetun silmukan lukualkuksi. Tämä ei ole kokeiluoletus; vaihtuva silmukka palaa tähän.
Vaihe 3 · Vahva suhde: toinen päätepiste on pakotettu

R9C3=6 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 3:n jäljellä olevat vaihtoehdot. Siksi R5C3=6:n on oltava totta.

R9C3=6 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 3:n jäljellä olevat vaihtoehdot. Siksi R5C3=6:n on oltava totta.
R9C3=6 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 3:n jäljellä olevat vaihtoehdot. Siksi R5C3=6:n on oltava totta.
Vaihe 4 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R5C3=6 on totta. Poista R5C8=6.

R5C3=6 on totta. Poista R5C8=6.
R5C3=6 on totta. Poista R5C8=6.
Vaihe 5 · Sama ruutu: pakota toinen ehdokasnumero

R5C8=6 on väärä. Samassa ruudussa R5C8 toinen ehdokasnumero R5C8=8 pakotetaan tosi nykyisen oletuksen mukaan.

R5C8=6 on väärä. Samassa ruudussa R5C8 toinen ehdokasnumero R5C8=8 pakotetaan tosi nykyisen oletuksen mukaan.
R5C8=6 on väärä. Samassa ruudussa R5C8 toinen ehdokasnumero R5C8=8 pakotetaan tosi nykyisen oletuksen mukaan.
Vaihe 6 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R5C8=8 on totta. Poista R9C8=8.

R5C8=8 on totta. Poista R9C8=8.
R5C8=8 on totta. Poista R9C8=8.
Vaihe 7 · Vahva suhde: toinen päätepiste on pakotettu

R9C8=8 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 9:n jäljellä olevat vaihtoehdot. Siksi R9C3=8:n on oltava totta.

R9C8=8 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 9:n jäljellä olevat vaihtoehdot. Siksi R9C3=8:n on oltava totta.
R9C8=8 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 9:n jäljellä olevat vaihtoehdot. Siksi R9C3=8:n on oltava totta.
Vaihe 8 · Heikko suhde: linkitetyt ehdokasnumerot ovat ristiriidassa

R9C3=8 on totta. Poista R9C3=6.

R9C3=8 on totta. Poista R9C3=6.
R9C3=8 on totta. Poista R9C3=6.
Vaihe 9 · AIC yhteenveto

Ketju sulkeutuu jatkuvana vaihtuvana silmukana. Jokainen silmukan heikko suhde on siksi vahva, mikä poistaa R9C3=5:n vaikutuksen alaiselta ruutulta tai Sudoku-yksiköltä.

Ketju sulkeutuu jatkuvana vaihtuvana silmukana. Jokainen silmukan heikko suhde on siksi vahva, mikä poistaa R9C3=5:n vaikutuksen alaiselta ruutulta tai Sudoku-yksiköltä.
Ketju sulkeutuu jatkuvana vaihtuvana silmukana. Jokainen silmukan heikko suhde on siksi vahva, mikä poistaa R9C3=5:n vaikutuksen alaiselta ruutulta tai Sudoku-yksiköltä.
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 · AIC yhteenveto

Silmukan läpikulku on valmis; peruuttaa väliaikaiset loogiset totuustilat ja poistaa R9C3=5 pysyvästi.

Silmukan läpikulku on valmis; peruuttaa väliaikaiset loogiset totuustilat ja poistaa R9C3=5 pysyvästi.
Silmukan läpikulku on valmis; peruuttaa väliaikaiset loogiset totuustilat ja poistaa R9C3=5 pysyvästi.

Mitä se sallii

Silmukan läpikulku on valmis; peruuttaa väliaikaiset loogiset totuustilat ja poistaa R9C3=5 pysyvästi.

Nice Loop / AIC · Käytä vahvistettua tulosta: poista ehdokasnumero tai aseta numero, kun sen päinvastainen looginen totuustila on mahdoton.
Nice Loop / AIC · Käytä vahvistettua tulosta: poista ehdokasnumero tai aseta numero, kun sen päinvastainen looginen totuustila on mahdoton.

Harjoittelu

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

Katso Google Playssa