Platon Sudoku · Opiskele sudokua

Värityskomponenttien ristiriita (Multi-Component Coloring Contradiction) · Vaiheittainen esimerkki

vahvat päättelylinkit värittävät yhden numeron vastakkaisiin loogisiin totuustiloihin kunkin komponentin sisällä; komponenttien väliset suhteet rajoittavat, mitkä loogiset totuustilat voivat esiintyä rinnakkain. Poista ehdokasnumero, joka on jätetty pois kaikkien yhdenmukaisten värimäärityksistä.

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

Katso Google Playssa

Tunnista kuvio

Kuinka löytää se

Väritä jokainen yhdistetty komponentti erikseen ja tarkasta sitten komponenttien väliset ristiriidat ja kohteet, jotka näkevät kaikki säilyneet vaihtoehdot.

Mitä se sallii

Poista ehdokasnumero, joka on jätetty pois kaikkien yhdenmukaisten värimäärityksistä.

Vältä sekoittumista

Älä yhdistä erillisiä komponentteja vahvistamattomalla vahvalla päättelylinkillä tai oleta, että väri on jo asetettu.

Vaiheittainen esimerkki · Monimutkainen väri

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 · Vahvista alkava saman loogisen totuuden tilaryhmä

“Värityskomponenttien ristiriita (Multi-Component Coloring Contradiction)” — Tämä nimi kuvaa sovelluksen omaa usean komponentin todistusta, ei erillistä samannimistä HoDoKu-tekniikkaa. Numeron 2 ehdokkaat muodostavat 4 erillistä värityskomponenttia. Värien vuorottelu vahvoja linkkejä pitkin sijoittaa R3C1=2, R8C2=2 komponentin 2 puolelle A: niillä on sama totuusarvo, ja ne ovat juuri kohde-ehdokkaat R3C1=2, R8C2=2. A ja B ovat vastakkaiset jokaisessa komponentissa; komponenttien väliset ristiriidat yhdistävät tiloja.

Vaihe 2 · Oletetaan, että looginen tavoitetila on tosi

Käsittele koko saman loogisen totuustilaryhmän R3C1=2, R8C2=2 yhtenä loogisen totuustilana ja oleta väliaikaisesti sen olevan tosi. Seuraa komponenttien välisiä ristiriitoja.

Vaihe 3 · Seuraa jokaista komponenttimuutosta

1. R3C1=2 on tosi, joten näkyvä vertaisarvo R1C2=2 on epätosi. Vastakkainen A/B looginen totuustila R1C9=2 kyseisessä ryhmässä on siis tosi. 2. R1C9=2 on tosi, joten näkyvä vertaisarvo R5C9=2 on epätosi. Vastakkainen A/B looginen totuustila R4C7=2, R5C6=2 kyseisessä ryhmässä on siis tosi. 3. R4C7=2 on tosi, joten näkyvä vertaisarvo R4C4=2 on epätosi. Vastakkainen A/B looginen totuustila R3C4=2 kyseisessä ryhmässä on siis tosi. 4. R3C4=2 on tosi, joten näkyvä vertaisarvo R3C1=2 on epätosi. Vastakkainen A/B looginen totuustila R8C1=2 kyseisessä ryhmässä on siis tosi.

Vaihe 4 · Oletus pakottaa vastakohtansa

Oletus R3C1=2, R8C2=2 pakottaa lopulta R8C1=2, vastakkaisen A/B loogisen totuustilan samassa ryhmässä. Molemmat loogiset totuustilat eivät voi olla tosia, joten oletus on väärä.