Prohlížení Bakalářské práce - 18101 dle autora "Luboš Zápotočný"
-
Ověřená binární halda
Autor: Luboš Zápotočný; Vedoucí práce: Knop Dušan; Oponent práce: Hušek Radek
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-16)Tato práce popisuje implementaci binární minimové haldy a formální důkazy korektnosti jednotlivých operací. Ověřená binární halda je následně použita v Dijkstrově algoritmu pro hledání nejkratší cesty v grafu.