|
|
Gröbner basis, Zhuang-Zi algorithm and attacks of multivariable cryptosystems
Doktorová, Alice ; Tomáš, Jiří (referee) ; Kureš, Miroslav (advisor)
This diploma thesis is devoted to the multivariate cryptosystems. It includes an overview of commutative algebra with emphasis on Gröbner bases. Of all algorithms, especially the ones using Gröbner bases are studied, i.e. Buchberger's algorithm, which is already implemented in Wolfram Mathematica, and F4 algorithm, for which a program package has been created in the Wolfram Mathematica environment. Also Zhuang-Zi algorithm is described. To simplify its steps a program to compute the Lagrange interpolation polynomial has been created in Python.
|
|
|
Non-commutative Gröbner bases
Požárková, Zuzana ; Šťovíček, Jan (advisor) ; Stanovský, David (referee)
In the presented work we define non-commutative Gröbner bases including the necessary basis of non- commutative algebra theory and notion admissible ordering. We present non-commutative variant of the Buchberger algorithm and study how the algorithm can be improved. Analogous to the Gebauer-Möller criteria lead us to detect almost all unnecessary obstructions in the non-commutative case. The obstructions are graphically ilustrated. The Buchberger algorithm can be improved within redundant polynomials. This work is a summary and its specification of the results of some known authors engaged in this field. Presented definitions are ilustrated on examples. We perform proves of some of the statements which have been proven differently by other authors. Powered by TCPDF (www.tcpdf.org)
|
|
|
Gröbner bases
Petržilková, Lenka ; Žemlička, Jan (advisor) ; Růžička, Pavel (referee)
In this thesis we remind you of the basic Buchberger algorithm for com- puting the Gröbner base over commutative polynomial rings. We also observe uniqueness of the Gröbner base for the ideal. Next we research less known, but more effective (for some instances) Faugère F4 algorithm. At the end of the first chapter we compare these two algorithms. In the second chapter we analyze a generalization of the Buchberger algorithm for noncommutative rings both for free algebra and factor algebra. On the contary to the commu- tative case, Gröbner bases can be infinite in this case, even for some finitely generated ideals. Among other things, we investigate quasi-zero elements,i.e. such elements, that we get zero by multiplying them with an arbitrary term, and their role in the division of a polynom by set of polynoms. 1
|
|
|
Non-commutative Gröbner bases
Požárková, Zuzana ; Šťovíček, Jan (advisor) ; Stanovský, David (referee)
In the presented work we define non-commutative Gröbner bases including the necessary basis of non- commutative algebra theory and notion admissible ordering. We present non-commutative variant of the Buchberger algorithm and study how the algorithm can be improved. Analogous to the Gebauer-Möller criteria lead us to detect almost all unnecessary obstructions in the non-commutative case. The obstructions are graphically ilustrated. The Buchberger algorithm can be improved within redundant polynomials. This work is a summary and its specification of the results of some known authors engaged in this field. Presented definitions are ilustrated on examples. We perform proves of some of the statements which have been proven differently by other authors. Powered by TCPDF (www.tcpdf.org)
|
|
|
Gröbner bases
Petržilková, Lenka ; Žemlička, Jan (advisor) ; Růžička, Pavel (referee)
In this thesis we remind you of the basic Buchberger algorithm for com- puting the Gröbner base over commutative polynomial rings. We also observe uniqueness of the Gröbner base for the ideal. Next we research less known, but more effective (for some instances) Faugère F4 algorithm. At the end of the first chapter we compare these two algorithms. In the second chapter we analyze a generalization of the Buchberger algorithm for noncommutative rings both for free algebra and factor algebra. On the contary to the commu- tative case, Gröbner bases can be infinite in this case, even for some finitely generated ideals. Among other things, we investigate quasi-zero elements,i.e. such elements, that we get zero by multiplying them with an arbitrary term, and their role in the division of a polynom by set of polynoms. 1
|
|
|
Gröbner basis, Zhuang-Zi algorithm and attacks of multivariable cryptosystems
Doktorová, Alice ; Tomáš, Jiří (referee) ; Kureš, Miroslav (advisor)
This diploma thesis is devoted to the multivariate cryptosystems. It includes an overview of commutative algebra with emphasis on Gröbner bases. Of all algorithms, especially the ones using Gröbner bases are studied, i.e. Buchberger's algorithm, which is already implemented in Wolfram Mathematica, and F4 algorithm, for which a program package has been created in the Wolfram Mathematica environment. Also Zhuang-Zi algorithm is described. To simplify its steps a program to compute the Lagrange interpolation polynomial has been created in Python.
|
guest ::
