Digitoday

Valikko

Tietotekniikan Tutkimussäätiön väitöskirjapalkinto Vesa Halavalle

Tietotekniikan Tutkimussäätiö on myöntänyt vuoden 2002 väitöskirjapalkinnon filosofian tohtori Vesa Halavalle hänen väitöskirjastaan

Palkinnon perusteluissaan Tietotekniikan Tutkimussäätiö kiinnittää huomiota väitöskirjan aiheen merkittävyyteen.

Postin vastaavuusongelma on klassinen sanaongelma, jonka Emil Post todisti ratkeamattomaksi 1940-luvulla. Ongelma on ratkeamaton, jos sitä ei voida tietokoneella ratkaista edes teoriassa. Postin vastaavuusongelmassa annetaan kaksi sanalistaa ja kysytään, saadaanko listojen sanoista muodostettua kaksi sanaa kirjoittamalla listoissa vastaavilla paikoilla olevat sanat peräkkäin.

Väitöskirjassaan Halava osoittaa että jos rajoitutaan tapauksiin, joissa sanalistojen sanat alkavat eri kirjaimilla, on ongelma ratkeava. Toisin sanoen, on olemassa ohjelma joka, saatuaan syötteeksi sanalistat, osaa päättää voidaanko sama sana muodostaa. Samaa ideaa sovelletaan myös muutamaan muuhun Postin vastaavuusongelmaan liittyvään ongelmaan. Näin löytämällä ratkeamattoman ongelman tapauksia jotka voidaan ratkaista saadaan ratkeavuuden ja ratkeamattomuuden välistä rajaa kartoitettua.

Kommentit

    Näytä lisää

    Näitä luetaan!

    1. 1

      Useat partiot etsivät vankilaan tuomittua sarjahukuttajaa – ”ei ollut kotonaan”

    2. 2

      Vuoden urheilijan valinnasta iso kohu Ruotsissa – huippu-urheilija poltti päreensä: ”Tämä on skandaali”

    3. 3

      Onko sinulla näitä piirteitä? Ne kertovat älykkyydestä

    4. 4

      Jethro Rostedt lupasi tv-ohjelmassa Monicalle, 37, työpaikan: odottanut jo vuoden, eikä töitä ole kuulunut

    5. 5

      HS: Rosa Meriläinen muutti takaisin vanhempiensa luo 41-vuotiaana

    6. 6

      Floridan poliisi julkaisi mykistävän videon rämeeltä – ”Kuka sanoi, että dinosaurukset ovat kuolleet sukupuuttoon?”

    7. 7

      Perhe etsii vastausta kammottavaan kuvaan – mitä tai mikä ilmestyi yhtäkkiä yöllä kotipihalla otettuun valokuvaan?

    8. 8

      Tumma auto tallentui valvontakameraan – kuka ampui yöllä vastaanottokeskuksen ikkunaan?

    9. 9

      Suora lähetys juuri nyt: Kaamos päättyy, aurinko nousee

    10. 10

      Presidentti Tarja Halonen antoi Suomen korkeimpia kunniamerkkejä tyranneille

    11. Näytä lisää
    1. 1

      Perhe etsii vastausta kammottavaan kuvaan – mitä tai mikä ilmestyi yhtäkkiä yöllä kotipihalla otettuun valokuvaan?

    2. 2

      Pin up -malli Sini Ariell astui vaa’alle – numerot ”shokeeraavia”: ”Olen ollut tyhmä, sokea ja tekopyhä”

    3. 3

      Floridan poliisi julkaisi mykistävän videon rämeeltä – ”Kuka sanoi, että dinosaurukset ovat kuolleet sukupuuttoon?”

    4. 4

      Santeri, 20, ja Sofia, 19, myivät koko omaisuutensa ja lähtivät maailmalle: ”Haluan nähdä kaiken”

    5. 5

      Huomaatko piilossa olevan ihmishahmon 1880-luvun kuvassa? Vanha mysteeri hämmentää

    6. 6

      Amerikkalaiset opettelevat arktista sodankäyntiä Jääkäriprikaatissa – vaikeuksia suomalaisten perustaidossa

    7. 7

      Manuela Bosco julkaisi harvinaisia yhteiskuvia perheestään – tyttären villi kampaus varastaa huomion

    8. 8

      Olli Rehnillä riita myymästään asunnosta oikeudessa – kuka maksaa 12 000 euron ikkunaremontin?

    9. 9

      Suoraa puhetta SM-liigaa järisyttävästä HIFK:n Joe Finleystä – ”Tätä te ette halua kuulla”

    10. 10

      Kaksoissurmasta epäilty on jatkosodan veteraani – oli parempikuntoisena pitänyt huolta puolisostaan

    11. Näytä lisää
    1. 1

      Madonna julkaisi haarovälikuvan – Piers Morgan: ”Oksensin aamupalani”

    2. 2

      Poliisi ampui miehen maaliskuussa – vainajan autosta löytyi kolkko kirje

    3. 3

      Valesotilas yritti huijata – Tiina vedättikin takaisin: ”Naurettiin ukkoni kanssa niin, että mahaan koski”

    4. 4

      Häikäisevän kaunis morsian! Mika Häkkinen ja Marketa pääsivät poroajelun kyytiin – suloiset lapset mukana

    5. 5

      Mikan ja Marketan rakkaustarina – saksalaislehti paljasti kaunottaren menneisyyden

    6. 6

      Arto, 35, joutui väkisin mukaan perustulo­kokeiluun: ”Älyttömän huonot tunnelmat ”

    7. 7

      Kolme povekasta blondia: Natalie, 45, sekoitetaan jatkuvasti tyttäriinsä – erotatko kuvista kuka on äiti?

    8. 8

      Masennuksen huonosti tunnettu alatyyppi nakertaa vaivihkaa – onko sinulla kolme näistä oireista?

    9. 9

      Huikea muutos: Playboy-mallin kasvoilta pestiin tv-ohjelmassa vahva meikkikerros – tyrmistyi lopputuloksesta

    10. 10

      Patrik Laineen sydän on puhdasta kultaa – vastasi pienen fanin kirjeeseen ikimuistoisella tavalla

    11. Näytä lisää

    Näitä luetaan!

    1. 1

      Useat partiot etsivät vankilaan tuomittua sarjahukuttajaa – ”ei ollut kotonaan”

    2. 2

      Vuoden urheilijan valinnasta iso kohu Ruotsissa – huippu-urheilija poltti päreensä: ”Tämä on skandaali”

    3. 3

      Onko sinulla näitä piirteitä? Ne kertovat älykkyydestä

    4. 4

      Jethro Rostedt lupasi tv-ohjelmassa Monicalle, 37, työpaikan: odottanut jo vuoden, eikä töitä ole kuulunut

    5. 5

      HS: Rosa Meriläinen muutti takaisin vanhempiensa luo 41-vuotiaana

    6. Näytä lisää
    1. 1

      Perhe etsii vastausta kammottavaan kuvaan – mitä tai mikä ilmestyi yhtäkkiä yöllä kotipihalla otettuun valokuvaan?

    2. 2

      Pin up -malli Sini Ariell astui vaa’alle – numerot ”shokeeraavia”: ”Olen ollut tyhmä, sokea ja tekopyhä”

    3. 3

      Floridan poliisi julkaisi mykistävän videon rämeeltä – ”Kuka sanoi, että dinosaurukset ovat kuolleet sukupuuttoon?”

    4. 4

      Santeri, 20, ja Sofia, 19, myivät koko omaisuutensa ja lähtivät maailmalle: ”Haluan nähdä kaiken”

    5. 5

      Huomaatko piilossa olevan ihmishahmon 1880-luvun kuvassa? Vanha mysteeri hämmentää

    6. Näytä lisää
    1. 1

      Madonna julkaisi haarovälikuvan – Piers Morgan: ”Oksensin aamupalani”

    2. 2

      Poliisi ampui miehen maaliskuussa – vainajan autosta löytyi kolkko kirje

    3. 3

      Valesotilas yritti huijata – Tiina vedättikin takaisin: ”Naurettiin ukkoni kanssa niin, että mahaan koski”

    4. 4

      Häikäisevän kaunis morsian! Mika Häkkinen ja Marketa pääsivät poroajelun kyytiin – suloiset lapset mukana

    5. 5

      Mikan ja Marketan rakkaustarina – saksalaislehti paljasti kaunottaren menneisyyden

    6. Näytä lisää