|
|
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.
|
|
| |
|
| |
|
|
Variety superalgeber
Lišková, Adéla ; Žemlička, Jan (vedoucí práce) ; Barto, Libor (oponent)
Cílem práce je představit základy teorie superalgeber, neboli Z2-graduovaných al- geber nad tělesem charakteristiky různé od dvou. Zároveň jsou doplněny potřebné základy univerzální a multilineární algebry, zejména tenzorový součin a pojmy va- rieta algeber a ideál identit. Předkládáme definice algebry a superalgebry včetně příkladů, dále se zabýváme tenzorovým součinem superalgeber a jeho vlastnostmi, Cliffordovými a Grassmannovými superalgebrami. Část práce je věnována kon- strukci volné neasociativní algebry a objasnění vztahu mezi varietami algeber a ideály identit, včetně upřesnění tohoto vztahu pro superalgebry. Věnujeme po- zornost také varietám superalgeber. 1
|
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
host ::
RSS.