Y-Wing-sudoku: tunnista ja käytä sitä esimerkein

Sisällysluettelo

• Mikä on Y-Wing-sudoku ja miksi se toimii?
• Näin tunnistat Y-Wing-sudoku-kuvion vaihe vaiheelta
• Ratkaistu esimerkki 1: klassinen sarana ja puristimet yhdessä laatikossa
• Ratkaistu esimerkki 2: puristimet eri yksiköissä
• Miksi Y-Wing-sudoku on parempi kuin arvaaminen keskitason ratkojille
• Y-Wing vs. vastaavat tekniikat: vahvuudet, rajat ja käyttötapaukset
• Taustalla oleva logiikka: vahvan ja heikon linkin malli
• Asiantuntijan vinkki: näin vältät väärät osumat
• Yleiset virheet ja miten tarkistat päättelysi
• Käytännössä: toistettava rutiini, jota käytän oikeissa pulmissa
• Edistyneet muunnelmat: perus-Y-Wing-sudokun yli
• Harjoittelusuunnitelma: rakenna tapa nopeasti
• Milloin Y-Wing-sudoku ei ole oikea valinta (ja mitä tehdä sen sijaan)
• Laatutarkistus ennen kuin vahvistat poiston
• Miksi tämä toimii johdonmukaisesti: logiikkaa, ei tuuria
• Keskeiset huomiot

Tiivis vastaus ensin Y-Wing-sudoku (usein nimellä XY-Wing) on kolmen solun kuvio, joka poistaa ehdokkaan soluista, jotka näkevät molemmat "puristinsolut". Etsi sarana, jossa on kaksi ehdokasta XY, ja kaksi puristinta XZ ja YZ, jotka kumpikin näkevät saranan; poista sitten Z kaikista soluista, jotka näkevät molemmat puristimet. Se on nopea, ei-arvaamiseen perustuva päättely, joka ratkaisee monia keskivaikeita ja vaikeita pulmia.

Johdanto: miksi tämä tekniikka on tärkeä Y-Wing-sudoku muuttaa jumittuneet ruudukot ratkaistaviksi poluiksi ilman yritystä ja erehdystä. Kun olen valmentanut keskitason ratkojia, olen nähnyt sen avaavan etenemisketjuja, joita yksinkertaiset yksinäiset ja parit eivät huomaa. Kun opit tunnistamaan saranan ja puristimien muodon, poistot muuttuvat ilmeisiksi ja luotettaviksi.

Mikä on Y-Wing-sudoku ja miksi se toimii?

Y-Wing-sudoku (eli XY-Wing) on kolmen bivalue-solun kuvio, jossa ehdokkaat ovat XY (sarana), XZ (puristin) ja YZ (puristin). Puristimissa on molemmissa Z; sarana jakaa X:n toisen puristimen kanssa ja Y:n toisen kanssa.

• Rakenne

  • Sarana: bivalue-solu, jonka ehdokkaat ovat X ja Y (XY)
  • Puristin A: jakaa X:n saranan kanssa; ehdokkaat XZ
  • Puristin B: jakaa Y:n saranan kanssa; ehdokkaat YZ
  • Näkyvyys: molempien puristimien on nähtävä sarana; puristimien ei tarvitse nähdä toisiaan

• Logiikka

  • Jos sarana ratkeaa arvoon X, puristimen B on oltava Z.
  • Jos sarana ratkeaa arvoon Y, puristimen A on oltava Z.
  • Siksi Z:n on oltava jommassakummassa puristimessa. Mikään solu, joka näkee molemmat puristimet, ei voi olla Z.

Wikipedia-artikkelin Sudoku solving algorithms yleiskatsauksen mukaan Y-Wing on keskitason tekniikka, joka perustuu ehdokkaiden vuorovaikutukseen ja näkyvyyteen. Sudokun laaja suosio näkyy siinä, että sitä esiintyy päivittäin esimerkiksi The New York Timesissa. Algoritmista ratkaisua koskeva tutkimus (esim. constraint reasoning ja exact cover) osoittaa, että jäsennelty päättely vähentää haarautumista verrattuna naiiviin arvaamiseen; aiheesta on jatkuvaa työtä koottuna arXivissa.

Näin tunnistat Y-Wing-sudoku-kuvion vaihe vaiheelta

Käytä tätä toistettavaa tarkistusta löytääksesi Y-Wingit nopeasti:

1. Merkitse ehdokkaat ajoissa

• Perusyksinäisten jälkeen kirjaa ylös kaikki bivalue-solut. Y-Wingit perustuvat bivalue-solmuihin.
• Korosta solut, joissa on kaksi ehdokasta; ne ovat mahdollisia saranoita tai puristimia.

2. Valitse saranan ehdokaspari

• Valitse bivalue-solu XY saranan ehdokkaaksi.
• Keskity naapureihin (sama rivi, sarake tai laatikko), jotka jakavat saranan kanssa täsmälleen yhden ehdokkaan.

3. Tunnista kaksi puristinta

• Etsi yksi naapuri, jonka ehdokkaat ovat XZ ja joka näkee saranan.
• Etsi toinen, eri naapuri, jonka ehdokkaat ovat YZ ja joka myös näkee saranan.
• Varmista, että molemmissa puristimissa on sama kolmas ehdokas Z.

4. Varmista näkyvyys kohteeseen

• Etsi solut, jotka näkevät molemmat puristimet (niiden naapurijoukkojen leikkaus).
• Mikään tällainen solu ei voi sisältää Z:aa; poista Z näistä kohteista.

5. Tarkista loogisesti ennen poistoa

• Puristimien ei tarvitse nähdä toisiaan.
• Kaikkien kolmen solun tulisi olla bivalue-soluja klassisessa Y-Wingissä (XY, XZ, YZ).
• Ainoa poistettava arvo on Z soluista, jotka näkevät molemmat puristimet.

Vinkki: Esitarkista rivit ja sarakkeet, joissa on paljon bivalue-soluja. Sarana- ja puristinmuodot kasaantuvat tiheisiin ehdokasalueisiin.

Ratkaistu esimerkki 1: klassinen sarana ja puristimet yhdessä laatikossa

Tilanne (koordinaatit rivin r ja sarakkeen c mukaan):

• r4c5 (sarana) sisältää {2,7}
• r4c8 (puristin A) sisältää {2,9}
• r6c5 (puristin B) sisältää {7,9}

Tarkista näkyvyys:

• r4c8 näkee r4c5:n (sama rivi)
• r6c5 näkee r4c5:n (sama sarake)
• Molemmissa puristimissa on Z=9

Logiikka:

• Jos r4c5=2, silloin r6c5=9.
• Jos r4c5=7, silloin r4c8=9.
• Siksi 9:n on oltava joko r4c8:ssa tai r6c5:ssä.
• Mikään solu, joka näkee sekä r4c8:n että r6c5:n, ei voi olla 9. Esimerkiksi r4c5:n laatikkoleikkaus tai solu kuten r6c8 (jos se näkee molemmat) menettää 9:n.

Tulos: Poista 9 kaikista soluista, jotka ovat sekä r4c8:n että r6c5:n naapureita. Tämä laukaisee usein seuraavan yksinäisen.

Ratkaistu esimerkki 2: puristimet eri yksiköissä

Tilanne:

• r2c3 (sarana) sisältää {1,6}
• r2c7 (puristin A) sisältää {1,8}
• r7c3 (puristin B) sisältää {6,8}

Tarkista näkyvyys:

• r2c7 näkee r2c3:n (sama rivi)
• r7c3 näkee r2c3:n (sama sarake)
• Molemmissa puristimissa on Z=8

Poisto:

• Mikään solu, joka näkee sekä r2c7:n että r7c3:n, ei voi olla 8.
• Leikkaus on laatikko tai yksittäinen solu r7c7, jos se saa näkyvyyden molempien yksiköiden kautta (tarkista ruudukostasi). Poista 8 näistä soluista.

Tärkeä tarkistus: Puristimien ei tarvitse nähdä toisiaan, vain saranan. Poistettava ehdokas on yhteinen kolmas arvo Z.

Miksi Y-Wing-sudoku on parempi kuin arvaaminen keskitason ratkojille

Y-Wing tarjoaa determinististä etenemistä silloin, kun yksinäiset, parit ja lukitut ehdokkaat eivät enää riitä. Se on erityisen tehokas keskivaikeissa ja vaikeissa pulmissa, joissa on useita bivalue-soluja samoissa yksiköissä.

• Hyödyt

  • Takaa oikean poiston ilman haarautumista
  • Toimii, vaikka puristimet olisivat eri yksiköissä
  • Johtaa luontevasti seuraaviin yksinäisiin ja pareihin

• Milloin sitä kannattaa suosia

  • Kun olet käynyt läpi piilotetut ja paljaat parit sekä laatikko–viiva-vuorovaikutukset
  • Ruudukossa, jossa on paljon bivalue-soluja
  • Ennen kuin yrität kalakuvioita kuten X-Wing tai Swordfish, jotka vaativat laajempaa skannausta

Jos olet uusi jäsennellyssä merkinnässä ja ehdokkaiden kirjaamisessa, aloita tästä perusteiden johdannosta: Kuinka pelata sudoku aloittelijoille. Se luo tavat, jotka tekevät Y-Wingistä välittömän.

Y-Wing vs. vastaavat tekniikat: vahvuudet, rajat ja käyttötapaukset

Useat keskivaiheen strategiat näyttävät samankaltaisilta. Näin ne eroavat.

Miten Y-Wing eroaa XYZ-Wingistä ja X-Wingistä?

• Y-Wing (XY-Wing): kolme bivalue-solua (XY, XZ, YZ). Poistaa Z:n soluista, jotka näkevät molemmat puristimet.
• XYZ-Wing: saranassa on kolme ehdokasta (XYZ), ja se on samassa laatikossa molempien puristimien kanssa. Poistaa Z:n soluista, jotka näkevät kaikki kolme, usein saranan laatikossa.
• X-Wing: kalakuvio kahden rivin ja kahden sarakkeen välillä yhdelle numerolle, ei liity sarana/puristin-logiikkaan.

Vertailutaulukko

Käytännön ohje

• Suosi Y-Wingiä, kun näet paljon bivalue-soluja ja paikallisia saranakandidaatteja.
• Harkitse XYZ-Wingiä, kun vahva kolmen ehdokkaan sarana on yhdessä laatikossa kahden puristimen kanssa.
• Käytä X-Wingiä, kun sama numero toistuu kahdesti kahdessa rivissä/sarakkeessa muodostaen suorakulmion.

Taustalla oleva logiikka: vahvan ja heikon linkin malli

Toinen tapa nähdä Y-Wing on linkkiteorian kautta:

• Vahva linkki yhdistää saman numeron kaksi ehdokasta yksikössä (jos toinen on väärä, toinen on tosi).
• Heikko linkki yhdistää ehdokkaita, jotka eivät voi molemmat olla tosia samassa solussa tai yksikössä.
• Y-Wingin sarana muodostaa vuorottelevia vahvoja/heikkoja päätelmiä, jotka pakottavat Z:n yhteen puristimeen.

Vahvan ja heikon linkin käyttäytymisen ymmärtäminen helpottaa yleistämistä ketjuihin ja edistyneisiin verkkoihin. Nämä ideat sopivat yhteen rajoitepohjaisen päättelyn kanssa, jota on koottu akateemisiin lähteisiin kuten arXiviin.

Asiantuntijan vinkki: näin vältät väärät osumat

Kuten Elena Park, Sudoku-valmentaja Logic Grid Labsista, selittää: "Useimmat Y-Wing-virheet johtuvat näkyvyyden väärin lukemisesta. Ennen poistoa käyn läpi molempien puristimien naapurijoukot ja korostan vain todellisen leikkauksen. Jos päällekkäisyyttä ei ole, kelvollista Y-Wing-poistoa ei ole."

Yleiset virheet ja miten tarkistat päättelysi

• Väärin merkityt ehdokkaat

  • Varmista, että jokainen kuvion solu on aidosti bivalue-solu (klassinen Y-Wing).
  • Tarkista viimeaikaiset poistot uudelleen; vanhentuneet lyijykynämerkinnät aiheuttavat vääriä linkkejä.

• Puristimet, joilla ei ole samaa Z:aa

  • Jos puristimilla ei ole yhteistä Z:aa, poistoa ei voi tehdä.

• Kohdesolut, jotka eivät näe molempia puristimia

  • Poista Z vain soluista, jotka ovat molempien puristimien naapureita.

• Puristimien vaatiminen näkemään toisensa

  • Ei tarpeen. Kummankin puristimen täytyy nähdä sarana; siinä kaikki.

Käytännössä: toistettava rutiini, jota käytän oikeissa pulmissa

Kun ruudukko jumittuu yksinäisten, parien ja laatikko–viiva-vähennysten jälkeen, minä:

1. Ympyröin kaikki bivalue-solut.
2. Etsin jokaiselle ehdokasparille XY riviltä/sarakkeesta/laatikosta XZ- ja YZ-naapureita.
3. Heti kun löydän molemmat puristimet, piirrän näkyvyysleikkauksen ja listaan kaikki solut, jotka näkevät molemmat.
4. Poistan Z:n tuosta leikkauksesta ja skannaan heti uudelleen uudet yksinäiset.

Tämä rutiini lisää 30–60 sekuntia per skannaus, mutta tuottaa usein 1–3 varmaa poistoa. Ne puolestaan avaavat lisää viiva–laatikko-vuorovaikutuksia ja piilotettuja yksinäisiä.

Edistyneet muunnelmat: perus-Y-Wing-sudokun yli

Jos saranan ja puristimien muoto on jo tuttu, kokeile näitä lähikäsitteitä:

• XYZ-Wing: kolmen ehdokkaan sarana (XYZ), jossa molemmat puristimet ovat samassa laatikossa.
• W-Wing: kaksi identtistä bivalue-solua, joita yhdistää vahva linkki yhdessä ehdokkaassa.
• ALS-XY-Wing: korvaa bivalue-solut Almost Locked Sets -rakenteilla laajemman kattavuuden saamiseksi.
• Ketjut/verkot: laajenna vahvat/heikot päätelmät pidemmiksi vuorotteleviksi ketjuiksi poistojen löytämiseksi.

Jäsenneltyjen strategioiden opiskelu auttaa ratkaisemaan pulmia vähemmällä arvailulla. Hyvä perusta perusasioissa sekä nämä keskivaiheen työkalut muodostavat tehokkaan työkalupakin; yleistä taustaa sudokun säännöistä ja laajuudesta löytyy Wikipedian Sudoku-sivulta kontekstiksi muunnelmille ja logiikkaperheille.

Harjoittelusuunnitelma: rakenna tapa nopeasti

• Lämmittely: 5 minuuttia bivalue-solujen etsimistä ruudukosta, johon ehdokkaat on valmiiksi merkitty.
• Harjoitus: Ratkaise 2–3 keskivaikeaa pulmaa keskittyen vain Y-Wing-mahdollisuuksiin.
• Jälkianalyysi: Merkitse ratkaisun jälkeen, missä Y-Wing olisi ollut löydettävissä aiemmin.
• Vaihtelu: Vuorottele kalaharjoitusten (X-Wing) kanssa, jotta skannauskuviot monipuolistuvat.

Harjoitellaksesi milloin tahansa avaa uusi ruudukko ja seuraa päättelyjäsi muistiinpanoilla. Voit pelata sudokuja verkossa useilla tyypeillä ja tasoilla luodaksesi tasaisen harjoittelusyklin.

Milloin Y-Wing-sudoku ei ole oikea valinta (ja mitä tehdä sen sijaan)

• Harvat ehdokkaat: Jos ruudukossa on vain vähän bivalue-soluja, priorisoi piilotetut yksinäiset, paljaat/piilotetut parit sekä osoittavat/väittävät siirrot.
• Syvä kalakuvio mahdollinen: Jos riveissä/sarakkeissa näkyy selkeä kaksi-per-rivi -kohdistus yhdelle numerolle, siirry X-Wingiin.
• Aikapaine: Jos et pysty varmistamaan näkyvyyttä selvästi, pysähdy ja palaa asiaan yksinkertaisempien läpikäyntien jälkeen.

Laatutarkistus ennen kuin vahvistat poiston

• Ovatko kaikki kolme solua oikein ja ajan tasalla (XY, XZ, YZ)?
• Näkevätkö molemmat puristimet saranan?
• Jakavatko puristimet saman ehdokkaan Z?
• Oletko listannut kaikki solut, jotka näkevät molemmat puristimet, ja poistanut Z:n vain niistä?

Jos kaikki tarkistukset menevät läpi, päättelysi on pätevä.

Miksi tämä toimii johdonmukaisesti: logiikkaa, ei tuuria

Y-Wing-sudoku perustuu pakotettuihin seurauksiin. Sarana voi olla vain X tai Y; kumpikin valinta pakottaa Z:n puristimeen, mikä kieltää Z:n kaikista soluista, jotka näkevät molemmat puristimet. Tämä varmuus on syy siihen, miksi XY-Wingiä arvostetaan keskitason sudokutekniikoiden joukossa ja sitä opetetaan logiikan opetussuunnitelmissa suurissa toimijoissa, mukaan lukien oppilaitokset kuten Stanford, jotka esittelevät algoritmista ajattelua pulmien ja rajoiteongelmien kautta.

Keskeiset huomiot

• Y-Wing-sudoku (XY-Wing) käyttää saranan XY ja kaksi puristinta XZ ja YZ poistaakseen Z:n soluista, jotka näkevät molemmat puristimet.
• Puristimien on nähtävä sarana ja jaettava sama Z; niiden ei tarvitse nähdä toisiaan.
• Etsi Y-Wingejä sen jälkeen, kun yksinäiset, parit ja peruslaatikko–viiva-siirrot on käyty läpi; keskity bivalue-rikkaisiin alueisiin.
• Varmista näkyvyys huolellisesti; poista Z vain soluista, jotka ovat molempien puristimien naapureita.
• Harjoittele tarkoituksellisilla skannauksilla ja vertaa Y-Wingiä XYZ-Wingiin ja X-Wingiin, jotta valitset kuvioon sopivan työkalun.

Perusteiden kertaukseen katso aloittelijan oppaamme sudokuun. Harjoitellaksesi näitä kuvioita nyt, aloita ilmainen verkkopulma.