00:00/00:00
外链地址
https://www.eemp3.com/audiofile/7b14e1aa71caf08f56d498ef072a3603.mp3
点击复制
本字幕由TME AI技术生成
第一百八十三集
等等
这**是在干什么
秦飞想用自己学过的知识去解析这套代码背后的逻辑
算了
曼曼z ta 函数
你引个快速傅里叶变换fft 进来干嘛
这两者八竿子都打不着呀
还有这个多点求值矩阵
他把泰勒展开放在网格上
突然他好像想到了什么
他
他不是在算单点
他是在利用fft 的高效卷积特性
把一个大区间内的所有零点求值强行打包成了一个并行的多项式运算
用多点求值去分摊黎曼西格尔公式组合向那恐怖的计算开销
这其实就是黎曼写的手稿里未被后世学界发现的零点计算思路
比后来公开的欧德里兹科憨肖格算法早了近一个半世纪
甚至在数学底层上把后者的时间复杂度又往下压了整整一个维度
但是秦飞不可能不知道啊
在他的认知里
黎曼西格尔公式带来的复杂度是单零点计算的理论下限
哪怕是学界最快的os 算法
也只是工程化的极限优化
根本不可能跳出这个数学框架
而现在眼前这个家伙他到底在干什么呀
是想要推翻整个计算机架构
这怎么可能
把主和项展开成矩阵运算
理论上虽然能降低平均复杂度
但误差怎么控制
你这么搞
浮点数的截断误差绝对会成指数级爆炸的
秦飞感觉他疯了
而且还没等秦飞的心里反驳完
李东继续在多点求值的网格间穿插了几段带限函数的插值滤波代码
完美的将积分路径的截断误差死死锁在了一个极小的数学边界内
每一行指针的游走
每一次内存的复用都用的很优雅
不对
就算是os 算法
也不可能用这么少的代码
这么低的内存开销实现它
这个插值逻辑根本不是现代数值分析的思路
这到底是哪儿来的算法
秦飞彻底看呆了
虽然他认识那些c 加加的语法
但是组合在一起的算法逻辑
她已经完全跟不上了
他不会是在瞎写吧
这样写真的可以跑通吗
秦飞陷入了深深的自我怀疑之中
李东从上车没多久就开始敲代码
现在已经硬生生的敲了四个多小时了
对于一个初学者来说
要把黎曼的降维算法完美的嵌套进c 加加底层内存管理中
还要调用fft 库进行多点求值
确实非常的消耗脑力
啪的一声
李东敲下了最后一行代码的回车键
然后伸了一个懒腰
他又从头到尾的仔细检查了一遍内存指针的释放和边界条件的设定
没问题
完美
李东深吸了一口气
轻轻的点下了软键
屏幕上的黑色控制台窗口瞬间弹出
首航赫然显示着初始搜索参数
目标区间t 属于十的二十次方到十的二十次方加一点五乘以十的六次方
紧接着
一行行绿色的数字倾泻而下
每跳一次计数
都代表着成百上千个黎曼栽塔函数的非平凡零点被捕捉验证
累积数量飞速攀升