
Arkistoitu ilmoitus
PE 5.10.2007 12.00 - 14.00
Helsingin yliopiston emeritusprofessorin Seppo Mustosen vierailuluento, Pinni A3107.
TaY Pinni A3107
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
YLIOPISTO
Esittely
Opiskelijaksi
Opiskelu
Tutkimus
Yksiköt
Yhteystiedot
AJANKOHTAISTA
Avoimet työpaikat
Koulutusuudistus 2012
Rehtoriblogi
Tampereen yliopiston normaalikoulu
» lisää ajankohtaisia
PALVELUT
Avoin yliopisto
Hallinto
Kansainväliset asiat
Kielikeskus
Kielipalvelut
Kirjaamo
Kirjasto
Liikuntapalvelut
Viestintä
Tietohallinto
Tutkimuspalvelut
Täydennyskoulutus
Yhteiskuntatieteellinen tietoarkisto
» lisää palveluita
OPISKELU
Opetusohjelma
Opinto-oppaat
» lisää palveluita opiskelijalle
SÄHKÖISET PALVELUT
Intra
Moodle / TYT Moodle
Nelli
NettiOpsu / NettiRekka
NettiKatti
Sähköinen tenttipalvelu
Tamcat
Webmail
Wentti