候,江临遭遇了比刷题还要痛苦的折磨。
他开始死磕证明书写。
江临翻开自己过去做研究或者推导物理方程时的笔记,那上面充满了专属于他自己的废土密码。
他的笔记非常适合自己看,简洁,信息密度大得吓人,中间带着大量飞跃式的省略号。
他自己看的时候,脑子里瞬间就能反应过来某一步的积分互换为什么成立,某个极限操作为什么在物理上是合法的。
但是,阅卷人不知道。
阅卷人也不在乎你的物理直觉有多强。
现实世界的考场,绝对不会因为他江临在另一个世界的废土里把流体力学方程推演过一百遍,就大发慈悲地默认他卷子上的这条数学证明链是完整无缺的。
少了一步拓扑等价的证明,少了一句边界连续性的声明,抱歉,那就是逻辑断裂,那就是零分。
于是,他强忍着恶心,专门开辟了第二册笔记。
【证明表达重写本】。
第一页只有一句话。
【你写下的答案,从来不是给自己欣赏的,是给那些拿着放大镜找你茬的人看的。】
从这一天起,江临像个文字狱的审查官一样,清洗自己的每一个字。
把以前习惯性写上的显然可知这四个字,毫不留情地划掉。
把通过简单的代数变形容易得到这句话,连根拔起。
把同理,对于其余情况类似可证这种偷懒的句式,打上了大大的红叉。
每一个看似自然的省略,现在都必须附上坚如磐石的数学定理作为理由支撑。
如果写理由会让整个证明显得头重脚轻,太长太啰嗦,那就把这段逻辑单独剥离出来,先证明一个引理。
如果证明完发现这个引理太弱,支撑不起后面的推导,那就换一个数学结构。
如果整个推导的结构绕来绕去像一团乱麻,那就换个思路重写。
最开始的两个月,江临写出的证明依然带着物理草稿的狂野味。
大方向准得惊人,眼光极其毒辣,但关键位置偶尔会出现理所当然的跳跃。
自然到他自己写完第一遍复读的时候,都觉得完美无瑕,逻辑自洽。
可等到第二天,脑子冷静下来,他强迫自己像个挑刺的第三方审稿人一样重新去读昨天写的东西时,就会惊出一身冷汗。
自己在两个公式之间,想当然地少铺了一块名为一致收敛的地基。
这种感觉让他极度不适。
就好像他明明已经凭借轻功飞到了河对岸的风景区,现在却被迫要捏着鼻子,重新游回河里,去把桥上的木板一块一块严丝合缝地钉好,只为了向别人证明自己有资格站在这边。
憋屈,烦躁。
但他一次也没有摔过笔。
因为江临心里比谁都透彻,这正是阿里数赛这项看起来和废土求生毫无关系的应试比赛,对他最大的价值所在。
它根本不是来教他学什么牛逼的新公式的。
只是来给他上规矩的。
它逼着他把自己体内那些庞杂的不成体系的绝世内力,转化成一种别人能够审查,能够复现,能够拿着显微镜挑错的标准形式。
这和真正的科研发表,本质上是同一件事。
这片废土上,只有呼啸的风沙,没有苛刻的同行评议。
但他总有一天要回到那个现实世界。
他迟早要用克制严密的语言,去向那个世界宣告他在这片夜空下找到的真理。
阿里数赛,就是他的练兵场。
第十一个月,江临的训练重心转向【补强区】。
组合与数论。
这绝对不是因为他底子薄或者智商不够。
纯粹是因为这两块领域,与他过去几十年浸泡的主干物理训练,存在极其严重的非同构性。
做分析,他能看见函数空间和能量估计。
做线代,他能看见算子和稳定性。
做微分方程,他能看见相图,波动,扩散和边界条件。
做概率,他能从统计力学和误差传播里召唤直觉。
可碰上纯正的组合和数论,他那些重型物理武器,像一拳打在棉花上。
这些题目,不是一把沉重的战锤,需要你调动全身的理论肌肉去挥舞。
更像是一枚枚藏在抽屉角落里,薄薄的单面剃须刀片。
不长,不重,不起眼,却锋利得能瞬间切断咽喉。
搞定它们,往往不需要你懂多少厚重的现代数学理论。
有时候,仅仅只需要你在错综复杂的表象下,敏锐地抓住一个不变的特征量,构造出一个极其巧妙的映射,发现一个极端的边界对象,或者看出一个隐藏得极深的同余规律。
看穿了,这题三行式子就能绝杀。
看不穿,你就算在草稿纸上写满三十页密密麻麻的暴力枚举,最后也只能面对一堆无用的废纸绝望。
在这个领域,江临结结实实地吃了几次亏。
印象最深的一次,是一道看似人畜无害的图论染色题。
江临一上来就动用他强大的分类讨论能力,硬生生地写了整整六页。
他像个推土机一样,一点点地往前铲,试图穷举出所有的可能性。
分类的过程严密细致到连他自己写到最后都觉得恶心了。
结果,等他好不容易铲出一条路,翻开标准答案一看,上面只有半页纸。
真正的破题入口,极其优雅,仅仅只是利用了图论网络中的一个奇偶不变量。
江临看着那半页答案,沉默了足足十分钟。
然后,他一言不发地把自己那六页写满血汗的草稿纸撕下来,钉进了那本《题型解剖》里。
并在旁边写下了一句自嘲到了极点的话。
【疯狂的推土机,惨死于一根绣花针。】
这句话,成了他做组合题的座右铭。
从那以后,每当试卷上出现组合题的影子,他草稿纸第一行不再是设一堆未知数。
而是四个灵魂拷问。
【有没有不变量】
【有没有单调变化的量】
【极端情况下的对象在哪里】
【系统是否存在对称性】
这四个问题,不是什么包治百病的灵丹妙药,但它们就像是四面雷达,让江临在黑暗的组合迷宫里,少走了无数让人崩溃的冤枉路。
当第一年的荒野特训走到尾声时,江临猛然意识到自己的状态,已经根本不能用在学阿里数赛来形容了。
他在自己的大脑里,用工程学的思维,搭建起了一套专为现实应试比赛量身定制的高速响应系统。
一道新题出现在视网膜上,系统瞬间启动。
扫描特征,判断所属领域,识别底层结构,打开对应的工具箱选择扳手。
评估投入产出比,决定是全军出击,还是浅尝辄止。
一旦决定投入,立刻切换到证明输出模式,严格遵循审查规范,写出一条无可挑剔的逻辑链,最后例行检查边界漏洞。
遇到超出阈值的死胡同,触发保护机制,果断放弃不该死磕的硬骨头。
进入废土的第二年,训练进入计时模拟阶段。
在这一年里,江临发现自己的最大敌人变成了时间。
长期的废土生活给了他一种奢侈的错觉。
时间是充裕的,甚至是静止的。
但现实世界里那场残酷的选拔比赛,留给他的时间是以小时,甚至以分钟来倒计时的。
这两种截然不同的时间尺度,在江临的大脑里产生了剧烈的排异反应。
最开始进行限时模拟的时候,江临极度不适。
遇到一道有些卡壳的中档难题,他明明能感觉到自己离那个破题的线头就差那么一点点了,他的理智告诉他赶紧切题,但他骨子里的那股狠劲让他舍不得抽身。
二十分钟过去了,三十分钟过去了。
等他好不容易满头大汗地把这道题啃下来,抬起头一看时间,心瞬间凉了半截。
后面还有两道原本手拿把掐的优势题,连题干都还没来得及扫一眼。
这种因为恋战而导致满盘皆输的错误,对于极其看重系统效率的江临来说,简直比杀了他还难受。
因为它根本不是能力不足导致的丢分,而是最愚蠢的策略失控。
那天晚上,江临黑着脸,翻开第三册笔记,在封面上用力地加上一句警告。
【在这场游戏里,你那引以为傲的忍耐力,绝不能用来替代宏观的战术策略。】
然后,他开始训练放弃。
看到一道题,读完题干,能一眼判断出大致方向,但脑子里的沙盘推演告诉他,铺平这条证明之路需要极其繁琐的代数变形和超长的时间。
走,下一题。
看到一道题,背景极其诱人,甚至和自己昨晚还在读的某篇关于等离子体偏微分方程的顶级文献有着奇妙的同构联系,做出来一定很爽。
但它明显超出了时间预算。
走,下一题。
……
走这个字,在这一年的训练日志里,被江临用笔反复圈画了无数次。
他不断地给自己洗脑,走,不是逃跑。
走,是这场比赛系统里,为了保全大局而必须主动触发的卸荷电阻。
当某一道题像个黑洞一样,开始失控地吞噬你的宝贵时间时,你必须像个冷血的电网调度员一样,毫不犹豫地拉下电闸,把它从你的主攻电路上硬生生地切除出去。
如果不这么
他开始死磕证明书写。
江临翻开自己过去做研究或者推导物理方程时的笔记,那上面充满了专属于他自己的废土密码。
他的笔记非常适合自己看,简洁,信息密度大得吓人,中间带着大量飞跃式的省略号。
他自己看的时候,脑子里瞬间就能反应过来某一步的积分互换为什么成立,某个极限操作为什么在物理上是合法的。
但是,阅卷人不知道。
阅卷人也不在乎你的物理直觉有多强。
现实世界的考场,绝对不会因为他江临在另一个世界的废土里把流体力学方程推演过一百遍,就大发慈悲地默认他卷子上的这条数学证明链是完整无缺的。
少了一步拓扑等价的证明,少了一句边界连续性的声明,抱歉,那就是逻辑断裂,那就是零分。
于是,他强忍着恶心,专门开辟了第二册笔记。
【证明表达重写本】。
第一页只有一句话。
【你写下的答案,从来不是给自己欣赏的,是给那些拿着放大镜找你茬的人看的。】
从这一天起,江临像个文字狱的审查官一样,清洗自己的每一个字。
把以前习惯性写上的显然可知这四个字,毫不留情地划掉。
把通过简单的代数变形容易得到这句话,连根拔起。
把同理,对于其余情况类似可证这种偷懒的句式,打上了大大的红叉。
每一个看似自然的省略,现在都必须附上坚如磐石的数学定理作为理由支撑。
如果写理由会让整个证明显得头重脚轻,太长太啰嗦,那就把这段逻辑单独剥离出来,先证明一个引理。
如果证明完发现这个引理太弱,支撑不起后面的推导,那就换一个数学结构。
如果整个推导的结构绕来绕去像一团乱麻,那就换个思路重写。
最开始的两个月,江临写出的证明依然带着物理草稿的狂野味。
大方向准得惊人,眼光极其毒辣,但关键位置偶尔会出现理所当然的跳跃。
自然到他自己写完第一遍复读的时候,都觉得完美无瑕,逻辑自洽。
可等到第二天,脑子冷静下来,他强迫自己像个挑刺的第三方审稿人一样重新去读昨天写的东西时,就会惊出一身冷汗。
自己在两个公式之间,想当然地少铺了一块名为一致收敛的地基。
这种感觉让他极度不适。
就好像他明明已经凭借轻功飞到了河对岸的风景区,现在却被迫要捏着鼻子,重新游回河里,去把桥上的木板一块一块严丝合缝地钉好,只为了向别人证明自己有资格站在这边。
憋屈,烦躁。
但他一次也没有摔过笔。
因为江临心里比谁都透彻,这正是阿里数赛这项看起来和废土求生毫无关系的应试比赛,对他最大的价值所在。
它根本不是来教他学什么牛逼的新公式的。
只是来给他上规矩的。
它逼着他把自己体内那些庞杂的不成体系的绝世内力,转化成一种别人能够审查,能够复现,能够拿着显微镜挑错的标准形式。
这和真正的科研发表,本质上是同一件事。
这片废土上,只有呼啸的风沙,没有苛刻的同行评议。
但他总有一天要回到那个现实世界。
他迟早要用克制严密的语言,去向那个世界宣告他在这片夜空下找到的真理。
阿里数赛,就是他的练兵场。
第十一个月,江临的训练重心转向【补强区】。
组合与数论。
这绝对不是因为他底子薄或者智商不够。
纯粹是因为这两块领域,与他过去几十年浸泡的主干物理训练,存在极其严重的非同构性。
做分析,他能看见函数空间和能量估计。
做线代,他能看见算子和稳定性。
做微分方程,他能看见相图,波动,扩散和边界条件。
做概率,他能从统计力学和误差传播里召唤直觉。
可碰上纯正的组合和数论,他那些重型物理武器,像一拳打在棉花上。
这些题目,不是一把沉重的战锤,需要你调动全身的理论肌肉去挥舞。
更像是一枚枚藏在抽屉角落里,薄薄的单面剃须刀片。
不长,不重,不起眼,却锋利得能瞬间切断咽喉。
搞定它们,往往不需要你懂多少厚重的现代数学理论。
有时候,仅仅只需要你在错综复杂的表象下,敏锐地抓住一个不变的特征量,构造出一个极其巧妙的映射,发现一个极端的边界对象,或者看出一个隐藏得极深的同余规律。
看穿了,这题三行式子就能绝杀。
看不穿,你就算在草稿纸上写满三十页密密麻麻的暴力枚举,最后也只能面对一堆无用的废纸绝望。
在这个领域,江临结结实实地吃了几次亏。
印象最深的一次,是一道看似人畜无害的图论染色题。
江临一上来就动用他强大的分类讨论能力,硬生生地写了整整六页。
他像个推土机一样,一点点地往前铲,试图穷举出所有的可能性。
分类的过程严密细致到连他自己写到最后都觉得恶心了。
结果,等他好不容易铲出一条路,翻开标准答案一看,上面只有半页纸。
真正的破题入口,极其优雅,仅仅只是利用了图论网络中的一个奇偶不变量。
江临看着那半页答案,沉默了足足十分钟。
然后,他一言不发地把自己那六页写满血汗的草稿纸撕下来,钉进了那本《题型解剖》里。
并在旁边写下了一句自嘲到了极点的话。
【疯狂的推土机,惨死于一根绣花针。】
这句话,成了他做组合题的座右铭。
从那以后,每当试卷上出现组合题的影子,他草稿纸第一行不再是设一堆未知数。
而是四个灵魂拷问。
【有没有不变量】
【有没有单调变化的量】
【极端情况下的对象在哪里】
【系统是否存在对称性】
这四个问题,不是什么包治百病的灵丹妙药,但它们就像是四面雷达,让江临在黑暗的组合迷宫里,少走了无数让人崩溃的冤枉路。
当第一年的荒野特训走到尾声时,江临猛然意识到自己的状态,已经根本不能用在学阿里数赛来形容了。
他在自己的大脑里,用工程学的思维,搭建起了一套专为现实应试比赛量身定制的高速响应系统。
一道新题出现在视网膜上,系统瞬间启动。
扫描特征,判断所属领域,识别底层结构,打开对应的工具箱选择扳手。
评估投入产出比,决定是全军出击,还是浅尝辄止。
一旦决定投入,立刻切换到证明输出模式,严格遵循审查规范,写出一条无可挑剔的逻辑链,最后例行检查边界漏洞。
遇到超出阈值的死胡同,触发保护机制,果断放弃不该死磕的硬骨头。
进入废土的第二年,训练进入计时模拟阶段。
在这一年里,江临发现自己的最大敌人变成了时间。
长期的废土生活给了他一种奢侈的错觉。
时间是充裕的,甚至是静止的。
但现实世界里那场残酷的选拔比赛,留给他的时间是以小时,甚至以分钟来倒计时的。
这两种截然不同的时间尺度,在江临的大脑里产生了剧烈的排异反应。
最开始进行限时模拟的时候,江临极度不适。
遇到一道有些卡壳的中档难题,他明明能感觉到自己离那个破题的线头就差那么一点点了,他的理智告诉他赶紧切题,但他骨子里的那股狠劲让他舍不得抽身。
二十分钟过去了,三十分钟过去了。
等他好不容易满头大汗地把这道题啃下来,抬起头一看时间,心瞬间凉了半截。
后面还有两道原本手拿把掐的优势题,连题干都还没来得及扫一眼。
这种因为恋战而导致满盘皆输的错误,对于极其看重系统效率的江临来说,简直比杀了他还难受。
因为它根本不是能力不足导致的丢分,而是最愚蠢的策略失控。
那天晚上,江临黑着脸,翻开第三册笔记,在封面上用力地加上一句警告。
【在这场游戏里,你那引以为傲的忍耐力,绝不能用来替代宏观的战术策略。】
然后,他开始训练放弃。
看到一道题,读完题干,能一眼判断出大致方向,但脑子里的沙盘推演告诉他,铺平这条证明之路需要极其繁琐的代数变形和超长的时间。
走,下一题。
看到一道题,背景极其诱人,甚至和自己昨晚还在读的某篇关于等离子体偏微分方程的顶级文献有着奇妙的同构联系,做出来一定很爽。
但它明显超出了时间预算。
走,下一题。
……
走这个字,在这一年的训练日志里,被江临用笔反复圈画了无数次。
他不断地给自己洗脑,走,不是逃跑。
走,是这场比赛系统里,为了保全大局而必须主动触发的卸荷电阻。
当某一道题像个黑洞一样,开始失控地吞噬你的宝贵时间时,你必须像个冷血的电网调度员一样,毫不犹豫地拉下电闸,把它从你的主攻电路上硬生生地切除出去。
如果不这么