“我提醒一句。”邵明棠忽然开口，打断了陈彦的思绪，“江临，你的标准图，千万不要画得好看。”
陈彦一愣，下意识看向这位素来以严谨着称的物理学家。
“漂亮没有任何学术价值，绝对的清淅才是唯一的标准。内部匹配规则要标出来，手性翻转的标记要极度醒目。哪条边必须和哪条边发生匹配，必须用不同颜色的线条或特定的箭头符号做严格约束。最重要的是，那些错误的拼法为什么错，必须在图旁给出反例说明。”
邵明棠说到这里，深深看了江临一眼。
“学术界没有那么多善意，读者不能靠猜，审稿人更没有义务替你猜。你的逻辑如果不嚼碎了喂到他嘴边，他就会在审稿意见里写下一句描述不清，缺乏严谨性，然后直接拒稿。”
顾南舟微微颔首，随后写下第三行。
三、局部情形表
写完这几个字，他抬起头，眼神中带着一丝同情地看着江临。
“江临，这是所有工作里，最反人类，也是最累的一步。”
江临微微点头。
昨天他们在白板前争论得最激烈的，也就是这张表。
“你昨天的破局思路非常精妙，把无限平面的铺法，通过强制匹配规则，压缩成了有限的局部情形组合。这个降维打击的思路绝对是对的。但这个思路到底能不能站住脚，最后全看你枚举的这张表，有没有哪怕一种遗漏。”
林照野立刻接过了话头：“每一个顶点，哪怕是最边缘的顶点，其附近所有的拼贴可能，都必须穷举列出。能继续往外拼延的，你要在表里清淅地说明它最终将归入哪一类Super-tile。不能继续往下拼，注定无法延展的，你要证明它在哪一步走不下去，为什么走不下去。”
林照野用手指重重敲击着桌面，发出沉闷的响声。
“绝不能在论文里只写一句此路不通。你要写清楚，到底是哪个角度出现了干涉，哪两条边发生了拓扑重叠，是哪个微小的缺口，在穷尽了所有可用砖块的旋转与翻面后，依然无法被填补？”
他盯着江临，仿佛要看穿这个年轻人的承受底线。
“还有别忘了，顶点邻域的组合，在理论上看似是有限的，但真要在实际操作中去穷尽，它的状态空间是会发生指数级爆炸的。第一层的邻域你列完了，那第二层呢？第二层的每一种合法状态，又会向外衍生出第三层的一堆分支。如果靠手工去列，用人脑去硬扛，必然会发生遗漏。”
林照野说到这里，语气稍微放缓。
“这种级别的穷举表，普通的研究团队如果靠人力硬磨，动作快的话几个星期，慢的话两三个月是家常便饭。而在长达几个月的枯燥排查中，但凡你在某一天突然发现，最底层竟然漏掉了一种极其生僻的局部拼法。江临，那就意味着你上面堆砌的几千种衍生状态全部作废，整个证明链条断裂，前面几个月的心血全部重来。”
他看着江临那张依旧平静的脸。
“别觉得自己有了一个好的骨架，就轻视这种泥瓦匠的活儿。骨架终究只是骨架，而这张表，是把这具骨架钉牢在现实世界里的每一颗钢钉。”
坐在后排的陈彦，听到这里，胃部已经开始神经性地抽搐了。
这种活儿他真的太熟了。
外行听起来象是简单的填表游戏，其实对于执行者来说，这无异于把自己关进一个没有窗户灯光惨白的密闭小房间里。
你要拿着放大镜，一寸一寸地去擦洗地板上的纹理。
擦完第一遍，强迫症般地重新检查第二遍。
检查完之后，还要把记录交给别人去挑刺。
如果别人指着第三十七块地板的缝隙说，这里好象还有一点灰，你连发脾气和烦躁的资格都没有。
因为别人是对的，那一点点灰，真的有可能藏着整篇论文的漏洞。
顾南舟笔尖唰唰滑动，写下第四行。
四、计算机辅助核验
“就因为手工枚举必然会出错，所以你这张庞大的局部状态表，最后必须也只能交给程序去跑一遍。”
邵明棠接过话茬，指着那行字。
“人类负责制定严谨的几何匹配规则，机器负责按照规则进行无感情的暴力枚举，最后人类再反过来检查，机器的输出是否完美符合了物理意义上的预期。”
“这种级别的穷举证明，现在的国际顶刊惯例，就是必须附带计算机辅助验证代码。而且，你编写的核验程序，绝不能是那种在你自己计算机上能跑通，换个环境就报错的玩具代码。你必须提供极其干净、封装良好的源码，让大洋彼岸的任何一个审稿人，能在他们自己的服务器上，独立编译、独立运行，并最终跑出和你一模一样的验证结