Platon Sudoku · Opiskele sudokua
Pakotusketju (Forcing Chain) · Vaiheittainen esimerkki
Täydellistä joukkoa ehdokasnumerovaihtoehtoja seurataan erillisten lineaaristen implikaatioketjujen kautta. Säilytä vain jokaisen elinkelpoisen haaran yhteinen sijoitus tai eliminointi.
Tämä oppitunti perustuu Platon Sudoku -sovelluksen opetusaineistoon. Lue koko esimerkki täällä ja jatka oppimista ja harjoittelua sovelluksessa.
Katso Google PlayssaTunnista kuvio
Täydellistä joukkoa ehdokasnumerovaihtoehtoja seurataan erillisten lineaaristen implikaatioketjujen kautta.
Kuinka löytää se
Valitse tosi/epätosi jako tai kaikki numeron paikat yhdellä alueella; seuraa jokaista haaraa sen vahvistettuun seuraukseen.
Mitä se sallii
Säilytä vain jokaisen elinkelpoisen haaran yhteinen sijoitus tai eliminointi.
Vältä sekoittumista
Yksi tulokseen saavuttava haara ei riitä; lähtövaihtoehtojen tulee kattaa kaikki mahdollisuudet.
Vaiheittainen esimerkki · Kaksi haaraa
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 · Mistä etsiä
Yleinen todistettava tulos on R1C2=7; haarakytkin on R1C2=5. Mikä tahansa ehdokasnumero on joko tosi tai epätosi, joten nämä kaksi haaraa kattavat kaikki mahdollisuudet. Jos molemmat saavuttavat yhteisen tuloksen, tämä tulos pakotetaan.
Vaihe 2 · Päättely
Haara 1: oletetaan, että R1C2=5 on totta.
Vaihe 3 · Päättely
R1C2=5 on totta. Poista R1C2=7.
Vaihe 4 · Poista edellinen suorakulmion täyttö
Peruuta tämä oletus ja sen seuraukset. Palaa muuttumattomaan ehdokasnumeron tilannekuvaan ennen kuin tutkit seuraavaa mahdollisuutta.
Vaihe 5 · Päättely
Haara 2: oletetaan, että R1C2=5 on väärä.
Vaihe 6 · Päättely
R1C2=5 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 1:n jäljellä olevat vaihtoehdot. Siksi R1C5=5:n on oltava totta.
Vaihe 7 · Päättely
R1C5=5 on totta. Poista R2C5=5 sarake 5:stä.
Vaihe 8 · Päättely
R2C5=5 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 2:n jäljellä olevat vaihtoehdot. Siksi R2C8=5:n on oltava totta.
Vaihe 9 · Päättely
R2C8=5 on totta. Poista R2C8=9.
Vaihe 10 · Päättely
R2C8=9 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 2:n jäljellä olevat vaihtoehdot. Siksi R2C4=9:n on oltava totta.
Vaihe 11 · Päättely
R2C4=9 on totta. Poista R1C4=9 sarake 4:stä.
Vaihe 12 · Päättely
R1C4=9 on väärä. R1C4:llä on nyt vain R1C4=7 jäljellä, joten sen on oltava totta.
Vaihe 13 · Päättely
R1C4=7 on totta. Poista R1C2=7 rivi 1:stä.
Vaihe 14 · Päättely
Jokainen mahdollinen haara saavuttaa saman tosiasian: R1C2=7 on väärä. Kun kaikki olettamukset on poistettu, tämä tosiasia on varma.
Vaihe 15 · Johtopäätös
Vahvistettu tulos on R1C2=7 on väärä. Kaikki väliaikaiset oletukset on peruutettu.
Mitä se sallii
Vahvistettu tulos on R1C2=7 on väärä. Kaikki väliaikaiset oletukset on peruutettu.
Vaiheittainen esimerkki · Useita oksia
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 · Mistä etsiä
Juuret R2C4=2, R2C4=3, R2C4=6, R2C4=7 ovat kaikki mahdolliset ehdokasnumerot R2C4:ssä. Seuraa kutakin erillisenä lineaarisena implikaatioketjuna; jos jokainen juuri saavuttaa R2C6=3, tulos pakotetaan. Pelkästään useat juuret eivät tee tästä Pakotusverkko (Forcing Net):tä.
Vaihe 2 · Päättely
Haara 1: oletetaan, että R2C4=2 on totta.
Vaihe 3 · Päättely
R2C4=2 on totta. Poista R2C4=3.
Vaihe 4 · Päättely
R2C4=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 2:n jäljellä olevat vaihtoehdot. Siksi R2C6=3:n on oltava totta.
Vaihe 5 · Poista edellinen suorakulmion täyttö
Peruuta tämä oletus ja sen seuraukset. Palaa muuttumattomaan ehdokasnumeron tilannekuvaan ennen kuin tutkit seuraavaa mahdollisuutta.
Vaihe 6 · Päättely
Haara 2: oletetaan, että R2C4=3 on totta.
Vaihe 7 · Päättely
R2C4=3 on totta. Poista R2C4=6.
Vaihe 8 · Päättely
R2C4=6 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki 3×3 lohko 2:n jäljellä olevat vaihtoehdot. Siksi R1C5=6:n on oltava totta.
Vaihe 9 · Päättely
R1C5=6 on totta. Poista R4C5=6 sarake 5:stä.
Vaihe 10 · Päättely
R4C5=6 on väärä. R4C5:llä on nyt vain R4C5=3 jäljellä, joten sen on oltava totta.
Vaihe 11 · Päättely
R4C5=3 on totta. Poista R6C6=3 3×3 lohko 5:stä.
Vaihe 12 · Päättely
R6C6=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki sarake 6:n jäljellä olevat vaihtoehdot. Siksi R2C6=3:n on oltava totta.
Vaihe 13 · Poista edellinen suorakulmion täyttö
Peruuta tämä oletus ja sen seuraukset. Palaa muuttumattomaan ehdokasnumeron tilannekuvaan ennen kuin tutkit seuraavaa mahdollisuutta.
Vaihe 14 · Päättely
Haara 3: oletetaan, että R2C4=6 on totta.
Vaihe 15 · Päättely
R2C4=6 on totta. Poista R2C4=3.
Vaihe 16 · Päättely
R2C4=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 2:n jäljellä olevat vaihtoehdot. Siksi R2C6=3:n on oltava totta.
Vaihe 17 · Poista edellinen suorakulmion täyttö
Peruuta tämä oletus ja sen seuraukset. Palaa muuttumattomaan ehdokasnumeron tilannekuvaan ennen kuin tutkit seuraavaa mahdollisuutta.
Vaihe 18 · Päättely
Haara 4: oletetaan, että R2C4=7 on totta.
Vaihe 19 · Päättely
R2C4=7 on totta. Poista R2C4=3.
Vaihe 20 · Päättely
R2C4=3 on väärä. Yhdessä nämä kaksi sivua sisältävät kaikki rivi 2:n jäljellä olevat vaihtoehdot. Siksi R2C6=3:n on oltava totta.
Vaihe 21 · Päättely
Jokainen mahdollinen haara saavuttaa saman tosiasian: R2C6=3 on totta. Kun kaikki olettamukset on poistettu, tämä tosiasia on varma.
Vaihe 22 · Johtopäätös
Vahvistettu tulos on R2C6=3 on totta. Kaikki väliaikaiset oletukset on peruutettu.
Mitä se sallii
Vahvistettu tulos on R2C6=3 on totta. Kaikki väliaikaiset oletukset on peruutettu.
Harjoittelu
Tämä oppitunti perustuu Platon Sudoku -sovelluksen opetusaineistoon. Lue koko esimerkki täällä ja jatka oppimista ja harjoittelua sovelluksessa.
Katso Google Playssa