第 28 课 · 前沿研讨——非交换 HSP、碰撞问题、Welded Tree 与量子密码分析 · 模块四：应用与前沿专题

论文二·问题：碰撞与元素唯一性

  • 主信息：承诺差异 → 证据数量差 → 指数差 $N^{1/3}$ vs $N^{2/3}$
  • 命题框：collision——承诺 $f$ 一一 或 严格二对一，判定哪种情形（承诺问题）；element distinctness——无承诺，判定是否存在 $i \ne j$ 使 $f(i) = f(j)$（完全函数）
  • 推导步骤：
    1. 证据计数：二对一正实例恰有 $N/2$ 个碰撞对（每个输出值恰配成一对）；ED 最坏正实例只有唯一一对 $\{i^*, j^*\}$，其余 $N-2$ 个输出互异
    2. 生日界逐行推：已查 $t$ 个未碰撞时，第 $t+1$ 个样本不碰撞概率 $1 - t/(N-t) \approx 1 - t/N$ → $P_{\mathrm{no}} = \prod_{t<r}(1 - t/N) \approx \exp(-\sum_{t<r} t/N) = e^{-r(r-1)/2N}$
    3. 演算：$N = 10^6$，解 $e^{-c^2/2} = 1/2$ → $c = \sqrt{2\ln 2} \approx 1.18$ → $r \approx 1.18 \times 10^3$ 次查询即以 $1/2$ 概率撞出碰撞（常数 $c$ 与 $N$ 无关，这就是 $r = \Theta(\sqrt{N})$ 的含义）
    4. ED 经典下界：对抗论证——对手前 $N-1$ 次查询一律回答互异值（两种答案下都合法）→ 确定性算法必须查满 $\Theta(N)$；随机情形由 Yao 原则同阶
  • 结果框：经典基线 collision $\Theta(\sqrt{N})$、ED $\Theta(N)$；量子目标 $\sqrt{N}$→$N^{1/3}$、$N$→$N^{2/3}$——多项式级加速，但不是 Grover 平方根加速
类型definition-derivation