Computer Science
算法与复杂度辅导
证明、递推和正确性往往比写出能跑的代码更占分。辅导按讲义里的模型走：先不变量，再实现，最后才谈优化。
一起把题目还原成模型：贪心交换、DP 状态、图上的最短路假设分别在哪一步会破。代码只作为证明的可执行注释，而不是反过来用样例倒推算法。
适合谁
适合正在上 Algorithms、Algorithm Design 或 Complexity 的本科与授课型硕士。作业以证明加实现为主，光能跑样例通常拿不到证明分。
期中若是限时卷，还需要把贪心、DP、图算法的模型在无 IDE 时写对。LeetCode 刷题记录不能代替课程证明风格。
覆盖什么
- 把题目还原成贪心交换、DP 状态或最短路假设
- 循环不变量与正确性草稿
- 最坏情况复杂度，避免把平均当最坏
- 实现作为证明的可执行注释
- 限时卷题型分类与时间分配
怎么进行
- 01第一次对照讲义，确认教授用的证明模板：要证什么、假设在哪一步用。
- 02作业先写不变量再写代码。公开样例全绿之后，再构造反例。
- 03考试周按题型限时：证明题先列不变量，编程分析题先写复杂度再写伪代码。
在 CS / SE / AI 里怎么落地
Computer Science
Algorithms & Complexity 属于 计算机科学。考核以「习题证明、编程题与复杂度分析、期中限时卷」为主，辅导按这门课的讲义风格走，不拿竞赛题解或另一所学校的作业套进来。
大学课程同步辅导
这门课通常走大学课程同步辅导，起步 ¥800 / 课时起。有报告或论文成分时可以叠加论文辅导，分析课时与千词分开报。
不要用这项辅导做的事
不代考、不登录评测机、不伪造测例通过记录。隐藏测例要你自己在场或能复述策略。
常见考核
- 习题证明
- 编程题与复杂度分析
- 期中限时卷
课堂上常见的卡点
- 只会过公开样例，不会写循环不变量
- 把 O 记号写在平均情况却按最坏情况评分
- 考试时把算法名字背下来却套错模型
对应服务页：大学课程同步辅导。把课程代码和 syllabus 发来即可匹配。
这一页常被问到的
我已经会刷题，还要辅导吗？
课程要的是模型与证明，不是题库熟练度。样例能过但写不出不变量，证明分仍会空。
可以用中文讲、英文写吗？
可以。提交的证明和注释按课程语言，通常是英文。讲解用中文，术语对照写在笔记里。