第133章 逻辑

为了能让欧叶完全理解自己的思路逻辑，沈奇将原本100字的论文大纲扩展到800字。

在大纲修改过程中，沈奇与欧叶不断交流。

沈奇：“在论文的正文部分，你需要化两个二次型成平方和，此处需加一个引用，欧叶你知道要引用什么吗？”

欧叶：“束。”

沈奇：“很好，你进步的很快。那么做总结的时候同样需要引用，以对应前面的不变因子，你知道要引用什么吗？”

欧叶：“集。”

沈奇：“非常好，你是个聪明的女生。”

服务员给沈奇续白开水，他完全听不懂沈奇和欧叶在谈论些什么。

普通的大学生情侣来喝咖啡，谈论最多的话题是衣食住行，哪家店的东西好吃，亲你这件衣服好美和你的气质特别搭，圣诞节咱们出去旅游吧，或者就在本地开个房也行，诸如此类。

喝白开水的这对年轻男女，两人的日常对话内容属于另一个范畴，他俩不是水木就是燕大的学生吧？

沈奇的逻辑理论在同龄人中只有欧叶能懂，欧叶在慢慢的懂。

欧叶的语言表达方式也只有沈奇能抓住核心要点，沈奇在逐渐适应。

总而言之这两人的日常对话，普通人是听不懂的。听懂也没用，根本不知道他俩想干嘛，有何目的。

沈奇付钱买单，将论文大纲拷进U盘递给欧叶：“我准备闭关了，半个月到一个月之内你见不到我，班长工作委托给了周雨安，如果有特别紧急的事情可以给我电话。”

欧叶接过U盘说到：“最后一个事情。”

沈奇面无表情的说：“讲。”

欧叶：“第26题的手写稿，给我。”

沈奇仍旧没有表情：“哦。”

欧叶：“你神经病吧。”

沈奇皮笑肉不笑：“呵。”

“呵呵。”欧叶被沈奇逗乐了，她露出一个明显的笑容，对她来说已算非常明显。

“看，你笑起来很迷人，甚至还有两个浅浅的酒窝，欧叶，你为什么总是面无表情呢？长期不哭不笑不激动，容易导致面瘫。今后要多露出笑容，听见没有？”沈奇提出了中肯的建议。

欧叶皮笑肉不笑：“哦。”

“欧神，我水土都不服，就服你，你原创版的‘哦’富有神韵，我一辈子也学不会。”沈奇起身，笑着摇摇头，回寝室取了第26题的手写稿复印件交给欧叶。

手写稿记录了沈奇最初的逻辑思路和解答过程，对欧叶有一定的参考意义。

之后几天沈奇进入闭关模式，他早上6点离开寝室，晚上12点回来，室友们也不清楚他去了哪里，干了些什么。

在整理第23题的求证过程中，沈奇遇到了新课题，他需要一种新方法，以解决线性不等式约束的广义非线性互补问题。

这个问题沈奇考虑三天三夜，无果，没有思路。

孙二雄出的第23题原题不难，无非就是求证一个雅可比行列式。

在48小时的疯狂刷题中，沈奇经历了第一次思想飞越，他突发奇想假设了一种新证法，证明这种新证法成立后，再去求证题设的雅可比行列式。

最近三天三夜，沈奇经历了第二次思想飞越，他认为之前自创的新证法还需进一步完善，解题是OK的，写成论文值得推敲的地方有不少。

不断的推翻、重建，否定、肯定，沈奇在燕大某个角落一坐就是一天，连坐三天三夜，除了吃饭睡觉上厕所。

困扰沈奇最大的课题是，基于广义互补问题构成的半光滑方程组的广义雅可比矩阵，是否存在一种算法，从而形成一个带椭球约束的线性化二次模型？

原本不难的一道高代题，被沈奇越整越复杂，越思考越深刻，深刻到他自己都没有办法解答。

数学以及一切自然科学，正是在不断的推翻与重新论证中向前发展。

有人成功了，名垂青史。

有人发疯了，送去精神病院。

沈奇饿了，他要吃饭。

恍恍惚惚的飘到食堂，面食窗口，沈奇排队候餐。

等待打餐的时候，沈奇注意到窗口内部摆放一口长方形大盆，内盛许多白花花的大馒头。

这些馒头以一种奇异的方式堆积，呈现出明显的数学排列特征。

“原来隐藏在民间的学术高手除了图书管理员和打字员，还有食堂师傅。”沈奇不得不多看打饭师傅几眼，高高的白帽子凸显智慧，炯炯有神的双目闪现灵光。他，一定是个高手，屈居于燕大食堂必然有不得已的苦衷。

轮到沈奇打饭了，他掏出饭卡，直面打饭师傅。

“同学你好，吃点啥？”师傅笑呵呵的问到，特别有亲和力。

沈奇并不急于点餐，他指了指窗口内部的馒头堆，说到：“它们，是非线性的。”

“那是绝对的啊同学，大馒头当然是非馅的，带馅儿的那是包子。”师傅答到，又问：“打几个馒头？”