IV003 Algoritmy a datové struktury II

Fakulta informatiky
jaro 2018
Rozsah
2/2. 4 kr. (plus ukončení). Ukončení: zk.
Vyučující
prof. RNDr. Ivana Černá, CSc. (přednášející)
RNDr. Jaroslav Bendík, Ph.D. (cvičící)
RNDr. Nikola Beneš, Ph.D. (cvičící)
RNDr. Jan Mrázek (cvičící)
RNDr. Samuel Pastva, Ph.D. (cvičící)
Mgr. Filip Štefaňák (cvičící)
RNDr. František Blahoudek, Ph.D. (pomocník)
Mgr. Jan Horáček (pomocník)
RNDr. Martin Jonáš, Ph.D. (pomocník)
RNDr. David Klaška (pomocník)
Mgr. Tadeáš Kučera (pomocník)
Mgr. Martina Vitovská (pomocník)
Garance
prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky
Rozvrh
Po 12:00–13:50 D2
  • Rozvrh seminárních/paralelních skupin:
IV003/Advanced: Čt 12:00–13:50 A319, N. Beneš
IV003/01: Čt 10:00–11:50 B410, J. Bendík
IV003/02: Út 12:00–13:50 C511, J. Bendík
IV003/03: Čt 14:00–15:50 B410, S. Pastva
IV003/04: Út 14:00–15:50 A217, J. Mrázek
IV003/05: Po 18:00–19:50 A218, F. Štefaňák
Předpoklady
( IB002 Algoritmy a datové struktury || PROGRAM ( 1431:N - MA )) && ! IB108 Algoritmy a dat. struktury II
Kurz navazuje na přednášku IB002 Algoritmy a datové struktury I.
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
předmět má 18 mateřských oborů, zobrazit
Cíle předmětu
Kurz navazuje na úvodní kurz Algoritmy a datové struktury I. Prezentuje algoritmické koncepty a konstrukty bez jejich přímé návaznosti na jakýkoliv programovací jazyk a bez požadavků na jejich praktickou programovou realizaci. Cílem je naučit studenta konstruovat a analyzovat algoritmy v kontextu pseudokódů, což umožní studentovi rozlišit mezi obecnými koncepty a specifikami konkrétních programovacích jazyků. Kurz uvádí pokročilé techniky analýzy algoritmů. Rozšiřuje seznam algoritmických strategií a charakterizuje typ problémů, pro které jsou jednotlivé strategie vhodné. Nové datové struktury jsou prezentovány spolu s příklady algoritmů, které je využívají, přičemž důraz je kladen na propojenost návrhu algoritmu a návrhu datové struktury.
Výstupy z učení
Student bude po absolvování předmětu schopen:
- aktivně používat, modifikovat a analyzovat pokročilé algoritmy pro průzkum grafů a pro práci s řetěczi,
- aktivně používat pokročilé techniky návrhu algoritmů (dynamické programování, hladové techniky) při konstrukci algoritmů a bude rozlišovat jejich specifika a vzájemné rozdíly,

- aktivně používat a modifikovat pokročilé dynamické datové struktury a používat je při návrhu efektivních algoritmů,

- analyzovat časovou složitost a dokazovat korektnost algoritmů,
Osnova
  • Techniky analýzy algoritmů: složitost algoritmů, amortizovaná analýza složitosti.
  • Techniky návrhu algoritmů: rozděl a panuj, dynamické programování, hladové strategie, backtracking, lokální vyhledávání.
  • Datové struktury: binomiální a Fibonacciho haldy, datové struktury pro reprezentaci disjunktních množin.
  • Grafové algoritmy: problém nejkratších cest z jednoho zdroje (Bellmanův-Fordův algoritmus), obecný problém nejkraších cest (Floydův-Warhallův algoritmus, násobení matic, Johnsonův algoritmus pro řídké grafy). Toky v sítích (Fordova-Fulkersonova metoda, metoda push-relabel), párování.
  • Algoritmy pro práci s řetězci: přímý algoritmus, užití konečných automatů, Rabin-Karpův algoritmus, algoritmus KMP.
Literatura
    povinná literatura
  • KLEINBERG, Jon a Éva TARDOS. Algorithm design. Boston: Pearson/Addison-Wesley. xxiii, 838. ISBN 0321372913. 2006. URL info
    doporučená literatura
  • DASGUPTA, Sanjoy, Christos Ch. PAPADIMITRIOU a Umesh Virkumar VAZIRANI. Algorithms. 1st ed. Boston: McGraw-Hill Companies. x, 320. ISBN 9780073523408. 2008. info
  • CORMEN, Thomas H., Charles Eric LEISERSON a Ronald L. RIVEST. Introduction to algorithms. Cambridge: MIT Press. xvii, 1028. ISBN 0070131430. 1989. info
Výukové metody
přednášky a cvičení. Studenti samostatně řeší algoritmické problémy.
Metody hodnocení
Výuka probíhá formou přednášky a cvičení. V průběhu semestru student samostaně řeší zadané algoritmické problémy. Kurz je ukončen písemnou zkouškou. Podmínkou přístupu ke zkoušce je získání určeného počtu bodů ze samostatně řešených problémů.
Navazující předměty
Informace učitele
https://is.muni.cz/auth/el/1433/jaro2018/IV003/index.qwarp
Další komentáře
Studijní materiály
Předmět je vyučován každoročně.
Předmět byl dříve vypisován pod kódem IB108.
Předmět je zařazen také v obdobích jaro 2014, jaro 2015, jaro 2016, jaro 2017, jaro 2019, jaro 2020, jaro 2021, jaro 2022, jaro 2023, jaro 2024.