Files
primecount/test/P3.cpp
2024-07-27 10:53:47 +02:00

112 lines
2.5 KiB
C++

///
/// @file P3.cpp
/// @brief Test the 3rd partial sieve function P3(x, a)
/// that counts the numbers <= x that have exactly
/// 3 prime factors each exceeding the a-th prime.
///
/// Copyright (C) 2023 Kim Walisch, <kim.walisch@gmail.com>
///
/// This file is distributed under the BSD License. See the COPYING
/// file in the top level directory.
///
#include <primecount-internal.hpp>
#include <generate_primes.hpp>
#include <imath.hpp>
#include <stdint.h>
#include <iostream>
#include <cstdlib>
#include <vector>
#include <random>
using std::size_t;
using namespace primecount;
void check(bool OK)
{
std::cout << " " << (OK ? "OK" : "ERROR") << "\n";
if (!OK)
std::exit(1);
}
int main()
{
// Test small x
{
std::random_device rd;
std::mt19937 gen(rd());
std::uniform_int_distribution<int> dist(2, 1000);
for (int i = 0; i < 100; i++)
{
int threads = 1;
int64_t x = dist(gen);
auto primes = generate_primes<int64_t>(x);
for (int64_t a = 1; primes[a] <= iroot<3>(x); a++)
{
int64_t p3 = 0;
for (size_t b = a + 1; b < primes.size(); b++)
{
for (size_t c = b; c < primes.size(); c++)
{
for (size_t d = c; d < primes.size(); d++)
{
if (primes[b] * primes[c] * primes[d] <= x)
p3++;
else
break;
}
}
}
std::cout << "P3(" << x << ", " << a << ") = " << p3;
check(p3 == P3(x, primes[a], a, threads));
}
}
}
// Test medium x
{
std::random_device rd;
std::mt19937 gen(rd());
std::uniform_int_distribution<int> dist(1000, 20000);
for (int i = 0; i < 10; i++)
{
int threads = 1;
int64_t x = dist(gen);
auto primes = generate_primes<int64_t>(x);
for (int64_t a = 1; primes[a] <= iroot<3>(x); a++)
{
int64_t p3 = 0;
for (size_t b = a + 1; b < primes.size(); b++)
{
for (size_t c = b; c < primes.size(); c++)
{
for (size_t d = c; d < primes.size(); d++)
{
if (primes[b] * primes[c] * primes[d] <= x)
p3++;
else
break;
}
}
}
std::cout << "P3(" << x << ", " << a << ") = " << p3;
check(p3 == P3(x, primes[a], a, threads));
}
}
}
std::cout << std::endl;
std::cout << "All tests passed successfully!" << std::endl;
return 0;
}