1. 三类形式定义：P——确定性经典、多项式时间；BPP——概率经典、Pr[答对] ≥ 2/3；BQP——量子、Pr[答对] ≥ 2/3
2. D-J 分离的准确表述：查询复杂度模型下确定性 2ⁿ⁻¹+1 次 vs 量子 1 次（指数分离）；不是电路复杂度意义上的分离
3. 演算 D-J ∈ BPP：要错误率 ≤ 1/3，取 k=2——2⁻² = 1/4 ≤ 1/3 ✓（常数次随机查询即达 BPP 标准）
4. 边界：D-J 证不出 P ⊊ BQP；真正撕裂 BQP 与 BPP 的是我们相信 ∉ BPP 的问题（Shor 因数分解，第 14 课）