Teknillinen korkeakoulu, 
     Tietojenkäsittelyteorian laboratorio

T-79.194 Tietojenkäsittelyteorian seminaari (2 ov) VL

Kevät 2004

Seminaarin kevään 2004 aiheena on rajoiteohjelmointi.

Rajoitteen käsite on laajasti käytössä tietojenkäsittelyssä. Useimmat laskennalliset ongelmat voidaan kuvata antamalla rajoitteita mahdollisten ratkaisujen joukolle. Rajoiteohjelmointi on ongelmanratkaisutekniikka, joka perustuu rajoitteita käsitteleviin laskennallisiin menetelmiin. Rajoiteohjelmointi hyödyntää operaatiotutkimuksessa, kombinatorisessa optimoinnissa ja tekoälytutkimuksessa kehitettyjä menetelmiä ja sitä on sovellettu menestyksellisesti monilla alueilla, kuten suunnittelutehtävissä, laskennallisessa biologiassa, taloudellisessa päätöksenteossa, sähkötekniikassa, ...

Seminaarin tarkoituksena on perehtyä rajoiteohjelmoinnin taustalla olevaan teoriaan, käytettäviin algoritmeihin ja järjestelmiin sekä sovellutuksiin.