Survosta ja Survo-ristikoista

Luennon abstrakti

Esittelen Survo-ohjelmiston käyttötapoja, erityisesti sellaisia, jotka ovat hyödyllisiä Survo-ristikkojen ratkaisemisessa ja niiden laatimisessa.

Survo-ristikot on tarkoitettu lähinnä älyllistä nokkeluutta edellyttäviksi ajanvietetehtäviksi ja helpoimmissa muodoissaan mm. koululaisille peruslaskutoimitusten harjoitteluun. Ristikot tulee yleensä ratkaista ilman mitään apuvälineitä ja ratkaisuohjelmia. On jo moneen kertaan havaittu, että taitavat ratkaisijat löytävät ovelia oikoteitä, jollaisia on vaikea sisällyttää mihinkään ratkaisualgoritmiin.

Silti ristikoiden laadinta ja niiden tarkempi tutkiminen edellyttää sopivia ratkaisuohjelmia. Tulen myös esittelemään joitakin periaatteita, joita on käytetty ratkaisualgoritmeja kehitettäessä. Tehokkaimman tuntemani ratkaisuohjelman olen laatinut viime kesänä.

Aivan erityinen haaste on löytää esim. kaikki avoimet, yksikäsitteisesti ratkeavat m×n -ristikot vähänkin suuremmilla dimensioilla. Esim. tapaus m = 5, n = 5 on osoittautunut toistaiseksi saavuttamattomaksi, vaikka on arvioitavissa, että tällaisia ristikoita on ehkä vain noin pari miljoonaa.

Tarkempaa tietoa löytyy mm. sivuilta
http://www.survo.fi
http://www.survo.fi/ristikot
http://www.survo.fi/papers/arkhimedes2007.html