Platon Games
Suomi

Platon Sudoku · Opiskele sudokua

Yksinkertainen väritys (Simple Coloring) · Vaiheittainen esimerkki

Yhdellä yhden numeron vahvojen päättelylinkkien yhdistetyllä verkossa on kaksi vastakkaista loogista totuustilaa, A ja B. Joko A on totta tai B on totta. Poista ehdokasnumero, jonka molemmat loogiset totuustilat näkevät (väriloukku), tai poista jokainen ehdokasnumero loogisesta totuustilasta, jonka kaksi jäsentä näkevät toisensa (väriristiriita).

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

Katso Google Playssa

Tunnista kuvio

Yhdellä yhden numeron vahvojen päättelylinkkien yhdistetyllä verkossa on kaksi vastakkaista loogista totuustilaa, A ja B. Joko A on totta tai B on totta.

Kuinka löytää se

Aloita alueesta, joka sisältää täsmälleen kaksi ehdokasnumeroa yhdelle numerolle, ja vaihda sitten A ja B jokaisessa yhdistetyssä vahvassa päättelylinkissä.

Mitä se sallii

Poista ehdokasnumero, jonka molemmat loogiset totuustilat näkevät (väriloukku), tai poista jokainen ehdokasnumero loogisesta totuustilasta, jonka kaksi jäsentä näkevät toisensa (väriristiriita).

Vältä sekoittumista

Väritä vain ehdokasnumerot, jotka on yhdistetty vahvistetuilla vahvoilla päättelylinkeillä. Jaettu väri on hypoteettinen looginen totuustila, ei asetettu vastaus.

Vaiheittainen esimerkki · Väriloukku

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 · Etsi ensimmäinen vahva päättelylinkki

Mallissa 3×3 lohko 1, 4 voidaan käyttää vain mallia R1C3 tai R3C2. Nämä ehdokasnumerot kuuluvat samaan värikomponenttiin ja ne on merkitty ympyröillä A ja neliömerkillä B; A ja B ovat vastakkaisia ​​loogisia totuustiloja.

Mallissa 3×3 lohko 1, 4 voidaan käyttää vain mallia R1C3 tai R3C2. Nämä ehdokasnumerot kuuluvat samaan värikomponenttiin ja ne on merkitty ympyröillä A ja neliömerkillä B; A ja B ovat vastakkaisia ​​loogisia totuustiloja.
Mallissa 3×3 lohko 1, 4 voidaan käyttää vain mallia R1C3 tai R3C2. Nämä ehdokasnumerot kuuluvat samaan värikomponenttiin ja ne on merkitty ympyröillä A ja neliömerkillä B; A ja B ovat vastakkaisia ​​loogisia totuustiloja.

● 1A: R1C3=4

■ 1B: R3C2=4

Vaihe 2 · Seuraa vahvoja päättelylinkkejä

Jatka 4:n jokaisen liitetyn vahvan päättelylinkin läpi. Tämän komponentin sisällä jokainen linkki liittyy ympyrällä merkittyyn A ja neliömerkillä B, jotka ovat kaksi vastakkaista loogista totuustilaa.

Jatka 4:n jokaisen liitetyn vahvan päättelylinkin läpi. Tämän komponentin sisällä jokainen linkki liittyy ympyrällä merkittyyn A ja neliömerkillä B, jotka ovat kaksi vastakkaista loogista totuustilaa.
Jatka 4:n jokaisen liitetyn vahvan päättelylinkin läpi. Tämän komponentin sisällä jokainen linkki liittyy ympyrällä merkittyyn A ja neliömerkillä B, jotka ovat kaksi vastakkaista loogista totuustilaa.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

Vaihe 3 · Täydennä väriverkosto

Nämä 4-ehdokasnumerot muodostavat yhden yhdistetyn verkon. Jokainen kiinteä viiva on vahva päättelylinkki 4:lle.

Nämä 4-ehdokasnumerot muodostavat yhden yhdistetyn verkon. Jokainen kiinteä viiva on vahva päättelylinkki 4:lle.
Nämä 4-ehdokasnumerot muodostavat yhden yhdistetyn verkon. Jokainen kiinteä viiva on vahva päättelylinkki 4:lle.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

Vaihe 4 · Ymmärrä kaksi loogista totuustilaa

Joko kaikki A:t ovat tosia ja kaikki B:t epätosia tai kaikki B:t ovat tosia ja kaikki A:t epätosia. Meidän ei tarvitse tietää etukäteen, kumpi tila toteutuu.

Joko kaikki A:t ovat tosia ja kaikki B:t epätosia tai kaikki B:t ovat tosia ja kaikki A:t epätosia. Meidän ei tarvitse tietää etukäteen, kumpi tila toteutuu.
Joko kaikki A:t ovat tosia ja kaikki B:t epätosia tai kaikki B:t ovat tosia ja kaikki A:t epätosia. Meidän ei tarvitse tietää etukäteen, kumpi tila toteutuu.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

Vaihe 5 · Etsi kohde, joka näkee A ja B

R8C5=4 näkee A kohdassa R3C5=4 ja B kohdassa R8C3=4. Riippumatta siitä, kumpi looginen totuustila on tosi, toinen näistä kahdesta ehdokasnumerosta sulkee kohteen pois.

R8C5=4 näkee A kohdassa R3C5=4 ja B kohdassa R8C3=4. Riippumatta siitä, kumpi looginen totuustila on tosi, toinen näistä kahdesta ehdokasnumerosta sulkee kohteen pois.
R8C5=4 näkee A kohdassa R3C5=4 ja B kohdassa R8C3=4. Riippumatta siitä, kumpi looginen totuustila on tosi, toinen näistä kahdesta ehdokasnumerosta sulkee kohteen pois.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

Vaihe 6 · Poista jäänyt ehdokasnumero

Koska jokainen kohde näkee molemmat mahdolliset loogiset totuustilat, poista R8C5=4.

Koska jokainen kohde näkee molemmat mahdolliset loogiset totuustilat, poista R8C5=4.
Koska jokainen kohde näkee molemmat mahdolliset loogiset totuustilat, poista R8C5=4.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

Mitä se sallii

Koska jokainen kohde näkee molemmat mahdolliset loogiset totuustilat, poista R8C5=4.

Yksinkertainen väritys (Simple Coloring) · Poista ehdokasnumero, jonka molemmat loogiset totuustilat näkevät (väriloukku), tai poista jokainen ehdokasnumero loogisesta totuustilasta, jonka kaksi jäsentä näkevät toisensa (väriristiriita).
Yksinkertainen väritys (Simple Coloring) · Poista ehdokasnumero, jonka molemmat loogiset totuustilat näkevät (väriloukku), tai poista jokainen ehdokasnumero loogisesta totuustilasta, jonka kaksi jäsentä näkevät toisensa (väriristiriita).

Vaiheittainen esimerkki · Samanvärinen konflikti

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 · Etsi ensimmäinen vahva päättelylinkki

Mallissa rivi 1, 1 voidaan käyttää vain mallia R1C3 tai R1C4. Nämä ehdokasnumerot kuuluvat samaan värikomponenttiin ja ne on merkitty ympyröillä A ja neliömerkillä B; A ja B ovat vastakkaisia ​​loogisia totuustiloja.

Mallissa rivi 1, 1 voidaan käyttää vain mallia R1C3 tai R1C4. Nämä ehdokasnumerot kuuluvat samaan värikomponenttiin ja ne on merkitty ympyröillä A ja neliömerkillä B; A ja B ovat vastakkaisia ​​loogisia totuustiloja.
Mallissa rivi 1, 1 voidaan käyttää vain mallia R1C3 tai R1C4. Nämä ehdokasnumerot kuuluvat samaan värikomponenttiin ja ne on merkitty ympyröillä A ja neliömerkillä B; A ja B ovat vastakkaisia ​​loogisia totuustiloja.

● 1A: R1C3=1

■ 1B: R1C4=1

Vaihe 2 · Seuraa vahvoja päättelylinkkejä

Jatka 1:n jokaisen liitetyn vahvan päättelylinkin läpi. Tämän komponentin sisällä jokainen linkki liittyy ympyrällä merkittyyn A ja neliömerkillä B, jotka ovat kaksi vastakkaista loogista totuustilaa.

Jatka 1:n jokaisen liitetyn vahvan päättelylinkin läpi. Tämän komponentin sisällä jokainen linkki liittyy ympyrällä merkittyyn A ja neliömerkillä B, jotka ovat kaksi vastakkaista loogista totuustilaa.
Jatka 1:n jokaisen liitetyn vahvan päättelylinkin läpi. Tämän komponentin sisällä jokainen linkki liittyy ympyrällä merkittyyn A ja neliömerkillä B, jotka ovat kaksi vastakkaista loogista totuustilaa.

● 1A: R1C3=1, R4C2=1

■ 1B: R1C4=1, R4C4=1, R6C3=1

Vaihe 3 · Täydennä väriverkosto

Nämä 5-ehdokasnumerot muodostavat yhden yhdistetyn verkon. Jokainen vahva päättelylinkki liittää A:n B:ään, joten kaikilla A-ehdokasnumeroilla on yksi looginen totuustila ja kaikilla B-ehdokasnumeroilla toinen.

Nämä 5-ehdokasnumerot muodostavat yhden yhdistetyn verkon. Jokainen vahva päättelylinkki liittää A:n B:ään, joten kaikilla A-ehdokasnumeroilla on yksi looginen totuustila ja kaikilla B-ehdokasnumeroilla toinen.
Nämä 5-ehdokasnumerot muodostavat yhden yhdistetyn verkon. Jokainen vahva päättelylinkki liittää A:n B:ään, joten kaikilla A-ehdokasnumeroilla on yksi looginen totuustila ja kaikilla B-ehdokasnumeroilla toinen.

● 1A: R1C3=1, R4C2=1

■ 1B: R1C4=1, R4C4=1, R6C3=1

Vaihe 4 · Etsi saman loogisen totuustilan ristiriita

R1C4=1 ja R4C4=1 ovat molemmat loogisessa totuustilassa B ja näkevät toisensa. Molemmat eivät voi olla 1, joten looginen totuustila B on mahdoton.

R1C4=1 ja R4C4=1 ovat molemmat loogisessa totuustilassa B ja näkevät toisensa. Molemmat eivät voi olla 1, joten looginen totuustila B on mahdoton.
R1C4=1 ja R4C4=1 ovat molemmat loogisessa totuustilassa B ja näkevät toisensa. Molemmat eivät voi olla 1, joten looginen totuustila B on mahdoton.

● 1A: R1C3=1, R4C2=1

■ 1B: R1C4=1, R4C4=1, R6C3=1

Vaihe 5 · Looginen totuustila B on mahdoton

Konflikti sulkee pois koko B loogisen totuustilan. Yliviivaa kaikki looginen totuustila - B ehdokasnumero yhdessä: R1C4=1, R4C4=1, R6C3=1.

Konflikti sulkee pois koko B loogisen totuustilan. Yliviivaa kaikki looginen totuustila - B ehdokasnumero yhdessä: R1C4=1, R4C4=1, R6C3=1.
Konflikti sulkee pois koko B loogisen totuustilan. Yliviivaa kaikki looginen totuustila - B ehdokasnumero yhdessä: R1C4=1, R4C4=1, R6C3=1.

● 1A: R1C3=1, R4C2=1

■ 1B: R1C4=1, R4C4=1, R6C3=1

Vaihe 6 · Poista ristiriitainen looginen totuustila

Poista virheellinen looginen totuustila-B ehdokasnumerot: R1C4=1, R4C4=1, R6C3=1.

Poista virheellinen looginen totuustila-B ehdokasnumerot: R1C4=1, R4C4=1, R6C3=1.
Poista virheellinen looginen totuustila-B ehdokasnumerot: R1C4=1, R4C4=1, R6C3=1.

● 1A: R1C3=1, R4C2=1

■ 1B: R1C4=1, R4C4=1, R6C3=1

Mitä se sallii

Poista virheellinen looginen totuustila-B ehdokasnumerot: R1C4=1, R4C4=1, R6C3=1.

Yksinkertainen väritys (Simple Coloring) · Poista ehdokasnumero, jonka molemmat loogiset totuustilat näkevät (väriloukku), tai poista jokainen ehdokasnumero loogisesta totuustilasta, jonka kaksi jäsentä näkevät toisensa (väriristiriita).
Yksinkertainen väritys (Simple Coloring) · Poista ehdokasnumero, jonka molemmat loogiset totuustilat näkevät (väriloukku), tai poista jokainen ehdokasnumero loogisesta totuustilasta, jonka kaksi jäsentä näkevät toisensa (väriristiriita).

Harjoittelu

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

Katso Google Playssa