|
| |
|
|
Algebraic Substructures in Cm
Kala, Vítězslav ; Kepka, Tomáš (vedoucí práce) ; Stanovský, David (oponent) ; El Bashir, Robert (oponent)
Název práce: Algebraické podstruktury v ℂ Autor: Vítězslav Kala Katedra: Katedra algebry Vedoucí disertační práce: Prof. RNDr. Tomáš Kepka, DrSc., Katedra algebry Abstrakt: Tato práce je zaměřena na studium struktury konečně generovaných polookruhů, parapolotěles a dalších algebraických struktur za použití geomet- rických metod založených na algebraických podstrukturách Euklidovského pro- storu ℂ . Parapolotělesu , které je konečně generované jako polookruh, přiřadíme vhod- nou podpologrupu pologrupy ℕ0 (definovanou pomocí prvků takových, že + = pro nějaké ∈ a ∈ ℕ). Algebraické a geometrické vlastnosti obsahují důležité informace o struktuře ; použijeme jich k důkazu, že pokud je parapolotěleso 2-generované jako polookruh, pak je aditivně idempotentní. Uvedeme také okruhové přeformulování této hypotézy pro případ -generovaných polookruhů. Dále klasifikujeme všechna aditivně idempotentní parapolotělesa, která jsou ko- nečně generovaná jako polookruh, za použití skutečnosti, že odpovídají třídě jistých konečně generovaných unitálních svazově uspořádaných grup. Ty nedávno klasifikovali Busaniche, Cabrer a Mundici [4] pomocí kombinatorických a geomet- rických "hvězdných posloupností", což jsou posloupnosti...
|
|
|
Konstrukce modelů pomocí CSP
Peterová, Alena ; Stanovský, David (vedoucí práce) ; Kazda, Alexandr (oponent)
V této práci se věnujeme algoritmům na konstrukci konečných modelů pro množiny axiomů logiky 1. řádu s cílem navrhnout a implementovat novou metodu, založenou na převodu na problém splnitelnosti omezení (CSP). V teoretické části představíme standardní metodu MACE, používající převod úloh na SAT, a pokročilejší techniky zvyšující její efektivitu: dělení klauzulí, definici termů a statickou redukci symetrií. Následuje návrh alternativní metody, která podobným způsobem převádí úlohy na CSP. Nově navrhujeme techniku redukce symetrií i pro binární funkce. Poté popíšeme implementaci alternativní metody pomocí CSP-modelovacího jazyka MiniZinc a CSP-solveru Gecode. Na závěr porovnáme výkonnost vytvořeného nástroje na hledání modelů s nejúspěšnějšími zástupci standardních metod, systémy Paradox a Mace4.
|
|
|
The Number of Homomorphisms to a Fixed Algebra
Kapytka, Maryia ; Barto, Libor (vedoucí práce) ; Stanovský, David (oponent)
V této práci dáváme částečnou odpověd' na následující otázku: Pro které pevné konečné algebry A je počet homomorfismů z podobné algebry X do A shora omezen poly- nomem proměnné |X|? Práce je rozdělena do dvou částí: Preliminaries a Results. V první části seznámíme čtenáře s tématem a uvedeme několik základních faktů o počtu homo- morfismů. V hlavní části zobecníme případ dvouprvkového polosvazu na konečné polos- vazy, poté se podíváme na konkrétní tříprvkovou algebru s majoritní operací a konkrétní tříprvkový 2-polosvaz, algebru kámen-nůžky-papír. Pak se podíváme na grupy. Nakonec uvážíme unární algebry. Všechny výše uvedené algebry kromě unárních algeber dávají kladnou odpověď na naši otázku. 1
|
|
|
Higher commutators in loop theory
Semanišinová, Žaneta ; Stanovský, David (vedoucí práce) ; Bulín, Jakub (oponent)
Práca sa venuje supernilpotencii v lupách. Vychádzame z troch ekvivalentných definícií vyšších komutátorov v Mal'cevských algebrách, a to podľa Aichingera a Mudrinského, Bulatova a Opršala. V práci skúmame identity, ktoré platia v 1-, 2- a 3-supernilpotentných lupách. Ďalej ukážeme, že k-supernilpotentná lupa má k- nilpotentnú multiplikačnú grupu. V závere prezentujeme výsledky algoritmického testovania supernilpotencie v neasociatívnych lupách malých rádov.
|
|
|
Kryptografie založená na kvadratických tělesech
Straka, Milan ; Stanovský, David (vedoucí práce)
Nazev prace: Kryptografie zalozena na kvadratickych telesech Autor: Milan Straka Katedra (ustav): Katedra algebry Vedouci diplomove prace: RNDr. David Stanovsky, Ph.D. E-mail vedouciho: David.Stanovsky@mff.cuni.cz Abstrakt: Iraaginarni kvadraticka telesa byla navrzena pro pouziti v asyrnetricke kryptografii Buchmannem a Williamsern jiz v roce 1988 a od te doby vznikly i dalsi kryptograficke protokoly. I kdyz tyto protokolynejsou tak efektivni jako podobna schemata s eliptickyrni kfivkami, mohou konku- rovat schematum zalozenyrn na RSA, a navic je jejich bezpecnost pova- zovana za nezavislou na bezpecnosti beznych kryptosystemu jako RSA, DSA aEGG. Tato prace shrnuje dosavadni vysledky v oboru kvadraticke kryptografie. Jednak popisuje algebraickou teorii nutnou pro zavedeni tndove grupy imaginarnich kvadratickych teles a dale studuje algoritmy operaci v tri- dove grupe, jak asymptoticky, tak prakticky efektivni. Take rozebira vhodna kryptograficka schemata a utoky na ne. Soucasti teto prace je knihovna, ktera popsane protokoly efektivne im- plementuje. Klicova slova: tridova grupa imaginarniho kvadratickeho telesa, diskretni logaritmus, asymetricka kryptografie, sifrovaci a podpisove schema Title: Qudratic field based cryptography Author: Milan Straka Department: Department ofAlgebra Supervisor: RNDr. David...
|
|
|
Selfdistributive quasigroups of size 2^k
Nagy, Tomáš ; Stanovský, David (vedoucí práce) ; Kepka, Tomáš (oponent)
V této práci představíme teorii samodistributivních kvazigrup a konstrukci ne- afinní samodistributivní kvazigrupy velikosti 216 , která byla zkonstruována Ono- iem v roce 1970 a která představovala nejmenší známý příklad takovéto struktury velikosti 2k . Na základě této konstrukce představíme koncept Onoiových struktur a Onoiových zobrazení mezi nimi, který zobecňuje Onoiovu konstrukci a který nám umožní zkonstruovat neafinní samodistribuivní kvazigrupu velikosti 22k pro k ≥ 3. Představíme a implementujeme algoritmus na hledání centrálních extenzí sa- modistributivních kvazigrup, což nám umožní klasifikovat neafinní samodistri- butivní kvazigrupy velikosti 2k a dokázat, že tyto kvazigrupy existují právě pro k ≥ 6, k ̸= 7. Tento algoritmus také použijeme pro lepší porozumění struktuře neafinních samodistributivních kvazigrup velikosti 26 . 1
|
|
|
Alexander polynomial
Jančová, Ľubica ; Stanovský, David (vedoucí práce) ; Peksová, Lada (oponent)
Názov práce: Alexanderov polynóm Autor: Ľubica Jančová Katedra: Katedra algebry Vedúci bakalárskej práce: doc. RNDr. David Stanovský, Ph.D., Katedra algebry Abstrakt: Objektom skúmania tejto práce je Alexanderov polynóm v teórii uzlov ako uzlový invariant a rôzne spôsoby jeho výpočtu. Práca sa zameriava na po- pis výpočtu Alexanderovho polynómu pomocou metód farbenia stien diagramu uzla, farbenia oblúkov diagramu uzla, Seifertovej metódy a metódy pomocou Conwayovho polynómu. Prvá kapitola je venovaná základným pojmom a tvr- deniam z teórie uzlov. Nasledujú kapitoly vysvetľujúce jednotlivé algoritmy vý- počtu Alexanderovho polynómu. Záverečná kapitola sa zaoberá možnosťou pre- pojenia všetkých postupov s využitím Conwayovho polynómu. Hlavnými výsled- kami práce sú dôkazy, ktoré by mohli smerovať k ukázaniu ekvivalencie rôznych postupov. Kľúčové slová: teória uzlov, Alexanderov polynóm, uzlový invariant
|
|
|
Enumeration of affine quasigroups
Semanišinová, Žaneta ; Stanovský, David (vedoucí práce) ; Kepka, Tomáš (oponent)
Práca je venovaná problému enumerácie paramediálnych kvázigrúp. V práci je dokázané, že existuje práve 2p − 1 paramediálnych kvázigrúp rádu p, kde p je nepárne prvočíslo. Ďalej je v nej dokázané, že existuje práve 11 2 p2 + 3 2 p − 4 paramediálnych kvázigrúp rádu p2 pre nepárne prvočíslo p. Odpovedajúce vý- počty zahŕňajú enumeráciu paramediálnych kvázigrúp afinných nad grupou Zp a grupami Zp2 a Z2 p. Algoritmus na enumeráciu týchto kvázigrúp je špeciálnym prípadom výsledku, ktorého autorom je Aleš Drápal. Najťažší je prípad enume- rácie nad grupou Z2 p, ktorý zahŕňa skúmanie druhých odmocnín a konjugačných tried v grupe GL(2, p).
|
|
|
Counting the points on elliptic curves over finite fields
Eržiak, Igor ; Šťovíček, Jan (vedoucí práce) ; Stanovský, David (oponent)
Cieľom tejto práce je vysvetliť a naimplementovať Schoofov algoritmus na počítanie bodov na eliptických krivkách nad konečnými telesami. Začneme definíciou eliptickej krivky ako množiny bodov spĺňajúcich istú rovnicu a pokračujeme definovaním operácie na tejto množine. Teoretické poznatky potrebné k algoritmu sú predstavené v druhej kapitole. Napokon je prestavený Schoofov algoritmus v tretej kapitole, doplnený o implementáciu v SageMath open-source software.
|
host ::
RSS.