Tietorakenteet op, 50 h. Luennot alkavat 7.9. ja päättyvät

Koko: px

Aloita esitys sivulta:

Download "Tietorakenteet op, 50 h. Luennot alkavat 7.9. ja päättyvät"

Esa Virtanen
7 vuotta sitten
Katselukertoja:

1 Tietorakenteet 2016 Martti Juhola luennot: Ke viikoittain klo 10-12, Pinni ls B1097, huom. Aloitus päätalolla! Poikkeus: klo 10 12, PÄÄTALO ls D11 To klo 10-12, Pinni ls B1097 Ti viikoittain klo 10-12, Pinni ls B1097 Poikkeukset: klo 10 12, Pinni B klo 10 12, Pinni B3107 Luennot alkavat 7.9. ja päättyvät op, 50 h 1

11.2016 viikoittain klo 10-12, Pinni ls B1097 Poikkeukset: 20.9.2016 klo 10 12, Pinni B1096 25.10.2016 klo 10 12, Pinni B3107 Luennot alkavat 7.

2 Viikkoharjoitukset ja harjoitustyö Viikkoharjoitukset: 26 h, alkavat ja päättyvät Henry Joutsijoki : Ryhmä 1 Ti viikoittain klo 12-14, Linna K110 Ke klo 12-14, Pinni B0020, ti korvaava harjoitus Ryhmä 2 Ti viikoittain klo 14-16, Pinni B0016 Ke klo 14-16, Pinni B0020, ti korvaava harjoitus Ryhmä 3 Ti viikoittain klo 16-18, Pinni B0016 Ke klo 16-18, Pinni B0020, ti korvaava harjoitus Jyrki Rasku, harjoitustyö: aihe loka- tai marraskuussa Lisäksi tulee tehdä silmänliiketesti (n. ½ h) laboratoriossa B1071 (ajankohta ilmoitetaan myöhemmin, mittauksen hoitaa Jyrki Rasku); Tästä saa 4 ylimääräistä suoritetta viikkoharjoituksiinsa. Lähdeteos: Michael T. Goodrich ja Roberto Tamassia: Data Structures and Algorithms in Java, John Wiley & Sons (lähteinä pääosin 4. painos, 2006, ja osin 1. painos, 1998 (4. ja 5., 2011, erot aika vähäiset)) 2

12.2016 klo 16-18, Pinni B0020, ti 6.12. korvaava harjoitus Jyrki Rasku, harjoitustyö: aihe loka- tai marraskuussa Lisäksi tulee tehdä silmänliiketesti (n.

3 Kurssin arvostelu Tentit: perjantai klo D10a+b perjantai klo D10a+b pisteitä välillä 0-30, läpipääsyraja 12 pistettä Viikkoharjoitukset: suoritettava vähintään 30 % tehtävistä, pisteitä 0-5 (lisäpisteinä tentin ja harjoitustyön päälle) Harjoitustyö: suoritettava hyväksytysti, pisteitä 0-10 Silmänliiketesti (saa 4 lisäsuoritetta viikkoharjoituksiin) Näiden suoritusten jälkeen koko kurssi on suoritettu. Arvosana lasketaan pisteiden mukaan. 3

Viikkoharjoitukset: suoritettava vähintään 30 % tehtävistä, pisteitä 0-5 (lisäpisteinä tentin ja harjoitustyön päälle)

4 1.1. Tietorakenteet ja algoritmit 1. Suunnitteluperiaatteista Tietorakenne tarkoittaa tiedon (data) saannin ja organisoinnin järjestelmällistä esitystä. Algoritmi on vaiheittainen kuvaus jonkin tehtävän suorittamista varten äärellisessä ajassa. Nämä käsitteet ovat pohjimmiltaan keskeisiä missä tahansa tietokoneen suorittamassa tietojenkäsittelyssä. Suunnittelupäämäärät Kaksi tärkeää päämäärää tietorakenteiden ja algoritmien ylätason suunnittelussa ovat: oikeellisuus tehokkuus 1. luku 4

Algoritmi on vaiheittainen kuvaus jonkin tehtävän suorittamista varten äärellisessä ajassa.

5 Oikeellisuus tarkoittaa tietorakenteiden ja algoritmien ylätason suunnittelussa, että ne toimivat oikeeellisesti kaikille mahdollisille syötteille, joita voi esiintyä määrätyssä tehtävässä. Jos esim. tietorakenteen oletetaan tallettavan joukon lukuja järjestetyssä muodossa, lukujoukkoa ei pitäisi koskaan käsitellä ei-järjestetyllä tavalla. Järjestyksessä lukuja käsittelevää algoritmia ei myöskään koskaan pitäisi soveltaa ei-järjestettyyn käsittelyyn. Täten oikeellisuuden käsite riippuu aina ongelmasta, jota varten tietorakenne ja algoritmi on tarkoitettu. Tehokkuus tarkoittaa tietojenkäsittelytehtävän riittävän nopeaa suoritusta muistitilaakaan tarpeettomasti käyttämättä. Toisinaan nämä tekijät, käytetty suoritusaika ja muistitila, voivat olla aivan keskeisiä. 1. luku 5

Järjestyksessä lukuja käsittelevää algoritmia ei myöskään koskaan pitäisi soveltaa ei-järjestettyyn käsittelyyn.

6 Reaaliaikaisessa tietojärjestelmässä, esimerkiksi lentokoneen, avaruusaluksen tai robotin, aikavaatimus on luonnollisesti olennainen. Tehokkaiden tietorakenteiden ja algoritmien suunnittelu on monesti vaikea ja haastava tehtävä. Niiden tehokkuus on kuitenkin usein tärkeä kysymys tehtävän monimutkaisuuden ja tiedon suuren määrän vuoksi sekä riittävän nopean suoritusajan saavuttamiseksi. Toteutuspäämäärät Luotettavien ja tehokkaiden tietorakenteiden ja algoritmien tuottamiseksi on toteutuksessa otettava huomioon myös muita tärkeitä seikkoja: vahvuus mukautuvuus uudelleenkäytettävyys 1. luku 6

Niiden tehokkuus on kuitenkin usein tärkeä kysymys tehtävän monimutkaisuuden ja tiedon suuren määrän vuoksi sekä riittävän nopean suoritusajan

7 Vahvuus Hyvän ohjelman tulee olla vahva (robust), jolloin se antaa oikeat tulokset kaikille syötteille laiteympäristöstä riippumatta. Sellaisen ohjelman pitäisi käsitellä jopa syötteitä, joita ei ole eksplisiittisesti määritelty kyseisellä syötteiden määrittelyalueella. Jos esim. ohjelman odotetaan toimivan kokonaislukusyötteellä, mutta sille syötetään (reaali-) liukulukuja, sen tulisi kyetä toipumaan virheestä mielekkäällä tavalla. On olemassa tietojärjestelmiä, joilta vaaditaan tarkkaan oikeellista ja vahvaa toimintaa. Esim. sairaaloiden tehohoidon järjestelmät ovat tällaisia. Mukautuvuus Tietokoneohjelmien tulisi kyetä mukautumaan ajan mukana muuttuvassa ympäristössä ja vaatimuksissa. Monet nykyiset ohjelmat käsittävät hyvin laajoja kokonaisuuksia, kuten tekstinkäsittelyssä, verkkoselaimissa tai hakukoneissa. Näiden täytyy kehittyä muuttuvien vaatimusten mukana. 1. luku 7

ohjelman odotetaan toimivan kokonaislukusyötteellä, mutta sille syötetään (reaali-) liukulukuja, sen tulisi kyetä toipumaan virheestä mielekkäällä tavalla.

8 Esim. keskusyksiköiden tai tietoverkkojen nopeudet kasvavat tai näihin voi tulla uusia toimintoja. Yllättäviin tilanteisiin pitäisi osata varautua. Tällaisesta yllätyksestä oli hyvä esimerkki vuoden 2000 ongelma, kun joissakin vanhoissa, aiemmilta vuosikymmeniltä periytyneissä ohjelmissa oli käytetty ainoastaan ykkösiä ja kymmeniä vuosilukujen ilmaisemiseen. Uudelleenkäytettävyys Edelliseen liittyy käsite uudelleenkäytettävyys eli tarve, että sama ohjelmakoodi voi olla erilaisten järjestelmien osana eri sovellusalueilla. Ohjelmakoodin uudelleenkäytettävyys myöhemmin tuotettavissa ohjelmissa on taloudellista, mutta monesti se on vaikea vaatimus ja se on laadittava huolella, jotta uudessa sovelluksessa vältyttäisiin sen aiheuttamista rajoituksista ja pahimmillaan virheistä. 1. luku 8

ilmaisemiseen. Uudelleenkäytettävyys Edelliseen liittyy käsite uudelleenkäytettävyys eli tarve, että sama ohjelmakoodi voi olla erilaisten järjestelmien osana eri sovellusalueilla.

9 1.2 Oliosuunnitteluperiaatteista Olioperustainen ohjelmien suunnittelulähestymistapa pyrkii toisaalta yksinkertaisuuteen, jotta edellä luetellut toteutuspäämäärät olisivat saavutettavissa, ja toisaalta ilmaisuvoimaan, jotta ylätason ratkaisut pystyttäisiin tehokkaasti esittämään. Seuraavat käsitteet tulevat tällöin vastaan: abstraktio kapselointi modulaarisuus Abstraktio Abstraktion tai abstrahoinnin käsite on olennainen ja ilmaisukykyinen tietojenkäsittelytieteessä. Perusideana on eriyttää monimutkainen systeemi perusosiinsa ja kuvata nämä yksinkertaisella, täsmällisellä esityksellä. Osien esittäminen tarkoittaa yleensä niiden nimeämistä ja toiminnan kuvaamista. 1. luku 9

Seuraavat käsitteet tulevat tällöin vastaan: abstraktio kapselointi modulaarisuus Abstraktio Abstraktion tai abstrahoinnin käsite on olennainen ja ilmaisukykyinen

10 Esimerkiksi tavanomainen tekstinkäsittelyohjelman graafinen käyttöliittymä käsittää edit-valikon abstraktion, joka sisältää useita tekstinkäsittelytoimintoja, kuten leikkaaminen ja liimaaminen. Menemättä monitahoisiin yksityiskohtiin, miten tekstinkäsittelyohjelma toteuttaa ja näyttää teksti- ja graafiset oliot, leikkausliimauskäsitteet ovat yksinkertaiset ja täsmälliset. Leikkaustoiminto poistaa valitun tekstin tai graafisen osan ja sijoittaa sen ulkoiseen muistipuskuriin. Liimaustoiminto toimii käänteisesti. Tekstinkäsittelyvalikon abstraktit toiminnot on määritelty täten riittävän täsmällisellä ja selkeällä kielellä, mutta tarpeeksi yksinkertaisesti tarpeettomien yksityiskohtien abstrahoimiseksi pois. Edellisen menettelytavan soveltaminen tietorakenteiden suunnittelussa nostaa esiin abstraktin tietotyypin. Tämä on tietorakenteen matemaattinen malli, joka määrittelee talletettavan tiedon tyypin, sille käytettävät operaatiot ja operaatioiden parametrien tyypit. Abstrakti tietotyyppi määrää, mitä kukin operaatio tekee, mutta ei periaatteessa (käytännön toteutuksissa usein toki) sitä, miten operaatio sen tekee. 1. luku 10

Leikkaustoiminto poistaa valitun tekstin tai graafisen osan ja sijoittaa sen ulkoiseen muistipuskuriin. Liimaustoiminto toimii käänteisesti.

11 Kapselointi Kapseloinnissa eli informaation piilottamisessa edellytetään ohjelman osien toteuttamista abstraktioina paljastamatta näiden toteutuksien sisäisiä yksityiskohtia. Etuna tässä on, että käyttäjä voi täysin ymmärtää esim., miten tekstinkäsittelyohjelman toiminnot toimivat, vaikka ei tunne toimintojen yksityiskohtaista toteutusta. Toteutukset eivät olisi käyttäjän kannalta olennaista tietoa. Toisaalta kapselointi antaa ohjelman tekijälle vapauden yksityiskohtien toteutuksessa, kun itse asiassa ainoa rajoitus on ylläpitää käyttäjän näkemä abstrakti rajapinta. 1. luku 11

, miten tekstinkäsittelyohjelman toiminnot toimivat, vaikka ei tunne toimintojen yksityiskohtaista toteutusta.

12 Modulaarisuus Nykyisten suurien ohjelmien rakentaminen vaatii modulaarisuutta ja hierarkkisuutta. Edellinen tarkoittaa organisointirakennetta, jossa ohjelman eri osat on jaettu erillisiin toimintoyksiköihin. Modulaarisuus tuo luonnollista selkeyttä ohjelman rakenteeseen ja organisointiin ja edistää osien uudelleenkäyttöä. Hierarkkisessa esityksessä samanlaista abstraktia määrittelyä käsittävät osat ryhmitellään yhteen, ja osissa voidaan kulkea hierarkkiassa yksityiskohtaisemmista yleisempiin. Olioperusteiset ohjelman suunnittelumenetelmät Abstraktion, kapseloinnin ja modulaarisuuden saavuttamiseksi muutamat määrätyt ohjelmointitekniikat ovat tarpeellisia. Nämä ovat tuttuja olioohjelmoinnista, joten niitä ei tässä mainintaa tarkemmin kuvata: luokat, oliot, rajapinnat, vahva tyypitys, periytyminen ja polymorfismi. 1. luku 12

Modulaarisuus tuo luonnollista selkeyttä ohjelman rakenteeseen ja organisointiin ja edistää osien uudelleenkäyttöä.

13 suunnittelupäämäärät periaatteet vahvuus kapselointi abstraktio tekniikat luokat rajapinnat oliot tyypitys mukautuvuus periytyminen, polymorfismi modulaarisuus uudelleenkäytettävyys 1. luku 13

oliot tyypitys mukautuvuus periytyminen,

Samankaltaiset tiedostot

A215 Tietorakenteet. Tietojenkäsittelytieteiden laitos Tampereen yliopisto. Periodit I-II, syksy 2007

A215 Tietorakenteet. Tietojenkäsittelytieteiden laitos Tampereen yliopisto. Periodit I-II, syksy 2007 Kurssiesittely Tietojenkäsittelytieteiden laitos Tampereen yliopisto A215 Tietorakenteet Periodit I-II, syksy 2007 Luennot/vastuuhenkilö: Heikki Hyyrö Sähköposti: heikki.hyyro@cs.uta.fi Kurssin kotisivu: