我的智商逐年递增 第266节

　　头顶的吊扇慢悠悠地转着。

　　苏微已经到了。

　　她坐在靠窗的那个老位置上，手边放着那个大容量的水壶。

　　桌上摊开的还是昨天那几张草稿纸，不过上面的公式比前几天看起来要清爽得多，马尔可夫链的离散矩阵已经被她用得很熟练了，纸面上少了很多涂涂改改的痕迹。

　　听到开门的动静，苏微抬起头。

　　“早。”

　　陈拙拉开椅子，把单肩包放在桌上。

　　“早。”

　　苏微应了一声，手里的笔没停，还在顺着昨天的思路往下算。

　　陈拙没有像往常那样直接走向书架，而是从包里拿出一个小本子，撕下一张空白的纸，从笔筒里抽出一支水性笔，在上面写了几行字。

　　写完，他站起身，走到苏微的桌前，把那张纸条轻轻推了过去。

　　苏微算完手里那一步，停下笔，拿起纸条看了一眼。

　　她的视线在纸条上停顿了片刻，眉头微微挑了一下。

　　“最近半年新到馆的？不要历史合订本了？”

　　苏微抬起头，眼神里带着点细微的意外。

　　前几天陈拙一直让她找的都是六七十年代的老古董，那些书纸页发黄，翻起来还掉渣，今天这要求跨度有点大。

　　“嗯。”

　　陈拙拉过旁边的椅子坐下，语气温和。

　　“看了好多的过去，总得看看现在的房子都盖成什么样了，再在旧纸堆里待下去，我感觉我都快老了。”

　　苏微难得地牵了一下嘴角，把纸条压在笔筒下面。

　　“新到的期刊没上架，都在最里面那个杂物间的纸箱里，还没来得及拆封编目。”

　　她站起身，顺手把椅子推回桌子下面。

　　“你等会儿，我去后面找找看有没有你要的数学大类。”

　　“麻烦了。”

　　苏微从裤兜里摸出一串钥匙，转身往阅览室最深处的一扇小木门走去。

　　门锁打开的声音传来，接着是一阵搬动纸箱的沉闷声响。

　　过了大概十来分钟，小木门被推开。

　　苏微推着一辆带轮子的小铁车走了出来。

　　车上摞着三四沓崭新的外文期刊，外头还包着透明的塑料膜，几根打包带紧紧地勒在外面。

　　她把推车停在陈拙桌边，从口袋里摸出一把美工刀，顺着塑料膜的边缘划开。

　　“都在这儿了。”

　　苏微把划开的塑料膜扯掉。

　　“《数学年刊》，《组合理论杂志》，还有几本《离散数学》，都是今年上半年的合集，国外刚寄过来的，没编目，你看的时候别把不同月份的混在一起，不然我后面归档很麻烦。”

　　“放心，看完之后我就放回原处。”

　　陈拙看着推车上那些封面平整的期刊，点了点头。

　　苏微没再多说什么，转身回了自己的座位，继续对付那些精算数据。

　　陈拙从最上面拿起一本《组合理论杂志》。

　　书页很滑，排版也比几十年前那些用打字机敲出来的手稿要清晰漂亮得多。

　　满眼的英文字母和排布整齐的公式，透着一股严谨的工业感。

　　他翻开目录，挑了一篇关于概率图论的文章，慢慢看了起来。

　　他看得很认真。

　　这辈子只有当他真正地进入了数学的大门之后才能深深地理解了数学的无穷魅力。

　　比如眼前这篇。

　　作者是个法国的数学家，文章探讨的是随机图在某种特定条件下的阈值函数。

　　为了证明一个小概率事件的必然性，作者用了一种非常巧妙的二次矩方法。

　　陈拙顺着他的推导逻辑一步步往下看，遇到跨度比较大的步骤，他会停下来，拿过草稿纸，自己把中间省略的证明过程补全。

　　草稿纸上很快写满了推导的式子。

　　算完最后一步，得出和论文上完全一致的结论时，陈拙放下笔，端起水壶喝了一口水。

　　他在心里暗暗点头。

　　这个法国人的切入点找得很准，逻辑闭环做得滴水不漏。

　　用概率的方法去解决确定性的图论问题，这种跨界的思维方式在当下算是相当超前的。

　　这种阅读给他带来了一种很纯粹的愉悦感，就像是隔着时间和空间，和另一个聪明人进行了一场安静的对话。

　　他把这篇论文的几个核心不等式摘抄到了自己的笔记本上，然后合上杂志，放回推车，又拿起了另一本。

　　时间在纸页的翻动中慢慢流走。

　　阳光从东边的窗户慢慢移到了正上方，阅览室里的光线变得亮堂起来。

　　中午的时候，两人各自去食堂吃了顿饭，回来后，继续各占长桌的一端，互不打扰。

　　下午的空气变得更加闷热，头顶的吊扇转得好像也有些吃力。

　　陈拙从推车上拿起一本最新一期的《Discrete Mathematics》，深蓝色的封皮，拿在手里还有点分量。

　　他翻开目录，随便扫了一眼，目光停在了一篇标题很长的文章上。

　　文章讲的是关于某类特定二分图的下界证明问题。

　　这个问题陈拙以前在看老文献的时候接触过，算是组合数学里一个比较经典的硬骨头，很多数学家都在尝试把这个下界的值往上提，但一直很难找到一个通用的证明路径。

　　他翻到了那篇文章的页码。

　　文章很长，洋洋洒洒占了三十多页的篇幅。

　　作者是英国一所高校的教授，陈拙静下心，顺着第一部分的引言开始往下看。

　　作者的思路很传统，也很正统。

　　为了证明那个下界，他采用了纯正的组合构造法，文章里定义了大量的子图结构，然后把这些结构像拼图一样，一块一块地拼接在一起。

　　每拼接一块，就需要用一个引理去证明这种拼接在逻辑上是成立的，不会破坏原有的图论性质。

　　陈拙看着那一页页密密麻麻的子图分类和条件限制。

　　第一种情况，假设顶点度数大于某个值。

　　第二种情况，假设存在某个特定的循环。

　　第三种情况......

　　作者写得非常严谨。

　　他的每一步推导都是对的，每一个引理的证明都无懈可击，他就像是一个极其有耐心的泥瓦匠，用砖块和水泥，一点一点、一层一层地把这面墙给砌了起来。

　　没有走捷径，全是硬桥硬马。

　　陈拙把这一段看完，靠在椅背上揉了揉眉心。

　　在学术界，这种踏踏实实把一个问题用穷举构造法彻底钉死的文章，绝对够资格发在核心期刊上。

　　只是，他在顺着作者的思路往下走的时候，脑子里却控制不住地跳出了另一个画面。

　　这几天，他脑子里装满了代数矩阵的工具。

　　他看着那些在几何空间里被分成了几十种情况去讨论的复杂图形，忽然冒出了一个想法。

　　图形的本质是什么？

　　是点，以及点与点之间的连接关系。

　　如果把这些错综复杂的连接关系，直接抽象成一个由0和1组成的邻接矩阵呢？

　　一旦把图形变成了矩阵，那在这三十页纸里被反复讨论的那些图论性质。

　　比如连通性、二分性、甚至是那个让人头疼的下界数值。

　　是不是就变成了求这个矩阵的特征值问题？

　　陈拙的眼神微微亮了一下。

　　他并不是觉得自己比那个教授聪明，他只是恰好在这个夏天，把离散代数的思维练到了某种本能的程度。

　　那个教授是用纯粹的组合数学眼光在看这个问题，所以他只能去一块一块地拼图。

　　而陈拙现在，手里刚好有一把跨学科的尺子。

　　他重新坐直身子，把那本《离散数学》往旁边推了推，拿过一张干净的A4纸。