Název:
Test Rabina-Millera a volba báze
Překlad názvu:
Rabin-Miller test and the choice of a basis
Autoři:
Franců, Martin ; Simon, Petr (vedoucí práce) ; Čunát, Vladimír (oponent) Typ dokumentu: Bakalářské práce
Rok:
2011
Jazyk:
cze
Abstrakt: [cze][eng] Prá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.
Klíčová slova:
prvočíselný test; Rabinův-Millerův test; silný lhář; volba báze; choice of basis; primality test; Rabin-Miller test; strong liar