COMP9101

算法设计与分析

课程定位 COMP9101/3121 是 UNSW 计算机专业在‘算法理论与证明’维度的顶级核心必修课。它解决了开发者从‘会写算法’到‘能证明算法最优’的本质跃迁：为什么这个贪心策略是正确的？如何利用动态规划解决指数级搜索问题？它是通往顶级互联网大厂（如 Google, Meta）高级算法面试的唯一通关钥匙。它将严密的数学归纳法、渐进分析与现代算法设计范式深度整合，是培养‘具备算法原创能力开发者’的必修课。 技术栈与学习内容 课程围绕‘算法设计范式’展开。核心内容包括：分治算法 (Divide and Conquer) 的主定理证明、贪心算法 (Greedy) 的拟阵证明与最优性分析、最为核心的‘动态规划 (Dynamic Programming)’——涵盖区间 DP、树形 DP 及状态压缩优化。进阶模块涵盖：网络流 (Network Flow) 与最大流最小割定理、图论算法进阶、以及计算复杂性理论 (P vs NP, NP-Hard 证明)。此外，课程引入了随机算法与近似算法初步。课程强调‘算法正确性的形式化证明与时空复杂度的极限压榨’。 课程结构 10 周理论高强度输出与每周 2 小时智力挑战 Lab 结合。评估体系以‘纯理论证明’著称：包含两次针对递归树分析与贪心证明的 Assignment、以及一场强调伪代码设计、动态规划建模与 NP 归约判定能力的期末综合大考。该课极其强调‘证明逻辑的零漏洞’。 适合人群 计算机本科/硕士新生。必须具备极其扎实的离散数学基础 (COMP9024/2521)。如果你想在面试中谈论‘如何利用网络流解决复杂的资源匹配问题’、或者渴望在未来的大模型底层优化中建立核心主权，这门课是你的神功。建议每周投入 25-30 小时进行证明演算。