第97章 推向全世界(3/11)
但是,用于自动化比对的diff脚本却亮起了红灯。
文本对不上。
林照野在邮件里并没有因为这是个高中生就嘴下留情,字里行间透着老牌学者的严谨与苛刻,只写了一句极重的话:“复现说明不能假设全世界的同行都和你用同一台型号的机器、同一个版本的编译器,这是科学的普适性原则。”
陈彦看着邮件,替江临捏了一把汗。
这种吹毛求疵的指责,对一个刚刚做出巨大贡献的年轻人来说,很容易引发逆反心理。
但江临的回信在两分钟后就到了。
“收到。
问题确认。
已将所有底层的几何坐标比较模块,从浮点数近似比较彻底改为基于代数整数的精确编码,并使用有理数格式输出,新版本 v0.
3 已上传。”
第三轮,在北京的邵明棠研究所那边,开始跑用于生成论文附录图谱的关键样例。
运行到第七个小时,又发现了一个致命的格式规范问题。
在处理tile J的翻面读法时,两个本该归入同一等价类的测试样例,输出在日志里的名称不一致。
一个是按照第一种遍历算法生成的,叫 mirror_case_b3。
另一个是按照逆向回溯生成的,叫 reflected_b3。
作为研究者,人类的大脑在看到这两个词时,瞬间就能反应过来它们在数学上指的是同一个拓扑结构。
但机器不知道。
对于哈希算法来说,这是两串截然不同的字符。
如果未来的审稿人,那些可能来自普林斯顿、剑桥或者高等研究院的、挑剔到极点的数学家,拿着放大镜来审查你的核验代码时,他们绝对不会大发慈悲地替你猜这其中的关联。
他们只会冷冷地写下一句:“代码逻辑存在歧义,状态空间分类不严谨。”
于是,江临再次修改。
统一了全局的命名空间,引入了严格的规范化命名函数。
接下来的这几天里,c216讨论室里说得最多的词,不是天才,不是突破,不是单砖。
空气里漂浮的,全都是枯燥到了极点的工程指令。
“重跑!
江大节点二号机重新分配内存。”
“日志呢?
为什么第4470号状态的衍生日志断掉了?”
“版本号没对齐!
你现在跑的是v0.
4还是v0.
4.
1?”
“等一下,这个输出结果对应的是草稿里的哪张图?
图索引文件更新了吗?”
“R-44的终端输出和附录编号对不上,差了一个位移向量。”
本章未完,请翻下一页继续阅读.........