Test Rabina-Millera a volba báze
Rabin-Miller test and the choice of a basis
bakalářská práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/50295Identifikátory
SIS: 79164
Kolekce
- Kvalifikační práce [10691]
Autor
Vedoucí práce
Oponent práce
Čunát, Vladimír
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Obecná informatika
Katedra / ústav / klinika
Katedra teoretické informatiky a matematické logiky
Datum obhajoby
7. 9. 2011
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Čeština
Známka
Výborně
Klíčová slova (česky)
prvočíselný test, Rabinův-Millerův test, volba báze, silný lhářKlíčová slova (anglicky)
primality test, Rabin-Miller test, choice of basis, strong liarPráce se zabývá různými způsoby volby báze v Rabinově-Millerově testu. V teoretické části je učiněn krátký přehled prvočíselných testů podobných Rabinovu-Millerovu testu a je dokázáno několik tvrzení o struktuře množiny sil- ných lhářů v multiplikativní grupě. Vybrané netradiční volby báze jsou otestovány na množině lichých složených čísel od 100 do 200 000 000 a výsledky jsou porov- nány s výsledky při obvyklé volbě báze. Je vyslovena domněnka o vylepšení testu prostřednictvím používání bází určitého tvaru vzhledem k testovanému číslu. Sou- částí práce je také program, který implementuje posuzované způsoby volby báze. Tento program umožňuje uživateli pohodlné srovnávání výsledků testů s různými způsoby volby báze. V druhé části práce je dokumentace programu. 1 Seznam tabulek 2.1 Výsledky testů s různými volbami báze na testovací množině. . . . 19 2.2 Výsledky testů s různými volbami báze na spsp(2,3,5) < 101 2 z článku [7]. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3.1 Typy zpráv. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 4.1 Třídy hledačů bází. . . . . . . . . . . . . . . . . . . . . . . . . . . 32 4.2 Názvy a funkce reportérů. . . . . . . . . . . . . . . . . . . . . . . 33 2 Seznam obrázků 2.1 Hustota lhářů v závislosti na poměru lháře ku testovanému...
This thesis is dedicated to various choices of basis in Rabin-Miller test. Short overview of similar methods is shown and some properties of structure of the set of strong liars are proved in theoretical part. Selected innovative choices of basis are tested on the set of odd composite numbers in range of 100 and 200 000 000 and the results are compared to results of tests with usual choices of bases. Hypothesis about possible improvement of test through using basis of special form with regard to tested number is proposed. Program used for compu- tations of these results is included. The program allows user to compare results of tests with various ways of choosing basis. The second part of the thesis contains documentation of the program.