三五中文网

第131章 还是得实践一下（第4页）

这一下午的推演，其实并不像想像中那麽一蹴而就。

把一个纯粹的组合图形问题，强行跨界转换到代数矩阵的维度，第一步的映射确实很顺畅。原本需要用大段文字去描述的连通性，被他很轻易地塞进了一个对称矩阵里。

但这仅仅是个开始。

那篇三十多页的论文里，原作者为了证明那个下界，罗列了极其繁杂的边界条件。

陈拙想要把这些条件全部无损地压缩进矩阵的特徵值范围内，还需要构建几个非常精巧的不等式来进行放缩。这就不是喝口水的功夫能凭空捏出来的了。

它需要时间去反覆比对，去尝试不同的代数工具。

陈拙的笔尖悬在半空，停在了一个特徵根的取值范围前。

他在脑子里缓慢地搭着脚手架。

苏微本来是去走廊尽头的水房洗杯子的，回来的时候，顺路看了一眼陈拙。

这几天，陈拙看书的速度都很快，往往是翻几页，在本子上记一行字，然後继续翻，但今天下午，他在这张桌子前已经保持着写字的姿势快一个小时了。她停下脚步，目光落在陈拙手底下的草稿纸上。

纸上没有平时那种零散的句子，全是一行接一行，排布得极其工整的矩阵推导。

从上到下，虽然推到一半停住了，但前面的逻辑咬得很死，像是一道正在被沉下心来慢慢解开的密码。「今天不看了，开始实践一下了？」

苏微端着洗乾净的水杯，站在桌边随口问了一句。

陈拙手里的笔停了下来。

他没有急着往下写，而是把笔帽盖上，随手放在一旁，甩了甩有些发酸的手腕。

他擡起头，甩了甩有些发酸的手腕，看着站在旁边的苏微，脸上露出了一个很温和的笑容。「不算做题。」

他伸手指了指旁边那本翻开的《离散数学》，语气随和，带着点开玩笑的口吻。

「看别人搭积木搭得太辛苦，一块一块地拚，我闲着也是闲着，就试了试能不能直接拿块木板，在上面垫过去。」苏微低头看了一眼那本全英文的期刊。

上面密密麻麻的组合图形和条件分支让她下意识地皱了皱眉，她又看了一眼陈拙那张推演了一半的矩阵草稿。她看不懂图论的深浅，但她能看明白这两者在体量上的巨大差距。

三十多页的印刷体。

不到两页的手写草稿。

「木板垫过去了吗？」

苏微喝了一口杯子里的凉水，语气依然没有什麽波澜，就像是在问今天晚饭吃什麽一样。

「还没。」

陈拙把那张草稿纸拿起来，对着光看了一遍。

上面的代数框架已经立起来了，大方向没有任何问题，降维带来的简洁感也确实存在。

但要真正把它变成一篇严丝合缝的数学证明，还需要一点水磨工夫去把中间的缝隙填满。

「刚把木板的形状裁出来。」

陈拙把纸放下，笑了笑。

「还得找几根合适的钉子敲上去固定一下，是个细活，今天敲不完了。」