National Repository of Grey Literature 3 records found  Search took 0.00 seconds. 
Application of group theory in solving puzzles
Pavlík, Tomáš ; Opršal, Jakub (advisor) ; Tůma, Jiří (referee)
This thesis studies the theory of combinatorical puzzles and its connection to the group theory. The aim of this work is to introduce the concept of puzzle to mathematics and to use group theory to solve it, special attention will be focused on solvable groups. Everything is interspersed with a number of practical examples to better understand the topic.
Permutation group algorithms
Plšková, Petra ; Bulín, Jakub (advisor) ; Růžička, Pavel (referee)
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
Application of group theory in solving puzzles
Pavlík, Tomáš ; Opršal, Jakub (advisor) ; Tůma, Jiří (referee)
This thesis studies the theory of combinatorical puzzles and its connection to the group theory. The aim of this work is to introduce the concept of puzzle to mathematics and to use group theory to solve it, special attention will be focused on solvable groups. Everything is interspersed with a number of practical examples to better understand the topic.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.