28
Alja Gligić

Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

  • Upload
    others

  • View
    4

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

Alja Gligić

Page 2: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

UVOD Sudoku je logična uganka, katere cilj je zapolniti kvadratno

mrežo, običajno velikosti 9 × 9, s števili od 1 do 9.

Vsako število se lahko pojavi natančno enkrat v vsakem stolpcu, vsaki vrstici in vsakem manjšem kvadratu ali bloku velikosti 3 × 3, v splošnem pa n × n.

V mreži so nekatera števila že podana. Namesto števil lahko nastopajo tudi drugi simboli.

Za rešitev uganke je potreben logičen razmislek in malo potrpežljivosti, pri najtežjih pa lahko logika odpove oziroma je sklepanje zelo komplicirano. Takrat uporabimo nadzorovano ugibanje z metodo vračanja.

Page 3: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

ZGODOVINA SUDOKUJA številske uganke so se prvič pojavile v časopisih proti koncu 19. stoletja,

ko so francoski sestavljavci ugank pričeli eksperimentirati z odstranjevanjem števil iz magičnega kvadrata.

Pariški častnik Le Siecle je objavil delno izpolnjen magični kvadrat velikosti 9 × 9 s 3 × 3 bloki v letu 1892, ki je vseboval dvomestna števila, za rešitev pa je bilo potrebno uporabiti aritmetiko.

Tri leta kasneje je častnik La France objavil poenostavljen magični kvadrat, tako da je vsaka vrstica in vsak stolpec vseboval števila od 1 do 9, označenih blokov pa ni imel. Do prve svetovne vojne so te uganke izginile iz francoskih časopisov.

Ime sudoku je japonsko, ampak uganka je skoraj zagotovo ameriški izum. Sestavil naj bi jo Howard Garns, upokojen arhitekt in sestavljavec križank iz Indianapolisa in ga prvič objavil leta 1979 pod imenom Number Place v reviji Dell Pencil Puzzles and Word Games, ki je izhajala v New Yorku.

Page 4: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

Prva sudokuja Howarda Garnsa

Page 5: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

IZPELJAVE SUDOKUJA

Page 6: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

Sudoku X

Page 7: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

Sodo- lihi sudoku

Page 8: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

Različne dimenzije

Page 9: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

Kvadrat geometrijskega sudokuja

Page 10: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

Toroidal sudoku

Page 11: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

Multi-sudoku

Page 12: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

Primerjalni sudoku

Page 13: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

Vseštevilčni sudoku

Page 14: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

Kombinirani sudoku

Page 15: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

LOGIKA IN SUDOKU

Poglejmo si nekaj problemov, na katere lahko naletimo pri reševanju sudokuja, in njihove rešitve.

Uganke se je najbolje lotiti z logičnim premislekom.

Zelo učinkovito pomagalo pri reševanju so tudi manjše oznake s svinčnikom (pencil marks), ki nam povedo, katera števila (kandidate) glede na pravila sploh lahko še vpišemo v okence. Ta način nam pomaga pri nekaterih težjih strategijah reševanja.

Page 16: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

EDINI KANDIDAT

Najbolj osnovna strategija reševanja je preverjanje vsake celice, v katero vpišemo vse možne kandidate, ki niso v nasprotju z osnovnimi pravili.

Če obstaja celica, v kateri je možen samo en kandidat, potem ga očitno lahko zapišemo kot pravo vrednost.

Podoben pristop je zapis določenega števila v vse celice v vrstici, stolpcu ali bloku, kjer se lahko le-ta pojavi. Če se lahko pojavi le v eni celici, potem jo zapišemo tja. V obeh primerih lahko izbrišemo izbrano število kot kandidata v isti vrstici, stolpcu in bloku.

Page 17: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

Primer:Število 2 lahko v prvi blok zapišemo samo v tretjo vrstico, saj je v prvi in drugi vrstici že podana. V tretji vrstici pa imamo samo še prazno celico -> edini kandidat.

Page 18: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

POVEZANE PODMNOŽICE (GOLI PARI)

Goli par je niz dveh možnih števil, ki se kot kandidata pojavita v natanko dveh istih celicah enega bloka, ene vrstice ali enega stolpca.

V takšnem primeru lahko ostale kandidate, ki se pojavijo v teh dveh celicah, izbrišemo.

Page 19: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

Primer:Število 2 in 6 se v bloku pojavita natanko v dveh celicah, zato sotale kandidate v teh celicah izbrišemo.

Page 20: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

IZKLJUČITVE STOLPCEV/VRSTIC

Če se število pojavi v nekem bloku v samo eni vrstici ali stolpcu, lahko v tej vrstici ali stolpcu v ostalih blokih izbrišemo to število kot možnega kandidata.

Page 21: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

Primer:Število 7 se v drugem bloku pojavi samo v zgornji vrstici v celicah A in B. 7 v celici Z v prvem bloku lahko zato izbrišemo.

Page 22: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

PRAVOKOTNIK (X - WING)

Strategijo pravokotnika uporabimo, kadar sta za vpis enega števila možni samo dve različni mesti v vsaki od dveh različnih vrstic in hkrati ta mesta ležijo samo v dveh stolpcih. Potem lahko na vseh ostalih mestih v teh dveh stolpcih izbrišemo to število kot možnega kandidata.

Page 23: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

Primer:Število 6 se pojavi natanko dvakrat v prvi in natanko dvakrat v deveti vrstici. Te celice A, B, C in D ležijo v natanko dveh stolpcih 6 in 9. V ostalih celicah teh dveh stolpcev izbrišemo šestico.

Page 24: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

ŠTIRIKOTNIK (XY-WING)

Recimo, da opazimo možna samo po dva kandidata v treh celicah štirikotnika. Sklepajmo: če je

AB = A, potem je BC = C, torej v desnem spodnjem oglišču ne more biti C. Če pa je AB = B, potem je AC = C in v desnem spodnjem oglišču ponovno ne more biti C. V tem oglišču lahko torej C izločimo.

Page 25: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

Metoda štirikotnika deluje tudi, če kandidati ne ležijo v ogliščih pravokotnika, ampak poljubnega štirikotnika, le AB in BC ter AB in AC morajo biti povezani v isti enoti (vrstici, stolpcu, bloku). V takšnih primerih ponavadi še v več celicah lahko izločimo kandidata.

V petih celicah se število C v nobenem primeru ne more pojaviti. Sklep, zakaj se ravno v teh celicah ne more pojaviti število C, poizkušaj na podoben način kot pri pravokotniku izpeljati sam.

Page 26: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

To je le peščica logičnih strategij, s katerimi rešujemo sudoku. Obstaja jih še mnogo dosti zahtevnejših in zelo specifičnih za posamezne postavitve kandidatov po celicah z zanimivimi imeni:

simple colouring, multi colouring, jellyfish, broken wings, death blossom, three in bed... njihovo uporabo pa je mogoče najti na internetu. Kadar pa

vsi logični postopki in razmisleki odpovejo, se lahko poslužimo metode, ki lahko zahteva več dela in časa, vendar pa nas zagotovo pripelje do rešitve: metoda vračanja.

Page 27: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

VRAČANJE

V grški mitologiji je bila Ariadna hči kretskega kralja Minosa, ki je zavzel Atene, katere so morale vsako leto poslali na Kreto sedem mladeničev in mladenk za žrtvovanje Minotavru, pol človeku pol biku, živečemu v labirintu. Neko leto se je junak Tezej priključil tej skupini s ciljem, da ubije Minotavra. Na Kreti se je Ariadna zaljubila vanj in mu podarila čaroben meč ter klobčič rdeče niti (Ariadnina nit). Tezej je med prodiranjem v labirint odvijal to nit, tako da se je, če je prišel v slepo ulico, lahko vrnil na križišče, kjer se je odločal med različnimi potmi, po uspešno opravljeni nalogi pa je našel pot iz labirinta.

Podobno deluje tudi strategija vračanja pri reševanju sudokuja. V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila odpovedo, si izberemo celico s čimmanj možnimi kandidati, predpostavimo, da je eden od njih pravilen, in poskušamo rešiti uganko. Če se postopek ustavi zaradi protislovja, se vrnemo nazaj do predpostavke in izberemo novo možnost. Lahko se zgodi, da je potrebno med reševanjem postaviti nove predpostavke ampak postopek slej ko prej pripelje do rešitve (ali pa zagotovi, da ta ne obstaja).

Page 28: Alja ligić - MaFiRaWikiwiki.fmf.uni-lj.si/images/8/80/Predstavitev-Sudoku.pdf · V vsaki celici označimo možne kandidate in jih ob vsaki potezi ažuriramo. Ko vsa logična pravila

HVALA ZA POZORNOST