学习路线

用不变子空间、极小多项式和广义特征空间走到 Jordan 标准形。

自测比较 J₂(0)⊕J₂(0) 与 J₂(0)⊕J₁(0)⊕J₁(0)，算出两者的核维数增长，恢复全部块尺寸，并解释为什么相同的特征多项式与极小多项式仍不能保证相似。

适合：已知特征值和对角化的本科生

从内积、正交化与投影走到伴随、谱定理和 SVD，再算完四点数据的 PCA：保留 14/15 方差、得到平方误差为 1 的最优仿射重构。

适合：已熟悉向量空间、基、线性映射和特征值，希望理解谱定理、最小二乘和数据降维的读者

先区分测度与密度，再由绝对连续进入 Radon–Nikodym 表示。

自测对 [0,1] 上密度 f(x)=2x 的分布算出 [0,1/2] 的概率；将参考测度改成 dρ=(1+x)dx，求出同一分布的新密度并核对概率不变；解释原点 Dirac 质量为何不能由 Lebesgue 密度表示。

适合：已学初等概率、准备进入测度概率的读者

从期望尾界、方差和弱大数律走到路径收敛与指数集中。

自测公平独立硬币的正面比例要以至少 99% 的概率偏离 1/2 小于 0.01，分别用 Chebyshev 与 Hoeffding 求充分样本量，并解释它们与强大数律的结论有何不同。

适合：关心概率尾界、学习理论或随机算法的读者

从方向无关的导数走到边界决定内部，再由 Laurent 主部读取局部留数。

自测沿正向圆 |z|=2 计算 e^z/[z(z−1)] 的积分，并说明路径为什么可在全平面收缩，却不能在删去两个极点后直接缩成一点。

适合：修过实分析与复数基础，并熟悉路径同伦的读者

用相对同调与切除把局部信息组织成长正合列和 Mayer–Vietoris 计算。

自测用两个可缩开弧覆盖圆周，交集有两个可缩分支，算出 H₁(S¹;ℤ)，并说明连接同态为何把有向圆周类送到两个交集分支的差。

适合：熟悉拓扑空间、连续映射和链复形，并理解 Abel 群同态的核、像及商群构造的读者；初读沿整数奇异同调分支，de Rham 版本另需微分形式基础

从唯一路径定义根、深度与最近公共祖先，再用二进制倍增加速查询。

自测以1为根、边为1–2、1–3、2–4、2–5，求LCA(4,5)和LCA(4,3)；再核对链14→13→…→1上的13步跳跃为何只需8、4、1三次查表。

适合：理解有限无向图与数组、能读简单递推的读者

由前缀函数解释 KMP，再把失败链接推广到多模式 Trie。

自测以 he、she、his、hers 扫描 ushers，逐字符写出状态与输出，解释读到 she 时为何同时报告 he；再核对 a、aa、aaa 在 aaaa 中的 9 次命中。

适合：会读数组下标和简单循环，想理解字符串匹配中失败回退的读者

从交互证明与诚实验证者模拟进入 Sigma 协议和 Fiat–Shamir。

自测核验 Schnorr 的两份响应并提取私钥，区分模拟、重绕与随机预言机编程的权限，再解释 nonce 复用和未绑定消息为何允许攻击。

适合：熟悉随机算法与形式语言、不可区分性和安全实验、密码哈希及素数阶循环群与模运算，希望从交互证明走到 Fiat–Shamir 的读者

由有序对与笛卡尔积建立关系，再同时核对全定义性、单值性与声明的陪域。

自测找出源集为{1,2}、陪域为{a}且图仅含(1,a)的关系遗漏了哪个输入，并补成函数；解释同一平方公式换陪域为何改变满射性。

适合：希望补齐现代数学共同语言的读者

区分公式等价、语义蕴含和形式推导，再进入一阶量词语言。

自测用一个赋值区分P→Q与Q→P，写出P→(Q→P)的假设解除证明，并在两元素论域中用不等关系区分∀x∃y R(x,y)与∃y∀x R(x,y)。

适合：准备学习数理逻辑或形式化证明的读者

从有限集的基数出发，组合加法、乘法、选取与重叠校正。

适合：学习组合数学与概率计数的读者

由开集与邻域建立局部语言，再用有向集与网描述一般收敛。

自测在不可数二点积中构造趋于全一向量的有限支撑网，证明任何有限支撑序列都做不到；用二点交替序列区分紧空间中收敛子网的存在与原网收敛。

适合：从度量空间进入一般拓扑的读者

复算 x=y=10³⁰⁸ 时直接平方与缩放求长度的差别，再结合条件数和前后向误差，区分中间溢出、问题病态与算法稳定性。

适合：准备分析浮点算法可靠性的读者

从弱导数和零端点能量空间走到弱问题、Galerkin 逼近与有限元组装。分布作为进阶支线：由斜率跳跃检验点源解 −D²G=δ，并区分一阶能量有限与二阶导数正则。

自测组装 N=3 的 Poisson 系统并求出 U=(1/9,1/9)，解释节点误差为零而能量与 L² 误差仍非零；再用插值和对偶问题证明两种误差分别为一阶、二阶，并复算 N=6、12 的误差比。 定量

适合：学过微积分、线性代数与 L² 积分的读者；先沿一维 Poisson 主线学习，高维迹与正则性作为延伸

从共同支配模型的似然出发，经极大似然、检验规则、错误类型与 p 值走到似然比检验。

自测在已知标准差为 2 的正态 IID 模型中，取 n=25、样本均值为 10，检验均值为 9 的双侧零假设，算出 W=−2logΛ 并判定是否在 5% 水平拒绝；解释这里的卡方分布为何是有限样本精确结果，而一般 Wilks 校准只给渐近结论。

适合：理解概率模型、希望掌握经典检验结构的读者

从字母表和字建立形式语言，再比较文法与有限状态识别器。

自测用 S→aSb 与 S→ε 写出 aabb 的推导；再跟踪 connect send close 与 connect close send 两条运行，解释中途进入接受态为何还不够。

适合：会用有限集合、函数与简单递推，第一次系统学习自动机的读者

由图灵机和全可计算函数进入可判定性，再用归约抵达停机问题。

自测把接受问题编译成停机问题，逐一检查接受、拒绝和循环三种情况；再解释假想停机判定器为何会被对角程序击败。

适合：已经理解有限自动机、准备进入可计算性的读者

固定两方协议接口，比较确定、随机和分布复杂度，再用 Yao 原理连接它们。

适合：熟悉有限概率、随机化算法与有限零和博弈的极小极大定理，关心分布式通信代价与下界的读者

从位查询走到带距离间隔的测试。

自测对 n=100、ε=1/10、失败率至多1/3的全零性质测试，计算一个充分抽样次数；再解释为何远离单调的序列仍可能只有一个相邻逆序。

适合：会有限集合、二进制表示与基本概率，希望理解亚线性算法的读者

固定学习问题、假设类与损失，从经验风险走到 ERM、一致收敛和 PAC。

自测对含 1000 个候选的可实现二分类任务，以总体错误 0.1、失败概率 0.05 为目标，算出从该类返回零训练误差假设的学习器达到目标的充分样本量；再用一个样本的例子解释零训练误差为何不能单独保证泛化。

适合：熟悉函数、概率与期望、独立同分布样本及上确界和下确界，准备系统学习统计学习理论的读者

从转移系统建立状态模型，以时序规格提出判定问题，再进入有界搜索。

适合：准备学习时序逻辑与模型检查的读者

由收集语义与Galois连接构造可靠转移，计算区间与DBM循环不变量；进入八边形强闭包和整数紧闭包，核验规范join及闭包回写导致widening发散的反例；再以多面体凸包、投影和任意斜率关系完成程序安全证书。

适合：学习静态分析与抽象解释的读者

先掌握变量绑定与无捕获替换，再建立 λ 求值。

自测在同一整数表达式语义下，为 1+(2×3) 写出到 7 的小步路径与大步推导；再比较 Ω 的无限自环和 true+1 的卡住状态，说明为什么普通归纳大步中的“没有结果推导”不能独自区分二者。

适合：第一次学习程序语言语义的读者

对 textbook ElGamal 的挑战密文构造一次合法乘法修改查询，说明它为何能破坏 CCA2，却不与 CPA 安全结论矛盾。

适合：熟悉基本概率、算法复杂度及有限群的乘法与逆元，准备学习现代密码学游戏证明的读者

由共享内存事件和 happens-before 建立允许执行，再比较顺序一致性与数据竞争。

适合：学习并发内存模型与数据竞争的读者

主线从鞅的条件公平性，经最大不等式与上穿计数走到几乎处处收敛，再用一致可积性得到 L1 收敛。

自测解释为什么非负且期望恒为1的鞅即使几乎处处趋于0，也不能在 L1 中趋于0，并指出缺失的一致可积条件。连续时间、停时推广与随机积分作为后续选修。

适合：已理解可积随机变量、条件期望和几乎处处收敛的读者；初读取离散时间实值过程

主线从纯态和密度算子进入复合系统，用偏迹得到子系统状态，再用 POVM 计算测量概率并识别量子查询模型的输入接口。

自测算出 Bell 态任一子系统的状态 I/2，解释整体纯态为何能有混合的子系统，并区分一次 oracle 查询与查询间的酉操作。无限维算子、量子信道和具体查询下界作为选修。

适合：会复数内积、矩阵乘法与特征值，并熟悉经典坐标查询模型的读者；主线限于有限维系统

主线先辨认缺失机制，再把有限混合模型的类别标签视为潜变量，完成一次 EM 的责任度计算和参数更新。

自测给定双成分模型的混合权重与似然，算出每个样本属于两类的后验概率，并解释为何似然不下降仍不能保证全局最优。复杂缺失机制、变分近似与大规模实现留作选修。

适合：会条件概率、似然和基本参数估计的读者；先取有限潜在类别

主线用冻结评分规则和校准秩构造预测集合，并在预先固定的人群内分别校准；

自测计算常见组的有限阈值与稀有组的无穷端点，说明群组覆盖平均了哪些随机性。全共形支线保留历史响应0、1、2与错误率1/4的候选重拟合任务，完整反解[-1,3]并解释端点并列。固定输入点覆盖、自适应分组和分布漂移留作选修。

适合：会样本划分、经验分位数和概率事件的读者；可把回归模型先当作已训练的函数

主线从并发历史与线性化进入寄存器语义，区分安全性和无等待进展，再用帮助机制理解原子快照。

自测画出两次收集被写入穿插的执行，指出何时可接受相同收集结果，何时需要借用他人已完成的快照，并说明为什么不断重试本身不保证无等待。共识、弱内存和实用硬件优化留作选修。

适合：会顺序程序和共享内存读写的读者；先取固定数量进程与崩溃停止模型

主线把时间复杂度绑定到 word-RAM 的字长与允许操作，再按位长核算大整数运算。

自测解释两个 b 位整数相加为何在逐位模型中需要 O(b) 时间，只有装入常数个机器字时才可按常数次字操作计费。快速乘法、代数计算模型与电路复杂性留作选修。

适合：会用大 O 记号分析循环、理解二进制表示的读者

主线从函数复合进入原始递归构造，再区分总可计算函数与部分可计算函数。

自测用基例和递推式定义加法，并解释无界搜索在找不到见证时为什么只定义部分函数、不能据此宣称总可计算。Ackermann 函数的完整增长证明与可计算性等价模型留作选修。

适合：理解自然数、函数与简单递归程序的读者

从表示与交织算子走到特征标的正交分解，再把子群表示诱导到整个群。

自测构造 S3 的完整特征标表并分解正则表示；从非平凡 C2 表示写出诱导表示的两个生成元矩阵，算得特征标 (3,-1,0)，再用 Frobenius 互反在 C2 上核对重数 0、1、1 与总维数 3。

适合：已知群、线性映射、特征值、复数内积与正交基，准备学习有限群表示的读者

从时间复杂度出发，经报告接口到区间查询与凸包；终点能给未输出比较记账，并推导双指数预算重试的总成本。

适合：已理解 O 记号、数组扫描与时间复杂度的读者

从算法正确性经 BFS 与二分图到独立检查器；终点能产生三角形奇圈、核验路径二染色，并说明拒绝证书不能推出相反答案。

适合：已理解算法规格并能阅读基本图遍历的读者

从在线模型经竞争分析、分页到资源增广；终点能复算两种容量的轨迹、证明不重叠块下界，并比较 h=4,k=6 与同容量系数。

适合：已理解在线请求与最坏成本比较的读者

从学生、课程与教师的关系复合出发，算清三行表连接产生五个见证、投影得到四个答案，并用论域扩张反例辨别查询安全性；终点还能构造规范数据库，给出普通三步查询到自环中点查询的反向同态，并用无自环链反驳反向包含。进阶分支进入依赖追赶：亲手完成存在见证生成、等式全局合并与结论补入的四步轨迹，再用通用模型的同态性质证明合取查询的常量确定答案判据，并辨别有限单步成本与可能不终止的总过程。

适合：熟悉有限集合与基本一阶量词，想理解数据库查询如何获得精确语义的读者

从停时走到可预测投注、Ville 不等式、混合边界与检验反演。

自测重算 11110 的财富轨迹，解释固定时刻 e 值为何不能任意停止读取，并反演十次中八次成功的 Beta 混合置信集合。

适合：会条件期望、鞅与普通置信区间，准备分析持续到来的数据的读者

从纯化和完全正信道走到 Kraus 表示与迹距离，再沿进阶分支用保真度比较混态。

自测构造 diag(3/4,1/4) 的纯化，计算加态的振幅阻尼，区分测量概率与条件后态，并求等先验区分零态与加态的最优成功率；进一步算出该对角态与其 Hadamard 共轭态的平方保真度 7/8，构造达到最大重叠的纯化，并解释秩亏时 Uhlmann 定理为何仍成立。

适合：掌握有限维复线性代数，已理解密度算子与复合系统的读者

从收益表与独立随机化走到 Nash 均衡和矩阵零和价值。

自测求协调博弈的全部三个均衡，解释为什么只改变一人不能获利；再对矩阵 [[2,-1],[-2,3]] 求出两侧最优分布、验证价值 1/2 的 LP 双侧证书，并区分一般均衡存在与零和共同价值。最后把零通信 XOR 的错误率 1/2 核验为算法—输入博弈的双侧证书。

适合：熟悉有限集合、概率向量与矩阵运算，准备学习算法博弈论的读者

逐条归并一般模数的同余，解释相容性与最小公倍数周期，再从二次剩余判定走到实际求根和有限域计算。

自测将余数为1、3、5且模数为4、6、8的三式合并成21模24，并给出改动第三余数后的无解证书；求3模11的两根与1模15的四根；在α²=-1的九元域中算出(1+α)的逆元并乘回验证。

适合：熟悉整数整除与基本代数运算的读者；进入有限域前可补读域、多项式环与商环

从 Cauchy–Riemann 判据与路径积分走到 Cauchy 核、Laurent 环域和加权留数。

自测推导 1/[z(z-1)] 在两个环域的展开，解释负一次系数为何不同，并对 e^z/[z(z-1)] 算出单圈、反向、双圈与只围一个极点的积分，指出边界过极点时哪条假设失效。

适合：学过一元与多元实微积分、复数与幂级数，准备进入复分析的读者

逐步重算 2010 x86-TSO 的 store-buffering 双零轨迹，用全序环证明 SC 禁止它，再证明两线程各加 MFENCE 的效果；区分 C++ relaxed、release/acquire、seq_cst 与普通变量数据竞争。

适合：熟悉线程读写、程序顺序与基本共享内存的读者

从 crash-stop 异步通信和原子寄存器规格出发，在三副本例子中制造新旧倒退并用读后写回修复；再以写前多数查询和二元标签扩展到多写者，逐步核算含崩溃来源写、迟到确认的六操作历史，以四种实时关系构造完整线性化，并分别验证终止条件与两阶段通信成本。

适合：理解局部状态、消息交付与调用返回历史，希望证明复制读写协议的读者

完成稠密序量词消去和Presburger有限候选计算，核验有理数纯序的初等包含与无理割类型；进一步证明初等链并和ω饱和扩张构造，用可数一元谓词模型说明连续统多个空参数类型为何迫使不可数扩张。

适合：熟悉逻辑联结词与全序，希望亲手完成消去证明并理解无限参数条件的读者

把同余精度解释成 p-adic 距离，写出 1/2 的相容余数并判断哪些 p-adic 整数可逆；进阶部分用有界整数进位证明有理数的标准数字恰好最终周期，算出五进整数 1/3 的前五位及精确误差。从模 11 的两个根出发，算出三的平方根到模 11 的五次方，给出截断误差，并证明每条分支收敛到唯一的根；由无理性说明两根的数字都不最终周期。用模 2 的例子说明简单根条件为何重要。

适合：已会素因子分解、模逆与素数模平方根，希望理解无限相容近似的读者

为双积分器构造单位时间能量12的到达输入，沿可稳定与可检测分解证明半正定CARE极限；比较LQR代价2与极点反馈的9/4，再实现四极点观测器闭环，复算估计暂态使总代价增至9/2。

适合：掌握实矩阵、微积分与常微分方程，希望完成一个可复算控制设计的读者。

用β余数编码递归记录并证明PA逐输入唯一性，完成数码替换与对角化；以有限数码排除证明Rosser两向不可证，再逐条使用HBL条件推出Con(T)蕴涵G，分清外部规则与内部证明。

适合：已学习一阶逻辑、希望理解不完备定理自指构造的读者

写出三方模加法在任一单方被动腐化下的模拟器，逐点核对真实与模拟视图的概率，并辨认总和输出与先验共同蕴含的信息。

适合：掌握有限概率，熟悉有限域、多项式插值与计算安全实验，希望逐步验证密码协议隐私的读者

证明基线Bool语言的充分性并补齐fix扩充的有限域归纳，构造源上下文等价却被模型区分的部件。终点是给L+por写出求值规则，证明身份翻译保持所有完整源程序观察，同时由目标客户端见证部件等价保持失败。

适合：掌握简单类型与求值规则、准备学习程序等价证明的读者

从径向原形式与圆周周期出发，用单位分解建立形式Mayer–Vietoris，并把赤道归一化周期送到球面面积类。

自测写出连接二形式与ω/(4π)之差的全局原形式，验证积分的连接方块，再通过有限光滑好覆盖的归纳证明de Rham同构。

适合：已掌握微分形式与基本同调，想完成局部积分到全局比较证明的读者

复算四对四图的七边增广路；删去 c3 后找出 abc 对 12 的 Hall 障碍、大小三的匹配与覆盖及值三的流割，并区分产生、证书长度与检查成本。

适合：会有限集合、图与路径，并能按队列追踪图搜索的读者

重算独立集到覆盖的 K3 与 C5 是／否实例，说明归约方向；逐位生成 STCON 配置图并解释虚拟输入；追踪八点图的失败与成功中点，写出四帧账本、删除边后复算，并推得 NL 的平方对数空间模拟和 NPSPACE=PSPACE。

适合：会有限图、二进制计数和数学归纳，想完整掌握对数空间归约与 Savitch 证明的读者。

写出 x=10110 的固定前缀及 i=2、i=4 的两条独立后缀，重算不同元素数与二阶频率矩；由完整状态构造一次消息协议并推出单遍 Ω(n) bits；解释常数相对误差和本受限流族的两遍对数空间算法为何不受此证明排除。

适合：理解位串、有限概率和状态机，希望独立完成一个资源下界归约的读者。

列出请求系统与否定自动机的全部可达积，找接受 SCC，打印并核验前缀与循环，再说明公平条件怎样改变结论。

适合：掌握状态模型和基本有向图搜索的读者

从 H–CNOT 制备 Bell 资源出发，推导任意复振幅输入的四个传态分支；用振幅 (1,i√2)/√3 复算测量、校正和密度平均，证明消息前所有 Bob 局部测量均不含输入信息，并解释本协议的 1 ebit 与 2 classical bits 用量。

适合：会有限维复矩阵、纯态和密度算子的读者

用同一混合分布算出连续探针、严格开闭集界与连续集概率，并证明阈值映射何时保留弱收敛、何时因极限原子而失败。

适合：掌握测度与积分，希望把分布极限用于事件概率和统计变换的读者

复算一维局部加密，并以参考元缩放、准插值和泡函数证明二维一次元的先验与后验界。终点是推导估计量缩减、能量正交及显式加权收缩率，核对只增边界节点时能量误差不变、指标平方降至17/72的例子。

适合：已会有限元组装，准备证明误差估计并分析三角网格加密的读者

核验一份宽度二分解，填完十七个袋的独立集状态，解释合并时的二加二减一，并回溯得到大小为三的最优解。

适合：已了解图与基本动态规划，希望理解小树宽为何使全局优化可行的读者

算出三点样本的完整重采样分布，证明有限方差均值的条件一致性，并用最大值在零点的不消失原子判断普通 bootstrap 失败。

适合：已掌握基础概率，希望理解重采样何时能够支持统计推断的读者

从六态 NFA 列出五个可达子集，合并成四态完整 DFA，再用六对区分后缀证明四态不可再少，并解释三态部分表示的计数差异。

适合：已理解有限字、集合与状态图，希望亲手完成确定化并证明结果最小的读者

先核对固定偏离与条件偏离，再从乘法权重构造实际交换无遗憾算法，用平稳行分布和缩放损失证明有限轮CE误差。终点是复算三轮交换遗憾2/3，并区分平均乘积分布、实际采样历史、边际乘积和最后一轮。

适合：理解有限动作与概率分布，希望把在线学习保证转成博弈稳定性判据的读者

从整数整除与 Bézout 等式出发，理解 PID 上的可逆换基，证明有限生成模为何具有有限关系矩阵，再从模自身恢复唯一不变量。学完后，能对三条关系 (6,10,16)、(12,30,42)、(18,40,58) 组成的列矩阵求出并核验 UAV=diag(2,30,0)，得到商群 Z/2⊕Z/30⊕Z，写出三个原生成元的像与同构的逆映射，并算出 [(1,1,2)] 的阶。

适合：会做整数矩阵乘法与 gcd 运算，已了解环、理想和向量空间，准备进入模的读者；需要时先补读矩阵与行列式

从二次域的基与逆元出发，亲证 Q(√−5) 的整数环是 Z[√−5]，计算乘法算子的范数，再用生成元和商映射把 6 的两种元素分解化为同一个素理想乘积，并证明这一次分解唯一。

适合：熟悉有理数、多项式、二乘二矩阵和基本环运算，希望看清元素分解与理想分解差别的读者。

从绝对值的次微分推导软阈值，证明固定步长近端梯度的下降与函数值误差界，再为耦合 Lasso 候选计算可行对偶界和剩余优化误差。

适合：已学凸函数与最小二乘，希望理解稀疏优化何时可以停止的读者

完整计算四属性模式的十六个闭包与全部候选键，证明二元无损判据，比较无损与依赖保持，并通过追赶表给出成功证书及满足原约束的有损反例。

适合：会使用关系投影与连接，希望判断数据库分解是否可靠的读者

枚举三重重复码的误码事件，计算三次观测与多数判决的信息差；再证明有限块随机编码存在界和 Fano 逆界，用精确二项尾和与根方程计算有限块错误界，分清固定正码率、整块错误趋零与零错误的要求。

适合：已学离散概率与熵，希望把信道模型、实际译码和编码极限连起来的读者

从纯态与寄存器语义推导 Fourier 电路的旋转角和位反转，完整算出 5/8 的精确读出与 1/3 的有限输出分布。进阶计数分支先补充振幅放大，再将两支 Grover 相位折回标记数，算清两位精度下真实数量 4 为何只能报出 0、8、16，并核算受控幂成本。

适合：掌握有限维复内积、正交投影与矩阵特征值，熟悉密度算子、量子测量和独立重复试验，希望理解相位如何成为可测量数字的读者

从极小多项式出发，先用基本对称式与 Newton 恒等式完成三次多项式的根幂和计算，说明何时能从幂和恢复系数；再学习扩张次数，识别正规可分的分裂域，把生成元的像转成自同构群。

自测对 x⁴−2 的分裂域写出八个自同构、十个子群和全部十个不动域，用次数认证每行，并从五个四次中间域中选出唯一正规的一个。无限 Galois 对应与 Krull 拓扑留作进阶分支。

适合：已学子群、正规子群、商群与基础线性代数，并熟悉域与多项式的基本运算，准备系统学习域扩张的读者

沿关系模型、代数与演算进入递归规则；终点能复算有环图的四轮增量和全部九个可达对，证明稳定结果的最小性，并用旧、新交叉项解释非线性半朴素求值。进阶部分区分固定程序的数据复杂度与联合复杂度。

适合：已掌握有限关系、存在量词与合取匹配，准备理解递归查询的读者

先构造 Rosenthal 精确势函数，证明严格改进必然终止；再证明非负仿射成本的紧 5/2 无政府价格，逐人核验四玩家三角紧例。进阶部分将同一比较式推广到粗相关均衡与无遗憾历史的平均成本。

适合：理解有限博弈的单方偏离，熟悉独立抽样的混合策略及概率加权收益，希望分析共享资源的稳定性与总成本的读者

这条进阶路线把关系原子转换为带索引的属性超图，用条件熵证明分数覆盖界，再完整执行三角形的重轻分解：算清同一星形输入为何有 72 个二元中间元组，却只需枚举 24 个重轻候选，并明确哈希索引和固定查询的资源假设。

适合：理解集合关系查询，希望进一步推导连接输出界与枚举算法成本的读者

这条进阶路线先区分真实类型、策略报告、占优与贝叶斯激励约束，并用策略模拟证明显示原理；再穷举双物品拍卖的全部分配，算出三人的枢轴支付与诚实效用，证明 VCG 的占优性，最后用可复算反例说明福利近似为何可能破坏诚实激励。

适合：理解函数和单方偏离，熟悉有限概率模型与条件期望，希望从私人信息出发亲手核验拍卖分配与支付的读者

先证明Hilbert弱子列与直接法，再分别用一维点值和三维次临界紧嵌入保存四次势能。

自测保留区间解x(1−x)与能量−47/280；在三维证明H01→L6及Lq紧性(q<6)，复算临界锥形尖峰，并验证立方体乘积多项式的唯一弱解和能量−1/1800−3/(4·630³)。

适合：已学内积、连续线性泛函与Sobolev空间，准备把无限维紧性用于具体弱方程的读者

先用独立性和期望建立概率方法，检查局部引理的稀疏依赖条件；高级终点是复算九位 CNF 的四次修复，按倒读日志构造见证树，用重采样表和分枝概率证明期望修复界，并算清索引实现的实际成本。

适合：掌握有限概率与基本算法，希望把存在性证明落实为可运行构造的读者

这条进阶路线把六条选课与授课事实标成符号，算出五个连接见证及四个输出多项式；证明半环同态与有限正查询求值交换，再计算自然数重数、布尔存在性、连续两次删除的影响，以及让一个答案消失的全部极小删除集合。

适合：理解关系连接与投影，希望解释答案来源、重复次数与事实删除影响的读者

先把多元导数表示为 Jacobian，再沿链式法则进入高级算法终点：在含共享节点与重复操作数槽的计算图上完整算出 JVP 和 VJP，证明前向切向量与反向微分线性形式的不变量，并按方向数、输出数和存储需求选择传播模式。

适合：理解多元导数，希望把 Jacobian 的作用落实为可执行求导程序的读者

进阶路线：从消息传递与同步旧状态更新进入图染色，终点是在给定一致方向和共同颜色上界的环上完成 Cole–Vishkin 三染色。

自测复算七点环的两个位缩减轮与三个消色轮，证明闭合边仍异色，并说明何时轮界可写成 O(log* n)、何时消息符合 CONGEST。

适合：理解二进制和图的相邻关系，希望亲手推演分布式算法的读者

进阶支线：从可识别语言的枚举机制与并集界出发，构造统一有效的零测检验，证明随机序列具有概率一，并以精确柱集预算和层号移位完成通用检验。

适合：已理解图灵机和概率公理，希望区分概率一与单条序列随机性的读者

先证明全纯极限与导数收敛，再完成Montel抽取及Vitali唯一极限识别。保留z^n的误差任务；进阶

自测由实区间识别(1+z/n)^n的复极限，用对数导数积分证明零点总重数稳定，复算z²+1/n的两根，并证明单射极限为单射或常数。

适合：已熟悉复可微、紧集与 Cauchy 公式，希望理解全纯函数族极限的读者

从矩阵与线性映射出发，用迹说明交换子的封闭性，完整算出 sl₂ 的括号表。

自测求 [H+E,F]，按 (E,F,H) 列坐标写出三个伴随矩阵，并验证 [ad_E,ad_F]=ad_H。

适合：会实数矩阵乘法，希望用具体计算进入抽象代数的读者

先重建过渡余循环并推导换标架公式，再由联络和平行移动证明大图平凡。

自测证明圆周实线丛只有两类，用圆柱对数与单位分解构造同绕数球面复线丛的同构，并计算L2与L−3的张量积。

适合：熟悉商空间、光滑流形、圆周绕数与向量空间的张量积，希望把粘合数据转成分类证明的读者

沿似然、得分与信息进入局部渐近正态性，再理解效率比较为何要求局部正则性。先在 Bernoulli 的 p₀=1/3 处算出 I=9/2，证明有界局部参数上的余项消失，并分别得到基准与局部备择下对数似然比的高斯极限；再用 Hodges 的精确风险恒等式，算出固定参数与 h/√n 下的极限，证明 n⁻¹/⁴ 收缩邻域内相对样本均值的最坏风险比发散。进阶分支包括一般二次均值可微定理、局部信息下界与 Bernstein–von Mises 后验近似，须分别补足正则性与后验集中条件。

适合：已会似然、Taylor 展开与中心极限定理，准备学习局部渐近统计理论的读者

从单调图证明预解的唯一与稳定，借Minty区分每步存在和零点存在；求出旋转轨道并证明有限维整列收敛，再用复合凸资格构造Fenchel证书。

自测手算最优点(1,1)、共同值4及截断预解，复算前三步间隙1/8、1/32、1/128，并解释无资格时零间隙为何仍可能没有乘子。

适合：已学内积、Hilbert空间和凸函数，希望把可解隐式更新接到原对偶最优证书的读者

从 252/105 的余数链读出有限连分数，用整数递推生成 √2 的前五个收敛分数，再计算下一项并证明 41/29 在下侧且误差小于 1/1000。

适合：会整数带余除法、有理数运算与实数大小比较的读者

沿半环、矩阵与加权自动机，证明前向计算的前缀不变量，并把同一五边图上的 aab 分别算成自然数重数 191、最小代价 12 与布尔真。

适合：已理解有限状态图，希望把是否接受推广为计数与最小代价的读者

进阶路线：按变换后尾范数完成列主元选择，算出 p=(3,2,1)，再用保留块的最小奇异值与尾块误差证明容差下的秩为 2，并分清基本解与最小范数解。

适合：已学 QR 与 SVD、希望判断近相关数据中有效方向的读者

从 Shannon 熵与密度算子出发，经偏迹和纯化进入量子熵这一进阶分支。

自测求等概率混合零态与加态的谱，算出约 0.600876 bit 的状态熵，并与 1 bit 的制备标签、约 0.811278 bit 的计算基测量结果比较；进一步分别计算相干纯化与经典记录的局部和联合熵，解释相同局部状态为何可以对应不同联合熵。

适合：已会有限维复矩阵与概率分布，并熟悉量子纯态及复合系统的张量积表示，希望区分状态混合与测量随机性的读者

这是一条矩阵集中与谱图算法的进阶路线：从 Chernoff 指数矩出发，以明确调用的 Lieb 凹性跨过非交换步骤，复算 G(1000,0.1) 的统一方向误差；终点在 Laplacian 像空间上推导有效电阻采样的幅度、方差与失败概率，算出 K1000 的采样率、重权和期望边数，并解释核空间与确定边数保证的边界。

适合：掌握独立随机变量、对称矩阵与图基础，希望分析随机线性代数算法的读者

沿交换含幺环上的进阶分支，从自由模、张量积与正合列走到平坦性。

自测将同一条整数短正合列分别与 Z/2Z、Q 张量，指出前者丢失的单射；再用局部化的张量同构证明 Q 保留所有单射，并证明 Q 不可能是自由整数模的直和因子。进一步用 k[x,y] 中的理想 (x,y) 区分无挠与平坦。

适合：掌握线性映射与基本模运算，希望理解一般环上张量为何不总是正合的读者

从线性资源推导同步对偶与有限FIFO配置，以消息槽和剩余协议共同证明四类异步动作保持；复算六步通信、最长同方向段的精确缓冲界，并用双会话死锁辨认单会话进展的边界。

适合：理解类型判断与顺序程序归约，准备学习并发协议的读者

建立有限树运行和子集构造，以交叉组合辨认确定性自顶向下的限制；随后计算空性闭包与语言差。

自测重建含环机器的1、3、7最小节点成本，以及两个叶性质的完整乘积表，得到f(b,a)最小反例并解释见证DAG与展开树大小的区别。

适合：已理解有限状态与子集构造，希望把识别对象扩展到有序树的读者

证明微分熵的尺度公式与有界有限支撑密度的量化极限，精算单位变换下的 256 与 25,600 个格子；再用 KL 证明固定方差的高斯最大熵及取等条件，区分有限方差与熵可积性。

适合：已学离散熵与密度，希望理解连续测量中的分辨率和信息量的读者

进阶路线：用 QR 构造采样列空间，在小矩阵中截断 SVD，完整算出五阶矩阵的秩二近似及误差平方 105/17；证明两项误差正交相加，并区分投影期望界、最终秩 k 的期望界和单次残差。

适合：已掌握矩阵、正交投影与基本概率，希望理解大矩阵近似的读者

进阶支线从有限置换对称性出发，用经验频率的矩、Prokhorov 紧性和多项式逼近证明无限 Bernoulli 序列的唯一混合表示，再接到 Bayesian 共享参数模型。

自测对全零概率为1/2、三个恰含两次成功的向量各为1/6的分布，算出协方差1/18，并用第三阶矩为零证明它仍不能无限可交换延拓；区分条件独立、无条件独立与有限可交换性。

适合：会联合分布、条件分布、Bernoulli 随机变量与协方差，熟悉统计模型，并愿意调用测度弱收敛和紧性工具的读者

先用迹内积核验二阶 SDP 的零间隙最优解与不可行证书，再进入进阶分支：分清 Slater 的可达性保证、对偶不取到最优值与弱不可行的证书边界。

适合：已理解线性约束、半正定矩阵与凸优化，熟悉有限维内积和伴随映射，想核验优化结论的读者

沿进阶分支理解完美图的全体诱导子图条件，用最小堆把六个半开区间分到三份资源，以同时出现的 A、B、C 证明最优，再证明诱导闭性并识别整图等式和任意删边的边界。

适合：已掌握图、顶点染色与诱导子图，希望理解最优性证书的读者

这条进阶后续路线保留 VCG 的福利结论，再加入独立连续估值：从双向偏离不等式证明单调性与包络支付，把中期期望收入化为虚拟剩余，证明正则单物品拍卖在 BIC、中期个体理性机制中的最优性，最后算出两位均匀买家的保留价 1/2、收入 5/12 及相对零保留价收入 1/3 的增量。

适合：已理解类型报告与第二价格拍卖，熟悉概率期望及 Tonelli、Fubini 积分换序工具，希望证明收入最优性并完整计算最优保留价的读者

作为通信复杂度的进阶分支，从消息记录与互信息出发，证明合法私有币协议的信息成本界；完整核算 AND 的最坏长度 2、平均与内外信息成本 1.5，以及输出熵约 0.811278。

适合：已理解二方随机协议、有限概率与条件熵，准备定量分析通信信息成本的读者

保留相位计算 Pauli 字符串乘积，由对易生成元推导秩为二的三比特码及四种错误综合；从辅助电路得到 Lüders 仪器，证明 Kraus 算子位于单比特翻转张成空间的噪声可被完整恢复，包括外部参考关联，并用相位错误说明纠错边界。

适合：熟悉复矩阵、张量积与量子电路测量语义的读者

从固定端点能量的一阶变分导出测地线，再证明第二变分的双线性核恰为 Jacobi 场。

自测求出球面全部 Jacobi 场，以最佳区间不等式证明弧长跨 π 的正／零／负阈值，构造端点精确固定的更短曲线，并区分零二次值、共轭终点和全局路径竞争。

适合：已学 Riemann 度量、协变微分、张量积与线性常微分方程，希望把曲率落实为可计算轨道变化的读者

枚举四个带项标签的样本，算出无偏性并证明相对误差、失败概率和严格运行时间保证。

适合：已了解布尔公式与基本概率，希望证明随机计数保证的读者

从三处折点恢复全轴精确网络，分别报告 skip 与标准架构的宽度、参数数，再核对有界平方风险条件。

适合：理解假设类，希望从一维折线亲手核对网络表达与泛化条件的读者

证明确定性非干扰的自组合与2-safety，再为有限非确定程序建立全称运行、存在匹配运行的输出表证书；用四条异或运行和缺失见证区分全对相等、匹配与公开投影。

适合：已理解状态转移、程序输入输出与基础断言，准备学习信息流验证的读者

区分一致性、精度与子类型，执行基础和函数cast的参数/结果检查；证明含包装核心的安全性，再在一阶立即调用片段用cast单调性与环境求值完整证明注解擦除的渐进保证。

适合：已了解带类型函数、小步求值与进展保持，准备理解静动类型混合的读者

推导一致性拆分的两次近端更新，计算耦合 Lasso 的四轮精确迭代与双残差，在鞍点假设下证明有限维点收敛，并用 KKT 与对偶间隙认证结果。

适合：已学凸次微分与近端算子，希望理解交替求解和乘子如何共同收敛的读者

区分问题敏感性、因子质量与误差平台，推导含扰动的精化界，并逐轮算出同一系统的收敛和发散轨迹。

适合：已会线性方程组和 LU 分解、希望理解混合精度求解可靠性的读者

推导短 Weierstrass 模型的加法与倍点公式，完整枚举九点例子并确定生成元的阶，识别非奇异性与特征限制。

适合：已掌握域运算与群公理的读者；方程计算可直接进行，抽象曲线定义与群律证明另需概形及除子背景。

先构造对称幂并用谱投影证明不可约，再从任意有限维复不可约表示中取最高权链，证明最高权为非负整数并得到完整分类。

自测逐项写出V₁⊗V₂的六个链基向量，用两个行列式证明V₃⊕V₁的直和分解，并复算逆换坐标。

适合：已掌握矩阵、Lie 括号和特征空间，希望构造并分类有限维复sl₂不可约表示的读者

先把相同和的有序四元组写成指示函数卷积的平方和，再用 Cauchy–Schwarz 推出小倍增集合的大能量下界。

自测逐项算出模 20 群内子群、短区间和 Sidon 型集合的能量 64、44、28，借循环因子构造证明有限特征标的完备性，并用不归一化 Fourier 四阶矩复算子群的 64 个碰撞；还能解释两条坐标轴为何反驳大能量必有小倍增。 再以Ruzsa三角注入控制差集，并给出四点集的两平移覆盖证书，区分极大不交族与最大不交族。

适合：熟悉群运算、有限集合与序列，以及有限维复内积空间和正交基，想连接加法组合与离散频谱的读者

推导一步去偏的精确误差分解，用逆矩阵缺陷与初始估计误差的乘积控制余项，再经事件包含和 Slutsky 定理证明坐标区间覆盖；

自测算出相关设计中单位修正留下的 1/8 误差，并证明完全相同的列使逆矩阵行缺陷至少为 1/2。

适合：已理解线性回归与 Lasso 最优性，希望进一步学习稀疏回归统计推断的读者

从最大安全闭包与失败秩进入有限Büchi博弈；手算八状态两轮淘汰，用返回秩和删除层构造双方位置策略，并区分安全自环与反复到达。

适合：掌握有向图，希望理解如何在环境对抗下自动构造安全控制器的读者。

进阶路线：从平方损失的矩展开出发，经凸组合消元构造至多 d+2 个非负带权原始点，核验所有中心的精确成本与流式合并，并算出双中心任务的失败边界。

适合：掌握内积与方差、希望理解几何数据压缩保证的读者

先以相邻面抵消与系数传播构造基本类，再用带符号的对偶胞腔和末顶点映射证明cap同构。

自测在3×3环面上逐项算出整数杯积矩阵，核验Dα=b、Dβ=−a，以及(2a+b)与(a+3b)的有向交数5。

适合：已掌握单纯同调与上同调，熟悉光滑流形和线性代数，希望把流形定向转成可计算的对偶映射的读者

从固定预算的个人需求出发，证明 EG 最优分配与市场均衡的双向对应，并区分效用、价格与分配的唯一性；

自测为预算 3 与 1 的两买家市场求出价格 8/3 与 4/3、商品拆分量及完整 KKT 证书。

适合：理解凸优化和梯度，希望用最优性条件证明市场均衡的读者

把同步收发规则落实为节点局部程序。

自测在菱形接尾链上列出四轮状态与十次发送，证明父边组成最短路树，区分三轮输出稳定与四轮停止，并用标识来自 [2n] 的两条路径执行证明全局最小标识需要直径轮数。

适合：熟悉图距离与基础 BFS，希望掌握同步分布式算法证明的读者

从正规则的有限最小不动点出发，用带符号 SCC 判据构造合法分层，再证明逐层冻结的答案不依赖分层选择；

自测逐轮求出五节点图的九个可达对与十六个不可达对，并解释为什么经典极小模型可以不唯一。

适合：已经理解正 Datalog 求值，希望给递归查询加入确定否定语义的读者

先把量词解释为见证选择，再完整证明有限轮 EF 博弈与有界量词秩等价；

自测构造七点与八点线性序的三轮策略，逐个核对间隙，用三秩句子区分六点与七点，并证明纯有限线性序上的奇偶性不可一阶定义。

适合：熟悉一阶公式与结构语义，希望学习不可定义性证明的读者

分清共同标签机制与单向覆盖条件，证明目标风险的加权恒等式；

自测算出两个人群中常数预测器的风险排序反转及加权方差，并解释缺少覆盖时为何无法识别目标风险。

适合：已理解总体风险与条件分布，希望评价分布改变后的部署表现的读者

从因式定理推导 KZG 的商证明与配对验证，区分求值绑定、隐藏与多项式提取；

自测复算 F_11 上的合法打开和设置秘密泄漏伪造，再将同点的两种合法打开直接转为 d-SDH 解。

适合：理解有限域、循环群、基本概率与多项式时间安全实验，希望完整推导短求值证明及其安全归约的读者

用完整特征基与标量 Gibbs 不等式证明量子相对熵的非负性及取等条件，再由谱对数计算非对易 qubit 和支撑不包含的边界；

自测解释去相位前后的数值变化，并推出最大混态熵差和系综恒等式。

适合：已理解有限维密度算子、Shannon 熵与经典 KL 散度，希望把经典散度推广到非对易状态的读者

用紧乘积和闭线性约束证明对偶球弱星紧，在可分情形构造显式度量与收敛子列，并以 ℓ∞ 尾序列区分弱星与弱收敛。

适合：已理解连续线性泛函与弱收敛，想掌握一般对偶空间极限构造的读者。

从有限过滤亲手构造页面，证明翻页就是取同调；完整计算非零 d₀、d₁、d₂，修正代表元 a−v，并用直接同调计算核对最终页。

适合：已掌握链复形的核模像计算、想理解谱序列页面与代表元的读者；后两篇拓扑应用另需奇异同调和 Serre 纤维化背景。

逐层验证双数环的周期自由分解，算出每阶 Tor；

自测构造分解比较的提升与链同伦，说明张量为何保留该同伦，再排除有限投射分解，并与多项式环的长度一分解比较。

适合：已掌握模的张量积、正合列与链同调，并了解投射模提升性质，希望实际计算高次导出量的读者

由普通 CG 和对称预条件坐标变换逐项推出 PCG，明确固定线性 SPD apply 合约、加权残差正交性、原变量能量最优性与变换谱条件数。

自测完整复算一个 A 与 M 不交换的三阶系统，核对三步分数历史，解释第二步原残差增长而能量误差下降，并为真实残差停止、初始零残差、重启和设置/应用成本制定可核查的实现记录。

适合：已学正定矩阵、矩阵内积与 Krylov 子空间，希望理解并实现 SPD 迭代求解的读者

主线固定无反馈独立消息，分别推导三类候选错误和联合 Fano 逆界，再解释时间共享的条件产品结构。

自测证明整数二元加法信道的精确五边形，比较异或总率界，并解释删消息对为何不能直接保证最大错误。

适合：已能计算互信息并理解单用户信道码，想分析共享接收端的读者

从平均态的谱与系综恒等式出发，用共同测量的数据处理推出 Holevo 界。

自测写出零态／加态在两种测量下的联合分布，算出 0.311278 与 0.399124 bit，区分互信息优化与最小判别错误；纠缠辅助通信作为维数记账的选修应用。

适合：已掌握密度算子、POVM 与经典互信息，希望计算量子测量信息量的读者

构造得分切空间，证明有效影响函数的正交方差界；终点是推出MAR均值的有效系数，复算两层人群的11/3与已知设计IPW的13/3，并判断未知倾向模型为何不能使用oracle影响函数。双重稳健拟合为后续出口。

适合：已理解渐近线性、得分和缺失机制，并熟悉 Hilbert 空间与正交投影，希望推导可核查效率界的读者。

由共同环境核证明前缀换测度，逐路径计算两种重要性估计；终点是复算27/17及0/2两组方差、推导终端奖励的指数代价，并检查评价独立性与动作覆盖。策略梯度和离线训练保留为不同任务。

适合：已理解策略如何生成轨迹，想用行为日志评价另一个固定策略的读者。

取1<p<∞，在有限测度空间证明Lp对偶的积分表示、范数相等和自然反身性，再于有界Lebesgue区域抽取弱子列。

自测在L3单位球上求积分x²f的精确最大值；用任意共轭指数探针证明尖峰弱趋零，再证明单位质量L1尖峰没有弱收敛子列。

适合：已熟悉Lebesgue积分与连续线性泛函，希望具体构造函数空间极限的读者

写出单侧选择后的截断正态，证明条件p值均匀；终点是推导等尾区间端点的单调性与存在，复算选择区间和84.2%的普通条件覆盖，并判断独立拆分改变了哪个分布。

适合：已理解正态检验与置信区间，希望分析同一数据先筛选后报告的读者。

区分数据访问与最终输出，枚举两层模型比较树的全部记录；终点是固定独立训练信息，对潜在最终查询作并集，推导b比特界并核算532个样本的预算。DP机制保留为另一条选修路线。

适合：已理解固定模型的经验风险，想给反复查看留出集的流程计算误差预算的读者。

主线固定素数阶群、非单位元参数和独立均匀随机数，证明Pedersen的完美隐藏与无损离散对数绑定归约。

自测验证模23的两种打开、恢复陷门7，并区分参数泄漏、随机数复用与模消息编码。多项式求值承诺作为不同打开接口的选修出口。

适合：已理解有限循环群运算、基本概率与多项式时间安全实验，希望完整推导一个承诺方案安全性的读者；选读 KZG 出口还需熟悉有限域上的多项式

从最坏与平均条件最小熵出发，以二通用碰撞界、条件化和Jensen证明经典旁信息LHL。

自测枚举三比特零标志例子的64个输入种子对，得到11/64联合距离，并从256 bit残余熵与2^-40误差预算算出178 bit输出。量子旁信息与同种子复用需另行定理。

适合：已理解离散概率、总变差距离及 Cauchy–Schwarz、Jensen 不等式，希望计算泄漏后随机性保证的读者

先用bag重数明确COUNT、SUM与AVG，再把Orders/Tags的24份连接贡献算成四组结果。

自测保留连接键与sum/count状态提前聚合，用有限和证明两种执行等价，并给出过早去重、平均部分平均及丢失连接列的反例。

适合：已会做集合连接与投影，希望正确计算重复行和平均值的读者

证明L2乘子的精确范数与Sobolev频域刻画，用(1−Δ)逆乘子构造唯一二阶解，再经能量截断证明内部H2估计。

自测双向验算Gaussian右端，解释三维Poisson低频反例，并算出3π/2凹角的梯度可积而Hessian不可积。

适合：熟悉平方可积函数、弱导数与偏微分方程基础，希望把Fourier估计用于椭圆弱解的读者

分解正奇异方向与核，证明固定步长梯度下降选择最近初值的最小者；终点是复算两条同损失轨迹、不一致数据极限及坐标变化后的4/5与1/5，并辨认何时得到最小范数解。

适合：已会矩阵最小二乘和梯度更新，希望区分目标最小化与参数选择的读者。

用三条日志执行两轮冻结目标回归，再从全域备份误差推导动作值与策略误差；终点是证明缺少动作覆盖时两个环境无法区分，解释零训练损失和重复数据为何不等于性能证书。

适合：已理解折扣MDP与监督回归，希望分析固定日志如何训练策略的读者。

用Sylow计数和半直积作用证明阶21群只有两种类型，再从七阶子群诱导出非阿贝尔类型的全部复不可约表示。

自测列出五个共轭类，写出两个三维生成元矩阵，核验带复共轭的五行表，并把七点仿射置换表示分解为1+3+3。

适合：已有有限群和复特征标基础，希望完成一个结构与表示联合分类的读者

用长度一投射分解算出Ext1(Z/m,N)=N/mN，再以商生成元的提升、显式商群和Baer和证明扩张分类。

自测重建C2被C2扩张的两种类型，验证两个非分裂C4扩张相加后分裂，并区分中间群相同但端点标记不同的扩张。

适合：已理解模、正合列、Hom 与链同调，并了解投射和内射模，准备把一次导出量还原成具体对象的读者

按零、一、二符号替换列出三元变量规则，用首次露出受保护后缀的运行段完成双向归纳。

自测把六动作机器转换成八变量十四规则，找出四个不生成变量，并逐步对应aabb的运行与最左推导。

适合：已理解CFG产生式和NPDA配置，希望亲手证明两种描述等价的读者

固定非负有理权与谱半径小于一，证明闭包和截断路径公式，再将每段ε路径吸收一次。

自测两态图算出3/4、9/16、27/64，证明双闭包误算为189/128，并辨认可逆但发散及不可达坏分量。Jordan块推导作为证明工具。

适合：会用矩阵计算加权自动机，并理解实数级数收敛与极限、希望处理静默环的读者

对反向累加程序逐条求方向导数，证明forward-over-reverse正确性并核算共享节点与平方重复槽。终点是复算Hv=(-7,17)、解释负曲率和线性工作量，辨认普通CG何时可接入。

适合：已理解链式法则、反向传播和Hessian，希望实现不形成矩阵的二阶作用的读者。

推导切向与转置伴随恒等式，复用带置换LU并核对-10/27。终点是区分有限一步程序的0、近似隐式值-1/18与精确解导数-1/8，说明求解次数与残差条件性的边界。

适合：会解线性系统并理解多变量链式法则，希望计算标量目标参数梯度的读者。

用相容的有限限制构造Krull拓扑和紧致Galois群，证明任意子群的双重对应恰为其闭包。

自测解释有限中间域与开子群、正规中间域与商群的关系，并以CRT构造一个在每个有限层都是Frobenius幂、却不是任何全局整数次幂的自同构。

适合：已掌握有限域扩张与子群对应，准备理解无限扩张中的拓扑条件的读者

以参考高斯输出推导任意输入的KL差额，处理相关块输入并接上带成本编码定理。

自测复算信噪比3与7的容量，区分平均消息功率、逐码字能量和峰值约束，并解释实与复一次使用的二倍差别。

适合：已理解互信息与正态分布，希望证明连续信道极限的读者

用联合分布KL比较证明高斯平方误差下界，构造后向和正向最优核，再由IID与数据处理推导资源比例。

自测核对收缩重构的1 bit和直接加噪的1.160964 bit，计算半次、一次、两次信道使用的失真2、1、1/4，并证明一次对一次的缩放达成。

适合：会算互信息并理解功率容量，希望连接压缩与传输的读者

证明独立舍入加最便宜补选的每次可行性与期望成本，区分任意可行分数值和最优LP界。终点是复算八种结果的17/8、去重补选5/8及m=1的零尺度边界。

适合：理解线性规划松弛与概率期望，准备核算随机近似算法全部成本的读者。

按旧区、新区和前沿执行顺序迁移，证明最新值不丢失且下一次扩容前完成。终点是核对N=8的五步混合轨迹，说明一项预算也足够，以及分配成本和连续缓冲区接口的边界。

适合：已会数组访问与摊还分析，希望给混合读写追加建立逐操作界的读者。

用行列式技巧证明素理想可逆，再由Noether升链推出所有非零理想的唯一分解。

自测证明理想范数乘法性，认证(3,1+√−5)²=(2−√−5)，用Minkowski圆盘界把每个理想类缩到范数小于3的代表，完整算出Cl(Q(√−5))=C₂。

适合：熟悉二次数域的整数环与元素范数、理想、商群及基础线性代数，想从具体分解走向一般可逆性和完整类群计算的读者

以延伸计数的望远镜乘积证明均匀性，处理公平随机位与有限失败，再按分支偏差、计数失败、截断三项控制总变差。

自测复算三个见证的十五个前缀，解释只查有解为何得到1/2与1/4，核对eta=0.1时的173/1920预算，并区分本页逆精度成本与JVV更强生成器。

适合：已理解NP见证和相对近似计数，希望构造可执行生成器的读者

逐子句构造未满足向量，证明整数点积等于违反子句数，并核对四变量十六对。

自测追踪奇数变量、重复向量及枚举成本，把N^(2-epsilon)转为统一SAT改进，再支付稀疏化成本推出对数维度结论。

适合：已理解CNF和SETH量词，希望亲手验证一个条件下界归约的读者

枚举非空支持并最大化共同正概率裕量，证明可靠性、完备性及指数成本。终点是核对协调博弈九对支持和退化2×3博弈的21对分类，区分正裕量、边界均衡及连续解族。

适合：已理解混合策略和线性规划，希望完整求解含退化情形的小规模二人博弈的读者。

用私有输入链得到初始双价，再从无限自身步骤得到临界配置。

自测逐项处理可交换、同址读写及覆盖写，准确区分配置相同与solo不可区分，并指出swap返回旧值为何改变证明。

适合：已理解共识和wait-free，希望独立完成不可区分性证明的读者

执行三进程两阶段案例，以同轮证据证明统一一致性，再在固定不看值调度器下按逻辑轮暴露硬币。

自测区分三个阈值、决定与停机，证明2^-n条件成功概率和几何尾界，解释该证明不能直接推广到强自适应调度器。

适合：已理解异步共识与 FLP，熟悉独立随机硬币、条件概率及条件期望的塔式性质，希望核对随机化量词及完整协议证明的读者

从有限余类和完备性证明Zp紧致，再从二次范数直接构造Q3(√2)、Q3(√3)的赋值。

自测认证完整整数环，算出(e,f)=(1,2)与(2,1)，解释两个模3商虽都有九个元素，为何只有一个是域。

适合：熟悉p-adic相容余数、域扩张与紧性，想亲自算出局部扩张结构的读者

用有限素数乘积与尾和证明ζ和L的Euler乘积，以指数表示证明非零性。

自测用有界部分和证明非主特征标级数的局部一致收敛，算出L(1,χ₄)=π/4，再由统一对数余项分别证明两个模4奇素数类的倒数和发散，区分Dirichlet密度与普通计数渐近。

适合：掌握唯一分解、初等群论、级数与一致收敛，并了解全纯函数，想完成一个解析数论证明闭环的读者

从唯一粘合与函数芽出发，清分母构造Spec的结构层并证明茎公式。

自测解释双数点为何不同于域点，沿u=1/t粘出射影直线，计算全部全局正则函数，并据此证明其非仿射。

适合：熟悉拓扑基、交换环和局部化，希望把局部函数数据构造成几何空间的读者

固定上链移位符号，逐循环证明拟同构的锥判据，再从投射性与无同调性证明替代后的链映射可以计算导出态射。

自测把HomD(Z/2,Z[1])算成整数模偶数，并解释它为何在各度上同调都为零却仍是非零态射。

适合：会计算投射分解与一次Ext，希望理解求逆拟同构究竟增加什么的读者

为自然数和单位列表计数器建立表示关系，逐项证明接口义务，再对纯传值客户端归纳。终点是覆盖返回抽象状态的递归与高阶调用，复算保留旧状态的6，并用1和2区分同签名错误实现。

适合：理解类型、函数与基本求值规则，希望证明隐藏表示可互换的读者。

固定隐藏符号后抽取整组样本，展开混合似然比二阶矩并以cosh控制。

自测复算四点联合矩阵、1/16总变差和1/32卡方散度，追踪奇偶域常数，说明逐样本重抽符号与期望预算为何不是同一证明。

适合：已理解IID采样和总变差，希望完整核对一个分布测试下界的读者

把两个k阶布尔矩阵变成直径三的四色环任务，以匹配边证明双向对应。

自测核对十顶点17/18边实例，按先缓存后交付模拟一轮，计入静默和字符串长度，从2|C|(B+1)T推出轮数下界并解释颜色与初始知识边界。

适合：已理解随机通信下界和同步分布式图模型，希望构造完整网络归约的读者

在同一循环图中计算支配边界、构造SSA，再处理关键边与复制环，逐边证明值保持；随后为无环有限位算术IR写出总验证器，并在16个输入中找出溢出分支的7与0反例。

适合：能够阅读三地址码，希望亲手核查编译变换的读者。

从JS和Hellinger推出显式AND常数，再将每个条件信息项实现为私有填充协议。

自测证明同Bob输入的输出通道，复算两坐标奇偶例子的3/4与1/2，解释为何条件外部下界不能直接套用内部信息摊销定理。

适合：已理解互信息和通信模型，希望核对完整信息论下界的读者

用前缀、目标块和全一后缀嵌入严格比较，核算99次放大和每次消除的全部参数。

自测处理目标相等与补零，证明补码角色变换和取整闭式，并对任一固定输出者完成零消息矛盾。

适合：已理解公共币协议，熟悉有限概率、二项尾界、独立概率放大与基本信息不等式，希望完整追踪轮次消除参数的读者

证明有限类型统一器保留全部解的因子分解，按正确复合顺序执行W；复算嵌套let中共享结果与独立实例的完整替换，得到主类型并定位occurs-check和错误泛化的失败。

适合：能读λ与let表达式，希望逐步实现和核对HM推断的读者。

固定分层Π/Nat/Vec规则，写全自然数和向量消去子，以motive与两分支构造append；独立核检查长度2加1成为3，并拒绝错误长度和遗漏cons的候选。

适合：掌握类型判断，希望看清依赖程序如何成为显式可核查项的读者。

以仿射隔离和共享种子的误差预算模拟量词，再用三次多项式提升奇偶位。

自测证明OR计数公式、控制见证副本规模，复算41731模8，并说明两个精确函数查询为何恢复全部接受种子数。

适合：已理解PH、#P和有界错误，希望逐步证明Toda定理的读者

正规化一般DAG，以底层宽度和非底层门数为不变量逐层降深。

自测区分中间阈值k与最终阈值一，在未条件化实验中推导Binomial存活数，核对d3/M16预算并推出固定深度的d−1指数。

适合：已理解常深电路，并熟悉独立乘积概率、二项分布与基本概率界，希望跟踪逐层限制参数与失败概率的读者

用骨架绕数构造Euler类，逐面Stokes证明曲率代表，再从边界转角推出Gauss–Bonnet。

自测核对南北坐标的正负号，写出球面两张正则标架，分别算出标准环面正负曲率的4π与−4π，并解释圆环为何没有圆盘的2π常数。

适合：已掌握向量丛、微分形式和曲率，熟悉圆周绕数、基本群与单纯同调和上同调，希望亲算局部几何如何连接整体拓扑的读者

从顶点奇偶约束定义依赖规模，用二元消元证明割边必须出现于子句，并闭合到规模下界。

自测逐行重放K₄的47行证书，证明宽度恰为四，区分六个边变量与四个顶点，再代入固定度数扩张图族。

适合：已理解归结规则，熟悉有限图和模 2 线性方程组，希望独立验证宽度瓶颈和规模下界的读者

用不可撤回枚举和Kraft–Chaitin分配把小概率事件转为短描述。

自测按3、3、1、2的乱序码长分配程序，核对全部层2k的共同预算，并双向证明随机序列恰有统一有界的前缀压缩亏损。

适合：已理解概率一与Martin-Löf检验，希望掌握算法随机性压缩刻画的读者

按指定子句编号逐条传播，学习相反单位子句、删除原始子句并推出空子句；以原公式蕴涵所有活动子句证明接受可靠性，并拒绝非单位、已删除编号和未完成反驳。

适合：理解CNF与布尔赋值，希望独立核查SAT求解器UNSAT输出的读者。

构造无界整数循环的两张完整谓词图，区分逐边可满足与整路径可行；用UNSAT切口插值加入相等谓词，交出对所有后继封闭且排除错误的可达集。

适合：掌握状态转移与逻辑谓词，希望完整执行一轮CEGAR的读者。

证明子模秩与独立集公理的双向重建、闭包交换和贪心的双向刻画，再以对偶秩与核矩阵解释补基。

自测用同一四列矩阵列出全部平坦、基和回路，逐步拒绝平行列，核对最优值10及对偶补基值8，并解释负权时两个优化目标的差别。

适合：已掌握有限集合、矩阵秩和线性无关，希望证明拟阵交换与优化关系的读者

以明确的行列检查器证明permanent的VNP成员性，再逐项展开保值投影。

自测检查16个二阶见证与六个三阶排列项，解释任意域上的指示器、特征二边界，以及低次数为何仍不能控制系数位长。

适合：已理解域与多项式，熟悉电路族的一致性与非一致性，想区分代数族和布尔计数模型的读者

用正阶矩承受多项式慢化，把所有前像质量纳入归约预算。

自测复算稀有分支平方后的成本、二倍支配表和指数集中反例，并证明长度受控的归约与复合保持平均多项式保证。

适合：已理解期望与最坏时间归约，希望严格分析稀有慢实例的读者

以完整ESO三染色句子和LFP四点可达迭代核对证书及求值预算。

自测证明有限最小不动点与多项式求值，区分固定公式、显式域编码和输入顺序，并说明两个一般刻画中哪些方向被作为定理引用。

适合：已理解一阶结构与P、NP，希望掌握描述复杂性具体接口的读者

逐行核验联合核的两个边缘，证明有限路径边缘与关系不变量，再计算两条失效链的两步分布；区分5/16终态不等与3/8前缀曾不等所支持的事件界。

适合：掌握有限Markov链，希望检查两个随机程序关系证书的读者。

用两个ghost贡献位的半份、一致性与full更新推导每个客户端的局部规格，再经并行组合和局部资源回收证明计数器从0精确到2，辨明一次性token和进展的边界。

适合：了解分离合取与线程交错，希望证明共享更新功能结果的读者。

按锚关系拆分属性，用切片预算选择递归或扫描。

自测复算四张七行三元表的九个答案、十四次枚举和十三行二元中间结果，并用逐坐标不等式支付所有前缀与递归调度。

适合：已理解集合连接与AGM界，希望逐步执行一般超图连接的读者

逐行重建TT和DPT，区分日志稳定与页面稳定。

自测重做CLR50、沿undoNextLSN到20并写CLR60，解释三层redo过滤、winner与loser，以及恢复中再次崩溃时保留的撤销进度。

适合：已理解WAL与steal/no-force，希望核对恢复状态机的读者

按单项式轨道证明固定次数的稳定，再用交错整除与严格递减指数构造Schur基。

自测证明置零相容性，解释两变量为什么不足以核验三次恒等式，并从平方变量Vandermonde推出s21=e1e2−e3，在1、2、3处复算60，在重合变量处算出8。

适合：熟悉交换环、多项式、置换、行列式与线性基，希望理解分拆如何组织对称函数的读者

用阈值集合证明加权割范数界，逐条替换三角形边得到常数3；再按共享边计算精确方差。

自测区分同边密度的常值核与二部核，算出割距离1/8，列全G(4,1/2)的三角形分布及方差5/8，并证明固定p时两种三角密度都趋于p³。

适合：熟悉图、Lebesgue 积分、乘积测度和基础概率，希望连接稠密图统计与随机图计数的读者

固定会话、腐化与端口，逐个包装周围系统。

自测构造三个混合和统一模拟器，写出两步误差及资源预算，并复算共享一次性掩码的区分优势。

适合：已理解真实与理想模拟，希望核对组合定理具体条件的读者

用独立表项掩码实现AND后接XOR，完整展示七位到三位再到一位的标签。

自测复算两张门表和八种输入，先后消去非活动表项，并只凭各方输入与输出写出完美模拟器。

适合：已理解布尔电路和模拟安全，希望手算隐私计算记录的读者

用首次返回建立卷积，用首次越界反射证明精确闭式，再逐系数和留数换元证明形式反演。

自测列全半长三路径，反射UDDUUD并写出逆操作，算出[z⁴](C−1)²=14，解释常数项删除与下标移动的区别，并从Stirling余项推出相对修正−9/(8n)。

适合：熟悉递推与二项式系数，希望把双射、形式级数和渐近计算连起来的读者；末站奇点分析还需复幂级数与 Cauchy 系数公式基础

清除模乘辅助位，分析均匀特征相位并恢复小分母。

自测复算21的六点轨道，辨认通过但非最小的候选12，给出重复次数和因子7、3。

适合：已理解 QPE、整数模运算、Euler φ 函数、循环群与中国剩余定理，希望补齐 Shor 后处理的读者

从纯输出推出标量重叠，再对角化并补成全空间恢复。

自测计算退化三比特码的五阶重叠矩阵，处理零特征值，并验证逻辑Bell态及未知相位翻转边界。

适合：已理解 Kraus 表示、正交投影与 Pauli 群，希望证明一般量子纠错条件的读者

精确计算旋转近似，逐门累加算子误差并转成测量总变差。

自测区分T近似的三个误差数值，解释受控整体相位，并为QFT的全部旋转分配预算。

适合：会读量子电路，熟悉量子 Fourier 变换电路与算子范数，希望理解有限门集合成成本的读者

同时离散保持输入的动力学与积分成本，证明有限Riccati到稳定DARE；复算两步QP值14，再以黄金比终端证书证明移位可行、价值下降与收敛。

适合：熟悉状态反馈、二次型、有限维凸优化与梯度，希望逐步验证数字控制方案的读者

用有限顶点LMI证明任意可测凸组合的共同衰减，再由大块矩阵配平方推出储能收支；手算两个负定端点、脉冲能量和顶点分别稳定的失败例。

适合：熟悉线性系统稳定性、希望核验整个参数族统一保证的读者

为交替工作/维修设备写出周期与收益，分别求长期可用率、单位时间更新数与随机观察的剩余寿命；解释确定长度周期为何让非格点极限失效，并明确二阶矩在检查悖论中的作用。

适合：理解期望、IID 样本与几乎必然收敛的读者

从 M/M/1 转向一般到达与服务时，先补读更新过程，再用 Lindley 递推分析等待。

自测对明确单位的两状态维修链求转移概率与稳态；为 M/M/1 推导可归一化条件及平均等待，用 Little 定律交叉核验；再改变服务时间方差，用 M/G/1 公式解释均值相同但等待不同。

适合：理解条件概率、独立同分布样本、指数分布和基本矩阵运算的读者

从 Bernoulli 样本均值算出相对熵速率函数，分别证实开集下界与闭集上界；通过连续映射收缩到平方统计量，再用指数倾斜构造稀有事件估计并说明矩母函数域和边界的限制。

适合：理解概率分布、指数矩及度量拓扑中开闭集、紧性与完备性的读者；路径部分另需 Brownian 运动与 Lebesgue 积分基础

对两个有限分布列出输运线性规划、可行计划与对偶证书；在一维用分位数重算 W1/W2；展示原子源导致 Monge 映射不存在的例子，并用 Sinkhorn 迭代检查边缘误差及正则化偏差。

适合：理解概率测度、推前与有限维线性代数，熟悉度量空间的紧性、完备性及凸函数的读者

用一份明确列出进入、事件类型和删失的数据表构造风险集；计算 Cox 部分似然与一个回归得分，计算 Aalen–Johansen 状态概率和限定时间平均生存；说明删失独立性、比例风险和竞争风险估计目标各约束哪一步。

适合：已掌握生存分析基础、连续时间鞅、似然与极大似然估计，并熟悉期望和矩阵运算的读者

对有限总体列举一个非等概率抽样设计，计算一阶/二阶纳入概率和 HT 总量方差；与 Hájek 比率及校准结果比较，说明簇相关怎样改变方差；对多重插补结果分离组内和组间不确定性。

适合：已学习概率分布、有限集、期望、方差、协方差等直接入口的读者；正文仍从一个可复算问题引入新接口。

为一个周期函数和一个非周期边值问题分别构造 Fourier 与 Chebyshev 离散导数；核对解析解的误差衰减，计算一个混叠反例并去混叠，说明不光滑数据和端点条件为何破坏预期谱精度。

适合：已学习多项式插值问题、偏微分方程、Chebyshev 多项式与节点、Fourier 级数、快速 Fourier 变换等直接入口的读者；正文仍从一个可复算问题引入新接口。

对谐振子比较显式 Euler、辛 Euler 与隐式中点映射，直接核验 MᵀJM=J；计算修正能量或修正方程的首项；对一个带约束例子核对位置和切向动量约束，区分保辛、可逆、保体积和保能量。

适合：熟悉 Hamilton 系统、辛向量空间、Jacobian 矩阵、常微分方程时间步进与 Runge–Kutta 方法，并理解根树和祖先关系的读者。

依次建立 Lie 群、切空间括号、指数与局部乘法，再比较覆盖和齐性空间，最后用 Haar 积分进入紧群 Fourier 分解。验收：算出 SU(2)→SO(3) 的核、一个精确 BCH 乘积，以及圆群函数的系数和平方范数。

适合：熟悉群、矩阵、光滑流形、覆叠空间与有限维群表示的读者；Haar 积分和 Peter–Weyl 部分另需测度积分与 Hilbert 空间基础

先固定过欠交叉与允许的局部移动，再计算群、染色和环绕数；由 Seifert 曲面进入两个多项式，最后比较辫闭包与最小亏格。验收：从同一张三叶结图完成群呈示、九种染色、Alexander/Jones 多项式与亏格上下界。

适合：熟悉光滑嵌入、基本群、曲面定向与整数一阶同调，并能做矩阵和多项式运算的读者

用准素分解和素零化子找出隐藏分量，再逐次检查正则序列、深度、CM 与正则性，最后以 Koszul 同调和完备化连接有限代数与形式局部计算。验收：完整分析 (x²,xy) 的分解、伴随素理想、深度与 Koszul 同调，并核验完成后的保持性质。

适合：学过理想、模、局部化、Noether 环、Krull 维数、外代数和链复形的读者

从迹配对建立整基与判别式，再用 e、f、Dedekind 判据和不同理想处理素数分解；以分解群、Frobenius、单位格与分圆域完成算术解释。验收：在 Q(√13) 中区分坏指数素数 2 和分歧素数 13，算完迹对偶、基本单位及局部群。

适合：熟悉域扩张、有限 Galois 理论、整数环、理想分解与线性代数的读者

从前缀度量进入 Polish 与标准 Borel 空间，再沿 Borel 层级、闭集投影和分离定理理解集合复杂度。

自测证明 Cantor 空间紧而 Baire 空间不紧，确定最终恒零事件的精确第二层位置，写出无限分支的闭见证，并用小数部分验证整数差分类的双向 Borel 归约。

适合：已理解度量空间、开闭集和 σ-代数，希望用可数描述分析无限对象与分类问题的读者

区分可计算检验预算与可计算赌徒，利用半测度和编码连接程序长度，再讨论 oracle 信息与渐近密度。

自测为 Bernoulli(1/3) 源构造合法检验和公平赌徒，核算阈值编码的 Kraft 预算，并解释 Omega 的真前缀为何能决定短程序停机，而模拟近似不能自行提供误差证书。

适合：已理解 Martin-Löf 检验、前缀复杂度和基础概率，希望比较不同有效随机性标准的读者

分别核验良拟序、迁移兼容性和有效前驱，再用有限基、omega 加速与事件展开压缩无限行为。

自测对 p→3p、p→q 手算覆盖树及后向基，证明偶数总 token 目标可覆盖却不可达，给出状态方程可解但无变迁使能的反例，并说明有损信道中 Higman 引理和丢失语义各承担什么。

适合：已理解 Petri 网、有限状态搜索和基本关系，希望检查无限状态验证为何仍能终止的读者

从终止次分布推导 wp 与循环期望界，再用平均下降和 ert 区分终止概率与运行时间，最后检查条件化及概率组合。

自测算出抛到成功程序的输出分布、后奖励和含退出守卫的成本，构造几乎必停但期望工作无穷的程序，计算 observe 的证据常数，并拒绝零质量归一化。

适合：已理解期望、概率核和基本程序语义，并熟悉鞅、停时与自然变换，希望逐项证明概率程序输出、终止与运行成本的读者

先推导有界查询的灵敏度与机制分布，再核算抽样高斯多轮更新；终点能算出同一离散例子中 0.6 的隐私损失尾概率与 0.1 的 hockey-stick 超额质量，并检查全部参数口径。

适合：已理解相邻数据集与概率，希望独立检查一次发布或训练隐私预算的读者

以同一带噪 Bell 态计算部分转置、见证与 CHSH 关联，逐前缀检查纯态 LOCC 转换；终点能区分纠缠、可蒸馏资源、Bell 违规与单边传信。

适合：已能用密度矩阵、偏迹和量子信道描述量子系统，并熟悉迹距离、量子熵与概率期望，希望判断纠缠可检验性及资源转换的读者

算出相关二元源的三条压缩界，逐端解码蝴蝶 XOR，并把中继译码转发、压缩转发与切集外界放在同一模型中比较；只有内外界吻合才报告容量。

适合：已理解熵、单用户编码与有限域线性代数，希望区分多终端内界、外界与容量结论的读者

完整计算三位多数和奇偶的 Fourier 系数、影响与噪声曲线，再核对 KKL、junta 与多数最稳定的量词；终点能执行一次带误差余量的 KM 前缀搜索并说明成员查询的作用。

适合：已理解布尔函数与内积，希望从完整频谱走到低影响结构和查询学习的读者

能区分单、半单、不可分解和根层，并写出矩阵环的Morita等价证书。

适合：已学环、模与线性代数的读者；末篇 Morita 等价另需投射模、函子与范畴等价的基本概念

能把一串线性映射分成区间，再用Hom–Ext复形独立检查结构。

适合：已学模、正合列、投射与内射模，了解 Ext¹ 的扩张解释，并能做矩阵秩计算的读者

能分清局部满射与全局满射，并实际计算非平凡层上同调。

适合：已学层、概形与导出函子的读者

能从分次环建立射影图，计算次数重数，并用爆破查看奇点方向。

适合：已学概形、局部化、模层、外代数及层上同调的读者

能用统一符号计算整数、模2与有理特征类，并核验嵌入的推前。

适合：已学向量丛、上同调环及平面丛 Euler 类，并熟悉 Grassmannian 的 Plücker 坐标、光滑嵌入与管状邻域的读者

能辨认Hamilton全局障碍，并把C²的圆周对称约化为带可算面积的CP¹。

适合：已学光滑流形、微分形式与 de Rham 上同调，并熟悉 Lie 群作用、Lie 代数和伴随表示的读者

为同一个方波选择稳定重建，证明局部平均几乎处处恢复，并以 Hilbert 变换核验强弱端点差别。

适合：掌握 Lebesgue 积分、Lp 范数和基本 Fourier 展开，并熟悉调和函数、全纯函数的最大模原理、有界线性算子与 Fourier 乘子的读者

构造球、半空间与半直线的源项响应，用边界、通量、初值及比较原理独立核验，并量化吸收边界下的热量损失。

适合：已掌握多元微分、散度定理、Lebesgue 积分与 Lp 空间的读者；分布与卷积由页内入口补齐

把随机游走整条路径传到连续极限，构造固定端点与非负反射模型，核验随机时钟、局部时间和平方扩散的分布。

适合：已掌握概率极限、Brownian 运动、随机积分与随机微分方程的解，并熟悉分布导数和凸函数的读者

从尾形状构造极值与超额模型，手算尾指数和极端高度，并用点计数与聚簇结构审计外推及不确定性。

适合：已掌握分布函数、条件概率、独立样本、基本概率极限与测度积分的读者；最后一站的严格点过程证明还需 Radon 测度与概率律的弱收敛，作为进阶延伸

从均匀间距与经验分位出发，区分精确秩覆盖、统一误差界和经验桥近似，再为独立组、配对与关联选择合法随机化。

适合：已学独立样本、分布函数与基本检验，想理解分布无关方法的读者

先建立有限维联合高斯与矩阵正态入口，再由 Wishart 投影推导联合均值和回归检验，最后区分相关、条件关系与带成本的判别。

适合：已学矩阵、协方差与基本统计推断，想处理多个相关响应的读者

构造多边形剖分、用漏斗求出绕过凹口的最短路，再把非对称机器人转成配置空间禁区；完成面积、方向、路径长度与碰撞的独立核验。

适合：会基本数据结构与图最短路，准备学习可执行几何算法的读者

分别利用编辑图、决策单调性和直线下包络，证明每次省略状态或候选都不会丢掉最优解。

适合：已会写状态递推、想知道何时能够安全加速的读者

辨认何时松弛天然整数，何时必须切除分数点或分支，并解释每个最优性界的来源。 终结

自测为一份四对四分配计划证明 LP 的整数性并分解一份分数计划；再求解带冲突约束的五件设备选择问题，交出切割、分支树、最终可行解及同值上界。

适合：会线性规划与单纯形表，熟悉行列式和图匹配的读者

看清填充在哪里产生、粗空间补哪一类误差，并按总设置与求解成本选择稀疏算法。 终结

自测对七个内部节点的一维 Dirichlet Poisson 系统完整手算一次 V-cycle；再对二维网格比较自然顺序和 nested dissection 的符号填充，解释 IC(0) 与两层预条件器的工作。

适合：会 Cholesky、定常迭代和预条件 CG 的读者

从可重复特征值上的函数演算走到稳定求值，并把小残差、分支选择和输入敏感性分别检查。 终结

自测给一族接近不可对角化的 3×3 上三角矩阵，求指数、主平方根与主对数；计算非交换扰动的方向导数，并比较完整矩阵指数与只求 exp(tA)b 的 Krylov 结果。

适合：熟悉 Jordan、Schur 和线性求解的读者

把最优性方程变成可执行算法，分别处理模型不可靠、约束不满足、乘子未知和内点逼近边界。

适合：会梯度、Hessian、KKT 和基本线性求解的读者

构造LL(1)、LR(0)、SLR、LR(1)表；终点亲手找出LALR合并丢失的前缀区别，并说明错误冲突优先级会拒绝哪些合法词。

适合：已懂CFG和语法树，想亲手构造并检查解析器的读者

用Earley起点列和GLR栈路径解析同一表达式，给出两个根分割及共享森林，并解释空规则对闭包调度的要求。

适合：完成确定解析主线，想处理左递归或歧义文法的读者

区分CFG备选与PEG有序选择，手算abc反例，并推导失败输入的指数调用数及缓存后的线性表项数。

适合：希望实现确定配置语法、理解回退边界与性能的读者

从调用目标到匹配返回，构造IFDS事实边及IDE值函数；终点给出两类伪路径并判断对应修复机制。

适合：掌握控制流图和单调数据流分析，准备分析跨函数程序的读者

手算间接读写约束，比较Andersen与带条件join的Steensgaard，再区分方法上下文与堆命名。

适合：需要在指针精度与求解成本间作选择的读者

区分有限调用历史、准确返回栈与活引用；按给定store和续延根完成P_drop/P_keep八种配置的手算。

适合：已懂闭包和抽象机器，想诊断高阶分析误报的读者

审核给定表达式小库：执行不安全泛化反例，补全多态参数，翻译Eq字典并逐分支检查GADT求值。

适合：已会HM推断，想理解引用、高秩参数、重载与GADT接口的读者

区分项、类型、kind，手算PairWith的类型β归约，并检查容器形状参数是否匹配。

适合：掌握System F，想检查高kind接口和类型级应用的读者

求解唯一标签行约束，让修改name后保留expr；给下一元素访问写出并检验完整精化前提。

适合：需要保留记录额外字段、验证索引范围的读者

在给定Michael–Scott执行中定位入队/出队，完成双hazard槽表，并比较暂停线程对结构进展与回收的不同影响。

适合：理解CAS与FIFO，准备审核具体并发交错的读者

画出MCS/CLH轮询位置，复核epoch两次推进与RCU旧读者区间，判断一名暂停线程具体阻止什么。

适合：熟悉共享内存、互斥、原子读改写和基本内存次序，想区分忙等位置、所有权交接和批量回收条件的读者

检验链表先标记后摘链、消除配对的取消竞争，以及RDCSS/CASN的胜出决断与失败见证。

适合：掌握CAS和线性化，熟悉有序链表与栈，想分析帮助与撤回竞争的读者

对给定四任务程序逐笔填写回执与信用，重放Safra零计数反例，证明宣布同时排除活动节点和在途任务。

适合：理解消息传递与在途状态，熟悉基本图与树结构，想为搜索或工作池审核完成证据的读者

核查慢消息、立即ACK和SAFE，比较α逐邻居通知与β树屏障的消息数和树高延迟。

适合：熟悉基本图与树结构，需要把同步轮算法运行在可靠异步网络上的读者

执行损坏Dijkstra环与BFS父指针修复，计算Herman三节点稳定期望，并分清合法服务、静默与全网终止。

适合：理解分布式配置与共享内存，熟悉独立随机选择和条件概率，想分别检查闭包、收敛和调度量词的读者

构造请求—就绪监控器，核算20到16顶点的吸收态商图，逐层执行Zielonka并提取Mealy控制器与失败接口反策略。

适合：读过Büchi和LTL验证，想亲手区分存在路径与可控策略的读者

交换Rabin/Streett坐标完成对偶，逐步计算LAR和Safra命名树，并在固定无限字上核对交替运行的全部分支。

适合：需要审核无限自动机的确定化、取补或条件转换的读者

核算小进展度量每轮提升，区分偶色重置与顶元素传播，并检查有限度量策略和Odd反策略的不同提取责任。

适合：理解有限奇偶博弈，想比较递归区域证书与单调度量的读者