Platon Games
Suomi

Platon Sudoku · Opiskele sudokua

Pakotusverkko (Forcing Net) · Vaiheittainen esimerkki

Pakotusverkko (Forcing Net) haarautuu ja yhdistää ehdokasnumeroimplikaatiot. Se voi kumota oletuksen tai todistaa yhteisen tuloksen eri vaihtoehtojen välillä. Poista kumottu ehdokasnumero tai käytä kaikkien tyhjentävien haarojen yhteistä tulosta.

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

Katso Google Playssa

Tunnista kuvio

Pakotusverkko (Forcing Net) haarautuu ja yhdistää ehdokasnumeroimplikaatiot. Se voi kumota oletuksen tai todistaa yhteisen tuloksen eri vaihtoehtojen välillä.

Kuinka löytää se

Seuraa jokaista lähtökohtaa haaraverkoston läpi, tarkista jokainen linkki ja vertaa ristiriitoja tai yleisiä päätepisteitä.

Mitä se sallii

Poista kumottu ehdokasnumero tai käytä kaikkien tyhjentävien haarojen yhteistä tulosta.

Vältä sekoittumista

Älä ohita haaraa tai sekoita jaettua tehostetta vain yhden polun tehosteeseen.

Vaiheittainen esimerkki · Ristiriita

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ä

R1C3=7 on joko tosi tai epätosi. Kaavio testaa R1C3=7 on totta; ristiriita sulkee pois tämän loogisen totuustilan ja pakottaa R1C3=7 on väärä, joten kaksi mahdollista loogista totuustilaa on täysin katettu. Tämä on Pakotusverkko (Forcing Net), ei Pakotusketju (Forcing Chain), koska varmennettu riippuvuuskaavio tuulee ulos tai sulautuu sen sijaan, että se pysyisi yhtenä lineaarisena implikaatiopoluna. Tutkittu haara sisältää 49-varmennettuja solmuja.

R1C3=7 on joko tosi tai epätosi. Kaavio testaa R1C3=7 on totta; ristiriita sulkee pois tämän loogisen totuustilan ja pakottaa R1C3=7 on väärä, joten kaksi mahdollista loogista totuustilaa on täysin katettu. Tämä on Pakotusverkko (Forcing Net), ei Pakotusketju (Forcing Chain), koska varmennettu riippuvuuskaavio tuulee ulos tai sulautuu sen sijaan, että se pysyisi yhtenä lineaarisena implikaatiopoluna. Tutkittu haara sisältää 49-varmennettuja solmuja.
R1C3=7 on joko tosi tai epätosi. Kaavio testaa R1C3=7 on totta; ristiriita sulkee pois tämän loogisen totuustilan ja pakottaa R1C3=7 on väärä, joten kaksi mahdollista loogista totuustilaa on täysin katettu. Tämä on Pakotusverkko (Forcing Net), ei Pakotusketju (Forcing Chain), koska varmennettu riippuvuuskaavio tuulee ulos tai sulautuu sen sijaan, että se pysyisi yhtenä lineaarisena implikaatiopoluna. Tutkittu haara sisältää 49-varmennettuja solmuja.
Vaihe 2 · Päättely

Haara 1: oletetaan, että R1C3=7 on totta.

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

R1C3=7 on totta. Poista {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.

R1C3=7 on totta. Poista {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
R1C3=7 on totta. Poista {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
Vaihe 4 · Päättely

Edellisten poissulkemisten jälkeen R8C3=3 on ainoa jäljellä oleva vaihtoehto R8C3:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R8C3=3 on ainoa jäljellä oleva vaihtoehto R8C3:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R8C3=3 on ainoa jäljellä oleva vaihtoehto R8C3:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 5 · Päättely

R8C3=3 on totta. Poista R7C3=3.

R8C3=3 on totta. Poista R7C3=3.
R8C3=3 on totta. Poista R7C3=3.
Vaihe 6 · Päättely

Edellisten poissulkemisten jälkeen R7C4=3 on ainoa jäljellä oleva vaihtoehto rivi 7:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R7C4=3 on ainoa jäljellä oleva vaihtoehto rivi 7:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R7C4=3 on ainoa jäljellä oleva vaihtoehto rivi 7:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 7 · Päättely

Edellisten poissulkemisten jälkeen R8C2=7 on ainoa jäljellä oleva vaihtoehto rivi 8:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R8C2=7 on ainoa jäljellä oleva vaihtoehto rivi 8:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R8C2=7 on ainoa jäljellä oleva vaihtoehto rivi 8:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 8 · Päättely

R8C2=7 on totta. Poista R8C2=8.

R8C2=7 on totta. Poista R8C2=8.
R8C2=7 on totta. Poista R8C2=8.
Vaihe 9 · Päättely

Edellisten poissulkemisten jälkeen R8C8=8 on ainoa jäljellä oleva vaihtoehto rivi 8:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R8C8=8 on ainoa jäljellä oleva vaihtoehto rivi 8:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R8C8=8 on ainoa jäljellä oleva vaihtoehto rivi 8:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 10 · Päättely

R8C8=8 on totta. Poista R8C8=4.

R8C8=8 on totta. Poista R8C8=4.
R8C8=8 on totta. Poista R8C8=4.
Vaihe 11 · Päättely

Edellisten poissulkemisten jälkeen R6C1=7 on ainoa jäljellä oleva vaihtoehto sarake 1:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R6C1=7 on ainoa jäljellä oleva vaihtoehto sarake 1:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R6C1=7 on ainoa jäljellä oleva vaihtoehto sarake 1:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 12 · Päättely

R6C1=7 on totta. Poista R6C1=5.

R6C1=7 on totta. Poista R6C1=5.
R6C1=7 on totta. Poista R6C1=5.
Vaihe 13 · Päättely

Edellisten poissulkemisten jälkeen R3C8=4 on ainoa jäljellä oleva vaihtoehto sarake 8:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R3C8=4 on ainoa jäljellä oleva vaihtoehto sarake 8:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R3C8=4 on ainoa jäljellä oleva vaihtoehto sarake 8:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 14 · Päättely

R3C8=4 on totta. Poista {R3C8=1, R3C8=6}.

R3C8=4 on totta. Poista {R3C8=1, R3C8=6}.
R3C8=4 on totta. Poista {R3C8=1, R3C8=6}.
Vaihe 15 · Päättely

Edellisten poissulkemisten jälkeen R3C1=2 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 1:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R3C1=2 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 1:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R3C1=2 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 1:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 16 · Päättely

R3C1=2 on totta. Poista R3C1=5.

R3C1=2 on totta. Poista R3C1=5.
R3C1=2 on totta. Poista R3C1=5.
Vaihe 17 · Päättely

Edellisten poissulkemisten jälkeen R9C7=4 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 9:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R9C7=4 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 9:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R9C7=4 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 9:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 18 · Päättely

R9C7=4 on totta. Poista R9C7=9.

R9C7=4 on totta. Poista R9C7=9.
R9C7=4 on totta. Poista R9C7=9.
Vaihe 19 · Päättely

Edellisten poissulkemisten jälkeen R7C9=9 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 9:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R7C9=9 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 9:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R7C9=9 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 9:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 20 · Päättely

R3C8=4 on totta. Poista R2C7=4.

R3C8=4 on totta. Poista R2C7=4.
R3C8=4 on totta. Poista R2C7=4.
Vaihe 21 · Päättely

R6C1=7 on totta. Poista R6C7=7.

R6C1=7 on totta. Poista R6C7=7.
R6C1=7 on totta. Poista R6C7=7.
Vaihe 22 · Päättely

Edellisten poissulkemisten jälkeen R6C7=6 on ainoa jäljellä oleva vaihtoehto R6C7:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R6C7=6 on ainoa jäljellä oleva vaihtoehto R6C7:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R6C7=6 on ainoa jäljellä oleva vaihtoehto R6C7:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 23 · Päättely

R6C7=6 on totta. Poista R3C7=6.

R6C7=6 on totta. Poista R3C7=6.
R6C7=6 on totta. Poista R3C7=6.
Vaihe 24 · Päättely

R7C4=3 on totta. Poista R2C4=3.

R7C4=3 on totta. Poista R2C4=3.
R7C4=3 on totta. Poista R2C4=3.
Vaihe 25 · Päättely

R7C9=9 on totta. Poista {R1C9=9, R7C3=9}.

R7C9=9 on totta. Poista {R1C9=9, R7C3=9}.
R7C9=9 on totta. Poista {R1C9=9, R7C3=9}.
Vaihe 26 · Päättely

R8C8=8 on totta. Poista R1C8=8.

R8C8=8 on totta. Poista R1C8=8.
R8C8=8 on totta. Poista R1C8=8.
Vaihe 27 · Päättely

Edellisten poissulkemisten jälkeen R3C9=6 on ainoa jäljellä oleva vaihtoehto rivi 3:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R3C9=6 on ainoa jäljellä oleva vaihtoehto rivi 3:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R3C9=6 on ainoa jäljellä oleva vaihtoehto rivi 3:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 28 · Päättely

R3C9=6 on totta. Poista R3C9=1.

R3C9=6 on totta. Poista R3C9=1.
R3C9=6 on totta. Poista R3C9=1.
Vaihe 29 · Päättely

Edellisten poissulkemisten jälkeen R9C1=9 on ainoa jäljellä oleva vaihtoehto rivi 9:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R9C1=9 on ainoa jäljellä oleva vaihtoehto rivi 9:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R9C1=9 on ainoa jäljellä oleva vaihtoehto rivi 9:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 30 · Päättely

R9C1=9 on totta. Poista R9C1=5.

R9C1=9 on totta. Poista R9C1=5.
R9C1=9 on totta. Poista R9C1=5.
Vaihe 31 · Päättely

Edellisten poissulkemisten jälkeen R2C1=5 on ainoa jäljellä oleva vaihtoehto sarake 1:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R2C1=5 on ainoa jäljellä oleva vaihtoehto sarake 1:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R2C1=5 on ainoa jäljellä oleva vaihtoehto sarake 1:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 32 · Päättely

Edellisten poissulkemisten jälkeen R2C3=9 on ainoa jäljellä oleva vaihtoehto sarake 3:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R2C3=9 on ainoa jäljellä oleva vaihtoehto sarake 3:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R2C3=9 on ainoa jäljellä oleva vaihtoehto sarake 3:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 33 · Päättely

Edellisten poissulkemisten jälkeen R2C9=1 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 3:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R2C9=1 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 3:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R2C9=1 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 3:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 34 · Päättely

Edellisten poissulkemisten jälkeen R1C8=5 on ainoa jäljellä oleva vaihtoehto R1C8:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R1C8=5 on ainoa jäljellä oleva vaihtoehto R1C8:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R1C8=5 on ainoa jäljellä oleva vaihtoehto R1C8:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 35 · Päättely

R1C8=5 on totta. Poista R1C9=5.

R1C8=5 on totta. Poista R1C9=5.
R1C8=5 on totta. Poista R1C9=5.
Vaihe 36 · Päättely

Edellisten poissulkemisten jälkeen R1C9=8 on ainoa jäljellä oleva vaihtoehto R1C9:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R1C9=8 on ainoa jäljellä oleva vaihtoehto R1C9:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R1C9=8 on ainoa jäljellä oleva vaihtoehto R1C9:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 37 · Päättely

R1C9=8 on totta. Poista R2C7=8.

R1C9=8 on totta. Poista R2C7=8.
R1C9=8 on totta. Poista R2C7=8.
Vaihe 38 · Päättely

R2C1=5 on totta. Poista R2C4=5.

R2C1=5 on totta. Poista R2C4=5.
R2C1=5 on totta. Poista R2C4=5.
Vaihe 39 · Päättely

R2C3=9 on totta. Poista R2C7=9.

R2C3=9 on totta. Poista R2C7=9.
R2C3=9 on totta. Poista R2C7=9.
Vaihe 40 · Päättely

Edellisten poissulkemisten jälkeen R2C7=7 on ainoa jäljellä oleva vaihtoehto R2C7:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R2C7=7 on ainoa jäljellä oleva vaihtoehto R2C7:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R2C7=7 on ainoa jäljellä oleva vaihtoehto R2C7:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 41 · Päättely

R2C7=7 on totta. Poista R2C4=7.

R2C7=7 on totta. Poista R2C4=7.
R2C7=7 on totta. Poista R2C4=7.
Vaihe 42 · Päättely

R2C9=1 on totta. Poista R2C4=1.

R2C9=1 on totta. Poista R2C4=1.
R2C9=1 on totta. Poista R2C4=1.
Vaihe 43 · Päättely

Tämä oletus ei jätä mahdollista arvoa tai sijaintia R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Sudoku-ruutulla ja jokaisella alueen puuttuvalla numerolla on oltava vaihtoehto. Oletus on mahdoton.

Tämä oletus ei jätä mahdollista arvoa tai sijaintia R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Sudoku-ruutulla ja jokaisella alueen puuttuvalla numerolla on oltava vaihtoehto. Oletus on mahdoton.
Tämä oletus ei jätä mahdollista arvoa tai sijaintia R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Sudoku-ruutulla ja jokaisella alueen puuttuvalla numerolla on oltava vaihtoehto. Oletus on mahdoton.
Vaihe 44 · 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 45 · Johtopäätös

R1C3=7 voidaan poistaa, koska se ei voi olla totta tässä kuviossa.

R1C3=7 voidaan poistaa, koska se ei voi olla totta tässä kuviossa.
R1C3=7 voidaan poistaa, koska se ei voi olla totta tässä kuviossa.

Mitä se sallii

R1C3=7 voidaan poistaa, koska se ei voi olla totta tässä kuviossa.

Pakotusverkko (Forcing Net) · Poista kumottu ehdokasnumero tai käytä kaikkien tyhjentävien haarojen yhteistä tulosta.
Pakotusverkko (Forcing Net) · Poista kumottu ehdokasnumero tai käytä kaikkien tyhjentävien haarojen yhteistä tulosta.

Vaiheittainen esimerkki · Yhteinen tulos

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ä

Juurijoukko R7C5=2, R7C5=4, R7C5=9 sisältää kaikki mahdolliset alun R7C5, joten juurihaarat ovat tyhjentäviä. Tämä on Pakotusverkko (Forcing Net), ei Pakotusketju (Forcing Chain), koska varmennettu riippuvuuskaavio tuulee ulos tai sulautuu sen sijaan, että se pysyisi yhtenä lineaarisena implikaatiopoluna. Riippuvuuskaavio sisältää 58-varmennettuja solmuja 3-juurihaaroissa. Yleinen tarkistettava tulos on R3C6=2 on totta.

Juurijoukko R7C5=2, R7C5=4, R7C5=9 sisältää kaikki mahdolliset alun R7C5, joten juurihaarat ovat tyhjentäviä. Tämä on Pakotusverkko (Forcing Net), ei Pakotusketju (Forcing Chain), koska varmennettu riippuvuuskaavio tuulee ulos tai sulautuu sen sijaan, että se pysyisi yhtenä lineaarisena implikaatiopoluna. Riippuvuuskaavio sisältää 58-varmennettuja solmuja 3-juurihaaroissa. Yleinen tarkistettava tulos on R3C6=2 on totta.
Juurijoukko R7C5=2, R7C5=4, R7C5=9 sisältää kaikki mahdolliset alun R7C5, joten juurihaarat ovat tyhjentäviä. Tämä on Pakotusverkko (Forcing Net), ei Pakotusketju (Forcing Chain), koska varmennettu riippuvuuskaavio tuulee ulos tai sulautuu sen sijaan, että se pysyisi yhtenä lineaarisena implikaatiopoluna. Riippuvuuskaavio sisältää 58-varmennettuja solmuja 3-juurihaaroissa. Yleinen tarkistettava tulos on R3C6=2 on totta.
Vaihe 2 · Päättely

Haara 1: oletetaan, että R7C5=2 on totta.

Haara 1: oletetaan, että R7C5=2 on totta.
Haara 1: oletetaan, että R7C5=2 on totta.
Vaihe 3 · Päättely

R7C5=2 on totta. Poista R3C5=2.

R7C5=2 on totta. Poista R3C5=2.
R7C5=2 on totta. Poista R3C5=2.
Vaihe 4 · Päättely

Edellisten poissulkemisten jälkeen R3C6=2 on ainoa jäljellä oleva vaihtoehto rivi 3:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R3C6=2 on ainoa jäljellä oleva vaihtoehto rivi 3:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R3C6=2 on ainoa jäljellä oleva vaihtoehto rivi 3:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 5 · 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 6 · Päättely

Haara 2: oletetaan, että R7C5=4 on totta.

Haara 2: oletetaan, että R7C5=4 on totta.
Haara 2: oletetaan, että R7C5=4 on totta.
Vaihe 7 · Päättely

R7C5=4 on totta. Poista R8C5=4.

R7C5=4 on totta. Poista R8C5=4.
R7C5=4 on totta. Poista R8C5=4.
Vaihe 8 · Päättely

Edellisten poissulkemisten jälkeen R8C5=2 on ainoa jäljellä oleva vaihtoehto R8C5:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R8C5=2 on ainoa jäljellä oleva vaihtoehto R8C5:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R8C5=2 on ainoa jäljellä oleva vaihtoehto R8C5:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 9 · Päättely

R8C5=2 on totta. Poista R3C5=2.

R8C5=2 on totta. Poista R3C5=2.
R8C5=2 on totta. Poista R3C5=2.
Vaihe 10 · Päättely

Edellisten poissulkemisten jälkeen R3C6=2 on ainoa jäljellä oleva vaihtoehto rivi 3:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R3C6=2 on ainoa jäljellä oleva vaihtoehto rivi 3:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R3C6=2 on ainoa jäljellä oleva vaihtoehto rivi 3:ssä. Se on pakotettu tämän oletuksen perusteella.
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 · Päättely

Haara 3: oletetaan, että R7C5=9 on totta.

Haara 3: oletetaan, että R7C5=9 on totta.
Haara 3: oletetaan, että R7C5=9 on totta.
Vaihe 13 · Päättely

R7C5=9 on totta. Poista {R7C7=9, R7C8=9, R7C9=9}.

R7C5=9 on totta. Poista {R7C7=9, R7C8=9, R7C9=9}.
R7C5=9 on totta. Poista {R7C7=9, R7C8=9, R7C9=9}.
Vaihe 14 · Päättely

Edellisten poissulkemisten jälkeen R7C8=7 on ainoa jäljellä oleva vaihtoehto R7C8:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R7C8=7 on ainoa jäljellä oleva vaihtoehto R7C8:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R7C8=7 on ainoa jäljellä oleva vaihtoehto R7C8:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 15 · Päättely

R7C8=7 on totta. Poista {R7C9=7, R9C7=7, R9C8=7}.

R7C8=7 on totta. Poista {R7C9=7, R9C7=7, R9C8=7}.
R7C8=7 on totta. Poista {R7C9=7, R9C7=7, R9C8=7}.
Vaihe 16 · Päättely

Edellisten poissulkemisten jälkeen R7C9=8 on ainoa jäljellä oleva vaihtoehto R7C9:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R7C9=8 on ainoa jäljellä oleva vaihtoehto R7C9:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R7C9=8 on ainoa jäljellä oleva vaihtoehto R7C9:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 17 · Päättely

R7C9=8 on totta. Poista {R7C7=8, R8C7=8, R9C7=8}.

R7C9=8 on totta. Poista {R7C7=8, R8C7=8, R9C7=8}.
R7C9=8 on totta. Poista {R7C7=8, R8C7=8, R9C7=8}.
Vaihe 18 · Päättely

Edellisten poissulkemisten jälkeen R9C1=7 on ainoa jäljellä oleva vaihtoehto rivi 9:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R9C1=7 on ainoa jäljellä oleva vaihtoehto rivi 9:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R9C1=7 on ainoa jäljellä oleva vaihtoehto rivi 9:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 19 · Päättely

Edellisten poissulkemisten jälkeen R4C7=8 on ainoa jäljellä oleva vaihtoehto sarake 7:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R4C7=8 on ainoa jäljellä oleva vaihtoehto sarake 7:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R4C7=8 on ainoa jäljellä oleva vaihtoehto sarake 7:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 20 · Päättely

R4C7=8 on totta. Poista R4C7=5.

R4C7=8 on totta. Poista R4C7=5.
R4C7=8 on totta. Poista R4C7=5.
Vaihe 21 · Päättely

Edellisten poissulkemisten jälkeen R4C9=7 on ainoa jäljellä oleva vaihtoehto sarake 9:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R4C9=7 on ainoa jäljellä oleva vaihtoehto sarake 9:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R4C9=7 on ainoa jäljellä oleva vaihtoehto sarake 9:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 22 · Päättely

R4C9=7 on totta. Poista R4C9=9.

R4C9=7 on totta. Poista R4C9=9.
R4C9=7 on totta. Poista R4C9=9.
Vaihe 23 · Päättely

Edellisten poissulkemisten jälkeen R6C9=9 on ainoa jäljellä oleva vaihtoehto sarake 9:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R6C9=9 on ainoa jäljellä oleva vaihtoehto sarake 9:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R6C9=9 on ainoa jäljellä oleva vaihtoehto sarake 9:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 24 · Päättely

R6C9=9 on totta. Poista R6C9=1.

R6C9=9 on totta. Poista R6C9=1.
R6C9=9 on totta. Poista R6C9=1.
Vaihe 25 · Päättely

Edellisten poissulkemisten jälkeen R5C7=1 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 6:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R5C7=1 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 6:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R5C7=1 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 6:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 26 · Päättely

R5C7=1 on totta. Poista {R5C7=5, R5C7=7}.

R5C7=1 on totta. Poista {R5C7=5, R5C7=7}.
R5C7=1 on totta. Poista {R5C7=5, R5C7=7}.
Vaihe 27 · Päättely

Edellisten poissulkemisten jälkeen R4C8=5 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 6:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R4C8=5 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 6:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R4C8=5 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 6:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 28 · Päättely

R4C8=5 on totta. Poista {R4C5=5, R8C8=5}.

R4C8=5 on totta. Poista {R4C5=5, R8C8=5}.
R4C8=5 on totta. Poista {R4C5=5, R8C8=5}.
Vaihe 29 · Päättely

R5C7=1 on totta. Poista {R2C7=1, R5C1=1}.

R5C7=1 on totta. Poista {R2C7=1, R5C1=1}.
R5C7=1 on totta. Poista {R2C7=1, R5C1=1}.
Vaihe 30 · Päättely

R9C1=7 on totta. Poista R5C1=7.

R9C1=7 on totta. Poista R5C1=7.
R9C1=7 on totta. Poista R5C1=7.
Vaihe 31 · Päättely

Edellisten poissulkemisten jälkeen R5C2=7 on ainoa jäljellä oleva vaihtoehto rivi 5:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R5C2=7 on ainoa jäljellä oleva vaihtoehto rivi 5:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R5C2=7 on ainoa jäljellä oleva vaihtoehto rivi 5:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 32 · Päättely

R5C2=7 on totta. Poista R5C2=3.

R5C2=7 on totta. Poista R5C2=3.
R5C2=7 on totta. Poista R5C2=3.
Vaihe 33 · Päättely

Edellisten poissulkemisten jälkeen R8C7=5 on ainoa jäljellä oleva vaihtoehto rivi 8:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R8C7=5 on ainoa jäljellä oleva vaihtoehto rivi 8:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R8C7=5 on ainoa jäljellä oleva vaihtoehto rivi 8:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 34 · Päättely

R8C7=5 on totta. Poista {R8C7=2, R8C7=6}.

R8C7=5 on totta. Poista {R8C7=2, R8C7=6}.
R8C7=5 on totta. Poista {R8C7=2, R8C7=6}.
Vaihe 35 · Päättely

Edellisten poissulkemisten jälkeen R1C1=1 on ainoa jäljellä oleva vaihtoehto sarake 1:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R1C1=1 on ainoa jäljellä oleva vaihtoehto sarake 1:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R1C1=1 on ainoa jäljellä oleva vaihtoehto sarake 1:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 36 · Päättely

Edellisten poissulkemisten jälkeen R7C7=6 on ainoa jäljellä oleva vaihtoehto sarake 7:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R7C7=6 on ainoa jäljellä oleva vaihtoehto sarake 7:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R7C7=6 on ainoa jäljellä oleva vaihtoehto sarake 7:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 37 · Päättely

R7C7=6 on totta. Poista R7C7=2.

R7C7=6 on totta. Poista R7C7=2.
R7C7=6 on totta. Poista R7C7=2.
Vaihe 38 · Päättely

Edellisten poissulkemisten jälkeen R9C7=2 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 9:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R9C7=2 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 9:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R9C7=2 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 9:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 39 · Päättely

R9C7=2 on totta. Poista R9C7=9.

R9C7=2 on totta. Poista R9C7=9.
R9C7=2 on totta. Poista R9C7=9.
Vaihe 40 · Päättely

Edellisten poissulkemisten jälkeen R9C8=9 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 9:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R9C8=9 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 9:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R9C8=9 on ainoa jäljellä oleva vaihtoehto 3×3 lohko 9:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 41 · Päättely

R9C8=9 on totta. Poista R9C8=3.

R9C8=9 on totta. Poista R9C8=3.
R9C8=9 on totta. Poista R9C8=3.
Vaihe 42 · Päättely

R1C1=1 on totta. Poista R2C3=1.

R1C1=1 on totta. Poista R2C3=1.
R1C1=1 on totta. Poista R2C3=1.
Vaihe 43 · Päättely

Edellisten poissulkemisten jälkeen R2C5=1 on ainoa jäljellä oleva vaihtoehto rivi 2:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R2C5=1 on ainoa jäljellä oleva vaihtoehto rivi 2:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R2C5=1 on ainoa jäljellä oleva vaihtoehto rivi 2:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 44 · Päättely

R2C5=1 on totta. Poista R2C5=5.

R2C5=1 on totta. Poista R2C5=5.
R2C5=1 on totta. Poista R2C5=5.
Vaihe 45 · Päättely

Edellisten poissulkemisten jälkeen R9C3=3 on ainoa jäljellä oleva vaihtoehto rivi 9:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R9C3=3 on ainoa jäljellä oleva vaihtoehto rivi 9:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R9C3=3 on ainoa jäljellä oleva vaihtoehto rivi 9:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 46 · Päättely

Edellisten poissulkemisten jälkeen R5C5=5 on ainoa jäljellä oleva vaihtoehto sarake 5:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R5C5=5 on ainoa jäljellä oleva vaihtoehto sarake 5:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R5C5=5 on ainoa jäljellä oleva vaihtoehto sarake 5:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 47 · Päättely

R5C5=5 on totta. Poista R5C5=3.

R5C5=5 on totta. Poista R5C5=3.
R5C5=5 on totta. Poista R5C5=3.
Vaihe 48 · Päättely

R9C3=3 on totta. Poista R5C3=3.

R9C3=3 on totta. Poista R5C3=3.
R9C3=3 on totta. Poista R5C3=3.
Vaihe 49 · Päättely

Edellisten poissulkemisten jälkeen R5C6=3 on ainoa jäljellä oleva vaihtoehto rivi 5:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R5C6=3 on ainoa jäljellä oleva vaihtoehto rivi 5:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R5C6=3 on ainoa jäljellä oleva vaihtoehto rivi 5:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 50 · Päättely

R5C6=3 on totta. Poista R3C6=3.

R5C6=3 on totta. Poista R3C6=3.
R5C6=3 on totta. Poista R3C6=3.
Vaihe 51 · Päättely

Edellisten poissulkemisten jälkeen R3C6=2 on ainoa jäljellä oleva vaihtoehto R3C6:ssä. Se on pakotettu tämän oletuksen perusteella.

Edellisten poissulkemisten jälkeen R3C6=2 on ainoa jäljellä oleva vaihtoehto R3C6:ssä. Se on pakotettu tämän oletuksen perusteella.
Edellisten poissulkemisten jälkeen R3C6=2 on ainoa jäljellä oleva vaihtoehto R3C6:ssä. Se on pakotettu tämän oletuksen perusteella.
Vaihe 52 · Päättely

Jokainen mahdollinen haara saavuttaa saman tosiasian: R3C6=2 on totta. Kun kaikki olettamukset on poistettu, tämä tosiasia on varma.

Jokainen mahdollinen haara saavuttaa saman tosiasian: R3C6=2 on totta. Kun kaikki olettamukset on poistettu, tämä tosiasia on varma.
Jokainen mahdollinen haara saavuttaa saman tosiasian: R3C6=2 on totta. Kun kaikki olettamukset on poistettu, tämä tosiasia on varma.
Vaihe 53 · Johtopäätös

Tämä kuvio pakottaa R3C6=2:n.

Tämä kuvio pakottaa R3C6=2:n.
Tämä kuvio pakottaa R3C6=2:n.

Mitä se sallii

Tämä kuvio pakottaa R3C6=2:n.

Pakotusverkko (Forcing Net) · Poista kumottu ehdokasnumero tai käytä kaikkien tyhjentävien haarojen yhteistä tulosta.
Pakotusverkko (Forcing Net) · Poista kumottu ehdokasnumero tai käytä kaikkien tyhjentävien haarojen yhteistä tulosta.

Harjoittelu

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

Katso Google Playssa