2021-10-07 22:46:31 +08:00
|
|
|
/**
|
2021-10-18 03:31:41 +08:00
|
|
|
* @file
|
2021-10-19 02:26:29 +08:00
|
|
|
* @brief [A fast Fourier transform
|
2021-10-21 10:40:48 +08:00
|
|
|
* (FFT)](https://medium.com/@aiswaryamathur/understanding-fast-fouriertransform-from-scratch-to-solve-polynomial-multiplication-8018d511162f)
|
2021-10-19 02:26:29 +08:00
|
|
|
is an algorithm that computes the
|
|
|
|
* discrete Fourier transform (DFT) of a sequence , or its inverse (IDFT) , this
|
|
|
|
algorithm
|
|
|
|
* has application in use case scenario where a user wants to find points of a
|
|
|
|
function
|
2021-10-19 22:35:44 +08:00
|
|
|
* in short period time by just using the coefficents of the polynomial
|
2021-10-19 02:26:29 +08:00
|
|
|
function.
|
2021-10-19 22:35:44 +08:00
|
|
|
* It can be also used to find inverse fourier transform by just switching the value of omega.
|
2021-10-21 03:16:37 +08:00
|
|
|
* @time complexity
|
|
|
|
* this algorithm computes the DFT in O(nlogn) time in comparison to traditional O(n^2).
|
2021-10-07 22:46:31 +08:00
|
|
|
* @details
|
|
|
|
* https://medium.com/@aiswaryamathur/understanding-fast-fourier-transform-from-scratch-to
|
|
|
|
-solve-polynomial-multiplication-8018d511162f
|
|
|
|
* @author [Ameya Chawla](https://github.com/ameyachawlaggsipu)
|
|
|
|
*/
|
|
|
|
|
2021-10-19 02:26:29 +08:00
|
|
|
#include <cassert> /// for assert
|
|
|
|
#include <cmath> /// for mathematical-related functions
|
|
|
|
#include <complex> /// for storing points and coefficents
|
|
|
|
#include <iostream> /// for IO operations
|
|
|
|
#include <vector> /// for storing test cases
|
2021-10-18 11:10:00 +08:00
|
|
|
|
2021-10-21 10:41:58 +08:00
|
|
|
/**
|
|
|
|
* @namespace numerical_methods
|
|
|
|
* @brief Numerical algorithms/methods
|
|
|
|
*/
|
|
|
|
namespace numerical_methods {
|
2021-10-07 22:46:31 +08:00
|
|
|
/**
|
2021-10-19 02:26:29 +08:00
|
|
|
* @brief FastFourierTransform is a recursive function which returns list of
|
|
|
|
* complex numbers
|
2021-10-07 22:46:31 +08:00
|
|
|
* @param p List of Coefficents in form of complex numbers
|
|
|
|
* @param n Count of elements in list p
|
|
|
|
* @returns p if n==1
|
|
|
|
* @returns y if n!=1
|
|
|
|
*/
|
|
|
|
|
2021-10-22 12:25:19 +08:00
|
|
|
std::complex<double>* FastFourierTransform(std::complex<double>*p,uint64_t n)
|
|
|
|
{
|
2021-10-07 22:46:31 +08:00
|
|
|
|
2021-10-22 12:25:19 +08:00
|
|
|
if(n==1){
|
|
|
|
|
|
|
|
return p; ///Base Case To return
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
double pi = 2 * asin(1.0); /// Declaring value of pi
|
2021-10-22 01:52:29 +08:00
|
|
|
|
2021-10-22 12:25:19 +08:00
|
|
|
auto om=std::complex<double>(cos(2*pi/n),sin(2*pi/n)); ///Calculating value of omega
|
2021-10-07 22:46:31 +08:00
|
|
|
|
2021-10-22 12:25:19 +08:00
|
|
|
auto *pe= new std::complex<double>[n/2]; /// Coefficents of even power
|
2021-10-07 22:46:31 +08:00
|
|
|
|
2021-10-22 12:25:19 +08:00
|
|
|
auto *po= new std::complex<double>[n/2]; ///Coeeficents of odd power
|
2021-10-07 22:46:31 +08:00
|
|
|
|
2021-10-22 12:25:19 +08:00
|
|
|
int k1=0,k2=0;
|
|
|
|
for(int j=0;j<n;j++)
|
|
|
|
{
|
|
|
|
if(j%2==0){
|
|
|
|
pe[k1++]=p[j]; ///Assigning values of even ceofficents
|
2021-10-07 22:46:31 +08:00
|
|
|
|
2021-10-22 12:25:19 +08:00
|
|
|
}
|
|
|
|
else po[k2++]=p[j]; ///Assigning value of odd coefficents
|
2021-10-07 22:46:31 +08:00
|
|
|
|
|
|
|
|
2021-10-22 12:25:19 +08:00
|
|
|
}
|
2021-10-07 22:46:31 +08:00
|
|
|
|
2021-10-22 12:25:19 +08:00
|
|
|
auto *ye=FastFourierTransform(pe,n/2); ///Recursive Call
|
|
|
|
|
|
|
|
auto *yo=FastFourierTransform(po,n/2); ///Recursive Call
|
|
|
|
|
|
|
|
auto *y=new std::complex<double>[n]; /// Final value representation list
|
|
|
|
|
|
|
|
k1=0,k2=0;
|
|
|
|
|
|
|
|
for(int i=0;i<n/2;i++)
|
|
|
|
{
|
|
|
|
y[i]=ye[k1]+pow(om,i)*yo[k2]; /// Updating the first n/2 elements
|
|
|
|
y[i+n/2]=ye[k1]-pow(om,i)*yo[k2];/// Updating the last n/2 elements
|
|
|
|
|
|
|
|
k1++;
|
|
|
|
k2++;
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
delete[] ye; /// Deleting dynamic array ye
|
2021-10-19 22:35:44 +08:00
|
|
|
delete[] yo; /// Deleting dynamic array yo
|
2021-10-22 12:25:19 +08:00
|
|
|
return y;
|
|
|
|
|
2021-10-07 22:46:31 +08:00
|
|
|
}
|
2021-10-22 12:25:19 +08:00
|
|
|
|
|
|
|
}/// namespace numerical_methods
|
2021-10-07 22:46:31 +08:00
|
|
|
|
|
|
|
/**
|
|
|
|
* @brief Self-test implementations
|
2021-10-18 03:32:28 +08:00
|
|
|
* declaring two test cases and checking for the error
|
|
|
|
* in predicted and true value is less than 0.000000000001.
|
2021-10-07 22:46:31 +08:00
|
|
|
* @returns void
|
|
|
|
*/
|
2021-10-22 12:25:19 +08:00
|
|
|
|
|
|
|
static void test() {
|
2021-10-07 22:46:31 +08:00
|
|
|
/* descriptions of the following test */
|
2021-10-19 02:26:29 +08:00
|
|
|
|
2021-10-22 12:25:19 +08:00
|
|
|
std::complex<double> t1[2]={1,2}; /// Test case 1
|
|
|
|
std::complex<double> t2[4]={1,2,3,4}; /// Test case 2
|
2021-10-19 02:26:29 +08:00
|
|
|
|
2021-10-22 12:25:19 +08:00
|
|
|
uint8_t n1 = 2;
|
|
|
|
uint8_t n2 = 4;
|
2021-10-19 02:26:29 +08:00
|
|
|
std::vector<std::complex<double>> r1 = {
|
|
|
|
{3, 0}, {-1, 0}}; /// True Answer for test case 1
|
|
|
|
|
|
|
|
std::vector<std::complex<double>> r2 = {
|
|
|
|
{10, 0}, {-2, -2}, {-2, 0}, {-2, 2}}; /// True Answer for test case 2
|
|
|
|
|
2021-10-21 18:28:57 +08:00
|
|
|
auto *o1 = numerical_methods::FastFourierTransform(t1, n1);
|
|
|
|
auto *o2 = numerical_methods::FastFourierTransform(t2, n2);
|
2021-10-19 02:26:29 +08:00
|
|
|
|
|
|
|
for (uint8_t i = 0; i < n1; i++) {
|
|
|
|
assert((r1[i].real() - o1->real() < 0.000000000001) &&
|
|
|
|
(r1[i].imag() - o1->imag() <
|
|
|
|
0.000000000001)); /// Comparing for both real and imaginary
|
|
|
|
/// values for test case 1
|
2021-10-07 22:46:31 +08:00
|
|
|
o1++;
|
|
|
|
}
|
2021-10-19 02:26:29 +08:00
|
|
|
|
|
|
|
for (uint8_t i = 0; i < n2; i++) {
|
|
|
|
assert((r2[i].real() - o2->real() < 0.000000000001) &&
|
|
|
|
(r2[i].imag() - o2->imag() <
|
|
|
|
0.000000000001)); /// Comparing for both real and imaginary
|
|
|
|
/// values for test case 2
|
2021-10-07 22:46:31 +08:00
|
|
|
o2++;
|
|
|
|
}
|
2021-10-19 02:26:29 +08:00
|
|
|
|
2021-10-22 12:25:19 +08:00
|
|
|
|
2021-10-07 22:46:31 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @brief Main function
|
|
|
|
* @param argc commandline argument count (ignored)
|
|
|
|
* @param argv commandline array of arguments (ignored)
|
2021-10-18 01:42:52 +08:00
|
|
|
* calls automated test function to test the working of fast fourier transform.
|
2021-10-07 22:46:31 +08:00
|
|
|
* @returns 0 on exit
|
|
|
|
*/
|
2021-10-22 12:25:19 +08:00
|
|
|
|
|
|
|
int main(int argc, char const *argv[])
|
|
|
|
{
|
|
|
|
|
|
|
|
test();/// run self-test implementations
|
|
|
|
return 0;
|
2021-10-07 22:48:08 +08:00
|
|
|
}
|