# Quantum Algorithm Zoo 覆盖审计

本页把教程范围与 [Quantum Algorithm Zoo](https://quantumalgorithmzoo.org/) 的当前源码逐项对齐。审计基准为 `stephenjordan/stephenjordan.github.io` 提交 `6bed0545e9a38c05c49685caeff9d61c1adb0007`（本地抓取日期：2026-08-30）。运行

```bash
python tools/audit_zoo.py /path/to/zoo/index.html --format markdown
```

可重建原始清单。该版本共有 **74 个算法条目、550 条参考文献记录**，参考文献编号最高为 551（缺号 347）。74 个条目实际引用 543 条记录；源码另有 3 个失效锚点和 4 个“显示编号与锚点编号不一致”的链接，写作时以论文标题和原始链接复核，不机械沿用错误编号。

验收状态：74 个 Zoo 条目均已有对应专篇或明确覆盖教程；路径全部纳入 Sphinx 导航，并以 warning-as-error 严格构建验证。

## 代数与数论（14 项）

| Zoo 条目 | 教程路径 | 状态 |
| --- | --- | --- |
| Factoring | [Shor 因数分解](../ch04-classic-algorithms/shors-algorithm-tutorial.md) | 已有 |
| Discrete-log | [Shor 离散对数](../ch04-classic-algorithms/shors-discrete-log-tutorial.md) | 已有 |
| Pell's Equation | [Pell 方程与主理想](../ch09-algebra-number-theory/pell-principal-ideal.md) | 已有 |
| Principal Ideal | [Pell 方程与主理想](../ch09-algebra-number-theory/pell-principal-ideal.md) | 已有 |
| Unit Group | [数域的单位群与类群](../ch09-algebra-number-theory/unit-class-groups.md) | 已有 |
| Class Group | [数域的单位群与类群](../ch09-algebra-number-theory/unit-class-groups.md) | 已有 |
| Gauss Sums | [Gauss 和估计](../ch09-algebra-number-theory/gauss-sums.md) | 已有 |
| Primality Proving | [量子素性证明](../ch09-algebra-number-theory/primality-proving.md) | 已有 |
| Solving Exponential Congruences | [指数同余方程](../ch09-algebra-number-theory/exponential-congruences.md) | 已有 |
| Matrix Elements and Multiplicity Coefficients of Group Representations | [群表示矩阵元与重数](../ch09-algebra-number-theory/representation-matrix-elements.md) | 已有 |
| Verifying Matrix Products | [矩阵乘积验证](../ch09-algebra-number-theory/matrix-product-verification.md) | 已有 |
| Subset-sum | [量子子集和](../ch09-algebra-number-theory/quantum-subset-sum.md) | 已有 |
| Decoding | [经典码量子译码](../ch16-cryptanalysis-coding/quantum-decoding.md) | 已有 |
| Quantum Cryptanalysis | [量子密码分析](../ch16-cryptanalysis-coding/quantum-cryptanalysis.md) | 已有 |

## 黑盒与查询算法（31 项）

| Zoo 条目 | 教程路径 | 状态 |
| --- | --- | --- |
| Searching | [Grover 搜索](../ch03-algo-basics/grover.md)、[振幅放大](../ch03-algo-basics/amplitude-amplification.md) | 已有 |
| Abelian Hidden Subgroup | [Abelian 隐藏子群](../ch10-hidden-structures/abelian-hidden-subgroup.md) | 已有 |
| Non-Abelian Hidden Subgroup | [非 Abelian 隐藏子群](../ch10-hidden-structures/nonabelian-hidden-subgroup.md) | 已有 |
| Bernstein-Vazirani | [Bernstein--Vazirani](../ch04-classic-algorithms/bernstein-vazirani-algorithm-tutorial.md) | 已有 |
| Deutsch-Jozsa | [Deutsch--Jozsa](../ch03-algo-basics/deutsch-jozsa.md) | 已有 |
| Formula Evaluation | [Boolean 公式求值](../ch11-query-complexity/formula-evaluation-span-programs.md) | 已有 |
| Hidden Shift | [隐藏平移问题](../ch10-hidden-structures/hidden-shift.md) | 已有 |
| Polynomial interpolation | [量子多项式插值](../ch10-hidden-structures/polynomial-interpolation.md) | 已有 |
| Pattern matching | [量子模式匹配](../ch11-query-complexity/pattern-matching.md) | 已有 |
| Ordered Search | [量子顺序搜索](../ch11-query-complexity/ordered-search.md) | 已有 |
| Graph Properties in the Adjacency Matrix Model | [邻接矩阵图算法](../ch12-quantum-graphs/adjacency-matrix-properties.md) | 已有 |
| Graph Properties in the Adjacency List Model | [邻接表与有界度模型](../ch12-quantum-graphs/adjacency-list-properties.md) | 已有 |
| Welded Tree | [Welded Tree](../ch12-quantum-graphs/welded-tree.md) | 已有 |
| Collision Finding and Element Distinctness | [碰撞与元素唯一性](../ch11-query-complexity/collision-element-distinctness.md) | 已有 |
| Graph Collision | [Graph Collision](../ch12-quantum-graphs/graph-collision.md) | 已有 |
| Matrix Commutativity | [交换性测试](../ch10-hidden-structures/commutativity-testing.md) | 已有 |
| Group Commutativity | [交换性测试](../ch10-hidden-structures/commutativity-testing.md) | 已有 |
| Hidden Nonlinear Structures | [隐藏非线性结构](../ch10-hidden-structures/hidden-nonlinear-structures.md) | 已有 |
| Center of Radial Function | [径向函数中心定位](../ch10-hidden-structures/radial-functions.md) | 已有 |
| Group Order and Membership | [群阶与成员关系](../ch10-hidden-structures/group-order-membership.md) | 已有 |
| Group Isomorphism | [群同构测试](../ch10-hidden-structures/group-isomorphism.md) | 已有 |
| Statistical Difference | [分布统计差异测试](../ch11-query-complexity/statistical-difference.md) | 已有 |
| Finite Rings and Ideals | [有限黑盒环与理想](../ch09-algebra-number-theory/finite-rings-ideals.md) | 已有 |
| Counterfeit Coins | [量子假币问题](../ch11-query-complexity/counterfeit-coins.md) | 已有 |
| Matrix Rank | [量子矩阵秩判定](../ch11-query-complexity/matrix-rank.md) | 已有 |
| Matrix Multiplication over Semirings | [半环矩阵乘法](../ch11-query-complexity/semiring-matrix-multiplication.md) | 已有 |
| Subset finding | [一般子集寻找](../ch11-query-complexity/subset-finding.md) | 已有 |
| Search with Wildcards | [通配符搜索](../ch11-query-complexity/search-with-wildcards.md) | 已有 |
| Network flows | [网络流与匹配](../ch12-quantum-graphs/network-flows-matchings.md) | 已有 |
| Electrical Resistance | [有效电阻量子算法](../ch12-quantum-graphs/electrical-resistance.md) | 已有 |
| Junta Testing and Group Testing | [Junta 与 Gapped Group Testing](../ch11-query-complexity/junta-group-testing.md) | 已有 |

## 逼近与模拟（11 项）

| Zoo 条目 | 教程路径 | 状态 |
| --- | --- | --- |
| Simulating Quantum Hamiltonian Dynamics | [Trotter 化](../ch05-hamiltonian-qsp/trotterization-tutorial.md)、[Qubitization](../ch05-hamiltonian-qsp/qubitization-tutorial.md) | 已有 |
| Preparing Eigenstates and Thermal States | [VQE](../ch08-qml/vqe-tutorial.md)、[Gibbs 态](../ch06-scientific-computing/gibbs-state.md) | 已有 |
| Knot Invariants | [量子结与链环不变量](../ch13-topology-statistical-physics/knot-invariants.md) | 已有 |
| Three-manifold Invariants | [三维流形不变量](../ch13-topology-statistical-physics/three-manifold-invariants.md) | 已有 |
| Partition Functions | [配分函数量子算法](../ch13-topology-statistical-physics/partition-functions.md) | 已有 |
| Zeta Functions | [有限域曲线 Zeta 函数](../ch13-topology-statistical-physics/zeta-functions.md) | 已有 |
| Weight Enumerators | [权枚举式量子算法](../ch13-topology-statistical-physics/weight-enumerators.md) | 已有 |
| Simulated Annealing | [量子模拟退火](../ch13-topology-statistical-physics/quantum-simulated-annealing.md) | 已有 |
| String Rewriting | [字符串重写](../ch13-topology-statistical-physics/string-rewriting.md) | 已有 |
| Matrix Powers | [稀疏矩阵幂对角元](../ch13-topology-statistical-physics/matrix-powers.md) | 已有 |
| Probabilistic Sampling | [量子概率采样](../ch13-topology-statistical-physics/probabilistic-sampling.md) | 已有 |

## 优化、数值与机器学习（18 项）

| Zoo 条目 | 教程路径 | 状态 |
| --- | --- | --- |
| Polynomial Quantum Speedups for Constraint Satisfaction Problems | [Constraint Satisfaction](../ch14-optimization-numerics/constraint-satisfaction.md) | 已有 |
| Adiabatic Algorithms | [绝热量子算法](../ch14-optimization-numerics/adiabatic-optimization.md) | 已有 |
| Quantum Approximate Optimization | [QAOA](../ch08-qml/qaoa-tutorial.md) | 已有 |
| Gradient Estimation and Learning Polynomials | [量子梯度估计](../ch15-learning-spectral/gradient-estimation.md) | 已有 |
| Semidefinite Programming | [量子半定规划](../ch14-optimization-numerics/semidefinite-programming.md) | 已有 |
| Convex Optimization | [量子凸优化](../ch14-optimization-numerics/convex-optimization.md) | 已有 |
| Optimization by Decoded Quantum Interferometry | [Decoded Quantum Interferometry](../ch14-optimization-numerics/decoded-quantum-interferometry.md) | 已有 |
| Linear Systems | [现代量子线性求解器](../ch06-scientific-computing/quantum-linear-solver-tutorial.md) | 已有 |
| Estimating Determinants and Other Spectral Sums | [谱函数求和](../ch15-learning-spectral/spectral-sums.md) | 已有 |
| Solving Linear Differential Equations | [量子 ODE](../ch06-scientific-computing/quantum-ode-solver-tutorial.md) | 已有 |
| Solving Nonlinear Differential Equations | [量子 ODE](../ch06-scientific-computing/quantum-ode-solver-tutorial.md) | 已有 |
| Quantum Dynamic Programming for path-in-the-hypercube | [量子指数时间动态规划](../ch14-optimization-numerics/quantum-dynamic-programming.md) | 已有 |
| Computing the Principal Eigenvector | [主特征向量](../ch15-learning-spectral/principal-eigenvector.md) | 已有 |
| Approximating Nash Equilibria | [零和博弈近似均衡](../ch14-optimization-numerics/nash-equilibria.md) | 已有 |
| Lattice Problems by Filtering | [格问题量子过滤](../ch14-optimization-numerics/lattice-filtering.md) | 已有 |
| Double-bracket quantum algorithms | [Double-Bracket 量子算法](../ch14-optimization-numerics/double-bracket-algorithms.md) | 已有 |
| Machine Learning | [量子机器学习算法谱系](../ch15-learning-spectral/machine-learning-zoo.md) | 已有 |
| Tensor Principal Component Analysis | [Tensor PCA](../ch15-learning-spectral/tensor-pca.md) | 已有 |

## 参考文献处理规则

每篇教程末尾列出它覆盖的 Zoo 编号、原论文题目及稳定链接；正文必须区分查询复杂度、门复杂度、数据装载成本和输出读出成本。对于 Zoo 中已被改进、撤回或“去量子化”的结论，同时引用后续论文并明确适用假设。只把“在某个输入模型下优于当前最佳经典算法”写成速度提升，不把 BQP 完备性或启发式实验自动表述为实用量子优势。