Show simple item record

Probabilistic algorithms for testing primality
dc.contributor.advisorŠvejdar, Vítězslav
dc.creatorTejkalová, Natálie
dc.date.accessioned2017-05-15T14:17:18Z
dc.date.available2017-05-15T14:17:18Z
dc.date.issued2013
dc.identifier.urihttp://hdl.handle.net/20.500.11956/51943
dc.description.abstractAčkoli v poslední době byla pozornost upřena především na nový deterministický algoritmus pro testování prvočíselnosti AKS, pravděpodobnostní algoritmy zůstávají efektivním nástrojem pro testování prvočíselnosti. Naše práce se věnuje převážně dvěma nejznámějším probabilistickým algoritmům pro testování prvočíselnosti. Podrobně popisuje princip a důkaz správnosti Solovay- Strassenova a Rabin-Millerova algoritmu. Kromě toho se také pokouší dívat na problematiku pravděpodobnostních testů obecněji. Je představena definice probabilistického algoritmu a různé třídy složitosti odpovídající Monte Carlo či Las Vegas algoritmům. Kromě čistě matematické teorie naznačíme i filosofické aspekty, nad kterými je třeba se při používání pravděpodobnostní metody zamýšlet. Powered by TCPDF (www.tcpdf.org)cs_CZ
dc.description.abstractAttention has been paid mostly to the new deterministic algorithm for primality testing AKS recently. However, probabilistic algorithms remain an efficient tool for primality testing. Our thesis focuses mostly on two most well-known probabilistic algorithms for primality testing. It describes the main idea and gives proofs of correctness of Solovay-Strassen and Rabin-Miller algorithms. Apart from that, it also tries to look at the subject of probabilistic algorithms from a wider perspective. It presents a definition of a probabilistic algorithm and various complexity classes that correspond to Monte Carlo or Las Vegas algorithms. Besides pure mathematical theory, we mention also some philosophical aspects that need to be considered when we decide to use the probabilistic method. Powered by TCPDF (www.tcpdf.org)en_US
dc.languageČeštinacs_CZ
dc.language.isocs_CZ
dc.publisherUniverzita Karlova, Filozofická fakultacs_CZ
dc.subjectProbabilistický algoritmuscs_CZ
dc.subjectpolynomiální algoritmuscs_CZ
dc.subjectprvočíslocs_CZ
dc.subjectProbabilistic algorithmen_US
dc.subjectpolynomial algorithmen_US
dc.subjectprime numberen_US
dc.titleProbabilistické algoritmy pro prvočíselnostcs_CZ
dc.typebakalářská prácecs_CZ
dcterms.created2013
dcterms.dateAccepted2013-09-19
dc.description.departmentDepartment of Logicen_US
dc.description.departmentKatedra logikycs_CZ
dc.description.facultyFaculty of Artsen_US
dc.description.facultyFilozofická fakultacs_CZ
dc.identifier.repId124237
dc.title.translatedProbabilistic algorithms for testing primalityen_US
dc.contributor.refereeGlivický, Petr
dc.identifier.aleph001626590
thesis.degree.nameBc.
thesis.degree.levelbakalářskécs_CZ
thesis.degree.disciplineLogicen_US
thesis.degree.disciplineLogikacs_CZ
thesis.degree.programLogikacs_CZ
thesis.degree.programLogicen_US
uk.faculty-name.csFilozofická fakultacs_CZ
uk.faculty-name.enFaculty of Artsen_US
uk.faculty-abbr.csFFcs_CZ
uk.degree-discipline.csLogikacs_CZ
uk.degree-discipline.enLogicen_US
uk.degree-program.csLogikacs_CZ
uk.degree-program.enLogicen_US
thesis.grade.csVelmi dobřecs_CZ
thesis.grade.enVery gooden_US
uk.abstract.csAčkoli v poslední době byla pozornost upřena především na nový deterministický algoritmus pro testování prvočíselnosti AKS, pravděpodobnostní algoritmy zůstávají efektivním nástrojem pro testování prvočíselnosti. Naše práce se věnuje převážně dvěma nejznámějším probabilistickým algoritmům pro testování prvočíselnosti. Podrobně popisuje princip a důkaz správnosti Solovay- Strassenova a Rabin-Millerova algoritmu. Kromě toho se také pokouší dívat na problematiku pravděpodobnostních testů obecněji. Je představena definice probabilistického algoritmu a různé třídy složitosti odpovídající Monte Carlo či Las Vegas algoritmům. Kromě čistě matematické teorie naznačíme i filosofické aspekty, nad kterými je třeba se při používání pravděpodobnostní metody zamýšlet. Powered by TCPDF (www.tcpdf.org)cs_CZ
uk.abstract.enAttention has been paid mostly to the new deterministic algorithm for primality testing AKS recently. However, probabilistic algorithms remain an efficient tool for primality testing. Our thesis focuses mostly on two most well-known probabilistic algorithms for primality testing. It describes the main idea and gives proofs of correctness of Solovay-Strassen and Rabin-Miller algorithms. Apart from that, it also tries to look at the subject of probabilistic algorithms from a wider perspective. It presents a definition of a probabilistic algorithm and various complexity classes that correspond to Monte Carlo or Las Vegas algorithms. Besides pure mathematical theory, we mention also some philosophical aspects that need to be considered when we decide to use the probabilistic method. Powered by TCPDF (www.tcpdf.org)en_US
uk.file-availabilityV
uk.publication-placePrahacs_CZ
uk.grantorUniverzita Karlova, Filozofická fakulta, Katedra logikycs_CZ


Files in this item

Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record


© 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 3-5, 116 36 Praha; email: admin-repozitar [at] cuni.cz

Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

DSpace software copyright © 2002-2015  DuraSpace
Theme by 
@mire NV