第一次写证明，写了两页，被指出第三行就漏了一个情况。补上去，又漏了第二个。那天我明白：证明不是写感想，是把所有情况都堵死。
一、心路：从写代码到证定理
我本科喜欢写代码，觉得能跑通就是对的。
学进去才知道，“跑通” 只是样本，“正确” 要证明。
转折是一次课程作业，做算法分析。我的算法在测试里很快，理论上却证明不出复杂度。
二、绩点：算法与理论并重
这个方向的主干：数据结构、算法、编译原理、形式语言、程序理论、程序验证。
算法是核心：设计、分析、正确性。
理论是工具：形式化、逻辑、证明。
我的方法是 “一算法三问”：正确吗、快吗、边界呢。
三、英语：读理论文献
这个方向的英文文献，定义与证明并重。
我的读法是先看定义，再看定理，最后看证明思路。术语表记了：complexity、reduction、invariant、decidability、correctness。
四、竞赛：程序设计赛
这个方向的竞赛，程序设计类赛事最对口。
我参加过一次，题目难在边界条件。
五、科研：一次算法改进
我的科研训练是一次算法改进。
流程：读文献、找瓶颈、改结构、做实验、写分析。
最难的是 “实验”：对比不公平，结论就不成立。
六、辅导：把证明讲清
我报知点保研的定制辅导，问题是证明讲不清。
咨询师帮我把每段经历改成 “问题、方法、正确性、复杂度” 四段；模拟面试追问 “你这个证明的假设是什么”，逼我把前提说清。
说明：辅导改善的是表达与准备，录取由院系考核决定，任何服务都不构成录取承诺。
这个方向教我的，是能跑通不算完，能证明才算。
如有保研问题可以咨询电话 4000003363 或者微信 shuoedu，知点保研咨询师将热情专业的解答您的考研问题。
