Platon Sudoku · Opiskele sudokua
Yhden numeron ryhmitelty AIC (Single-Digit Grouped AIC) · Vaiheittainen esimerkki
Ryhmitetty solmu tarkoittaa, että ainakin yksi useista ehdokasnumeroista on tosi; se voi osallistua vuorottelevaan päättelyketjuun. Eliminoi ketjun pakottavien päätepisteiden näkemä kohde.
Tämä oppitunti perustuu Platon Sudoku -sovelluksen opetusaineistoon. Lue koko esimerkki täällä ja jatka oppimista ja harjoittelua sovelluksessa.
Katso Google PlayssaTunnista kuvio
Ryhmitetty solmu tarkoittaa, että ainakin yksi useista ehdokasnumeroista on tosi; se voi osallistua vuorottelevaan päättelyketjuun.
Kuinka löytää se
Tarkista, että ryhmitetyt ruudut jakavat vaaditun alueen, ja jäljitä sitten vahvat ja heikot päättelylinkit yhden tai useamman ryhmäsolmun kautta.
Mitä se sallii
Eliminoi ketjun pakottavien päätepisteiden näkemä kohde.
Vältä sekoittumista
Todellinen ryhmä ei tarkoita, että jokainen jäsen on totta. Säilytä ryhmän OR merkitys, kun seuraat ketjua.
Vaiheittainen esimerkki · Yksi ryhmä
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ä
Mallissa 3×3 lohko 6 ja 2 voidaan käyttää vain mallia R4C7, R4C8, R5C8. Numeron tulee esiintyä kerran tällä alueella.
G1: R4C8=2, R5C8=2
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi
Vaihe 2 · Päättely
Mallissa sarake 5 ja 2 voidaan käyttää vain mallia R1C5, R4C5. Numeron tulee esiintyä kerran tällä alueella.
G1: R4C8=2, R5C8=2
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi
Vaihe 3 · Päättely
Mallissa sarake 9 ja 2 voidaan käyttää vain mallia R1C9, R8C9. Numeron tulee esiintyä kerran tällä alueella.
G1: R4C8=2, R5C8=2
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi
Vaihe 4 · Nimeä OR-ehdokasnumeroryhmät
Numeroidut aaltosulut ja selitteet määrittelevät nämä nimetyt ryhmät: OR ehdokasnumeroryhmä A = R4C8=2, R5C8=2. Jokainen ryhmä on yksi OR looginen totuustila: vähintään yksi ehdokasnumero siinä on tosi, mutta ketju ei väitä jokaisen jäsenen olevan tosi.
G1: R4C8=2, R5C8=2
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi
Vaihe 5 · Päättely
Haara 1: oletetaan, että OR ehdokasnumeroryhmä A on väärä.
G1: R4C8=2, R5C8=2
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi
Vaihe 6 · Ryhmän vahva päättelylinkki: pakota toiselle puolelle
Tapaus 1: OR ehdokasnumeroryhmä A on väärä, joten ryhmän vahva päättelylinkki pakottaa R4C7=2:n. Jos tämä on OR-ryhmä, vähintään yksi sen ehdokasnumeroista on tosi.
G1: R4C8=2, R5C8=2
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi
Vaihe 7 · Ryhmän heikko päättelylinkki: sulje pois ristiriitainen puoli
R4C7=2 on tosi ketjuloogisen totuustilana, joten toisensa poissulkeva puoli R4C5=2 on epätosi.
G1: R4C8=2, R5C8=2
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi
Vaihe 8 · Ryhmän vahva päättelylinkki: toisen puolen on säilyttävä
R4C5=2 on väärä, joten ryhmän vahva päättelylinkki pakottaa R1C5=2:n.
G1: R4C8=2, R5C8=2
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi
Vaihe 9 · Ryhmän heikko päättelylinkki: sulje pois ristiriitainen puoli
R1C5=2 on tosi ketjuloogisen totuustilana, joten toisensa poissulkeva puoli R1C9=2 on epätosi.
G1: R4C8=2, R5C8=2
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi
Vaihe 10 · Epäsuora päätepiste sulkee pois kohteet
R8C9=2 on tosi kuin päätepisteen looginen totuustila, joten se jättää kohteet pois.
G1: R4C8=2, R5C8=2
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi
Vaihe 11 · Poista edellinen suorakulmion täyttö
Peruuta tämä oletus ja sen seuraukset. Palaa muuttumattomaan ehdokasnumeron tilannekuvaan ennen kuin tutkit seuraavaa mahdollisuutta.
G1: R4C8=2, R5C8=2
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi
Vaihe 12 · Tapaus 2: ensimmäinen päätepiste on tosi
Ensimmäinen päätepiste OR ehdokasnumeroryhmä A on tosi OR loogisen totuustilana, joten se sulkee kohteet pois.
G1: R4C8=2, R5C8=2
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi
Vaihe 13 · Molemmat päätetapaukset ovat samaa mieltä
Kaksi päätepistetapausta tyhjentävät vaihtoehdot, ja molemmat eivät sisällä R7C8=2, R8C8=2:tä. Poista ne, kun olet poistanut väliaikaiset loogiset totuustilat.
G1: R4C8=2, R5C8=2
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi
Mitä se sallii
Kaksi päätepistetapausta tyhjentävät vaihtoehdot, ja molemmat eivät sisällä R7C8=2, R8C8=2:tä. Poista ne, kun olet poistanut väliaikaiset loogiset totuustilat.
Vaiheittainen esimerkki · Useita ryhmiä
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ä
Mallissa 3×3 lohko 1 ja 8 voidaan käyttää vain mallia R2C2, R3C1. Numeron tulee esiintyä kerran tällä alueella.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi · 2: OR ryhmä B: vähintään yksi ehdokasnumero on tosi
Vaihe 2 · Päättely
Mallissa 3×3 lohko 2 ja 8 voidaan käyttää vain mallia R1C6, R2C4, R2C5. Numeron tulee esiintyä kerran tällä alueella.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi · 2: OR ryhmä B: vähintään yksi ehdokasnumero on tosi
Vaihe 3 · Päättely
Mallissa rivi 8 ja 8 voidaan käyttää vain mallia R8C1, R8C2, R8C3, R8C6. Numeron tulee esiintyä kerran tällä alueella.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi · 2: OR ryhmä B: vähintään yksi ehdokasnumero on tosi
Vaihe 4 · Nimeä OR-ehdokasnumeroryhmät
Numeroidut aaltosulut ja selitteet määrittelevät nämä nimetyt ryhmät: OR ehdokasnumeroryhmä A = R2C4=8, R2C5=8, OR ehdokasnumeroryhmä B = R8C1=8, R8C2=8, R8C3=8. Jokainen ryhmä on yksi OR looginen totuustila: vähintään yksi ehdokasnumero siinä on tosi, mutta ketju ei väitä jokaisen jäsenen olevan tosi.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi · 2: OR ryhmä B: vähintään yksi ehdokasnumero on tosi
Vaihe 5 · Päättely
Haara 1: oletetaan, että R3C1=8 on väärä.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi · 2: OR ryhmä B: vähintään yksi ehdokasnumero on tosi
Vaihe 6 · Ryhmän vahva päättelylinkki: pakota toiselle puolelle
Tapaus 1: R3C1=8 on väärä, joten ryhmän vahva päättelylinkki pakottaa R2C2=8:n. Jos tämä on OR-ryhmä, vähintään yksi sen ehdokasnumeroista on tosi.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi · 2: OR ryhmä B: vähintään yksi ehdokasnumero on tosi
Vaihe 7 · Ryhmän heikko päättelylinkki: sulje pois ristiriitainen puoli
R2C2=8 on tosi ketjuloogisen totuustilana, joten toisensa poissulkeva puoli R2C4=8, R2C5=8 on epätosi.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi · 2: OR ryhmä B: vähintään yksi ehdokasnumero on tosi
Vaihe 8 · Ryhmän vahva päättelylinkki: toisen puolen on säilyttävä
OR ehdokasnumeroryhmä A on väärä, joten ryhmän vahva päättelylinkki pakottaa R1C6=8:n.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi · 2: OR ryhmä B: vähintään yksi ehdokasnumero on tosi
Vaihe 9 · Ryhmän heikko päättelylinkki: sulje pois ristiriitainen puoli
R1C6=8 on tosi ketjuloogisen totuustilana, joten toisensa poissulkeva puoli R8C6=8 on epätosi.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi · 2: OR ryhmä B: vähintään yksi ehdokasnumero on tosi
Vaihe 10 · Epäsuora päätepiste sulkee pois kohteet
OR ehdokasnumeroryhmä B on tosi kuin päätepisteen looginen totuustila, joten se jättää kohteet pois.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi · 2: OR ryhmä B: vähintään yksi ehdokasnumero on tosi
Vaihe 11 · Poista edellinen suorakulmion täyttö
Peruuta tämä oletus ja sen seuraukset. Palaa muuttumattomaan ehdokasnumeron tilannekuvaan ennen kuin tutkit seuraavaa mahdollisuutta.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi · 2: OR ryhmä B: vähintään yksi ehdokasnumero on tosi
Vaihe 12 · Tapaus 2: ensimmäinen päätepiste on tosi
Ensimmäinen päätepiste R3C1=8 on tosi OR loogisen totuustilana, joten se sulkee kohteet pois.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi · 2: OR ryhmä B: vähintään yksi ehdokasnumero on tosi
Vaihe 13 · Molemmat päätetapaukset ovat samaa mieltä
Kaksi päätepistetapausta tyhjentävät vaihtoehdot, ja molemmat eivät sisällä R9C1=8:tä. Poista ne, kun olet poistanut väliaikaiset loogiset totuustilat.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR ryhmä A: vähintään yksi ehdokasnumero on tosi · 2: OR ryhmä B: vähintään yksi ehdokasnumero on tosi
Mitä se sallii
Kaksi päätepistetapausta tyhjentävät vaihtoehdot, ja molemmat eivät sisällä R9C1=8:tä. Poista ne, kun olet poistanut väliaikaiset loogiset totuustilat.
Harjoittelu
Tämä oppitunti perustuu Platon Sudoku -sovelluksen opetusaineistoon. Lue koko esimerkki täällä ja jatka oppimista ja harjoittelua sovelluksessa.
Katso Google Playssa