Pysähtymisongelma

Hikipedia

Tosikoille ja heille, joita aihe lähemmin kiinnostaa, on Wikipediassa artikkeli Pysähtymisongelmasta..

Yleinen, mutta toiminnaltaan epävarma yritys pysäyttää kaavoihinsa kangistunut kuski.

Pysähtymisongelma on ongelma, jonka tietotekniikkanörtit ovat kehittäneet. Sen mukaan jos jokin algoritmi, joka siis esitetään kaavoina, pistetään toimimaan, ei voida tietää pysähtyykö se vai eikö pysähdy, ennen kuin se pysähtyy. Jos se jatkaa pyörimistään, emme voi kehittää varmaa tapaa jota voitaisiin aina käyttää selvittämään sitä, jatkaako se pyörimistään ikuisesti.^[1] Monien mukaan tätä voidaan soveltaa käytännön elämässä ja sen sovelluksissa.^[2]

[muokkaa] Pysähtymisongelman sovellukset

Poliisit joutuvat päivittäin pysäyttämään monia autoja. Näiden autojen kuskit ovat usein kaavoihinsa kangistuneita ja siksi verrattavissa algoritmeihin. Kuitenkaan poliisi ei voi tietää, pysähtyykö kuski kiltisti vai pitääkö valmistautua hurjaan takaa-ajoon. Poliisit käyttävät toki erilaisia apuvälineitä, kuten piikkimattoa, ja ampuvat myös luoteja renkaisiin, jotta saisivat auton pysähtymään. Mutta aina auto ei pysähdy.^[3]

Sama ongelma on tietysti, kun yritetään mennä töihin. Jos pysäköintipaikat ovat täynnä, joudut etsimään uutta pysäköintipaikkaa. Eikä sinulla ole takeita siitä, että ikinä löytäisit sellaista.^[4]

[muokkaa] Viitteet

1. ↑ Vaikka tosiasiassa algoritmi kuin algoritmi lopettaa pyörimisen, kun tietokone ammutaan hajalle. Mutta nörtit eivät mieti tälläisiä asioita.
2. ↑ Tosiasiassa nämäkin algoritmit pysähtyvät maailmanlopussa, eli algoritmin kuin algoritmin voi pysäyttää napin painalluksella, jolloin pysähtymisongelma lakkaa olemasta.
3. ↑ Aina auto ei pysähdy, vaikka ampuisi kuskia päähän. Hänen ruumiinsa voi lysähtää siten, että jalka painaakin kaasupoljinta, jolloin auto jatkaa menoaan, kunnes bensa loppuu, mikä on verrattavissa siihen, että tietokoneen ampuu palasiksi.
4. ↑ Tätä voisi verrata Lentävään Hollantilaiseen, jonka miehistö etsii satamaa yhä tänäkin päivänä, kuten se on tehnyt vuosisatojen ajan: Pysähtymisongelma on tässä kohden sinänsä optimistinen, että tämä ei takaa, että miehistö ei lopulta löytäisi satamaan. Myös urbaanit legendat kertovat, että liftarit ovat tavanneet kyytiinottajia, jotka ovat pysähtyneet ja kysyneet, osaako liftari kertoa hyvän pysäköintipaikan - ennen kuin he ovat kadonneet jättäen vain märät renkaanjäljet tielle. Vaikka pysähtymisongelma antaa heillekin toivoa, tosiasiassa käytännön kokemukset parkkipaikkojen etsinnässä osoittavat, että tämä on enemmän toiveajattelua kuin uskottavaa.