Paraméteres Algoritmusok és Bonyolultság Kutatócsoport

A paraméteres bonyolultság az algoritmikus problémák vizsgálatának egy újszerű módszere, amely egy részletesebb, többdimenziós képet ad, mint a bonyolultságelmélet klasszikus eszköztára. A cél olyan újszerű hatékony algoritmusok tervezése, amelyek vizsgálata nem lehetséges a bonyolultségelmélet hagyományos keretei között. Csoportunk kutatásokat végez a paraméteres bonyolultság összes fontosabb területén: algoritmusok tervezése, kombinatorikus problémák előfeldolgozása (kernelizáció), bonyolultsági eredmények. Kutatásaink az algoritmikus problémák számos területét érintik, többek közt a gráfalgoritmusok, kombinatorikus optimalizálási problémák, korlátkielégítési problémák, adatbázis elmélet és logika területét.