Hledat
Zobrazují se záznamy 1-2 z 2
Moderní aplikace zero-knowledge protokolů
Modern applications of zero-knowledge protocols
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Hubáček, Pavel
Datum publikování: 2019
Datum obhajoby: 19. 06. 2019
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: zk-SNARK je kryptografický protokol, který umožňuje libovolný výpočet přeměnit na krátký efektivně ověřitelný argument jeho správnosti. Navíc tento protokol umožnuje dokazovateli přesně rozhodnout, která část vstupů výpočtu ...
zk-SNARK is a cryptographic protocol, which enables transformation of an arbitrary computation into short effectively verifiable argument of correctness of this computation. Further more, it enables a prover to decide ...
zk-SNARK is a cryptographic protocol, which enables transformation of an arbitrary computation into short effectively verifiable argument of correctness of this computation. Further more, it enables a prover to decide ...
Optimalizace včelí kolonií
Artificial Bee Colony
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Pangrác, Ondřej
Datum publikování: 2019
Datum obhajoby: 27. 06. 2019
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Problém minimálního vrcholového pokrytí je dobře známý NP-těžký pro- blém. Tato práce prezentuje Artificial Bee Colony (ABC) algoritmus a dva přístupy založené na genetických algoritmech pro řešení tohoto problému. Al- ...
The minimum vertex cover (MVC) problem is a well-known NP-hard prob- lem. This thesis presents the Artificial Bee Colony (ABC) algorithm and two genetic algorithm approaches to solve this problem. The ABC algorithm is an ...
The minimum vertex cover (MVC) problem is a well-known NP-hard prob- lem. This thesis presents the Artificial Bee Colony (ABC) algorithm and two genetic algorithm approaches to solve this problem. The ABC algorithm is an ...