“用c++写黎曼-西格尔公式?这小子在跑黎曼zeta函数的非平凡零点验证?”
秦飞心里多少有些意外,在高铁上居然遇到了同专业的学生?
不过他还是带著上位者的心态在看李东的代码。
因为在他们北理工的高性能计算实验室里,这种项目实在是太常见了。
计算机算力发展到今天,用经典的数学难题,比如计算圆周率百亿位呀、大素数筛法这些来作为benchark(基准测试),去检验一套底层算法的优化程度,是他们这帮hpc方向学生的家常便饭。
而且,秦飞前段时间为了准备考研复试和毕业设计的开题,自己也手搓过一套验证黎曼零点的程序。
“想法倒是不错,用这个来练手。”
秦飞摇了摇头,看著那台笔记本电脑,在心里暗暗吐槽。
“不过,就凭这台被割韭菜的轻薄本,你这算法能跑到什么级别?”
“十万级?还是百万级?”
“估计跑到一百万个零点,这内存分配的碎片和cpu的温度,就能把这台机子直接干蓝屏吧。”
秦飞心中笃定。
因为他自己当时做这个项目的时候,可是动用了学校实验室的高性能服务器集群。
通过极其严苛的多线程并发控制和cpu三级缓存的命中率优化,他硬生生将零点计算推到了上亿级的恐怖规模!
他甚至觉得,如果当时自己再把内存指针的回收机制打磨一下,摸到十亿级的门槛也不是不可能。
“还是太业余了呀……”
秦飞有些好为人师的摇了摇头,索性也不看风景了,就这么饶有兴致的盯著李东的屏幕,权当是在旅途中找点乐子了。
此时,李东也没注意旁边有个高手在,他只优化自己的算法。
秦飞看著,先是暗自点头。
“嗯,不错。”
“知道抛弃原始的欧拉乘积公式,直接上rieann-siegelforu。”
“主和项的循环写得很规范,余项展开的泰勒截断也算合理。”
“时间复杂度标准的o(t(1/2)),对于一个普通学生来说,这代码底子算得上扎实了。”
秦飞在心里给出了一个“中规中矩”的评价。
然而,就在秦飞以为李东接下来会顺理成章的去写多线程加速代码时。
李东却突然停了下来。