字体
大
中
小
关灯
上一页 回目录    收藏 下一页

第97章 推向全世界(3/11)

但是,用于自动化比对的diff脚本却亮起了红灯。

文本对不上。

林照野在邮件里并没有因为这是个高中生就嘴下留情,字里行间透着老牌学者的严谨与苛刻,只写了一句极重的话:“复现说明不能假设全世界的同行都和你用同一台型号的机器、同一个版本的编译器,这是科学的普适性原则。”

陈彦看着邮件,替江临捏了一把汗。

这种吹毛求疵的指责,对一个刚刚做出巨大贡献的年轻人来说,很容易引发逆反心理。

但江临的回信在两分钟后就到了。

“收到。

问题确认。

已将所有底层的几何坐标比较模块,从浮点数近似比较彻底改为基于代数整数的精确编码,并使用有理数格式输出,新版本 v0.

3 已上传。”

第三轮,在北京的邵明棠研究所那边,开始跑用于生成论文附录图谱的关键样例。

运行到第七个小时,又发现了一个致命的格式规范问题。

在处理tile J的翻面读法时,两个本该归入同一等价类的测试样例,输出在日志里的名称不一致。

一个是按照第一种遍历算法生成的,叫 mirror_case_b3。

另一个是按照逆向回溯生成的,叫 reflected_b3。

作为研究者,人类的大脑在看到这两个词时,瞬间就能反应过来它们在数学上指的是同一个拓扑结构。

但机器不知道。

对于哈希算法来说,这是两串截然不同的字符。

如果未来的审稿人,那些可能来自普林斯顿、剑桥或者高等研究院的、挑剔到极点的数学家,拿着放大镜来审查你的核验代码时,他们绝对不会大发慈悲地替你猜这其中的关联。

他们只会冷冷地写下一句:“代码逻辑存在歧义,状态空间分类不严谨。”

于是,江临再次修改。

统一了全局的命名空间,引入了严格的规范化命名函数。

接下来的这几天里,c216讨论室里说得最多的词,不是天才,不是突破,不是单砖。

空气里漂浮的,全都是枯燥到了极点的工程指令。

“重跑!

江大节点二号机重新分配内存。”

“日志呢?

为什么第4470号状态的衍生日志断掉了?”

“版本号没对齐!

你现在跑的是v0.

4还是v0.

4.

1?”

“等一下,这个输出结果对应的是草稿里的哪张图?

图索引文件更新了吗?”

“R-44的终端输出和附录编号对不上,差了一个位移向量。”
本章未完,请翻下一页继续阅读.........
上一页 回目录    收藏 下一页