Suomi

Platon Sudoku · Opiskele sudokua

Moniväritys (Multi-Coloring) · Vaiheittainen esimerkki

Kahdella erillisellä yhden numeron värikomponentilla on vastakkaiset A/B loogiset totuustilat. A ehdokasnumero kustakin komponentista näkee toisen, mikä luo komponenttien välisen ristiriidan. Poista numero kohteesta, joka näkee ehdokkaan kussakin vastakkaisessa vaihtoehdossa.

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

Katso Google Playssa

Tunnista kuvio

Kahdella erillisellä yhden numeron värikomponentilla on vastakkaiset A/B loogiset totuustilat. A ehdokasnumero kustakin komponentista näkee toisen, mikä luo komponenttien välisen ristiriidan.

Kuinka löytää se

Rakenna kaksi erillistä vahvan linkin verkkoa, merkitse niiden A/B loogiset totuustilat ja etsi ehdokasnumerot eri komponenteista, jotka näkevät toisensa.

Mitä se sallii

Poista numero kohteesta, joka näkee ehdokkaan kussakin vastakkaisessa vaihtoehdossa.

Vältä sekoittumista

Älä yhdistä kahta komponenttia yhdeksi väriketjuksi. Tarkista kunkin komponentin vahvat linkit ja kohteen näkemys molemmista vaihtoehdoista.

Vaiheittainen esimerkki · Kaksi komponenttia

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 · Tämä on Multi Coloring

Tämä esittely kattaa HoDoKu Multi Colors Type 1:n: kaksi värillistä komponenttia sisältävät komponenttien välisen ristiriidan. ehdokasnumero 6 muodostaa nämä kaksi erillistä värikomponenttia. Jokaisessa komponentissa ympyrällä merkitty A ja neliömerkitty B ovat vastakkaisia ​​loogisia totuustiloja. Pidä kohde R7C2=6 näkyvissä.

Tämä esittely kattaa HoDoKu Multi Colors Type 1:n: kaksi värillistä komponenttia sisältävät komponenttien välisen ristiriidan. ehdokasnumero 6 muodostaa nämä kaksi erillistä värikomponenttia. Jokaisessa komponentissa ympyrällä merkitty A ja neliömerkitty B ovat vastakkaisia ​​loogisia totuustiloja. Pidä kohde R7C2=6 näkyvissä.
Tämä esittely kattaa HoDoKu Multi Colors Type 1:n: kaksi värillistä komponenttia sisältävät komponenttien välisen ristiriidan. ehdokasnumero 6 muodostaa nämä kaksi erillistä värikomponenttia. Jokaisessa komponentissa ympyrällä merkitty A ja neliömerkitty B ovat vastakkaisia ​​loogisia totuustiloja. Pidä kohde R7C2=6 näkyvissä.

● 1A: R2C2=6

■ 1B: R2C4=6

● 2A: R3C5=6

■ 2B: R7C5=6

Vaihe 2 · Tarkasta komponentti 1

Värityskomponentti 1: ympyrämerkitty A = R2C2=6; neliömerkitty B = R2C4=6. A ja B ovat vastakkaisia ​​loogisia totuustiloja, ja jokainen vahva päättelylinkki liittää ne tähän komponenttiin.

Värityskomponentti 1: ympyrämerkitty A = R2C2=6; neliömerkitty B = R2C4=6. A ja B ovat vastakkaisia ​​loogisia totuustiloja, ja jokainen vahva päättelylinkki liittää ne tähän komponenttiin.
Värityskomponentti 1: ympyrämerkitty A = R2C2=6; neliömerkitty B = R2C4=6. A ja B ovat vastakkaisia ​​loogisia totuustiloja, ja jokainen vahva päättelylinkki liittää ne tähän komponenttiin.

● 1A: R2C2=6

■ 1B: R2C4=6

● 2A: R3C5=6

■ 2B: R7C5=6

Vaihe 3 · Tarkasta komponentti 2

Värityskomponentti 2: ympyrämerkitty A = R3C5=6; neliömerkitty B = R7C5=6. A ja B ovat vastakkaisia ​​loogisia totuustiloja, ja jokainen vahva päättelylinkki liittää ne tähän komponenttiin.

Värityskomponentti 2: ympyrämerkitty A = R3C5=6; neliömerkitty B = R7C5=6. A ja B ovat vastakkaisia ​​loogisia totuustiloja, ja jokainen vahva päättelylinkki liittää ne tähän komponenttiin.
Värityskomponentti 2: ympyrämerkitty A = R3C5=6; neliömerkitty B = R7C5=6. A ja B ovat vastakkaisia ​​loogisia totuustiloja, ja jokainen vahva päättelylinkki liittää ne tähän komponenttiin.

● 1A: R2C2=6

■ 1B: R2C4=6

● 2A: R3C5=6

■ 2B: R7C5=6

Vaihe 4 · Etsi komponenttien välinen ristiriita

R2C4=6 ja R3C5=6 kuuluvat eri komponentteihin, mutta näkevät toisensa 3×3 lohko 2:ssä. Ne eivät voi olla totta samaan aikaan.

R2C4=6 ja R3C5=6 kuuluvat eri komponentteihin, mutta näkevät toisensa 3×3 lohko 2:ssä. Ne eivät voi olla totta samaan aikaan.
R2C4=6 ja R3C5=6 kuuluvat eri komponentteihin, mutta näkevät toisensa 3×3 lohko 2:ssä. Ne eivät voi olla totta samaan aikaan.

● 1A: R2C2=6

■ 1B: R2C4=6

● 2A: R3C5=6

■ 2B: R7C5=6

Vaihe 5 · Ainakin yksi päinvastainen looginen totuustila on tosi

Koska ristiriitaiset loogiset totuustilat eivät voi olla tosia samanaikaisesti, vähintään yhden vastakkaisen loogisen totuustilan - R2C2=6 tai R7C5=6 - on oltava tosi.

Koska ristiriitaiset loogiset totuustilat eivät voi olla tosia samanaikaisesti, vähintään yhden vastakkaisen loogisen totuustilan - R2C2=6 tai R7C5=6 - on oltava tosi.
Koska ristiriitaiset loogiset totuustilat eivät voi olla tosia samanaikaisesti, vähintään yhden vastakkaisen loogisen totuustilan - R2C2=6 tai R7C5=6 - on oltava tosi.

● 1A: R2C2=6

■ 1B: R2C4=6

● 2A: R3C5=6

■ 2B: R7C5=6

Vaihe 6 · Kohde näkee molemmat vaihtoehdot

R7C2=6 näkee R2C2=6 ja R7C5=6. Mikä tahansa vastakkainen looginen totuustila on tosi, sulkee pois kohteen.

R7C2=6 näkee R2C2=6 ja R7C5=6. Mikä tahansa vastakkainen looginen totuustila on tosi, sulkee pois kohteen.
R7C2=6 näkee R2C2=6 ja R7C5=6. Mikä tahansa vastakkainen looginen totuustila on tosi, sulkee pois kohteen.

● 1A: R2C2=6

■ 1B: R2C4=6

● 2A: R3C5=6

■ 2B: R7C5=6

Vaihe 7 · Poista kohdeehdokasnumero

Poista R7C2=6.

Poista R7C2=6.
Poista R7C2=6.

● 1A: R2C2=6

■ 1B: R2C4=6

● 2A: R3C5=6

■ 2B: R7C5=6

Mitä se sallii

Poista R7C2=6.

Moniväritys (Multi-Coloring) · Poista numero kohteesta, joka näkee ehdokkaan kussakin vastakkaisessa vaihtoehdossa.
Moniväritys (Multi-Coloring) · Poista numero kohteesta, joka näkee ehdokkaan kussakin vastakkaisessa vaihtoehdossa.

Harjoittelu

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

Katso Google Playssa