第132章 木板
第132章 木板 (第2/3页)
笔杆换上。
「既然你说了，把连续的时间轴切碎变成离散的状态，计算量能减半，容错率更高，那我为什麽还要费那个劲去算什麽无穷小量？能绕过去的路，我为什麽要死磕？」
陈拙看着她那副理所当然的样子，有点无奈的点了点头。
「话是这麽说没错，但有些连续性的题目，本身设计的初衷就是为了考察你对微积分边界的理解，你强行把它转化成离散矩阵，虽然最後能得出一个近似的数值解，但在理论的精确度上是会有损耗的。」
「我不需要绝对的精确度。」
苏微擡起头，眼神非常坦荡，甚至带着一种精算师特有的冷酷。
「金融市场本来就是人性的集合，没有任何一个公式能算得百分之百精确，我以後要是去考精算师，或者去做风控模型，老板要的不是我写出一个多麽漂亮的微积分函数，他要的是我在最短的时间内，给出一个误差在可控范围内的风险预估数据。」她伸手点了一下草稿纸上的矩阵方阵。
「这个工具，能让我在考场上比别人快二十分钟交卷，能让我在计算庞大资金流向的时候少犯错，这就足够了，至於理论美不美，那是你们学数学和物理的人该操心的事，我是个俗人，我只看好不好用。」
陈拙站在原地，看着这个留着短发，穿着洗得发旧的白T恤的女生，忍不住乍舌。
这种纯粹到近乎贪婪的实用主义，非但不让人讨厌，反而透着一股野蛮生长的生命力。
「挺好。」
陈拙拿起自己的水壶，笑了笑。
「继续劈你的案板吧，记得别把刀刃卷了就行，有个地方的特徵根转移概率你设定的初始值有点保守，可以试着再放大一点，计算速度还能再提百分之五左右。」
留下这句随口的话，陈拙拎着水壶往饮水机走去。
等陈拙打完水回来的时候，苏微已经按照他刚才说的那句话，在草稿纸上重新推演刚才的那个矩阵了。两人谁也没有再说话，阅览室里恢复了那种熟悉的，各自学习的安静。
窗外的日影一点点西斜。
陈拙回到自己的座位上，翻开笔记本，拿出那两页关於图论证明的草稿纸。
今天，该收尾了。
只剩下最後一步。
原作者在论文的末尾，为了证明某个下界的稳固性，用了整整四页纸去分类讨论那些极端情况下的拓扑图形。陈拙看着草稿纸上已经成型的庞大代数特徵值映射，拿起笔。
不需要分类讨论。
在代数的世界里，所有的极端情况，最终都会收敛於矩阵最大特徵根的边界限制之中。
笔尖在纸上平稳地移动着。
一行行清晰流畅的代数式从他手底流淌出来，就像是清澈的泉水冲刷掉覆盖在石头上的泥沙，露出了底下最坚硬，最原本的质地。当他写下最後一个不等式，并在右下角画上一个代表证明结束的黑色小方块时，外面的天色正好暗了下来。校园里的路灯一盏接一盏地亮起。
陈拙停下笔，把这两页半草稿纸拿起来，从头到尾，一字不落地重新审视了一遍。
逻辑闭环完美，没有任何跳跃，也没有任何牵强的引理。
三十多页的笨重证明，被彻底解构成了一个可以在代数框架内完美自治的五页纸结构。
他长长地呼出一口气，把纸压平，夹进笔记本里。
「木板垫好了？」
苏微的声音从斜对面飘了过来，她正一边收拾桌上的文具，一边把今天产生的几张废纸揉成团。陈拙擡起头，把水性笔的笔帽盖紧，发出一声轻微的哢哒声。
「嗯。」
他平淡地点了点头。
「敲完最後一根钉子了。」
「听起来是个挺大的工程。」
苏微把水壶拎起来。
（本章未完，请点击下一页继续阅读）