mirror of
https://github.com/TheAlgorithms/C-Plus-Plus.git
synced 2026-02-03 10:35:34 +08:00
* fix: add <cstdint> to subset_sum.cpp * fix: add <cstdint> to subarray_sum.cpp * fix: add <cstdint> to wildcard_matching.cpp * fix: add <cstdint> to count_bit_flips.cpp * fix: add <cstdint> to count_of_set_bits.cpp * fix: add <cstdint> to trailing_ciphers.cpp * fix: add <cstdint> to hamming_distance.cpp * doc: include doc for hamming_distance * fix: add <cstdint> to next_higher_numebr_with_same_number_of_set_bits.cpp * fix: add <cstdint> to power_of_2.cpp * fix: add <cstdint> to set_kth_bit.cpp * fix: add <cstdint> to bit_manipulation/set_kth_bit.cpp * fix: add <cstdint> to bit_manipulation/travelling_salesman_using_bit_manipulation.cpp * fix: add <cstdint> to ciphers/base64_encoding.cpp * fix: add <cstdint> to ciphers/hill_cipher.cpp * fix: add <cstdint> to ciphers/uint128_t.hpp * fix: add <cstdint> to data_structures/dsu_path_compression.cpp * fix: add <cstdint> to data_structures/dsu_path_compression.cpp * fix add <cstdint> to datastructures/list_array>cpp * fix add <cstdint> to datastructures/queue_using_array.cpp * fix: add <cstdint> to sparse_table.cpp * fix: add <cstdint> to stack_using_list_queue.cpp * fix: add <cstdint> to treap.cpp * fix: add <cstdint> to graham_scan_functions.hpp * fix: add <cstdint> to graph/** * fix: add integral typdefs to hashing/** * fix: add <cstdint> to math/** * fix: add <cstdint> to numerical_methods/** * fix: add <cstdint> to other/** * fix: add <cstdint> to search/** * fix: add <cstdint> to sorting/** * fix: add <cstdint> to string/** * doc: remove include statement from comment * fix: make tests static Co-authored-by: David Leal <halfpacho@gmail.com> * fix: make tests static Co-authored-by: David Leal <halfpacho@gmail.com> * chore: use iwyu on backtracking/**.cpp * chore: use iwyu on bit_manip/**.cpp * chore: use iwyu on ciphers/**.cpp * chore: use iwyu on cpu_scheduling_algorithms/**.cpp * chore: use iwyu on data_structures/**.cpp * chore: use iwyu on divide_and_conquer/**.cpp * chore: use iwyu on geometry/**.cpp * chore: use iwyu on graph/**.cpp * chore: use iwyu on hashing/**.cpp * chore: use iwyu on machine_learning/**.cpp * chore: use iwyu on math/**.cpp * chore: use iwyu on numerical_methods/**.cpp * chore: use iwyu on others/**.cpp * chore: use iwyu on probablity/**.cpp * chore: use iwyu on search/**.cpp * chore: use iwyu on sorting/**.cpp * chore: use iwyu on strings/**.cpp * Revert "chore: use iwyu on strings/**.cpp" This reverts commitf2127456a8. * Revert "chore: use iwyu on sorting/**.cpp" This reverts commita290ae7ee2. * Revert "chore: use iwyu on search/**.cpp" This reverts commit19d136ae0f. * Revert "chore: use iwyu on probablity/**.cpp" This reverts commit5dd7f82a34. * Revert "chore: use iwyu on others/**.cpp" This reverts commit8a8fd42383. * Revert "chore: use iwyu on numerical_methods/**.cpp" This reverts commiteff2f44a50. * Revert "chore: use iwyu on math/**.cpp" This reverts commitc47117ca3f. * Revert "chore: use iwyu on machine_learning/**.cpp" This reverts commitc3897d3763. * Revert "chore: use iwyu on hashing/**.cpp" This reverts commit0c6611a835. * Revert "chore: use iwyu on graph/**.cpp" This reverts commitdabd6d2591. * Revert "chore: use iwyu on geometry/**.cpp" This reverts commit740bd65932. * Revert "chore: use iwyu on divide_and_conquer/**.cpp" This reverts commit16ee49e086. * Revert "chore: use iwyu on data_structures/**.cpp" This reverts commita3b719e368. * Revert "chore: use iwyu on cpu_scheduling_algorithms/**.cpp" This reverts commit24e597f7e2. * Revert "chore: use iwyu on ciphers/**.cpp" This reverts commit3d80295883. * Revert "chore: use iwyu on bit_manip/**.cpp" This reverts commit7edcb6e458. * Revert "chore: use iwyu on backtracking/**.cpp" This reverts commitf0a30d7cdb. * Update search/binary_search.cpp * Update backtracking/subarray_sum.cpp * Update backtracking/subset_sum.cpp * Update backtracking/wildcard_matching.cpp * Update bit_manipulation/count_bits_flip.cpp * Update bit_manipulation/count_of_set_bits.cpp * Update bit_manipulation/count_of_trailing_ciphers_in_factorial_n.cpp * Update bit_manipulation/hamming_distance.cpp * Update bit_manipulation/next_higher_number_with_same_number_of_set_bits.cpp * Update bit_manipulation/power_of_2.cpp * Update others/lru_cache.cpp * Update bit_manipulation/set_kth_bit.cpp * Update bit_manipulation/travelling_salesman_using_bit_manipulation.cpp * Update ciphers/base64_encoding.cpp * Update ciphers/hill_cipher.cpp * Update ciphers/uint128_t.hpp * Update cpu_scheduling_algorithms/fcfs_scheduling.cpp * Update data_structures/dsu_path_compression.cpp * Update data_structures/dsu_union_rank.cpp * Update data_structures/list_array.cpp * Update data_structures/queue_using_array.cpp * Update data_structures/sparse_table.cpp * Update data_structures/stack_using_queue.cpp * Update data_structures/treap.cpp * Update geometry/graham_scan_functions.hpp * Update graph/bidirectional_dijkstra.cpp * Update graph/connected_components_with_dsu.cpp * Update graph/cycle_check_directed_graph.cpp * Update graph/is_graph_bipartite2.cpp * Update graph/travelling_salesman_problem.cpp * Update hashing/md5.cpp * Update hashing/sha1.cpp * Update math/n_choose_r.cpp * Update strings/z_function.cpp * Update strings/manacher_algorithm.cpp * Update sorting/wiggle_sort.cpp * Update sorting/selection_sort_recursive.cpp * Update sorting/selection_sort_iterative.cpp * Update sorting/recursive_bubble_sort.cpp * Update sorting/radix_sort2.cpp * Update sorting/dnf_sort.cpp * Update sorting/cycle_sort.cpp * Update search/sublist_search.cpp * Update search/saddleback_search.cpp * Update search/interpolation_search.cpp * Update search/floyd_cycle_detection_algo.cpp * Update search/exponential_search.cpp * Update search/exponential_search.cpp * Update math/n_bonacci.cpp * Update math/aliquot_sum.cpp * Update math/check_factorial.cpp * Update math/double_factorial.cpp * Update math/eulers_totient_function.cpp * Update math/factorial.cpp * Update math/fibonacci.cpp * Update math/fibonacci_matrix_exponentiation.cpp * Update math/fibonacci_sum.cpp * Update math/finding_number_of_digits_in_a_number.cpp * chore: remove "/// for integral typedefs" * chore: remove for integral typedefs from modular division * fix: remove comment from include * fix: add cstdint to gale shapely --------- Co-authored-by: David Leal <halfpacho@gmail.com>
341 lines
11 KiB
C++
341 lines
11 KiB
C++
/**
|
|
* @file
|
|
* \brief Compute all possible approximate roots of any given polynomial using
|
|
* [Durand Kerner
|
|
* algorithm](https://en.wikipedia.org/wiki/Durand%E2%80%93Kerner_method)
|
|
* \author [Krishna Vedala](https://github.com/kvedala)
|
|
*
|
|
* Test the algorithm online:
|
|
* https://gist.github.com/kvedala/27f1b0b6502af935f6917673ec43bcd7
|
|
*
|
|
* Try the highly unstable Wilkinson's polynomial:
|
|
* ```
|
|
* ./numerical_methods/durand_kerner_roots 1 -210 20615 -1256850 53327946
|
|
* -1672280820 40171771630 -756111184500 11310276995381 -135585182899530
|
|
* 1307535010540395 -10142299865511450 63030812099294896 -311333643161390640
|
|
* 1206647803780373360 -3599979517947607200 8037811822645051776
|
|
* -12870931245150988800 13803759753640704000 -8752948036761600000
|
|
* 2432902008176640000
|
|
* ```
|
|
* Sample implementation results to compute approximate roots of the equation
|
|
* \f$x^4-1=0\f$:\n
|
|
* <img
|
|
* src="https://raw.githubusercontent.com/TheAlgorithms/C-Plus-Plus/docs/images/numerical_methods/durand_kerner_error.svg"
|
|
* width="400" alt="Error evolution during root approximations computed every
|
|
* iteration."/> <img
|
|
* src="https://raw.githubusercontent.com/TheAlgorithms/C-Plus-Plus/docs/images/numerical_methods/durand_kerner_roots.svg"
|
|
* width="400" alt="Roots evolution - shows the initial approximation of the
|
|
* roots and their convergence to a final approximation along with the iterative
|
|
* approximations" />
|
|
*/
|
|
|
|
#include <algorithm>
|
|
#include <cassert>
|
|
#include <cmath>
|
|
#include <complex>
|
|
#include <cstdint>
|
|
#include <cstdlib>
|
|
#include <ctime>
|
|
#include <fstream>
|
|
#include <iostream>
|
|
#include <valarray>
|
|
#ifdef _OPENMP
|
|
#include <omp.h>
|
|
#endif
|
|
|
|
#define ACCURACY 1e-10 /**< maximum accuracy limit */
|
|
|
|
/**
|
|
* Evaluate the value of a polynomial with given coefficients
|
|
* \param[in] coeffs coefficients of the polynomial
|
|
* \param[in] x point at which to evaluate the polynomial
|
|
* \returns \f$f(x)\f$
|
|
**/
|
|
std::complex<double> poly_function(const std::valarray<double> &coeffs,
|
|
std::complex<double> x) {
|
|
double real = 0.f, imag = 0.f;
|
|
int n;
|
|
|
|
// #ifdef _OPENMP
|
|
// #pragma omp target teams distribute reduction(+ : real, imag)
|
|
// #endif
|
|
for (n = 0; n < coeffs.size(); n++) {
|
|
std::complex<double> tmp =
|
|
coeffs[n] * std::pow(x, coeffs.size() - n - 1);
|
|
real += tmp.real();
|
|
imag += tmp.imag();
|
|
}
|
|
|
|
return std::complex<double>(real, imag);
|
|
}
|
|
|
|
/**
|
|
* create a textual form of complex number
|
|
* \param[in] x point at which to evaluate the polynomial
|
|
* \returns pointer to converted string
|
|
*/
|
|
const char *complex_str(const std::complex<double> &x) {
|
|
#define MAX_BUFF_SIZE 50
|
|
static char msg[MAX_BUFF_SIZE];
|
|
|
|
std::snprintf(msg, MAX_BUFF_SIZE, "% 7.04g%+7.04gj", x.real(), x.imag());
|
|
|
|
return msg;
|
|
}
|
|
|
|
/**
|
|
* check for termination condition
|
|
* \param[in] delta point at which to evaluate the polynomial
|
|
* \returns `false` if termination not reached
|
|
* \returns `true` if termination reached
|
|
*/
|
|
bool check_termination(long double delta) {
|
|
static long double past_delta = INFINITY;
|
|
if (std::abs(past_delta - delta) <= ACCURACY || delta < ACCURACY)
|
|
return true;
|
|
past_delta = delta;
|
|
return false;
|
|
}
|
|
|
|
/**
|
|
* Implements Durand Kerner iterative algorithm to compute all roots of a
|
|
* polynomial.
|
|
*
|
|
* \param[in] coeffs coefficients of the polynomial
|
|
* \param[out] roots the computed roots of the polynomial
|
|
* \param[in] write_log flag whether to save the log file (default = `false`)
|
|
* \returns pair of values - number of iterations taken and final accuracy
|
|
* achieved
|
|
*/
|
|
std::pair<uint32_t, double> durand_kerner_algo(
|
|
const std::valarray<double> &coeffs,
|
|
std::valarray<std::complex<double>> *roots, bool write_log = false) {
|
|
long double tol_condition = 1;
|
|
uint32_t iter = 0;
|
|
int n;
|
|
std::ofstream log_file;
|
|
|
|
if (write_log) {
|
|
/*
|
|
* store intermediate values to a CSV file
|
|
*/
|
|
log_file.open("durand_kerner.log.csv");
|
|
if (!log_file.is_open()) {
|
|
perror("Unable to create a storage log file!");
|
|
std::exit(EXIT_FAILURE);
|
|
}
|
|
log_file << "iter#,";
|
|
|
|
for (n = 0; n < roots->size(); n++) log_file << "root_" << n << ",";
|
|
|
|
log_file << "avg. correction";
|
|
log_file << "\n0,";
|
|
for (n = 0; n < roots->size(); n++)
|
|
log_file << complex_str((*roots)[n]) << ",";
|
|
}
|
|
|
|
bool break_loop = false;
|
|
while (!check_termination(tol_condition) && iter < INT16_MAX &&
|
|
!break_loop) {
|
|
tol_condition = 0;
|
|
iter++;
|
|
break_loop = false;
|
|
|
|
if (log_file.is_open())
|
|
log_file << "\n" << iter << ",";
|
|
|
|
#ifdef _OPENMP
|
|
#pragma omp parallel for shared(break_loop, tol_condition)
|
|
#endif
|
|
for (n = 0; n < roots->size(); n++) {
|
|
if (break_loop)
|
|
continue;
|
|
|
|
std::complex<double> numerator, denominator;
|
|
numerator = poly_function(coeffs, (*roots)[n]);
|
|
denominator = 1.0;
|
|
for (int i = 0; i < roots->size(); i++)
|
|
if (i != n)
|
|
denominator *= (*roots)[n] - (*roots)[i];
|
|
|
|
std::complex<long double> delta = numerator / denominator;
|
|
|
|
if (std::isnan(std::abs(delta)) || std::isinf(std::abs(delta))) {
|
|
std::cerr << "\n\nOverflow/underrun error - got value = "
|
|
<< std::abs(delta) << "\n";
|
|
// return std::pair<uint32_t, double>(iter, tol_condition);
|
|
break_loop = true;
|
|
}
|
|
|
|
(*roots)[n] -= delta;
|
|
|
|
#ifdef _OPENMP
|
|
#pragma omp critical
|
|
#endif
|
|
tol_condition = std::max(tol_condition, std::abs(std::abs(delta)));
|
|
}
|
|
// tol_condition /= (degree - 1);
|
|
|
|
if (break_loop)
|
|
break;
|
|
|
|
if (log_file.is_open()) {
|
|
for (n = 0; n < roots->size(); n++)
|
|
log_file << complex_str((*roots)[n]) << ",";
|
|
}
|
|
|
|
#if defined(DEBUG) || !defined(NDEBUG)
|
|
if (iter % 500 == 0) {
|
|
std::cout << "Iter: " << iter << "\t";
|
|
for (n = 0; n < roots->size(); n++)
|
|
std::cout << "\t" << complex_str((*roots)[n]);
|
|
std::cout << "\t\tabsolute average change: " << tol_condition
|
|
<< "\n";
|
|
}
|
|
#endif
|
|
|
|
if (log_file.is_open())
|
|
log_file << tol_condition;
|
|
}
|
|
|
|
return std::pair<uint32_t, long double>(iter, tol_condition);
|
|
}
|
|
|
|
/**
|
|
* Self test the algorithm by checking the roots for \f$x^2+4=0\f$ to which the
|
|
* roots are \f$0 \pm 2i\f$
|
|
*/
|
|
void test1() {
|
|
const std::valarray<double> coeffs = {1, 0, 4}; // x^2 - 2 = 0
|
|
std::valarray<std::complex<double>> roots(2);
|
|
std::valarray<std::complex<double>> expected = {
|
|
std::complex<double>(0., 2.),
|
|
std::complex<double>(0., -2.) // known expected roots
|
|
};
|
|
|
|
/* initialize root approximations with random values */
|
|
for (int n = 0; n < roots.size(); n++) {
|
|
roots[n] = std::complex<double>(std::rand() % 100, std::rand() % 100);
|
|
roots[n] -= 50.f;
|
|
roots[n] /= 25.f;
|
|
}
|
|
|
|
auto result = durand_kerner_algo(coeffs, &roots, false);
|
|
|
|
for (int i = 0; i < roots.size(); i++) {
|
|
// check if approximations are have < 0.1% error with one of the
|
|
// expected roots
|
|
bool err1 = false;
|
|
for (int j = 0; j < roots.size(); j++)
|
|
err1 |= std::abs(std::abs(roots[i] - expected[j])) < 1e-3;
|
|
assert(err1);
|
|
}
|
|
|
|
std::cout << "Test 1 passed! - " << result.first << " iterations, "
|
|
<< result.second << " accuracy"
|
|
<< "\n";
|
|
}
|
|
|
|
/**
|
|
* Self test the algorithm by checking the roots for \f$0.015625x^3-1=0\f$ to
|
|
* which the roots are \f$(4+0i),\,(-2\pm3.464i)\f$
|
|
*/
|
|
void test2() {
|
|
const std::valarray<double> coeffs = {// 0.015625 x^3 - 1 = 0
|
|
1. / 64., 0., 0., -1.};
|
|
std::valarray<std::complex<double>> roots(3);
|
|
const std::valarray<std::complex<double>> expected = {
|
|
std::complex<double>(4., 0.), std::complex<double>(-2., 3.46410162),
|
|
std::complex<double>(-2., -3.46410162) // known expected roots
|
|
};
|
|
|
|
/* initialize root approximations with random values */
|
|
for (int n = 0; n < roots.size(); n++) {
|
|
roots[n] = std::complex<double>(std::rand() % 100, std::rand() % 100);
|
|
roots[n] -= 50.f;
|
|
roots[n] /= 25.f;
|
|
}
|
|
|
|
auto result = durand_kerner_algo(coeffs, &roots, false);
|
|
|
|
for (int i = 0; i < roots.size(); i++) {
|
|
// check if approximations are have < 0.1% error with one of the
|
|
// expected roots
|
|
bool err1 = false;
|
|
for (int j = 0; j < roots.size(); j++)
|
|
err1 |= std::abs(std::abs(roots[i] - expected[j])) < 1e-3;
|
|
assert(err1);
|
|
}
|
|
|
|
std::cout << "Test 2 passed! - " << result.first << " iterations, "
|
|
<< result.second << " accuracy"
|
|
<< "\n";
|
|
}
|
|
|
|
/***
|
|
* Main function.
|
|
* The comandline input arguments are taken as coeffiecients of a
|
|
*polynomial. For example, this command
|
|
* ```sh
|
|
* ./durand_kerner_roots 1 0 -4
|
|
* ```
|
|
* will find roots of the polynomial \f$1\cdot x^2 + 0\cdot x^1 + (-4)=0\f$
|
|
**/
|
|
int main(int argc, char **argv) {
|
|
/* initialize random seed: */
|
|
std::srand(std::time(nullptr));
|
|
|
|
if (argc < 2) {
|
|
test1(); // run tests when no input is provided
|
|
test2(); // and skip tests when input polynomial is provided
|
|
std::cout << "Please pass the coefficients of the polynomial as "
|
|
"commandline "
|
|
"arguments.\n";
|
|
return 0;
|
|
}
|
|
|
|
int n, degree = argc - 1; // detected polynomial degree
|
|
std::valarray<double> coeffs(degree); // create coefficiencts array
|
|
|
|
// number of roots = degree - 1
|
|
std::valarray<std::complex<double>> s0(degree - 1);
|
|
|
|
std::cout << "Computing the roots for:\n\t";
|
|
for (n = 0; n < degree; n++) {
|
|
coeffs[n] = strtod(argv[n + 1], nullptr);
|
|
if (n < degree - 1 && coeffs[n] != 0)
|
|
std::cout << "(" << coeffs[n] << ") x^" << degree - n - 1 << " + ";
|
|
else if (coeffs[n] != 0)
|
|
std::cout << "(" << coeffs[n] << ") x^" << degree - n - 1
|
|
<< " = 0\n";
|
|
|
|
/* initialize root approximations with random values */
|
|
if (n < degree - 1) {
|
|
s0[n] = std::complex<double>(std::rand() % 100, std::rand() % 100);
|
|
s0[n] -= 50.f;
|
|
s0[n] /= 50.f;
|
|
}
|
|
}
|
|
|
|
// numerical errors less when the first coefficient is "1"
|
|
// hence, we normalize the first coefficient
|
|
{
|
|
double tmp = coeffs[0];
|
|
coeffs /= tmp;
|
|
}
|
|
|
|
clock_t end_time, start_time = clock();
|
|
auto result = durand_kerner_algo(coeffs, &s0, true);
|
|
end_time = clock();
|
|
|
|
std::cout << "\nIterations: " << result.first << "\n";
|
|
for (n = 0; n < degree - 1; n++)
|
|
std::cout << "\t" << complex_str(s0[n]) << "\n";
|
|
std::cout << "absolute average change: " << result.second << "\n";
|
|
std::cout << "Time taken: "
|
|
<< static_cast<double>(end_time - start_time) / CLOCKS_PER_SEC
|
|
<< " sec\n";
|
|
|
|
return 0;
|
|
}
|