1. 确定性下界：存在平衡 f 使任意 2ⁿ⁻¹ 个查询全返回 0（取 0 的那一半恰被查遍）→ 前 2ⁿ⁻¹ 次无定论；第 2ⁿ⁻¹+1 次必分晓
2. 随机错误来源：仅当 f 实为平衡而 k 次抽样恰好全同；给定平衡，k 次全同概率 ≤ 2^(1−k)（k=2 的精确值为 (2ⁿ⁻¹−1)/(2ⁿ−1)）
3. 演算 n=4、k=2：(2³−1)/(2⁴−1) = 7/15 ≈ 0.467 ≤ 1/2 ✓
4. 先验各半 → 规则总错误率 ≤ ½·2^(1−k) = 2^(−k)；反演：要错误率 ε=1%，取 k=7（2⁻⁷ = 1/128 ≈ 0.78%）→ k = O(log(1/ε))
5. 规模演算：n=10 → 2⁹+1 = 513 次；n=100 → 2⁹⁹+1 ≈ 6.3×10²⁹ 次