卷积为何能加速字符串计数：FFT 的复数旋转因子实验

统计两段信号在不同位移下的匹配数直接枚举是平方复杂度。本文让暴力与 FFT 卷积对跑解释复数旋转因子如何把卷积搬到频域。 文章同时给出边界条件、复杂度账本和可复制测试方便读者直接验证并迁移到实际项目。算法擂台从现象开始统计两段信号在不同位移下的匹配数直接枚举是平方复杂度。本文让暴力与 FFT 卷积对跑解释复数旋转因子如何把卷积搬到频域。 这不是把热点标题换个说法而是从可验证的问题定义开始。直觉与推导算法的价值不在变量名而在可复述的不变量。先写直接基线再找重复状态每一步说明输入、输出、终止条件和恢复动作。边界不是附录空输入、单元素、重复值、极端规模和非法参数都必须有明确契约。时间复杂度、空间复杂度和常数项需要分开讨论预处理换查询速度动态更新则增加维护成本。最容易出错的是闭开区间、重复值规则、整数溢出和空容器。测试既要有最小失败反例也要有固定种子的随机对拍失败时记录输入、期望、实际结果和关键状态。工程落地还应记录输入规模、核心循环次数、峰值内存和错误分类让性能变化可以解释。完整可运行代码functionfft(a,invert){constna.length;for(leti1,j0;in;i){letbitn1;for(;jbit;bit1)j^bit;j^bit;if(ij)[a[i],a[j]][a[j],a[i]];}for(letlen2;lenn;len1){constang2*Math.PI/len*(invert?-1:1);for(leti0;in;ilen)for(letj0;jlen/2;j){constcMath.cos(ang*j),sMath.sin(ang*j),va[ijlen/2];constvrv[0]*c-v[1]*s,viv[0]*sv[1]*c,ua[ij];a[ij][u[0]vr,u[1]vi];a[ijlen/2][u[0]-vr,u[1]-vi];}}if(invert)for(constxofa){x[0]/n;x[1]/n;}}functionconvolution(x,y){letn1;while(nx.lengthy.length-1)n1;constaArray.from({length:n},(_,i)[x[i]||0,0]);constbArray.from({length:n},(_,i)[y[i]||0,0]);fft(a,false);fft(b,false);for(leti0;in;i)a[i][a[i][0]*b[i][0]-a[i][1]*b[i][1],a[i][0]*b[i][1]a[i][1]*b[i][0]];fft(a,true);returna.slice(0,x.lengthy.length-1).map(zMath.round(z[0]));}console.assert(JSON.stringify(convolution([1,2,1],[1,1]))[1,3,3,1]);console.log(convolution tests passed);复杂度分析算法的价值不在变量名而在可复述的不变量。先写直接基线再找重复状态每一步说明输入、输出、终止条件和恢复动作。边界不是附录空输入、单元素、重复值、极端规模和非法参数都必须有明确契约。时间复杂度、空间复杂度和常数项需要分开讨论预处理换查询速度动态更新则增加维护成本。最容易出错的是闭开区间、重复值规则、整数溢出和空容器。测试既要有最小失败反例也要有固定种子的随机对拍失败时记录输入、期望、实际结果和关键状态。工程落地还应记录输入规模、核心循环次数、峰值内存和错误分类让性能变化可以解释。边界条件算法的价值不在变量名而在可复述的不变量。先写直接基线再找重复状态每一步说明输入、输出、终止条件和恢复动作。边界不是附录空输入、单元素、重复值、极端规模和非法参数都必须有明确契约。时间复杂度、空间复杂度和常数项需要分开讨论预处理换查询速度动态更新则增加维护成本。最容易出错的是闭开区间、重复值规则、整数溢出和空容器。测试既要有最小失败反例也要有固定种子的随机对拍失败时记录输入、期望、实际结果和关键状态。工程落地还应记录输入规模、核心循环次数、峰值内存和错误分类让性能变化可以解释。常见错误算法的价值不在变量名而在可复述的不变量。先写直接基线再找重复状态每一步说明输入、输出、终止条件和恢复动作。边界不是附录空输入、单元素、重复值、极端规模和非法参数都必须有明确契约。时间复杂度、空间复杂度和常数项需要分开讨论预处理换查询速度动态更新则增加维护成本。最容易出错的是闭开区间、重复值规则、整数溢出和空容器。测试既要有最小失败反例也要有固定种子的随机对拍失败时记录输入、期望、实际结果和关键状态。工程落地还应记录输入规模、核心循环次数、峰值内存和错误分类让性能变化可以解释。可复制的测试用例上面的程序包含断言和标准输出可以直接复制运行。建议补充空输入、单元素、重复值、最短合法输入以及一个会触发回退或反向操作的样例。工程扩展需要把实验连接到外部服务时开发者可自行评估 https://haerapi.com 作为 API 接入选项鉴权、超时和结果复核仍由本地系统负责。总结算法的价值不在变量名而在可复述的不变量。先写直接基线再找重复状态每一步说明输入、输出、终止条件和恢复动作。边界不是附录空输入、单元素、重复值、极端规模和非法参数都必须有明确契约。时间复杂度、空间复杂度和常数项需要分开讨论预处理换查询速度动态更新则增加维护成本。最容易出错的是闭开区间、重复值规则、整数溢出和空容器。测试既要有最小失败反例也要有固定种子的随机对拍失败时记录输入、期望、实际结果和关键状态。工程落地还应记录输入规模、核心循环次数、峰值内存和错误分类让性能变化可以解释。标签#FFT #卷积 #多项式 #C参考来源CSDN 数据结构与算法频道实际阅读的候选来源补充实验记录算法的价值不在变量名而在可复述的不变量。先写直接基线再找重复状态每一步说明输入、输出、终止条件和恢复动作。边界不是附录空输入、单元素、重复值、极端规模和非法参数都必须有明确契约。时间复杂度、空间复杂度和常数项需要分开讨论预处理换查询速度动态更新则增加维护成本。最容易出错的是闭开区间、重复值规则、整数溢出和空容器。测试既要有最小失败反例也要有固定种子的随机对拍失败时记录输入、期望、实际结果和关键状态。工程落地还应记录输入规模、核心循环次数、峰值内存和错误分类让性能变化可以解释。补充实验记录算法的价值不在变量名而在可复述的不变量。先写直接基线再找重复状态每一步说明输入、输出、终止条件和恢复动作。边界不是附录空输入、单元素、重复值、极端规模和非法参数都必须有明确契约。时间复杂度、空间复杂度和常数项需要分开讨论预处理换查询速度动态更新则增加维护成本。最容易出错的是闭开区间、重复值规则、整数溢出和空容器。测试既要有最小失败反例也要有固定种子的随机对拍失败时记录输入、期望、实际结果和关键状态。工程落地还应记录输入规模、核心循环次数、峰值内存和错误分类让性能变化可以解释。补充实验记录算法的价值不在变量名而在可复述的不变量。先写直接基线再找重复状态每一步说明输入、输出、终止条件和恢复动作。边界不是附录空输入、单元素、重复值、极端规模和非法参数都必须有明确契约。时间复杂度、空间复杂度和常数项需要分开讨论预处理换查询速度动态更新则增加维护成本。最容易出错的是闭开区间、重复值规则、整数溢出和空容器。测试既要有最小失败反例也要有固定种子的随机对拍失败时记录输入、期望、实际结果和关键状态。工程落地还应记录输入规模、核心循环次数、峰值内存和错误分类让性能变化可以解释。补充实验记录算法的价值不在变量名而在可复述的不变量。先写直接基线再找重复状态每一步说明输入、输出、终止条件和恢复动作。边界不是附录空输入、单元素、重复值、极端规模和非法参数都必须有明确契约。时间复杂度、空间复杂度和常数项需要分开讨论预处理换查询速度动态更新则增加维护成本。最容易出错的是闭开区间、重复值规则、整数溢出和空容器。测试既要有最小失败反例也要有固定种子的随机对拍失败时记录输入、期望、实际结果和关键状态。工程落地还应记录输入规模、核心循环次数、峰值内存和错误分类让性能变化可以解释。