|
|
Park's conjecture
Lauschmannová, Anna ; Ježek, Jaroslav (oponent) ; Stanovský, David (vedoucí práce)
A finite algebra of finite type (i.e. in a finite language) is finitely based iff the variety it generates can be axiomatized by finitely many equations. Park's conjecture states that if a finite algebra of finite type generates a variety in which all subdirectly irreducible members are finite and of bounded size, then the algebra is finitely based. In this thesis, I reproduce some of the finite basis results of this millennium, and give a taster of older ones. The main results fall into two categories: applications of Jonsson's theorem from 1979 (Baker's theorem in the congruence distributive setting, and its extension by Willard to congruence meet-semidistributive varieties), whilst other proofs are syntactical in nature (Lyndon's theorem on two element algebras, Je·zek's on poor signatures, Perkins's on commutative semigroups and the theorem on regularisation). The text is self-contained, assuming only basic knowledge of logic and universal algebra, and stating the results we build upon without proof.
|
|
|
Quasigroup based cryptography
Christov, Adam ; Drápal, Aleš (oponent) ; Stanovský, David (vedoucí práce)
Možnou alternativou k bežne používaným kryptografickým schématům s veřejným klíčem, jejichž složitost je založena na problému faktorizace nebo diskrétním logaritmu, jsou schémata využívající složitost rešení systému kvadratických rovnic o více proměnných nad konečným tělesem. Jedno takové schéma bylo navrhnuto v práci D.Gligoroskiho a spol. [8]. V tomto schématu jsou klíče konstruovány ze speciálních kvazigrup, které jsou nazývány kvadratické. V této práci jsou kvadratické kvazigrupy popsány a klasifikovány podle jejich vlastností. Nakonec je představena teorie, kterou je možné využít k jejich konstrukci.
|
|
|
Quasigroup based cryptography
Frisová, Andrea ; Drápal, Aleš (oponent) ; Stanovský, David (vedoucí práce)
Předložená práce se zabývá vlastnostmi určité nekonečné matice, jejíž prvky jsou prvky kvazigrupy. Tato matice je vygenerována z určeného nekonečného vektoru poumocí levých iterovaných translací. Z předpokladu, že vstupní vektor je periodický, zkoumáme, jaké periody můžou mít jednotlivé řádky matice pro dané typy kvazigrup. Cílem této práce je ukázat, že pro centrální kvazigrupy periody rostou nejvýše lienárně, a snažit se tento fakt aplikovat na proudovou šifru Edon-80.
|
|
|
Kvazigrupy, jednosměrné funkce a hašování
Machek, Ivo ; Stanovský, David (oponent) ; Drápal, Aleš (vedoucí práce)
V první části této práce jsme se zabývali složitostní řešení nelineárních kvazigrupových rovnic pro různé třídy kvazigrup. Zvláště jsme se pak zabývali přenesením principu centrálních kvazigrup na bloky kongruence. Ukázali jsme, že tyto kvazigrupy splňují podmínku beztvarosti a proto jsme získali protipříklad k hypotéze, kterou předložil D. Gligoroski. V druhé části této práce jsme aplikovali předchozí výsledky na konkrétní kvazigrupy typu Edon-R-I,II a odpovidli jsme složitost příslušného algoritmu pro invertování hašovací funkce Edon-R.
|
|
|
Faktorizace polynomů nad konečnými tělesy
Straka, Milan ; Stanovský, David (oponent) ; Žemlička, Jan (vedoucí práce)
Nazcv prace: Faktorizace polynoinu nad konccnynii telesy Autor: Milan Straka Katcdra (ustav): Katcdra algebry Vedouci bakalarske prace: Mgr. Jan Zcmlicka, Ph.D. E-mail vedouciho: Jan.Zemlicka((hnff. cuni.cz Abstrakt: Cilem prace je prozkoumat problem rozkladu polynomn nad konecnym telc- scm na soucin ircducibilnich polynoinu. PopHanim nekolika algoritmu hledaji- cich tento rozklad se ukaze, ze tento problem je vzdy fcsitclny v polynornialnim case vzhleclem kc stupni polynomu a poctu prvku konecneho telcsa. U jeduoho z algoritnm je po])sana implenientace s vclnii clobrou asymptotic- kou casovou slozito.sti O(nLylD log c/}, kdc i\. jc stupen rozkladaneho polynuinn nad telesem « q prvky. Program pouzivajiei jcdnodnssi, ale prakticky rychlcjsi variantu tohoto algoritnm jc soucasti ])racc. Klicova slova: faktorizace, kouecna telesa, polynoniy, algoritmns Title: Factoring polynomials over finite fields Author: Milan Straka Department: Department of Algebra Supervisor: Mgr. Jan Zemlicka, Ph.D. Supervisor's e-mail address: Jan. Zcirilicka@mJJ.cum.cz Abstract: The goal of this work is to present the problem of the decomposition of a polyno- mial over a finite field into a product of irreducible polynomials. By describing algorithms solving this problem, we show that the decomposition can always be found in...
|
|
|
Testování identit
Polach, František ; Žemlička, Jan (oponent) ; Stanovský, David (vedoucí práce)
Nazev prace: Testovdni identit Autor: FrantiSek Polnch Katedra (ustav): Katedra algebry Vedouci bakalafske prace: RNDr. David Stanovsky, Ph.D. e-mail vedouciho: stanovsk@karlin.mff.citni.cz Abstrakt: Na overeni, zda dana identita (napf. komlttativita, asociativita, apod.) plati v dane algebre (grupe, okrului,...), existuje ocividny algoritmtts, ktery ma exponencidlni slozitost vzh- ledem kdelce zadane identity (profixm'algebru)- Neni tezke nahlednout, ze tento problemje pro libovolnou algebra v I ride co-NP a ze existuji algebry, pro ktere je co-NP-uplny. Na druhou stranu, pro mnoho algeber (napr. pro abelovske grupy) existitje algoritmus polynomidlni. Ex- istuje mezindrodni projekt, jehoz cilein je charakterizovat ty algebry, pro ktere je tento prob- lem pollfnomidlni, rcsp. co-NP-iiplny. Cflem tcto prdceje shrnout nektere zndme vysledky o grupdch a okruzich. Konkretne ukdzeme polynomidlni algoritmy pro testovdni identit v nilpo- tentnich i dihedrdlnfch grupdch a nilpotentnich okruzich, a dokdzeme co-NP-iiplnost testovdni identit v nenilpotcntnfch okruzich. Klicova slova: testovdni identit, slozitost, grupy, okruhy Title: Identity checking Author: Franlisek Polach Department: Department of Algebra Supervisor: RNDr. David Stanovsky, Ph.D. Supervisor's e-mail address: stanovsk@karlin.inff.cuni.cz Abstract:...
|
|
|
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ů.
|
|
| |
|
| |
|
| |
host ::
RSS.