第98章 推向全世界（2 / 11）
为了证明没有一种情况可以导致周期性平移，机器必须遍歷所有的局部状態。
一类状態生成，评估，切入下一类状態，再扩展到下一类状態的邻域。
合併同构等价类，给每一种图谱赋予绝对唯一的哈希编號。
发现闭环，標记为死路，记录拓扑矛盾原因。
输出动輒几百mb几个gb的json文件，计算多项式哈希值，生成追溯日誌。
然后：报错，排查，修改脚本，重跑；再报错，再重跑。
江临交上来的这个被称为mps的核验包，代码风格並不花哨。
没有那些大厂程式设计师喜欢搞的炫技般的图形界面，没有错综复杂，动輒需要安装半天环境的外部依赖库，也没有那种看起来运用了各种高级设计模式，实际换一台电脑就因为底层c++编译器版本不同而跑不起来的工程垃圾。
整个文件夹的结构，带著一种极简主义的冷酷。
陈彦第一次在江大数学学院的內网伺服器上解压这个包的时候，心里其实是鬆了一口气的。
作为经常帮导师跑各种祖传屎山代码的博士生，他见过太多惨不忍睹的脚本。
眼前这个包，目录清晰，命名规范，看起来挺乾净。
然后，他敲下了 python3 generate_states.py，开始跑。
第一轮，江大办公室那台配置顶配，装载了双路至强处理器和128g內存的linux工作站，在轰鸣了四个小时，进度条走到57%的时候，突然在一声清脆的滴声后，无情地拋出了大段红色的报错。
陈彦的心提到了嗓子眼。
如果数学模型错了，那意味著过去几天的狂欢只是一场泡沫。
他凑近屏幕，盯著报错信息看了十几秒，忽然有一种想笑，却又想砸键盘的衝动。
不是证明错。
不是逻辑错。
不是內存溢出。
是文件读写错误。
而且原因荒诞到了极点。
工作站之前被另一个院系的老师借用过，系统环境变量的一个临时路径里包含了一个全角的中文用户名。
而江临的脚本在调用底层系统级的相对路径拼接时，没有考虑到非ascii字符的强制转码，导致写入临时日誌时拋出了 unicodeencodeerror。
一个极有可能彻底解决困扰了人类数学界六十年单砖问题的世纪核验包，这锋利无比的第一刀，竟然砍在了中文路径的编码上。
陈彦深吸了一口气，把这个问题截图，附上环境日誌，发给了江临。
仅仅十分钟后，江临就发回了更新后的代码补丁。
他重写了路径处理的模块，加入了强制的utf-8编码声明和异常捕获机制，乾净利落。
第二轮，重新启动。
漫长的六个小时后，跑通了。 ↑返回顶部↑
一类状態生成，评估，切入下一类状態，再扩展到下一类状態的邻域。
合併同构等价类，给每一种图谱赋予绝对唯一的哈希编號。
发现闭环，標记为死路，记录拓扑矛盾原因。
输出动輒几百mb几个gb的json文件，计算多项式哈希值，生成追溯日誌。
然后：报错，排查，修改脚本，重跑；再报错，再重跑。
江临交上来的这个被称为mps的核验包，代码风格並不花哨。
没有那些大厂程式设计师喜欢搞的炫技般的图形界面，没有错综复杂，动輒需要安装半天环境的外部依赖库，也没有那种看起来运用了各种高级设计模式，实际换一台电脑就因为底层c++编译器版本不同而跑不起来的工程垃圾。
整个文件夹的结构，带著一种极简主义的冷酷。
陈彦第一次在江大数学学院的內网伺服器上解压这个包的时候，心里其实是鬆了一口气的。
作为经常帮导师跑各种祖传屎山代码的博士生，他见过太多惨不忍睹的脚本。
眼前这个包，目录清晰，命名规范，看起来挺乾净。
然后，他敲下了 python3 generate_states.py，开始跑。
第一轮，江大办公室那台配置顶配，装载了双路至强处理器和128g內存的linux工作站，在轰鸣了四个小时，进度条走到57%的时候，突然在一声清脆的滴声后，无情地拋出了大段红色的报错。
陈彦的心提到了嗓子眼。
如果数学模型错了，那意味著过去几天的狂欢只是一场泡沫。
他凑近屏幕，盯著报错信息看了十几秒，忽然有一种想笑，却又想砸键盘的衝动。
不是证明错。
不是逻辑错。
不是內存溢出。
是文件读写错误。
而且原因荒诞到了极点。
工作站之前被另一个院系的老师借用过，系统环境变量的一个临时路径里包含了一个全角的中文用户名。
而江临的脚本在调用底层系统级的相对路径拼接时，没有考虑到非ascii字符的强制转码，导致写入临时日誌时拋出了 unicodeencodeerror。
一个极有可能彻底解决困扰了人类数学界六十年单砖问题的世纪核验包，这锋利无比的第一刀，竟然砍在了中文路径的编码上。
陈彦深吸了一口气，把这个问题截图，附上环境日誌，发给了江临。
仅仅十分钟后，江临就发回了更新后的代码补丁。
他重写了路径处理的模块，加入了强制的utf-8编码声明和异常捕获机制，乾净利落。
第二轮，重新启动。
漫长的六个小时后，跑通了。 ↑返回顶部↑