Laskennan vaativuus
4
Algorithms and machine learning
Intermediate studies
Kurssilla kerrataan Turingin koneen formalismit ja niiden aikavaativuudet. Sen jälkeen esitellään vaativuusluokat P, NP, PSPACE, L ja NL. Muutamia NP-täydellisiä ongelmia käsitellään tarkasti, muiden luokkien täydellisiä ongelmia sen sijaan ylimalkaisemmin. Lopuksi, jos aikaa jää, käsitellään satunnaisalgoritmeja. Esitiedot: Laskennan mallit. Kurssikirja: Sipser M.: Introduction to the Theory of Computation (2nd ed.), Thomson Course Technology, 2006.
Lectures
Time | Room | Lecturer | Date |
---|---|---|---|
Wed 10-12 | CK112 | Timo Karvi | 12.03.2008-25.04.2008 |
Fri 10-12 | CK112 | Timo Karvi | 12.03.2008-25.04.2008 |
Exercise groups
Time | Room | Instructor | Date | Observe |
---|---|---|---|---|
Wed 12-14 | C221 | Harri Forsgren | 17.03.2008—25.04.2008 |