Hledat
Zobrazují se záznamy 1-1 z 1
Ověřená implementace Dinitzova algoritmu, Dinitz Algorithm---A Verified Implementation
; Vedoucí práce: Knop Dušan; Oponent práce: Šimeček Ivan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-08-24)
Tato práce se zabývá implementaci Dinitzova algoritmu pro hledání maximálního toku v síti a formálnímu důkazu jednotlivých použitích funkcí. Teoretická část seznámí čtenáře s teorií toků v sítích a myšlenkou Dinitzova ...