UniMate AI

MATH3161

最优化理论

6 学分难度

课程定位 MATH3161 是数学专业及高级数据科学最具‘实操深度’的核心课。在这个‘最优解即正义’的算法时代,这门课解决了所有智能系统的核心诉求:如何在海量的约束条件下寻找那个让成本最低、收益最高、或误差最小的点?它是通往深度学习梯度下降优化、高级物流规划、及量化交易系统研发岗位的唯一数学底座。它将分析学的美感与计算科学的效率完美统合,是培养‘算法专家’数理灵魂的必经洗礼。 技术栈与学习内容 课程基于严密的实分析与矩阵代数。核心内容包括:凸集与凸函数理论、无约束最优化算法(最速下降法、牛顿法、拟牛顿法 BFGS)、带有等式与不等式约束的最优化(KKT 条件深度推导)、以及最具工业价值的‘线性规划 (Linear Programming)’与单纯形法。此外,课程深入探讨了全局最优化初步与拉格朗日对偶理论。课程强调收敛速度的数学证明与二阶充分条件的几何直觉。学生将学习如何利用 Matlab 编写高效的非线性优化求解器。 课程结构 10 周严密的逻辑链条。前三周夯实凸分析基础,中期全面攻克无约束梯度算法,后期转向 KKT 条件与线性规划(这是考试的 60% 权重)。评估体系由:每周的高难证明习题 (Problem Sets)、两次高压现场闭卷测试 (Class Tests)、以及一场极其考验符号掌控能力与‘找点’技巧的期末大考组成。该课极其强调‘证明的无瑕疵性’与‘计算的稳定性’。 适合人群 数学、计算机科学、或打算申请北美顶尖资管岗位的学生。必须具备极其扎实的 MATH2011 (多元微积分) 和线性代数功底。如果你痴迷于‘梯度’的导向美感、或者想搞清楚‘为什么 AI 模型能收敛’,这门课会为你揭示最深层的答案。建议每周投入 25 小时以上进行逻辑构建。

Course decision

选课先看

先看考核重心、截止节奏和入门要求,再决定这门课是否适合你的学期安排。

考核总权重

100%

3 项考核

最高单项

60%

Final Examination

期末考试

以官方 outline 为准

Hurdle

1 项

需要单独满足

Deadline map

考核时间线

按截止周排列作业节点;持续考核会保留在下方完整考核结构中。

Week 9

Mid-term Class Tests

20%

两次现场闭卷测试,侧重于单纯形法计算与 KKT 点的解析判定。

Week 10

Mathematical Proof Sets

20%

涵盖每章凸性证明、收敛阶推导的习题,要求逻辑严密且无符号冗余。

Week 11

Final Examination

60%

全面考察非线性优化推导、对偶理论证明及复杂线性规划的大型综合笔试。

Syllabus

每周大纲

默认只展示每周独有的知识重点;节奏、考核、Tutorial 和避坑信息按需展开。

  1. 1

    最优化概论与凸分析基础

    凸集定义,超平面分离定理,凸函数的二阶判别准则,Jensen 不等式物理本质。

  2. 2

    一维搜索与步长判定

    黄金分割法,Fibonacci 搜索,Armijo 线搜索准则,保证收敛的步长逻辑。

  3. 3

    无约束优化 (1):梯度法

    最速下降法收敛速度分析(锯齿现象),共轭梯度法 (Conjugate Gradient) 几何解释。

  4. 4

    无约束优化 (2):二阶方法

    牛顿法推导,修正牛顿法处理非正定 Hessian,拟牛顿法 (BFGS) 的割线方程逻辑。

  5. 5

    约束最优化 (1):KKT 条件

    等式约束与拉格朗日乘数,不等式约束与 KKT 必要条件,正则性判定 (LICQ)。

  6. 6

    灵活性周 (Flex Week)

    复习凸性证明逻辑,准备第一次高难计算测试,手推 BFGS 迭代公式。

  7. 7

    约束最优化 (2):二阶条件与对偶

    KKT 充分条件证明,拉格朗日对偶函数,强对偶性判定与 Slater 条件。

  8. 8

    线性规划 (1):几何与代数

    标准型变换,基本可行解 (BFS),极端点与多面体顶点的等价性证明。

  9. 9

    线性规划 (2):单纯形法

    转轴运算 (Pivoting),大 M 法解决初始解,单纯形算法的收敛性与退化处理。

  10. 10

    对偶线性规划与总结

    对偶单纯形法,灵敏度分析初探;全学期优化逻辑闭环复盘。

Assessment

考核结构

Mathematical Proof Sets

涵盖每章凸性证明、收敛阶推导的习题,要求逻辑严密且无符号冗余。

20%

Week 10

Mid-term Class Tests

两次现场闭卷测试,侧重于单纯形法计算与 KKT 点的解析判定。

20%

Week 9

Final ExaminationHurdle

全面考察非线性优化推导、对偶理论证明及复杂线性规划的大型综合笔试。

60%

Week 11

From Seniors

学长留下的

基础信息谁都查得到,真正值钱的是过来人的经验。

学姐说

比你早一年的学长留下的真实经验 —— ChatGPT 给不了。

这门课还没有学长经验,你可以是第一个 —— 注册后在课内分享。

往年考点 / 踩坑

这门课暂无往年考点记录。

毕业生去向(整体)

下面是匠人学院毕业生整体去过的公司分布(来自脱敏校友证言)。这是全平台的总体去向,不代表选这门课的人一定去这些公司。

统计自 317 份脱敏校友证言

Deloitte

6 位校友

岗位:Graduate Program · Graduate Consulting · Platform Engineer · Web developer · Platform engineer

Zerologix

4 位校友

岗位:Frontend Dev · junior frontend developer · Front-end Developer · Full Stack Developer

Servian

4 位校友

岗位:Full-stack Developer · Data Engineer · Consultant

关于这块数据,我们说实话

雇主墙来自脱敏毕业生证言(testimonials)的整体分布,无法关联到具体学员或其所选课程;仅作为毕业生去向的总体社会证明展示。

我们没有"某位学长选了这门课、后来进了哪家公司"这种可查询的个人去向档案 —— 校友证言是脱敏的,无法关联到具体的人或他选过的课。所以这里只给整体分布,不给个人路径,不编。