|
|
Multivariate polynomial commitment schemes
Bžatková, Kateřina ; Hubáček, Pavel (vedoucí práce) ; Žemlička, Jan (oponent)
Tato diplomová práce se zabývá schématy polynomiálních závazků, což jsou schémata umožňující vytvářet polynomiální závazky a následně pomocí spuštění navrženého protokolu důvěryhodně vyhodnocovat polynomy v požadovaných bodech. Jako náš hlavní výsledek navrhujeme nové schéma, které umožňuje pracovat s polynomy více proměnných a efektivně dokazovat korektnost vyhodnocení polynomu ve více bodech. Vytvoření našeho schématu vedlo k využití poznatků z teorie algebry, především zabývající se vlastnostmi ideálů v polynomiálních okruzích a grupovými vlastnostmi. V porovnání s jiným schématem, které je též navrženo pro polynomy více proměnných, se nám podařilo zlepšit komunikační složitost během protokolu.
|
|
|
Representing Images by Weighted Finite Automata
Hurtišová, Viktória ; Holub, Štěpán (vedoucí práce) ; Žemlička, Jan (oponent)
Cieľom tejto práce je predstavenie vážených konečných automatov (WFA) ako spôsob reprezentácie rastrových obrázkov vo viacerých rozlíšeniach (multi-resolution images). Vysvetlíme základné koncepty vážených konečných automatov. Potom popíšeme algo- ritmus pre kódovanie obrázkov do WFA a algoritmus pre dekódovanie WFA späť do obrázkov. Následne poskytneme našu implementáciu kódovacieho a dekódovacieho algo- ritmu. 1
|
|
|
Structural and categorical description of classes of abelian groups
Dvořák, Josef ; Žemlička, Jan (vedoucí práce) ; Modoi, George Ciprian (oponent) ; Příhoda, Pavel (oponent)
Práce představuje výsledky týkajících se vlastností samomalosti a relativní malosti součinů v kategorii abelovských grup a Ab5-kategorií. Jsou představena kritéria relativní malosti abelovských grup a je podána charakterizace samoma- lých součinů konečně generovaných abelovských grup. Dále je vybudována teorie rozkladů v UD-kategoriích a v důsledku i v kategoriích S-aktů, přičemž tyto jsou následně užity ke zkoumání (samo)malosti S-aktů. Je podán strukturální popis kompaktních objektů ve dvou kategoriích S-aktů. Taktéž je zkoumána existence projektivních pokrytí v kategoriích S − Act a S − Act0 a pozornost je věnována problematice perfektních monoidů s nulou. 1
|
|
|
R-projectivity
Fuková, Kateřina ; Trlifaj, Jan (vedoucí práce) ; Žemlička, Jan (oponent)
R-projektivním je nazýván modul nad okruhem R, jestliže je relativně projektivní vzhledem k R. Tento pojem z teorie modulů je duální k pojmu R-injektivity, jež hraje klíčovou roli v klasickém Baerově kritériu injektivity. Tato práce se zaobírá otázkou, zda platí duální verze Baerova kritéria (DBC), přičemž poskytuje úvod k vlastnosti projekti- vity obecně, jakožto vlastnosti kategorické. Je známo, že nad perfektními okruhy, DBC platí, zatímco nad neperfektními je DBC buď nezávislé na ZFC, nebo neplatí. V této práci budeme věnovat pozornost třídě ne- perfektních okruhů, tvořené malými regulárními semiartinovskými okruhy, které mají primitivní faktory artinovské, pro niž nedávno Trlifaj ukázal, že existuje rozšíření modelu ZFC, v němž DBC platí. Konkrétně stačí uvažovat model, v němž platí oslabení Jensenova diamantového principu, takzvaný slabý diamant. Kromě přehledu právě vyjmenovaných okruhových vlastností a potřebných množinově teoretických pojmů práce předvádí důkaz zmíněného nedávného Trlifajova výsledku pu- blikovaného v článku "Weak diamond, weak projectivity, and transfinite extensions of simple artinian rings" v J. Algebra v roce 2022. 1
|
|
|
Funkční šifrování pro kvadratické funkce
Sýkora, Josef ; Žemlička, Jan (vedoucí práce) ; Růžička, Pavel (oponent)
V této práci se budeme zabývat funkčním šifrováním pro kvadratické funkce. Zprávu v podobě vektoru z chceme zašifrovat na otevřený text ct a vytvořit soukromý klíč skf pro kvadratickou funkci f tak, aby dešifrování ct vrátilo f(z), ale aby nešlo pomocí ct ani skf získat žádné informace o z. Představíme jednu konstrukci funkčního šifrování. Cílem bude připravit potřebné nástroje a pomocí nich tuto konstrukci detailně popsat a ověřit její korektnost. V práci představíme Aritmetické větvící programy. To jsou objekty, které nám pomohou uchopit a reprezentovat funkci f. Dále představíme Garbling a Partial garbling schémata. Ty nám pomohou se "znáhodněním" části šifrovacího algoritmu. Na závěr sestavíme šifrovací algoritmus, jehož výsledek lineárně transformujeme. Ten využijeme v hlavní konstrukci šifry pro systémy kvadratických funkcí. 1
|
|
| |
|
| |
|
| |
|
| |
|
|
Banschewského funkce na komplementárních modulárních svazech
Mokriš, Samuel ; Růžička, Pavel (vedoucí práce) ; Žemlička, Jan (oponent)
Název práce: Banschewského funkce na komplementárních modulárních svazech Autor: Samuel Mokriš Katedra: Katedra algebry Vedoucí bakalářské práce: Mgr. Pavel Růžička, Ph.D., Katedra algebry Abstrakt: Banaschewského funkce na omezeném svazu L je antimonotónní zo- brazení svazu L do sebe, které každému prvku z L přiřadí nějaký jeho komple- ment. Na libovolném nejvýše spočetném komplementárním modulárním svazu L existuje Banaschewského funkce, jejíž obraz M tvoří booleovský podsvaz v L. Takové M je navíc maximálním booleovským podsvazem L a je určeno až na izomorfismus jednoznačně. V této práci záporně zodpovídáme související otázku, zda jsou každé dva maximální booleovské podsvazy daného spočetného komple- mentárního modulárního svazu izomorfní a zda je každý maximální booleovský podsvaz daného spočetného komplementárního modulárního svazu L obrazem nějaké Banaschewského funkce na L. Protipříklad dále zobecníme pro větší mo- hutnosti množin; pro libovolný daný nekonečný kardinál κ zkonstruujeme kom- plementární modulární svaz L kardinality κ a maximální booleovské podsvazy B a E svazu L takové, že B není obrazem žádné Banaschewského funkce na L, že existuje Banaschewského funkce na svazu L,...
|
host ::
RSS.