od andy » 12. 2. 2020 19:49
Zaklady zlozitosti a vycislitelnosti [Hladik] - Pseudopolynomialne algoritmy a silna NP-uplnost
* definicie a pseudopolynomialny algoritmus pre batoh
* priklady silno a slabo NP-uplnych problemov
Datove struktury [Kucera] - Haldy (zamerat sa na binomialne)
* definicie, operacie,
* amortizovana zlozitost
Systemove aspekty pocitacov [Yaghob] - Real-time planovanie
* definicie, prehlad algoritmov pre aperiodicke/periodicke tasky
* doplnujuce otazky k rozdeleniu RT systemov (hard-RT, firm-RT, soft-RT...)
Paralelne a distribuovane systemy [Zavoral] - Konsenzus v distribuovanych systemoch
* co to je, priklady problemov (o 2 armadach, o byzantskych generaloch)
* jeden protokol popisat detailnejsie (popisoval som PAXOS)
Formalne metody [Parizek] - Abstrakcie, CEGAR
* co to je, co to riesi, priklady abstrakcii
* popisat CEGAR loop (initial abstraction, model checking, counter-example analysis, abstraction refinement)
Zaklady zlozitosti a vycislitelnosti [Hladik] - Pseudopolynomialne algoritmy a silna NP-uplnost
* definicie a pseudopolynomialny algoritmus pre batoh
* priklady silno a slabo NP-uplnych problemov
Datove struktury [Kucera] - Haldy (zamerat sa na binomialne)
* definicie, operacie,
* amortizovana zlozitost
Systemove aspekty pocitacov [Yaghob] - Real-time planovanie
* definicie, prehlad algoritmov pre aperiodicke/periodicke tasky
* doplnujuce otazky k rozdeleniu RT systemov (hard-RT, firm-RT, soft-RT...)
Paralelne a distribuovane systemy [Zavoral] - Konsenzus v distribuovanych systemoch
* co to je, priklady problemov (o 2 armadach, o byzantskych generaloch)
* jeden protokol popisat detailnejsie (popisoval som PAXOS)
Formalne metody [Parizek] - Abstrakcie, CEGAR
* co to je, co to riesi, priklady abstrakcii
* popisat CEGAR loop (initial abstraction, model checking, counter-example analysis, abstraction refinement)