[Resource Topic] 2016/362: An Empirical Study towards Refining the AKS Primality Testing Algorithm

Welcome to the resource topic for 2016/362

Title:
An Empirical Study towards Refining the AKS Primality Testing Algorithm

Authors: Lalitha Kiran Nemana, V. Ch. Venkaiah

Abstract:

The AKS (Agrawal-Kayal-Saxena) algorithm is the first ever deterministic polynomial-time primality-proving algorithm whose asymptotic run time complexity is O(\log^{12+\epsilon} n), where \epsilon > 0. Despite this theoretical breakthrough, the algorithm serves no practical use in conventional cryptologic applications, as the existing probabilistic primality tests like ECPP in conjunction with conditional usage of sub-exponential time deterministic tests are found to have better practical running time. Later, the authors of AKS test improved the algorithm so that it runs in O(\log^{10.5+\epsilon} n) time. A variant of AKS test was demonstrated by Carl Pomerance and H. W. Lenstra, which runs in almost half the number of operations required in AKS. This algorithm also suffers impracticality. Attempts were made to efficiently implement AKS algorithm, but in contrast with the slightest improvements in performance which target specific machine architectures, the limitations of the algorithm are found highlighted. In this paper we present our analysis and observations on AKS algorithm based on the empirical results and statistics of certain parameters which control the asymptotic running time of the algorithm. From this analysis we refine AKS so that it runs in O(\log^{4+\epsilon} n) time.

ePrint: https://eprint.iacr.org/2016/362

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .