|
| |
|
|
Algoritmus pro kvantové hledání
Mejdrech, Lukáš ; Barto, Libor (vedoucí práce) ; Holub, Štěpán (oponent)
V předložené práci studujeme Groverův algoritmus, který slibuje na kvantovém počítači vyhledávat v nesetříděné databázi v čase uměrné odmocnině z počtu položek. Po popsaní základních principů kvantových počítačů je uvedena jak původní Groverova formulace a důkaz algoritmu, tak i pozdější geometrický popis tohoto algoritmu. Také je poukázáno na vhodnost těchto popisů k výukovým učelům. Nakonec je zahrnut popis Groverova algoritmu v programovacím jazyce umožňujícím simulovat na klasických počítačích kvantové výpočty.
|
|
| |
|
|
Rychlé algebraické útoky
Hána, Martin ; Hojsík, Michal (oponent) ; Holub, Štěpán (vedoucí práce)
V předložené práci se zabýváme algebraickými útoky a na ně navazujícím rychlým algebraickým útokem na proudové šifry využívající ve své konstrukci posuvné registry s lineární zpětnou vazbou. Pro hlubší pochopení principu útoků nejprve v první kapitole prezentujeme potřebná fakta z teorie lineárně rekurentních posloupností a dáme je do souvislosti s formalizovaným popisem konstrukcí, na které budeme v dalších kapitolách útočit. V kapitole druhé rozebereme algebraické útoky na proudové šifry bez paměti i s pamětí, vysvětlíme pojmy anihilátoru booleovské funkce a její algebraické imunity a ukážeme jejich základní vlastnosti. V kapitole třetí navážeme na kapitoly předchozí a ukážeme průběh a princip rychlého algebraického útoku.
|
|
|
Vztah teoretického a praktického života u H. Arendtové a Aristotela
Holub, Štěpán ; Kouba, Pavel (vedoucí práce) ; Pechar, Jiří (oponent) ; Čapek, Jakub (oponent)
Vztah teoretického a praktického života u H. Arendtové a Aristotela První část práce se zabývá vztahem mezi myšlením, filosofií a politickým jednáním u Hannah Arendtové. Součástí tohoto zkoumání je: posouzení významu distance Arendtové od filosofie; charakteristika toho, čemu sama říká "politická teorie"; rozbor její kritiky filosofické tradice; a konečně náčrt jejího pojetí autentického myšlení. Druhá část je věnována Aristotelovi a jeho postavení v díle Arendtové. V této části je posouzena oprávněnost zařazení Arendtové mezi neoaristoteliky a dále jsou zkoumány některé rysy Aristotelovy filosofie z hlediska jejich použitelnosti pro pojetí politiky, které hájí Arendtová, a z hlediska formulace ideálů teoretického a praktického života. Jedná se především o analýzu Etiky Nikomachovy (včetně úvah o její koherenci) a některých pasáží Politiky, se zaměřením na pojem TÉAos- a na vztah mezi pojmy rrp5~tS' a evÉpyeta.
|
|
|
Binární ekvivalenční slova
Hadravová, Jana ; Stanovský, David (oponent) ; Holub, Štěpán (vedoucí práce)
Binární ekvivalenční jazyk pro homomorfismy g, h je množina všech řešení rovnice g (w) = h(w). Je dokázáno, že tato množina je generována maximálně dvěma slovy. Struktura binárního ekvivalečního jazyka je známa v případě, že alespoň jeden z homomorfismů je periodický, nebo pokud je množina řešení generována právě dvěma slovy. Cílem této práce bylo najít strukturu množiny řešení i pro případ, že je tato množina generována pouze jedním slovem. Problém sice zůstává nedořešen, byly však získány speciální výsledky pro bezbloková řešení (tj. řešení, která se skládají pouze z jednoho bloku) markovaných homomorfismů. Metody zavedené v této práci (pokrývání stejnými vzory pro nalezení n-násobného p-převisu a práce se z-kunjogovanou dvojicí (e, f, z))) jsou natolik univerzální, že je lze použít při dalším zkoumání tohoto problému a v krátké době dosáhnout dalších výsledků.
|
|
| |
|
| |
|
| |
|
|
Searching collisions in hash functions
Joščák, Daniel ; Holub, Štěpán (oponent) ; Tůma, Jiří (vedoucí práce)
Hlavním obsahem této práce je hledání kolizí v hašovací funkci MD5. Představíme náš nový algoritmus založený na metodě hledání kolizí podle Wangové a kol. V průběhu psaní této práce Stevens a Klíma publikovali dva nové algoritmy na hledání kolizí v této funkci. Přineseme popis všech tří algoritmů a také jejich výpočetní složitost.
|
host ::
RSS.