Vince Jiang

CSCI3160 / 阅读与复习 · 本站更新

CSCI3160 学习入口

2026-10-13 完成本轮自足学习更新:22 份主讲与 13 份辅导,共 666 页,42 份分段学习笔记。原件的定义、公式、例题输入、代码与伪代码、图表数据和证明已融入按页序展开的正文,可直接按 Part 学习;原页码保留作出处定位。必要推导放在主线,历史试题仍单列附录。

2026-09-17 从教师课程页重新下载全部 35 份对应材料,字节均与本地原件一致。该次版本核验针对 2026-09-17 当时可取得的官网文件,没有把旧 PDF 的原始学期改写成 2026。L04 以后及 T02 以后多数链接在该次核验时处于官网隐藏行中,保留为预习材料;这与文件可以访问是两回事。

先从下表按讲次阅读;遇到“见附录”可在同一文件跳转并返回。附录演练有题源和过程,A 级表示这份历史卷确实考过,B 级是官方范围或方式的明确说明,C 级是通识判断。扫描题标出视觉读取;缺题干的解答卷不用于反推题目。

  • 阅读导航:基础、贪心、动态规划、图、近似算法的承接顺序。
  • 课程索引索引(本地资料):只收入主讲有出处的知识,辅导新概念保留在正文。
  • 来源核验(本地资料):35 份材料的页数、网址与 SHA-256 记录。
  • 内容核对(本地资料):原件边界、笔误及历史卷缺项。
  • 更新记录(本地资料):本次覆盖范围与恢复位置。

先选学习任务,再选入口。 初学一讲按下表原页序进入;已经理解算法但手算容易出错,可到 习题总览 选 Special 的状态表;证明卡在“为什么这一步合法”,优先看对应 Regular 与辅导。准备 Warm Up 至 Greedy 2 的指定复习范围时,使用 Quiz 复习笔记,不要把本页列出的后续讲义都当成本次考纲。

一次阅读最好留下可复现的结果:随机算法写一次成功概率,分治写本层合并开销,DP 写一个完整状态及依赖,图算法写当前集合与下一步变化,近似算法写可行解和 OPT 的不等式。若结果对不上,先回查输入假设(互异、非负权、闭区间或度量),再查计算;这些假设往往正是不同算法能够使用的边界。

期中复习:Warm Up 1 至 DP 4

本次范围为 L00A、L00B、L01–L09,截止最长公共子序列。期中复习只保留以下三份。两份知识点稿均独立讲解概念,不含例题或自测;真题稿保留原题、必要数据与完整解析。

文档 用法
详细知识点稿 按 Lec 分章,讲清问题定义、原理、完整算法、正确性与复杂度
简略知识点稿 对应相同范围和知识点,用定义、公式、条件与关键理由速查
期中真题详解 10 道大题、7 个判断小问的完整题干、图解、推理与答题写法

此前概念增补前版本已归档(本地资料),原六份期中文档的早期版本见旧稿归档(本地资料)。原有 Quiz 复习范围另见上文;期中不包含 L10 的 DP 5 或 T07 矩阵链。

全部材料与伴读

单元 原件 伴读
L00A L00A-Warmup-01-RAM-Model-未核.pdf(本地课件) RAM模型与随机运行时间(p.1–16)
L00B L00B-Warmup-02-Worst-Case-Analysis-未核.pdf(本地课件) 最坏输入与最坏期望(p.1–11)
L01 L01-Recursion-Repeating-Geometric-Series-未核.pdf(本地课件) 递归(p.1–9) · 重试直到成功(p.10–15) · 几何级数与选择(p.16–20)
L02 L02-Divide-and-Conquer-未核.pdf(本地课件) 归并排序(p.1–6) · 逆序对计数(p.7–12) · 二维支配(p.13–22) · Strassen矩阵乘法(p.23–28)
L03 L03-Greedy-01-Activity-Selection-未核.pdf(本地课件) 活动选择与交换论证(p.1–11)
L04 L04-Greedy-02-Minimum-Spanning-Trees-未核-隐藏.pdf(本地课件) 最小生成树与Prim算法(p.1–22)
L05 L05-Greedy-03-Huffman-Codes-未核-隐藏.pdf(本地课件) Huffman编码与贪心证明(p.1–23)
L06 L06-DP-01-Pitfall-of-Recursion-未核-隐藏.pdf(本地课件) 递归陷阱与动态规划(p.1–9)
L07 L07-DP-02-Rod-Cutting-未核-隐藏.pdf(本地课件) 钢条切割与最优方案恢复(p.1–8)
L08 L08-DP-03-Dependency-未核-隐藏.pdf(本地课件) 动态规划依赖与填表顺序(p.1–9)
L09 L09-DP-04-Longest-Common-Subsequence-未核-隐藏.pdf(本地课件) 最长公共子序列与回溯(p.1–11)
L10 L10-DP-05-Optimal-BST-未核-隐藏.pdf(本地课件) 最优二叉搜索树(p.1–14)
L11 L11-Graph-01-DFS-White-Path-Theorem-未核-隐藏.pdf(本地课件) 深度优先搜索与白路径定理(p.1–18)
L12 L12-Graph-02-Strongly-Connected-Compon-未核-隐藏.pdf(本地课件) 强连通分量与两遍DFS(p.1–18)
L13 L13-Graph-03-Dijkstra-未核-隐藏.pdf(本地课件) Dijkstra最短路径与松弛(p.1–21)
L14 L14-Graph-04-Bellman-Ford-未核-隐藏.pdf(本地课件) Bellman-Ford与负权最短路径(p.1–28)
L15 L15-Graph-05-Johnson-APSP-未核-隐藏.pdf(本地课件) Johnson全点对最短路径(p.1–14)
L16 L16-Graph-06-Max-Flow-未核-隐藏.pdf(本地课件) 最大流、残量网络与最小割(p.1–25)
L17 L17-Approximation-01-Vertex-Cover-Max-未核-隐藏.pdf(本地课件) 顶点覆盖与随机MAX-3SAT近似(p.1–18)
L18 L18-Approximation-02-Traveling-Salesma-未核-隐藏.pdf(本地课件) 旅行商问题的树遍历近似(p.1–12)
L19 L19-Approximation-03-Set-Cover-Hitting-未核-隐藏.pdf(本地课件) 集合覆盖、击中集与对数近似(p.1–20)
L20 L20-Approximation-04-k-Center-未核-隐藏.pdf(本地课件) k-center最远点贪心与二倍保证(p.1–15)
T01 T01-函数增长-未核.pdf(本地课件) 渐近增长与复杂度(p.1–20)
T02 T02-三种基本技巧-未核-隐藏.pdf(本地课件) 递归与拒绝采样练习(p.1–18)
T03 T03-分治-未核-隐藏.pdf(本地课件) 归并数逆序对(p.1–24) · 归并数二维支配(p.25–45)
T04 T04-Prim实现-未核-隐藏.pdf(本地课件) Prim实现(p.1–38)
T05 T05-Kruskal算法-未核-隐藏.pdf(本地课件) Kruskal执行(p.1–13) · Kruskal正确性(p.14–20)
T06 T06-动态规划技巧-未核-隐藏.pdf(本地课件) DP方案恢复与空间(p.1–18)
T07 T07-矩阵链乘法-未核-隐藏.pdf(本地课件) 矩阵链乘法(p.1–11)
T08 T08-强连通分量-未核-隐藏.pdf(本地课件) SCC线性实现与汇分量(p.1–34)
T09 T09-Floyd-Warshall-未核-隐藏.pdf(本地课件) Floyd-Warshall全点对路径(p.1–19)
T10 T10-负环检测-未核-隐藏.pdf(本地课件) 负环检测与恢复(p.1–34)
T10-proof T10-proof-负环检测-未核-隐藏.pdf(本地课件) 负环恢复证明(p.1–2)
T11 T11-NP难归约-未核-隐藏.pdf(本地课件) NP难归约与团问题(p.1–16)
T12 T12-集合覆盖与击中集-未核-隐藏.pdf(本地课件) 集合覆盖与击中集应用(p.1–20)