用法:遮住答案,在空白纸上写;写完再展开对照。每张卡末尾标记号:✓ 能完整写出 / △ 有关键词但缺条件 / × 完全想不起,只重做 △ 与 ×。共 42 张卡(定义 12 + 结论 10 + 公式 10 + 陷阱 10),一轮约 45 分钟。
卡后括号里的链接指向正文依据,自检时若「写得出来但讲不清依据」,回到对应节。
A1. 写出 MDP 五元组,并说明「马尔可夫性」在工程上最实用的那句推论。
解答
(S,A,P,R,γ):状态空间、动作空间、转移概率 P(s′∣s,a)、奖励函数 r(s,a)、折扣因子 γ∈[0,1)。马尔可夫性 P(st+1∣st,at,…,s0)=P(st+1∣st,at) ⇒ (st,at) 是未来的充分统计量:状态定义得足够(必要时帧堆叠 / 隐状态 / POMDP 信念)就不必回放历史;反之,若「同样状态同样动作的结果分布不同」,说明状态不够(定义 5.2.1)。(✓ / △ / ×)
A2. 写出折扣回报 Gt 与 RL 的优化目标 J,并说出必须打折的三个理由。
解答
Gt=∑k≥0γkrt+k+1;J(π)=Es0∼ρ[Vπ(s0)]=Eτ∼pπ[G0]。三个理由:① 数学必要性(无限时域 γ=1 且奖励有正下界时 G0 发散、值函数无定义);② 表达偏好(远期更不可控、更不值钱);③ 降方差(远期随机量被指数衰减)。等效视野约 1/(1−γ)(定义 5.2.3)。(✓ / △ / ×)
A3. 写出 Vπ 与 Qπ 的定义与两者的关系式;为什么「换动作会不会更好」必须用 Q?
解答
Vπ(s)=Eπ[Gt∣st=s]、Qπ(s,a)=Eπ[Gt∣st=s,at=a];关系 Vπ(s)=∑aπ(a∣s)Qπ(s,a)、Qπ(s,a)=r(s,a)+γ∑s′P(s′∣s,a)Vπ(s′)。V 回答「按现在的策略走下去能拿多少分」(评估),Q 回答「先做这个动作、之后按策略走能拿多少分」(选择);V 已经把动作按老策略平均掉了,所以不能用来比较动作(定义 5.2.4、命题 5.2.1)。(✓ / △ / ×)
A4. 「贝尔曼期望方程」与「贝尔曼最优方程」各是什么?差别在哪一步?
解答
期望方程:Vπ(s)=∑aπ(a∣s)[r(s,a)+γ∑s′P(s′∣s,a)Vπ(s′)](线性方程组,解 (I−γPπ)−1rπ);最优方程:把 ∑aπ(a∣s) 换成 maxa,得 V∗、Q∗(非线性不动点)。差别的代价:max 不可线性求解,但换来了「唯一最优值 + 确定性贪心最优策略」(定理 5.2.1、定理 5.2.2)。(✓ / △ / ×)
A5. 定义 TD 目标、TD 误差与 TD(0) 更新;三个特征是什么?
解答
yt=rt+1+γV(st+1)、δt=yt−V(st)、V(st)←V(st)+αδt。三个特征:自举(目标含当前估计)、在线(走一步就能更新)、只用一步随机性(方差小)。直觉:δt 是「意外程度」——δ>0 上调、<0 下调、=0 不动;当值函数满足贝尔曼方程时所有 δ 期望为 0,学习自动停止(定义 5.3.1)。(✓ / △ / ×)
A6. 写出 Q-learning 更新式与它的三个关键词;收敛需要什么条件?
解答
Q(st,at)←Q(st,at)+α[rt+1+γmaxa′Q(st+1,a′)−Q(st,at)]。关键词:自举、off-policy(行为策略带探索、目标策略取 max,所以能复用任意来源的经验逼近 Q∗)、收敛条件(每个 (s,a) 被访问无穷多次 + 步长满足 Robbins–Monro:∑αt=∞、∑αt2<∞)(定义 5.3.2)。(✓ / △ / ×)
A7. 策略梯度定理的两种写法(轨迹形式与状态分布形式)与一句话直觉。
解答
∇θJ(θ)=Eπθ[∑t≥0∇θlogπθ(at∣st)Qπθ(st,at)]=Es∼dπθ[∑aπθ(a∣s)∇θlogπθ(a∣s)Qπθ(s,a)]。直觉:好动作抬概率、坏动作压概率。注意 dπθ 依赖 θ 但未出现在梯度的显式式子里——它被数学抵消了(定理 5.4.1)。(✓ / △ / ×)
A8. 优势函数与它的两条基本性质;它与「一步 TD 误差」是什么关系?
解答
Aπ(s,a)=Qπ(s,a)−Vπ(s),其中 Vπ(s)=∑aπ(a∣s)Qπ(s,a)。性质:① ∑aπ(a∣s)Aπ(s,a)=0(基线无偏性的推论);② A=0 是「平均水平」,只有 A>0 才值得抬概率。δt=rt+1+γV(st+1)−V(st) 是一步残差;当 V=Vπ 时 Aπ(st,at)=E[∑l≥0γlδt+l],即多步版本,GAE 就是把这条关系做成了连续的 λ(定义 5.5.1、定理 5.5.1)。(✓ / △ / ×)
A9. GAE 的闭式与递归式;λ=0 与 λ=1 各退化成什么?
解答
A^tGAE=∑l≥0(γλ)lδt+l=δt+γλA^t+1(A^T=0,一次从后往前的循环即可算完)。λ=0⇒A^t=δt(一步 TD:偏差大、方差小);λ=1⇒A^t=Gt−V(st)(蒙特卡洛:偏差小、方差大)(定理 5.5.1)。(✓ / △ / ×)
A10. PPO 的概率比 ρt、裁剪替代目标与完整目标(三项)分别是什么?
解答
ρt(θ)=πθ(at∣st)/πθold(at∣st);LCLIP=Et[min(ρtA^t,clip(ρt,1−ε,1+ε)A^t)];完整目标 LPPO=E[裁剪项]−c1E[(Vϕ−R^)2]+c2E[H(πθ)],即策略项 − 价值项 + 熵正则(ε 常 0.1–0.2,c1≈0.5,c2 常 0–0.01)(定义 5.5.2、方法 5.5.3)。(✓ / △ / ×)
A11. Bradley–Terry 偏好模型与 RLHF 三步各是什么?
解答
BT:Pr(yw≻yl∣x)=σ(r(x,yw)−r(x,yl)),由 Gumbel(0,1) 噪声 + 「感知值大者胜」推出。RLHF 三步:SFT 得参考模型 πref → 用 LRM=−Elogσ(rϕ(x,yw)−rϕ(x,yl)) 训奖励模型 → 用 RL(多为 PPO)最大化 Ey∼πθ[rϕ(x,y)]−βKL(πθ∥πref)(定义 5.6.2、方法 5.6.2)。(✓ / △ / ×)
A12. DPO 的损失与「隐式奖励」;它替掉了哪两个环节?
解答
LDPO=−E(x,yw,yl)[logσ(βlogπref(yw∣x)πθ(yw∣x)−βlogπref(yl∣x)πθ(yl∣x))];隐式奖励 r^θ(x,y)=βlogπref(y∣x)πθ(y∣x)。它替掉训练奖励模型与在线采样两个环节,β 控制「允许偏离参考模型多远」(定理 5.6.2)。(✓ / △ / ×)
B1. 为什么说「有奖励」不等于「有标签」?给出两个决定「该不该用 RL」的判据。
解答
因为粒度与因果位置不同:标签与输入一一对应、逐样本可分解,直接给出正确答案;奖励是轨迹级标量,只评价结果、不指出哪一步负责,必须靠策略梯度或值函数搭桥。判据:① 能否为每个输入构造出正确的输出?能 ⇒ 监督/模仿学习;② 决策是否影响后续状态、能否大量重复尝试或已有离线日志?三条同时成立才轮到 RL(5.1 的 think、方法 5.1.2)。(✓ / △ / ×)
B2. 常数 ε 的代价为什么可以精确算出来?推论是什么?
解答
把「是否探索」当一个 Bernoulli 事件拆开:E[r]=(1−ε)μ∗+εμˉ,故 Δ(ε)=μ∗−E[r]=ε(μ∗−μˉ)。推论:常数 ε 下永远拿不到满分,上限是 μ∗−ε(μ∗−μˉ);想突破就要让 ε→0(衰减调度)或改用不确定性驱动的探索(UCB / Thompson)。注意探索税与「选择税」(贪心动作本身不是最优)是两笔账(定理 5.1.1)。(✓ / △ / ×)
B3. Q-learning 与 SARSA 在同一条转移上为什么不同?一句话说出判据。
解答
判据只有一条:产生数据的行为策略与被评估/改进的目标策略是否同一个。SARSA 用行为策略实际选出的 a′(on-policy,会把探索的代价学进去),Q-learning 用 max(off-policy,学「假设之后都做最优选择」的价值)。同一条转移的算例:4 → 5.3(Q-learning)vs 3.95(SARSA);行为策略恰好选中最优动作时两者相等(例 5.3.1)。(✓ / △ / ×)
B4. DQN 的两个技巧各治什么病?各有什么代价?
解答
经验回放治「样本相关 + 只能用一次」:打破时序相关、让梯度接近 i.i.d.、同一条经验可反复用;代价是内存(Atari 设置下约 28 GB 的 uint8 存储)与「数据陈旧」。目标网络治「目标在动」:让 TD 目标里的 θ− 在若干步内冻结(或 Polyak 平均),把移动靶钉住;代价是多一份参数、多一个关键超参数(同步周期 C,常 103–104)。一句话:回放治数据相关,目标网络治目标移动(方法 5.3.1)。(✓ / △ / ×)
B5. max 为什么会让 Q 值系统性虚高?为什么「乐观」比「不精确」更危险?
解答
对随机变量取凸函数(max 是凸的)不满足期望与函数可交换,故 E[maxaQ^]≥maxaE[Q^]=Qˉ,噪声让等号一般不成立;i.i.d. 正态噪声下量级约 σ2lnN(N=10,σ=1 ⇒ 2.15)。危险之处在于它改变了动作排序:策略会偏好「噪声大、被偶然高估」的动作(少见动作、数据边缘),于是数据更偏向那里、噪声更大,形成恶性循环——与离线 RL 的外推失控是同一机制(定理 5.3.2)。(✓ / △ / ×)
B6. 策略梯度为什么不需要知道环境模型?哪一步是关键?
解答
关键在轨迹概率取对数那一步:logpθ(τ)=logρ(s0)+∑tlogπθ(at∣st)+∑tlogP(st+1∣st,at),其中 ρ 与 P 与 θ 无关,求导后整项消失,只剩 ∇θlogpθ(τ)=∑t∇θlogπθ(at∣st)。于是「对分布的导数」变成可采样估计的期望,而采样不需要模型(定理 5.4.1 推导第二步)。(✓ / △ / ×)
B7. 基线的无偏性来自哪条引理?它为什么在 GAE 与 DPO 里都出现?
解答
来自「任何只依赖状态的量在策略梯度期望里可自由加减」:∑aπθ(a∣s)∇θlogπθ(a∣s)b(s)=b(s)∇θ∑aπθ(a∣s)=b(s)∇θ1=0(只用到概率归一化)。这条引理也是因果性证明里 Ht 那一步的同一件事;它在 5.5 里变成优势 A=Q−V(减去只依赖状态的 V),在 5.6 里变成 DPO 里的参考模型对数比率(把「奖励的绝对水平」换成「相对参考的改善」)(定理 5.4.3)。(✓ / △ / ×)
B8. PPO 的裁剪目标为什么能替代 TRPO 的 KL 约束?它比 TRPO 省下了什么?
解答
两者都只想达到一个目的:限制一次更新把策略推多远。TRPO 用硬约束 Es[KL(πold∥πθ)]≤δ(需要二阶近似、Fisher 矩阵、共轭梯度、线搜索);PPO 用 min(ρA^,clip(ρ,1−ε,1+ε)A^),在「继续外推」的两格把梯度归零、在另两格保留「拉回区间」的梯度,并保证 LCLIP≤LCPI(保守下界)。省下的是二阶信息与约束优化:只需一阶梯度、实现简单、对超参数更鲁棒(方法 5.5.2、定义 5.5.2 后的推导)。(✓ / △ / ×)
B9. 离线 RL 的困难为什么不是「数据少」?所有离线算法的思路可以归成哪一句话?
解答
因为数据外区域的估值误差无法被纠正,而 max 会主动挑选被高估的数据外动作:单步自举误差 ε 经 k 轮迭代会被放大到 ε/(1−γ)(γ=0.99 ⇒ 100 倍),而离线场景里没有新数据把它洗掉。所以整条技术路线的目标只有一个:在源头上不产生 ε——要么不查询数据外动作(IQL 用 expectile 上分位价值),要么主动把它们压低(CQL 的保守惩罚项)(定理 5.6.1、方法 5.6.1)。(✓ / △ / ×)
B10. reward hacking 为什么是必然的?两个可操作的控制手段是什么?
解答
因为你优化的是代理 J^ 而不是真实目标 J:只要 J^ 只在训练分布内与 J 一致,梯度就会把策略推向「J^ 高而 J 未必高」的区域,且优化强度越大偏差越大(真实偏好随优化强度呈「先升后降」,存在无法事先确定的最优停手点)。控制手段:① 独立验收——保留人评/独立基准(不与训练奖励同源)并按周期评估;② KL 约束 / 早停——限制偏离参考模型的程度,用 KL 曲线找拐点;配合奖励集成、数据迭代、行为审计(5.6.8、方法 5.6.4)。(✓ / △ / ×)
C1. 写出最优贝尔曼算子与它的压缩性;值迭代轮数怎么估?
解答
(TV)(s)=maxa[r(s,a)+γ∑s′P(s′∣s,a)V(s′)],∥TV−TU∥∞≤γ∥V−U∥∞(用 ∣maxaf−maxag∣≤maxa∣f−g∣ + 加权平均 ≤ 上确界)。误差界 ∥Vk−V∗∥∞≤γk∥V0−V∗∥∞,故 k=O(log(1/γ)log(1/ε))(γ=0.9,ε=10−6 ⇒ 约 174 轮)(定理 5.2.2)。(✓ / △ / ×)
C2. 写出 vπ 的矩阵解,并说出它的代价。
解答
记 rπ(s)=∑aπ(a∣s)r(s,a)、Pπ(s′∣s)=∑aπ(a∣s)P(s′∣s,a),则 vπ=(I−γPπ)−1rπ(γ<1 时 I−γPπ 可逆,且逆 = ∑kγk(Pπ)k)。代价:O(∣S∣3) 求逆,∣S∣=106 时不可行——所以工程上几乎从不真解方程,而是迭代或用采样替代求和(定理 5.2.1)。(✓ / △ / ×)
C3. 写出 ε-greedy 的期望奖励与探索税。
解答
E[r]=(1−ε)μ∗+εμˉ,Δ(ε)=μ∗−E[r]=ε(μ∗−μˉ)=ε⋅KK−1(μ∗−μˉ−)。算例:μ=(0.8,0.5,0.2)、ε=0.2 ⇒ μˉ=0.5、E[r]=0.74、税 =0.06(定理 5.1.1)。(✓ / △ / ×)
C4. 写出 TD 目标的偏差与方差结论(定理 5.3.1)。
解答
(i) 若 V=Vπ,则一步 TD 目标无偏:E[rt+1+γVπ(st+1)∣st=s]=Vπ(s)(代入贝尔曼期望方程);(ii) 若 V=Vπ,自举偏差满足 E[y^]−Vπ(s)≤γ∥V−Vπ∥∞;(iii) 与蒙特卡洛目标 Gt 构成偏差—方差的两端——小 γ 的 TD 收敛快、大 γ 更依赖值的准确性(定理 5.3.1)。(✓ / △ / ×)
C5. 写出过高估计的量级公式,并算 N=10,σ=1 与 N=16,σ=0.25。
解答
E[maxaεa]≈σ2lnN(N 个 i.i.d. N(0,σ2) 极值的 Gumbel 近似)。N=10,σ=1:2ln10≈2.15;N=100:≈3.03;N=16,σ=0.25:0.25×2ln16≈0.69。方向:噪声 σ 越大、动作数 N 越多,虚高越严重(定理 5.3.2、例 5.3.2)。(✓ / △ / ×)
C6. 写出 REINFORCE 的更新式与它的两个无偏性事实(因果性、基线)。
解答
∇θJ≈∑t=0T−1∇θlogπθ(at∣st)Gt,θ←θ+η∇θJ。两个无偏性:① 因果性 E[∇θlogπθ(at∣st)(G(τ)−Gt)]=0(用 Gt 不引入偏差,还降方差);② 基线 E[∇θlogπθ(at∣st)b(st)]=0(任意只依赖状态的 b,减它不改变期望)。用 A=Q−V 时就是「好动作抬、坏动作压」(方法 5.4.1、定理 5.4.2、定理 5.4.3)。(✓ / △ / ×)
C7. 写出 GAE 的递归实现式与「有效记忆」的估算。
解答
A^t=δt+γλA^t+1,A^T=0;实现上一次 for t in reversed(range(T)) 即可。γλ=0.99×0.95=0.9405,有效记忆约 1/(1−γλ)≈17 步。λ→0 更信 Critic(低方差高偏差),λ→1 更信实际回报(高方差低偏差)(定理 5.5.1、例 5.5.1)。(✓ / △ / ×)
C8. 写出 PPO 裁剪目标的四格结论(ε=0.2)。
解答
区间 [0.8,1.2] 内:f=ρA,梯度 =A^。梯度归零的两格:A>0 且 ρ>1.2(已抬过头)、A<0 且 ρ<0.8(已压过头)。仍活跃、方向为「拉回」的两格:A>0 且 ρ<0.8(继续抬高 ρ)、A<0 且 ρ>1.2(继续压低 ρ)。另有 LCLIP≤LCPI 逐点成立。数值例:(A=2,ρ=1.5)⇒min(3.0,2.4)=2.4 截断;(A=−2,ρ=0.5)⇒min(−1.0,−1.6)=−1.6 截断(定义 5.5.2、例 5.5.2)。(✓ / △ / ×)
C9. 写出 DPO 的三步推导骨架(闭式解 → 反解奖励 → 代入 BT)。
解答
① 对 maxπEπ[r]−βKL(π∥πref) 用拉格朗日法(约束 ∑yπy=1)得 π⋆∝πrefer/β,即 π⋆=Z(x)1πrefexp(r/β);② 反解 r(x,y)=βlogπrefπ⋆+βlogZ(x);③ 代入 Pr(yw≻yl)=σ(rw−rl)——两个 βlogZ(x) 因只依赖 x 而精确抵消,得 DPO 损失。若偏好对来自不同 prompt,Z 项无法抵消(定理 5.6.2、附录 C.13)。(✓ / △ / ×)
C10. 写出 GRPO 的组内优势与 DPO 的梯度(例 5.6.1 的数值)。
解答
GRPO:A^i=(ri−rˉ)/std(r);r=(1,0,1,0) ⇒ rˉ=0.5、std=0.5、A^=(1,−1,1,−1)(全对或全错时 std=0,该组无信号)。DPO:Δw=−1,Δl=−2,β=0.1⇒z=0.1,L=−logσ(0.1)≈0.644,∂L/∂Δw=−βσ(−z)=−0.0475、∂L/∂Δl=+0.0475(定理 5.6.3、例 5.6.1)。(✓ / △ / ×)
D1. 「奖励是目标的数值化,所以只要把业务目标写成一个数字,RL 就会去优化它。」
解答
错在把代理当目标。奖励是你写进环境的东西,策略优化的必然是你写的那个函数;二者不一致时策略会精确地利用缺口(5.6.8 的赛艇绕圈刷分就是最著名的图解)。正确做法:结果型奖励 + 独立验收指标 + 行为审计(方法 5.6.4)。(✓ / △ / ×)
D2. 「Q-learning 是 off-policy,所以我可以随便用旧数据、也不用担心样本来源。」
解答
前半对、后半错。off-policy 的合法性来自「目标用 max、不依赖行为策略」,所以复用旧数据是允许的;但收敛仍需要每个 (s,a) 被充分访问(否则 max 会把从未被采样、只是被估计得很高的动作当成最优),而且数据陈旧会带来分布偏差——这正是离线 RL 要专门处理的问题(5.3.3 的 think、5.6.1)。(✓ / △ / ×)
D3. 「Q 值一路变大说明学得好,曲线越漂亮模型越强。」
解答
错。Q 值膨胀既可能来自学习,也可能来自过高估计(max 的凸性副作用,量级 σ2lnN)。判断依据是回报曲线与独立评估,不是 Q 值曲线;尤其不要把「训练奖励」当验收指标(5.3 的 errata 第 5 条、方法 5.7.4)。(✓ / △ / ×)
D4. 「PPO 是 on-policy,所以一批数据只能用一次;要多次用就失去理论保证,结果必然变差。」
解答
不准确。PPO 用 ρ=πθ/πθold 做了重要性修正,因此可以在同一批数据上跑几个 epoch(论文常用 3–10)——这是「近似 on-policy」。但能跑几轮有上限,approx_kl 与 clip_frac 就是这个上限的仪表盘:KL 持续 >0.03 或裁剪比例长期 >50% 说明数据已严重 off-policy,必须重新采样(方法 5.5.4、5.5 的 errata)。(✓ / △ / ×)
D5. 「PPO 的裁剪会把越过区间的样本梯度全部清零,所以训练天然安全。」
解答
错两处:① 四个越界象限里只有两个梯度归零(A>0,ρ>1+ε 与 A<0,ρ<1−ε),另两个仍活跃且方向是「拉回区间」;② 被裁剪的是目标函数而非策略概率,且「∂f/∂ρ=0」不等于「该样本对参数无贡献」(ρ 本身仍依赖 θ)。还要用 clip_fraction 监控实际越界比例(定义 5.5.2 后的推导)。(✓ / △ / ×)
D6. 「基线是启发式,用了就会把偏差引进策略梯度;所以要么不用,要么必须用精确的 Vπ。」
解答
错。对任意只依赖状态的 b(s),期望贡献精确为 0(只用概率归一化),与 b 的形式无关;差别只在方差。「必须精确」也不成立——工程上用一个学出来的 Vϕ 就够(它同时当基线、当 GAE 的自举来源、当「是否值得做」的参照)。唯一的硬约束:b 不能依赖当前动作 at,否则证明失效、真的引入偏差(定理 5.4.3、5.4.5 的 errata)。(✓ / △ / ×)
D7. 「奖励整体乘以 10 倍,信号更强,RL 会学得更快。」
解答
错。奖励乘以常数会让梯度与噪声同时放大同倍数,信噪比不变——等价于把有效学习率乘了同倍数,通常只会让训练发散。正确做法是让奖励尺度与学习率、优势归一化一起定;优势归一化(batch 级标准化)就是为「让不同任务的学习率可比」准备的(5.4.7 即时自测 Q4、方法 5.7.1)。(✓ / △ / ×)
D8. 「DPO 是 RLHF 的近似版,省了奖励模型但效果必然差一点;而且它的损失只关心相对差距,所以一定会保持回答的绝对质量。」
解答
两处错。① 在「KL 正则目标 + Bradley–Terry」假设下两者等价(不是近似),唯一近似是「假设最优解在参数化策略族内」;差别在失败模式——RLHF 容易被奖励模型漏洞带偏,DPO 对标注噪声没有缓冲。② DPO 只约束相对差距:Δw 与 Δl 同时下降时损失反而更小,因此不保证绝对似然不下降(语言退化风险),评估不能只看 pref_acc(定理 5.6.2、例 5.6.1、5.6 的 errata)。(✓ / △ / ×)
D9. 「离线 RL 效果不好的原因是数据量不够;把日志规模扩大十倍就能追平在线算法。」
解答
错。离线 RL 的失败不是数据量问题,而是分布外动作的估值外推:单步误差被 1/(1−γ) 放大(γ=0.99 ⇒ 100 倍),而 max 会专门挑被高估的数据外动作,扩大数据集也改变不了「真实决策所需的 (s,a) 总有一部分在支撑集之外」。第一问应是「数据里有没有好决策的足够证据」(定理 5.6.1、5.6.2 的 think)。(✓ / △ / ×)
D10. 「我的 PPO 平均回报比别人高 5 分,所以我的改动更好;跑一个种子就够,因为曲线很平滑。」
解答
错。RL 对随机种子极度敏感,单条曲线在统计上几乎不提供信息;5 分的差值往往被区间宽度完全淹没(例 5.7.1:s≈23、5 种子时 95% 区间约 ±28,要分辨 5 分需约 142 个种子)。协议要求:独立评估种子 + 确定性策略 + 多回合 + 多种子均值与置信区间,并用「各种子淡线 + 中位数粗线」作图(方法 5.7.5、例 5.7.1)。(✓ / △ / ×)
- 打开 Anki → 新建卡组「DL-第 5 讲」;建议再建四个子卡组(定义 / 结论 / 公式 / 陷阱),便于按类复习。
- 逐条录入:每条卡片就是一行「问题 → 答案」(把
::: sol 里的内容去掉标记后当答案)。也可在纯文本编辑器里用 Tab 分隔成两列(字段 1 = 问题,字段 2 = 答案),保存为 UTF-8 的 .txt 后用「文件 → 导入」。
- 卡片的标注建议写成
K5.1、S5.2 这类目标编号(见自检表),导入时映射到 Anki 的 Tags 字段——这样按 tag:K5.* 过滤就能只刷某一条目标。
- 复习节点:当天 / 隔天 / 第 3 天 / 第 7 天(与自检表的判定配合使用)。
- 每轮只重做标 △ 与 × 的卡;✓ 的卡可以隔两轮再抽查一次,防止「背过就忘」。
- 陷阱卡(D 组)建议用 Anki 的 Cloze(填空) 类型:把错误说法里的关键词挖空,强迫自己写出「错在哪」而不是只选对错。