Název: Algoritmy pro permutační grupy
Překlad názvu: Permutation group algorithms
Autoři: Plšková, Petra ; Bulín, Jakub (vedoucí práce) ; Růžička, Pavel (oponent)
Typ dokumentu: Bakalářské práce
Rok: 2020
Jazyk: slo
Abstrakt: [eng] [cze]
The Schreier Sims algorithm is a fundamental algorithm for permutation groups. Its purpose is to find a base and a strong generating set. Representation of a group using a base and a strong generating set is the core of many other algorithms. The aim of the thesis is to give the reader a detailed description of the algorithm. We present its pseudocode together with the pseudocode of its subroutines. We analyze the complexity with respect to the given pseudocode. Similarly, we describe an efficient, Monte Carlo version of the Schreier Sims algorithm whose time complexity is nearly linear. We give a detailed description of two improved algorithms for subroutines on which this version is based. We introduce the theoretical framework needed to support the correctness of both the deterministic and the probabilistic version of the algorithm. 1 Schreier Simsov algoritmus je základným algoritmom pre permutačné grupy. Jeho úlohou je nájsť bázu a silne generujúcu množinu. Reprezentácia grupy pomocou bázy a silne generujúcej množiny je základom pre veľa ďalších algoritmov. Cieľom tejto práce je poskytnúť čitateľovi detailnejší popis tohto algoritmu. V práci uvedieme jeho pseudo- kód, vrátane pseudokódov algoritmov riešiacich čiastkové problémy. Časovú a priestorovú zložitosť spočítame vzhľadom k uvedeným pseudokódom. Obdobne popíšeme efektívnu Monte Carlo verziu Schreier Simsovho algoritmu, ktorej časová zložitosť je skoro line- árna. Detailne popíšeme dve vylepšenia algoritmov pre čiastkové problémy, na ktorých je táto verzia založená. Korektnosť deterministickej aj Monte Carlo verzie je podložená teoretickými poznatkami. 1
Klíčová slova: báza; Monte Carlo algoritmus; permutačná grupa; Schreier Simsov algortimus; silne generujúca množina; base; Monte Carlo algorithm; permutation group; Schreier Sims algorithm; strong generating set

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/121707

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-435609


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Bakalářské práce