Prohlížení katedra teoretické informatiky dle předmětu "ACSL"
Zobrazují se záznamy 1-1 z 1
-
Ověřená binární halda
; 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.