English
Related papers

Related papers: Primality Proving via One Round in ECPP and One It…

200 papers

We remark that the AKS primality testing algorithm [Annals of Mathematics 160 (2), 2004] needs about 1,000,000,000 G (gigabyte) storage space for a number of 1024 bits. The requirement is very hard to meet. The complexity class P which…

Computational Complexity · Computer Science 2014-02-04 Zhengjun Cao , Lihua Liu

Ideal quantum random number generators (QRNGs) can produce algorithmically random and thus incomputable sequences, in contrast to pseudo-random number generators. However, the verification of the presence of algorithmic randomness and…

Quantum Physics · Physics 2021-01-06 John T. Kavulich , Brennan P. Van Deren , Maximilian Schlosshauer

It is generally believed that the preference ranking method PROMETHEE has a quadratic time complexity. In this paper, however, we present an exact algorithm that computes PROMETHEE's net flow scores in time O(qn log(n)), where q represents…

Data Structures and Algorithms · Computer Science 2016-03-02 Toon Calders , Dimitri Van Assche

For almost 35 years, Sch{\"o}nhage-Strassen's algorithm has been the fastest algorithm known for multiplying integers, with a time complexity O(n $\times$ log n $\times$ log log n) for multiplying n-bit inputs. In 2007, F{\"u}rer proved…

Symbolic Computation · Computer Science 2018-04-18 Svyatoslav Covanov , Emmanuel Thomé

An orientable sequence of order $n$ is a cyclic binary sequence such that each length-$n$ substring appears at most once \emph{in either direction}. Maximal length orientable sequences are known only for $n\leq 7$, and a trivial upper bound…

Data Structures and Algorithms · Computer Science 2024-05-27 Daniel Gabric , Joe Sawada

Brakerski et. al [BCM+18] introduced the model of cryptographic testing of a single untrusted quantum device and gave a protocol for certifiable randomness generation. We use the leakage resilience properties of the Learning With Errors…

Quantum Physics · Physics 2022-04-26 Urmila Mahadev , Umesh Vazirani , Thomas Vidick

This note presents a formalisation done in Coq of Lucas-Lehmer test and Pocklington certificate for prime numbers. They both are direct consequences of Fermat little theorem. Fermat little theorem is proved using elementary group theory and…

Logic in Computer Science · Computer Science 2022-03-31 Laurent Théry , Sophia Antipolis

Generating primes is a fundamental problem in modern cryptography. Deterministic primality tests work well for special integers such as Mersenne or Proth primes, but these forms are quite restrictive. In this paper, we give a direct method…

Number Theory · Mathematics 2026-05-11 Anuj Jakhar , Ravi Kalwaniya

We describe a primality test for number $M=(2p)^{2^n}+1$ with odd prime $p$ and positive integer $n$. And we also give the special primality criteria for all odd primes $p$ not exceeding 19. All these primality tests run in polynomial time…

Number Theory · Mathematics 2013-07-09 Yingpu Deng , Dandan Huang

In the k-mappability problem, we are given a string x of length n and integers m and k, and we are asked to count, for each length-m factor y of x, the number of other factors of length m of x that are at Hamming distance at most k from y.…

Data Structures and Algorithms · Computer Science 2017-05-12 Mai Alzamel , Panagiotis Charalampopoulos , Costas S. Iliopoulos , Solon P. Pissis , Jakub Radoszewski , Wing-Kin Sung

A simple method to produce a random order type is to take the order type of a random point set. We conjecture that many probability distributions on order types defined in this way are heavily concentrated and therefore sample inefficiently…

Computational Geometry · Computer Science 2020-06-05 Olivier Devillers , Philippe Duchon , Marc Glisse , Xavier Goaoc

We present a new algorithm to decide isomorphism between finite graded algebras. For a broad class of nilpotent Lie algebras, we demonstrate that it runs in time polynomial in the order of the input algebras. We introduce heuristics that…

Rings and Algebras · Mathematics 2019-05-06 Peter A. Brooksbank , E. A. O'Brien , James B. Wilson

In this paper, after presenting the results of the generalization of Pascal triangle (using powers of base numbers), we examine some properties of the 112-based triangle, most of all regarding to prime numbers. Additionally, an effective…

Data Structures and Algorithms · Computer Science 2011-11-17 G. Farkas , G. Kallós , G. Kiss

An algorithm counting the number of ones in a binary word is presented running in time $O(\log\log b)$ where $b$ is the number of ones. The operations available include bit-wise logical operations and multiplication.

Data Structures and Algorithms · Computer Science 2015-06-12 Holger Petersen

We introduce a framework uniting algorithmic randomness with exchangeable credences to address foundational questions in philosophy of probability and philosophy of science. To demonstrate its power, we show how one might use the framework…

History and Philosophy of Physics · Physics 2025-10-29 Jeffrey A. Barrett , Eddy Keming Chen

Leader election is, together with consensus, one of the most central problems in distributed computing. This paper presents a distributed algorithm, called \STT, for electing deterministically a leader in an arbitrary network, assuming…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-09-10 Arnaud Casteigts , Yves Métivier , John Michael Robson , Akka Zemmari

Let $k\ge 1$ be an integer, and let $P= (f_1(x), \ldots, f_k(x) )$ be $k$ admissible linear polynomials over the integers, or \textit{the pattern}. We present two algorithms that find all integers $x$ where $\max{ \{f_i(x) \} } \le n$ and…

Number Theory · Mathematics 2021-05-31 Jonathan P. Sorenson , Jonathan Webster

We present a new algorithm for iterating over all permutations of a sequence. The algorithm leverages elementary~$O(1)$ operations on recursive lists. As a result, no new nodes are allocated during the computation. Instead, all elements are…

Data Structures and Algorithms · Computer Science 2025-09-16 Thomas Baruchel

We use the arithmetic of the Kummer surface associated to the Jacobian of a hyperelliptic curve to study the primality of integers of the form $4m^2 5^n-1$. We provide an algorithm capable of proving the primality or compositeness of most…

Algebraic Geometry · Mathematics 2020-05-20 Eduardo Ruíz Duarte , Marc Paul Noordman

Given a large positive integer $N$, how quickly can one construct a prime number larger than $N$ (or between $N$ and 2N)? Using probabilistic methods, one can obtain a prime number in time at most $\log^{O(1)} N$ with high probability by…

Number Theory · Mathematics 2012-05-29 D. H. J. Polymath