Navrhování a analýza algoritmů

Garant předmětu:

Jiří Demel

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra inženýrské informatiky

Anotace:

Předmět poskytuje obecný pohled na problematiku návrhu a analýzy vlastností algoritmů (specifikace, důkazy správnosti, časová a paměťová složitost, jejich měření a dokazování). Výklad není zaměřen na konkrétní programovací jazyk. Probírají se základní modely výpočtu, základní datové struktury, třídění, vybrané grafové algoritmy a další.

Třídy úloh P a NP.

Požadavky:

Základní zkušenost s programováním v libovolném jazyce.

Osnova přednášek:

Algoritmický problém, model výpočtu.

Metody dokazování správnosti.

Metody časových odhadů.

Algoritmy pro základní datové struktury a jejich vlastnosti

Osnova cvičení:

Diskuse nad prací studentů

Cíle studia:

Schopnost uvažovat a argumentovat o správnosti a časových nárocích algoritmů.

Studijní materiály:

!Demel, J.: Grafy a jejich aplikace, 2002, Academia Praha, ISBN 80-200-0990-6; 2. vydání vlastním nákladem 2015, ISBN 80-260-7684-1

?Kozen, D.: The Design and Analysys of Algorithms, Springer, 1991, 978-0-387-97687-7.

?Aho, Hopcroft, Ullman, Design and analysys of Computer Algorithms, Addison-Wesley, 1974, ISBN 0201000296.

Poznámka:

Další informace:

Pro tento předmět se rozvrh nepřipravuje

Předmět je součástí následujících studijních plánů:

• Geodézie a kartografie, specializace Geomatika (povinně volitelný předmět)
• Geodézie a kartografie, specializace Geomatika (povinně volitelný předmět)