{"id":915,"date":"2010-08-26T07:51:31","date_gmt":"2010-08-26T06:51:31","guid":{"rendered":"http:\/\/penszko.blog.polityka.pl\/?p=915"},"modified":"2010-08-26T07:58:40","modified_gmt":"2010-08-26T06:58:40","slug":"sudoku-z-wiesiolkiem","status":"publish","type":"post","link":"https:\/\/blog.polityka.pl\/penszko\/2010\/08\/26\/sudoku-z-wiesiolkiem\/","title":{"rendered":"Sudoku z wiesio\u0142kiem"},"content":{"rendered":"

W\u00a0sezonie og\u00f3rkowym powracaj\u0105 kuriozalne tematy. Dawniej by\u0142 to potw\u00f3r z Loch Ness, dzi\u015b powraca… „potworne” sudoku.
\nDaily Mail\u00a0<\/a>odgrza\u0142 informacj\u0119 sprzed czterech lat o najtrudniejszym na \u015bwiecie sudoku, kt\u00f3r\u0105\u00a0podchwyci\u0142y media,\u00a0np. Onet.pl<\/a>. G\u0142\u00f3wny bohater jest ten sam, fi\u0144ski matematyk Arto Inkala z Politechniki Helsi\u0144skiej, natomiast inne jest\u00a0jakoby najtrudniejsze zadanie\u00a0i specyficzne s\u0105\u00a0okoliczno\u015bci, w jakich si\u0119 pojawi\u0142o.<\/p>\n

Fin, specjalista od matematyki stosowanej, szerzej znany jest\u00a0z wydanego w 2006 roku\u00a0zbiorku zada\u0144, zawieraj\u0105cego m. in. sudoku, kt\u00f3re uznano w\u00f3wczas za najtrudniejsze na \u015bwiecie. Mia\u0142o nawet\u00a0nazw\u0119\u00a0– AI Escargot. AI to inicja\u0142y autora, Escargot\u00a0– po francusku \u015blimak. To drugi \u015blimak, bo pierwszy powsta\u0142 rok wcze\u015bniej – nie by\u0142 jeszcze francuski, tylko fi\u0144ski (Etana), ale\u00a0oczywi\u015bcie tak\u017ce si\u0119 \u015blimaczy\u0142, czyli rozwi\u0105zywa\u0142o si\u0119 go bardzo d\u0142ugo, je\u017celi komu\u015b w og\u00f3le starcza\u0142o cierpliwo\u015bci, by dobrn\u0105\u0107 do ko\u0144ca.<\/p>\n

Tym razem zacz\u0119\u0142o si\u0119 od firmy Efamol, znanej z leku o takiej samej nazwie, wytwarzanego z nasion wiesio\u0142ka. Lek uchodzi za niemal panaceum. Firma zam\u00f3wi\u0142a u matematyka trzeciego \u015blimaka<\/a> dla uczczenia… dobroczynnego wp\u0142ywu na\u00a0umys\u0142 kwas\u00f3w t\u0142uszczowych omega-3.\u00a0Zapewne chodzi\u0142o te\u017c\u00a0o co\u015b w rodzaju reklamy: „nie mo\u017cesz rozwi\u0105za\u0107 tego zadania?\u00a0– za\u017cywaj nasze medykamenty, a na pewno sobie poradzisz”.<\/p>\n

Warto wyja\u015bni\u0107, \u017ce fi\u0144ski matematyk od pocz\u0105tku traktuje sudoku jako pole do\u015bwiadczalne do bada\u0144 nad algorytmami; szczeg\u00f3lnie interesuj\u0105 go tzw. algorytmy genetyczne. Najtwardsze plony\u00a0z tego pola przeznaczone s\u0105 raczej dla komputer\u00f3w, ni\u017c dla ludzi, chyba \u017ce kto\u015b lubi \u015bl\u0119cze\u0107 nad rozwi\u0105zaniem, \u0107wicz\u0105c na przyk\u0142ad up\u00f3r.<\/p>\n

Trzeci \u015blimak pe\u0142znie na podanych wy\u017cej stronach Daily Mail i\u00a0Efamolu. Pierwszy i drugi poni\u017cej.<\/p>\n

\"\"<\/a><\/p>\n

Aby zrozumie\u0107, dlaczego wszystkie \u015blimaki okre\u015blane s\u0105 jako najtrudniejsze sudoku, proponuj\u0119 zabaw\u0119, polegaj\u0105c\u0105 na rozwi\u0105zywaniu zada\u0144 etapami za pomoc\u0105 metodycznego\u00a0solvera Stuarta<\/a>. Przedtem nie\u00a0zaszkodzi przekona\u0107 si\u0119, \u017ce rozwi\u0105zuj\u0105c na piechot\u0119, ale logicznie, w ka\u017cdym przypadku wpiszemy do diagramu nie wi\u0119cej ni\u017c dwie cyfry. Wspomniany solver jeszcze to i owo wyeliminuje, korzystaj\u0105c z ekstremalnych metod, ale wi\u0119cej cyfr nie wpisze tylko… podda si\u0119.\u00a0To bardzo rzadki przypadek, aby stosuj\u0105cy logiczne metody<\/strong> program komputerowy nie poradzi\u0142 sobie z sudoku. \u015alimaki s\u0105 wi\u0119c najtrudniejsze nie z punktu widzenia – \u017ce tak powiem –\u00a0ludzkiej logiki, tylko\u00a0komputerowej. Wprawdzie w obu przypadkach logika (spos\u00f3b wnioskowania) jest taka sama, ale by znale\u017a\u0107 miejsce, w kt\u00f3rym nale\u017cy skorzysta\u0107 z jakiej\u015b zawi\u0142ej metody oraz ustali\u0107 z jakiej, potrzebne s\u0105 komputerowa spostrzegawczo\u015b\u0107 i cierpliwo\u015b\u0107. Gdy logiczna metoda, kt\u00f3r\u0105 wypada zastosowa\u0107, jest diaboliczna lub ekstremalna, cz\u0142owiek albo da sobie spok\u00f3j, albo\u00a0zdecyduje si\u0119 na pr\u00f3bowanie i b\u0142\u0105dzenie, bo to prostszy, pewniejszy i zwykle szybszy spos\u00f3b dotarcia do celu. Gdy natomiast, jak w przypadku \u015blimak\u00f3w, logika zawodzi, w\u00f3wczas i cz\u0142owiek, i komputer skazani s\u0105 na metod\u0119 pr\u00f3b i b\u0142\u0119d\u00f3w. Cz\u0142owiek jest niestety \u015blimakiem, natomiast solvery, stosuj\u0105ce np. backtracking, podaj\u0105 rozwi\u0105zanie w u\u0142amku sekundy.<\/p>\n

Dla odmiany\u00a0proponuj\u0119 w pe\u0142ni i po ludzku logiczn\u0105\u00a0zabaw\u0119 z krewniakiem sudoku.
\nW puste pola nale\u017cy wpisa\u0107 takie liczby, aby w ka\u017cdym rz\u0119dzie i w ka\u017cdej kolumnie wyst\u0119powa\u0142y r\u00f3\u017cne, ale kolejne (tworz\u0105ce, po ustawieniu od najmniejszej do najwi\u0119kszej, fragment ci\u0105gu liczb naturalnych)<\/em>.<\/p>\n

\"\"<\/a><\/p>\n

Komentarze z prawid\u0142owymi<\/strong> rozwi\u0105zaniami uwalniane s\u0105 wieczorem w przeddzie\u0144 kolejnego wpisu. Wpisy pojawiaj\u0105 si\u0119 co 3-4 dni.<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"

W\u00a0sezonie og\u00f3rkowym powracaj\u0105 kuriozalne tematy. Dawniej by\u0142 to potw\u00f3r z Loch Ness, dzi\u015b powraca… „potworne” sudoku. Daily Mail\u00a0odgrza\u0142 informacj\u0119 sprzed czterech lat o najtrudniejszym na \u015bwiecie sudoku, kt\u00f3r\u0105\u00a0podchwyci\u0142y media,\u00a0np. Onet.pl. G\u0142\u00f3wny bohater jest ten sam, fi\u0144ski matematyk Arto Inkala z Politechniki Helsi\u0144skiej, natomiast inne jest\u00a0jakoby najtrudniejsze zadanie\u00a0i specyficzne s\u0105\u00a0okoliczno\u015bci, w jakich si\u0119 pojawi\u0142o. Fin, specjalista […]<\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"_links":{"self":[{"href":"https:\/\/blog.polityka.pl\/penszko\/wp-json\/wp\/v2\/posts\/915"}],"collection":[{"href":"https:\/\/blog.polityka.pl\/penszko\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.polityka.pl\/penszko\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.polityka.pl\/penszko\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.polityka.pl\/penszko\/wp-json\/wp\/v2\/comments?post=915"}],"version-history":[{"count":0,"href":"https:\/\/blog.polityka.pl\/penszko\/wp-json\/wp\/v2\/posts\/915\/revisions"}],"wp:attachment":[{"href":"https:\/\/blog.polityka.pl\/penszko\/wp-json\/wp\/v2\/media?parent=915"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.polityka.pl\/penszko\/wp-json\/wp\/v2\/categories?post=915"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.polityka.pl\/penszko\/wp-json\/wp\/v2\/tags?post=915"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}