Awesome
primecount
primecount is a command-line program and C/C++ library that counts the number of primes ≤ x (maximum 10<sup>31</sup>) using highly optimized implementations of the combinatorial prime counting algorithms.
primecount includes implementations of all important combinatorial prime counting algorithms known up to this date all of which have been parallelized using OpenMP. primecount contains the first ever open source implementations of the Deleglise-Rivat algorithm and Xavier Gourdon's algorithm (that works). primecount also features a novel load balancer that is shared amongst all implementations and that scales up to hundreds of CPU cores. primecount has already been used to compute several prime counting function world records.
Installation
The primecount command-line program is available in a few package managers.
For doing development with libprimecount you may need to install
libprimecount-dev
or libprimecount-devel
.
Build instructions
You need to have installed a C++ compiler and CMake. Ideally primecount should be compiled using GCC or Clang as these compilers support both OpenMP (multi-threading library) and 128-bit integers.
cmake .
cmake --build . --parallel
sudo cmake --install .
sudo ldconfig
Usage examples
# Count the primes ≤ 10^14
primecount 1e14
# Print progress and status information during computation
primecount 1e20 --status
# Count primes using Meissel's algorithm
primecount 2**32 --meissel
# Find the 10^14th prime using 4 threads
primecount 1e14 --nth-prime --threads=4 --time
Command-line options
Usage: primecount x [options]
Count the number of primes less than or equal to x (<= 10^31).
Options:
-d, --deleglise-rivat Count primes using the Deleglise-Rivat algorithm
-g, --gourdon Count primes using Xavier Gourdon's algorithm.
This is the default algorithm.
-l, --legendre Count primes using Legendre's formula
--lehmer Count primes using Lehmer's formula
--lmo Count primes using Lagarias-Miller-Odlyzko
-m, --meissel Count primes using Meissel's formula
--Li Eulerian logarithmic integral function
--Li-inverse Approximate the nth prime using Li^-1(x)
-n, --nth-prime Calculate the nth prime
-p, --primesieve Count primes using the sieve of Eratosthenes
--phi <X> <A> phi(x, a) counts the numbers <= x that are not
divisible by any of the first a primes
-R, --RiemannR Approximate pi(x) using the Riemann R function
--RiemannR-inverse Approximate the nth prime using R^-1(x)
-s, --status[=NUM] Show computation progress 1%, 2%, 3%, ...
Set digits after decimal point: -s1 prints 99.9%
--test Run various correctness tests and exit
--time Print the time elapsed in seconds
-t, --threads=NUM Set the number of threads, 1 <= NUM <= CPU cores.
By default primecount uses all available CPU cores.
-v, --version Print version and license information
-h, --help Print this help menu
<details>
<summary>Advanced options</summary>
Advanced options for the Deleglise-Rivat algorithm:
-a, --alpha=NUM Set tuning factor: y = x^(1/3) * alpha
--P2 Compute the 2nd partial sieve function
--S1 Compute the ordinary leaves
--S2-trivial Compute the trivial special leaves
--S2-easy Compute the easy special leaves
--S2-hard Compute the hard special leaves
Advanced options for Xavier Gourdon's algorithm:
--alpha-y=NUM Set tuning factor: y = x^(1/3) * alpha_y
--alpha-z=NUM Set tuning factor: z = y * alpha_z
--AC Compute the A + C formulas
--B Compute the B formula
--D Compute the D formula
--Phi0 Compute the Phi0 formula
--Sigma Compute the 7 Sigma formulas
</details>
Benchmarks
<table> <tr align="center"> <td><b>x</b></td> <td><b>Prime Count</b></td> <td><b>Legendre</b></td> <td><b>Meissel</b></td> <td><b>Lagarias<br/>Miller<br/>Odlyzko</b></td> <td><b>Deleglise<br/>Rivat</b></td> <td><b>Gourdon</b></td> </tr> <tr align="right"> <td>10<sup>10</sup></td> <td>455,052,511</td> <td>0.01s</td> <td>0.01s</td> <td>0.01s</td> <td>0.01s</td> <td>0.00s</td> </tr> <tr align="right"> <td>10<sup>11</sup></td> <td>4,118,054,813</td> <td>0.01s</td> <td>0.01s</td> <td>0.01s</td> <td>0.01s</td> <td>0.01s</td> </tr> <tr align="right"> <td>10<sup>12</sup></td> <td>37,607,912,018</td> <td>0.03s</td> <td>0.02s</td> <td>0.02s</td> <td>0.01s</td> <td>0.01s</td> </tr> <tr align="right"> <td>10<sup>13</sup></td> <td>346,065,536,839</td> <td>0.09s</td> <td>0.06s</td> <td>0.03s</td> <td>0.02s</td> <td>0.03s</td> </tr> <tr align="right"> <td>10<sup>14</sup></td> <td>3,204,941,750,802</td> <td>0.44s</td> <td>0.20s</td> <td>0.08s</td> <td>0.08s</td> <td>0.04s</td> </tr> <tr align="right"> <td>10<sup>15</sup></td> <td>29,844,570,422,669</td> <td>2.33s</td> <td>0.89s</td> <td>0.29s</td> <td>0.16s</td> <td>0.11s</td> </tr> <tr align="right"> <td>10<sup>16</sup></td> <td>279,238,341,033,925</td> <td>15.49s</td> <td>5.10s</td> <td>1.26s</td> <td>0.58s</td> <td>0.38s</td> </tr> <tr align="right"> <td>10<sup>17</sup></td> <td>2,623,557,157,654,233</td> <td>127.10s</td> <td>39.39s</td> <td>5.62s</td> <td>2.26s</td> <td>1.34s</td> </tr> <tr align="right"> <td>10<sup>18</sup></td> <td>24,739,954,287,740,860</td> <td>1,071.14s</td> <td>366.93s</td> <td>27.19s</td> <td>9.96s</td> <td>5.35s</td> </tr> <tr align="right"> <td>10<sup>19</sup></td> <td>234,057,667,276,344,607</td> <td>NaN</td> <td>NaN</td> <td>NaN</td> <td>40.93s</td> <td>20.16s</td> </tr> <tr align="right"> <td>10<sup>20</sup></td> <td>2,220,819,602,560,918,840</td> <td>NaN</td> <td>NaN</td> <td>NaN</td> <td>167.64s</td> <td>81.98s</td> </tr> <tr align="right"> <td>10<sup>21</sup></td> <td>21,127,269,486,018,731,928</td> <td>NaN</td> <td>NaN</td> <td>NaN</td> <td>706.70s</td> <td>353.01s</td> </tr> <tr align="right"> <td>10<sup>22</sup></td> <td>201,467,286,689,315,906,290</td> <td>NaN</td> <td>NaN</td> <td>NaN</td> <td>3,012.10s</td> <td>1,350.47s</td> </tr> </table>The benchmarks above were run on an AMD 7R32 CPU (from 2020) with 16 cores/32 threads clocked at 3.30GHz. Note that Jan Büthe mentions in <a href="doc/References.md">[11]</a> that he computed $\pi(10^{25})$ in 40,000 CPU core hours using the analytic prime counting function algorithm. Büthe also mentions that by using additional zeros of the zeta function the runtime could have potentially been reduced to 4,000 CPU core hours. However using primecount and Xavier Gourdon's algorithm $\pi(10^{25})$ can be computed in only 460 CPU core hours on an AMD Ryzen 3950X CPU!
Algorithms
<table> <tr> <td>Legendre's Formula</td> <td>$\pi(x)=\pi(\sqrt{x})+\phi(x,\pi(\sqrt{x}))-1$</td> </tr> <tr> <td>Meissel's Formula</td> <td>$\pi(x)=\pi(\sqrt[3]{x})+\phi(x,\pi(\sqrt[3]{x}))-\mathrm{P_2}(x,\pi(\sqrt[3]{x}))-1$</td> </tr> <tr> <td>Lehmer's Formula</td> <td>$\pi(x)=\pi(\sqrt[4]{x})+\phi(x,\pi(\sqrt[4]{x}))-\mathrm{P_2}(x,\pi(\sqrt[4]{x}))-\mathrm{P_3}(x,\pi(\sqrt[4]{x}))-1$</td> </tr> <tr> <td>LMO Formula</td> <td>$\pi(x)=\pi(\sqrt[3]{x})+\mathrm{S_1}(x,\pi(\sqrt[3]{x}))+\mathrm{S_2}(x,\pi(\sqrt[3]{x}))-\mathrm{P_2}(x,\pi(\sqrt[3]{x}))-1$</td> </tr> </table>Up until the early 19th century the most efficient known method for counting primes was the sieve of Eratosthenes which has a running time of $O(x\log{\log{x}})$ operations. The first improvement to this bound was Legendre's formula (1830) which uses the inclusion-exclusion principle to calculate the number of primes below x without enumerating the individual primes. Legendre's formula has a running time of $O(x)$ operations and uses $O(\sqrt{x}/\log{x})$ space. In 1870 E. D. F. Meissel improved Legendre's formula by setting $a=\pi(\sqrt[3]{x})$ and by adding the correction term $\mathrm{P_2}(x,a)$, Meissel's formula has a running time of $O(x/\log^3{x})$ operations and uses $O(\sqrt[3]{x})$ space. In 1959 D. H. Lehmer extended Meissel's formula and slightly improved the running time to $O(x/\log^4{x})$ operations and $O(x^{\frac{3}{8}})$ space. In 1985 J. C. Lagarias, V. S. Miller and A. M. Odlyzko published a new algorithm based on Meissel's formula which has a lower runtime complexity of $O(x^{\frac{2}{3}}/\log{x})$ operations and which uses only $O(\sqrt[3]{x}\ \log^2{x})$ space.
primecount's Legendre, Meissel and Lehmer implementations are based on Hans Riesel's book <a href="doc/References.md">[5]</a>, its Lagarias-Miller-Odlyzko and Deleglise-Rivat implementations are based on Tomás Oliveira's paper <a href="doc/References.md">[9]</a> and the implementation of Xavier Gourdon's algorithm is based on Xavier Gourdon's paper <a href="doc/References.md">[7]</a>. primecount's implementation of the so-called hard special leaves is different from the algorithms that have been described in any of the combinatorial prime counting papers so far. Instead of using a binary indexed tree for counting which is very cache inefficient primecount uses a linear counter array in combination with the POPCNT instruction which is more cache efficient and much faster. The Hard-Special-Leaves.md document contains more information. primecount's easy special leaf implementation and its partial sieve function implementation also contain significant improvements.
Fast nth prime calculation
The most efficient known method for calculating the nth prime is a combination
of the prime counting function and a prime sieve. The idea is to closely
approximate the nth prime e.g. using the inverse logarithmic integral
$\mathrm{Li}^{-1}(n)$ or the inverse Riemann R function $\mathrm{R}^{-1}(n)$
and then count the primes up to this guess using the prime counting function.
Once this is done one starts sieving (e.g. using the segmented sieve of
Eratosthenes) from there on until one finds the actual nth prime. The author
has implemented primecount::nth_prime(n)
this way
(option: --nth-prime
), it finds the nth prime in $O(x^{\frac{2}{3}}/\log^2{x})$
operations using $O(\sqrt{x})$ space.
C API
Include the <primecount.h>
header to use primecount's C API.
All functions that are part of primecount's C API return -1
in case an
error occurs and print the corresponding error message to the standard error
stream.
#include <primecount.h>
#include <stdio.h>
int main()
{
int64_t pix = primecount_pi(1000);
printf("primes <= 1000: %ld\n", pix);
return 0;
}
C++ API
Include the <primecount.hpp>
header to use primecount's C++ API.
All functions that are part of primecount's C++ API throw a
primecount_error
exception (which is derived from
std::exception
) in case an error occurs.
#include <primecount.hpp>
#include <iostream>
int main()
{
int64_t pix = primecount::pi(1000);
std::cout << "primes <= 1000: " << pix << std::endl;
return 0;
}
Bindings for other languages
primesieve natively supports C and C++ and has bindings available for:
<table> <tr> <td><b>Common Lisp:</b></td> <td><a href="https://github.com/AaronChen0/cl-primecount">cl-primecount</a></td> </tr> <tr> <td><b>Julia:</b></td> <td><a href="https://github.com/JuliaBinaryWrappers/primecount_jll.jl">primecount_jll.jl</a></td> </tr> <tr> <td><b>Lua:</b></td> <td><a href="https://github.com/ishandutta2007/lua-primecount">lua-primecount</a></td> </tr> <tr> <td><b>Haskell:</b></td> <td><a href="https://github.com/pgujjula/primecount-haskell">primecount-haskell</a></td> </tr> <tr> <td><b>Python:</b></td> <td><a href="https://github.com/dimpase/primecountpy">primecountpy</a></td> </tr> <tr> <td><b>Python:</b></td> <td><a href="https://github.com/hearot/primecount-python">primecount-python</a></td> </tr> <tr> <td><b>Rust:</b></td> <td><a href="https://github.com/maitbayev/primecount-rs">primecount-rs</a></td> </tr> </table>Many thanks to the developers of these bindings!