Testování prvočíselnosti v polynomiálním čase
Polynomial time primality testing
bakalářská práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/121626Identifikátory
SIS: 215697
Kolekce
- Kvalifikační práce [10932]
Autor
Vedoucí práce
Oponent práce
Čech, Martin
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Obecná matematika
Katedra / ústav / klinika
Katedra algebry
Datum obhajoby
22. 9. 2020
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Čeština
Známka
Výborně
Klíčová slova (česky)
AKS algoritmus, prvočísla, časová složitostKlíčová slova (anglicky)
AKS algorithm, prime numbers, time complexityTématem práce je testování prvočíselnosti v polynomiálním čase. Text se zaměřuje na konkrétní algoritmus, který v roce 2002 publikovali Manindra Agrawal, Neeraj Kayal a Nitin Saxena a je znám jako AKS test prvočíselnosti. V úvodu této práce jsou zopakovány důležité vlastnosti a pojmy nezbytné k porozumění textu. Poté je vysvětlena základní idea testu, pokračuje se popsáním samotného algoritmu. Cílem práce je dokázání Věty o správnosti AKS testu z postupně vybudované teorie a výpočet časové složitosti algoritmu. Na závěr je dokázáno, že vypočtená časová složitost je polynomiální.
The topic of my thesis is the testing of prime numbers in polynomial time. The text focuses on the specific algorithm published in 2002 by Manindra Agrawal, Neeraj Kayal and Nitin Saxena and it is known as the AKS primality test. In the introduction of this work, important properties and concepts essential for the text understanding are revised. Then the basic idea of the test is explained. The description of the algorithm itself continues. The aim of the work is to prove the Theorem on the correctness of the AKS test from a gradually built-up theory and to calculate the time complexity of the algorithm. Finally, it is proved that the calculated time complexity is polynomial.