fft理解-cooley turkey

如上图所示，我们要求$f(x)=a_0+a_1{x}^1+a_2{x}^2+a_3{x}^3+a_4{x}^4+a_5{x}^5+a_6{x}^6+a_7{x}^7$。从其中取八个不同的点，$(x_i,f(x_i))$，那么这八个点也可以用来代表这个方程，例如，一次函数可以通过两个点确定，二次函数可以通过三个点确定，7次函数可以通过八个点确定。本文着重理解，不给出证明。如果随便取八点无关的点，那么计算每个点的复杂度为$O(n)$，而一共$n$个点，故其复杂度为$O(n^2)$。而如果我们令$w^8=1且w^4=-1$，这在复数域上有解。取
$w^0,w^1,w^2,w^3,w^4,w^5,w^6,w^7$，这样一些有关系的点，可以注意到，$w^0,w^2,w^4,w^6$对于$x^4$的值都为1，而$w^1,w^3,w^5,w^7$对于$x^4$的值都为-1。所于对于函数f(x)，我们可以利用$1,-1$去把所有大于4次方的削掉，并将要求解的值分为偶数次和奇数次，如上图所示，这个做法的时间为$O(n)$，此时它变成两个$3$次函数，可以利用同样的方法再次操作，第一层宽度为8，第二层为4，第三层为2，第四层为1，它们分别对于7次函数，3次函数，1次函数，0次函数（即常数），共需计算$lo{g}_2(8)=3$层，第一层不用计算。所以复杂度为$nlog(n)$。