先备导航：你需要 031~039（批四全部六件武器）、034（谱系规律）。
下一篇预告：041（批五开篇）。

两大谱系：振幅放大与隐子群

生物学家面对几百万个物种，干的第一件事是分类：界、门、纲、目——纷繁归于秩序。本批一口气发了六件量子算法（DJ、BV、Grover、Simon、QFT、Shor），收官这一篇干同一件事：退后一步，把动物园画成一张地图。

你会看到，六件武器其实只来自两个族系；看清族系，比多记十个算法都值——它回答的是那个更根本的问题：量子计算机到底擅长什么、不擅长什么。

谱系一：振幅放大族——"把对的答案摇大"

**族长：Grover。**家传武功一套（033 篇）：标记（把目标箭头翻面）→ 绕平均反射（把离群兑换成身高）→ 重复 √N 次。

DJ 和 BV 是这个族的远祖——三篇合起来看，是同一招的渐进演化：

• DJ：把全局性质"恒等与否"用干涉读出来（一次提问，0/1 判决）；
• BV：把"读"扩展到 n 比特（一次提问，整串出炉）——但承诺锁死在特殊黑箱上；
• Grover：把"读性质"升级成"放大目标"——不再指望一次读出，改为一摇长一点、摇 √N 次，任意黑箱通用。

族系的武功要诀一句话：答案的振幅太小？就造一台只对"对的答案"做功的机器，把概率从千分之一摇到接近一。加速幅度固定在多项式级（平方根是天花板，034 篇）——族规如此：承诺弱、通用强、加速温和。

这一族的势力范围远不止搜索。它的一般化技术（名字就叫振幅放大）是量子版的"蒙特卡洛加速器"：任何"采样求平均/求最值/估概率"的活儿，都能吃下平方根加速——批五的优化算法、模拟算法里的不少技巧，都是这位族长的远房子弟。"把对的摇大"是量子算法里最通用的杠杆。

谱系二：隐子群族——"把隐藏的对称翻出来"

**族长：量子傅里叶变换（036 篇）。**两位已登台的战将：Simon（035）与 Shor（037/038）。

这一族的共同预设：问题里藏着一个对称结构——某个"平移"使得结构周期重演。数学家把这类问题统一叫隐藏子群问题（名字不必背，白话就是"答案里藏着重复，找出重复的节奏"）：

• Simon：节奏是比特串的异或平移（x 与 x⊕s 同答案）；
• Shor：节奏是整数循环的周期 r（幂序列每隔 r 步重演）；
• QFT：两场仗用的是同一台发动机——换轴机把重复结构翻成频率尖峰（036 篇），每个数学世界配一副自己的傅里叶变换。

族规与谱系一正好相反：承诺强（问题必须自带对称）、加速猛（指数级）、现实成果豪华（公钥密码的最终章、批五要讲的化学基态能量——相位估计正是这台发动机的第二条产线）。

两族对照，一张表：

034 篇的谱系规律（承诺换速度）在此升格成整张地图的地形规律：族的边界，就是"通用性"与"暴力加速"之间的兑换率。

地图上还空着的地方

诚实边界三则，免得地图变成宣传画：

一，隐子群族有未能攻克的疆域。发动机 QFT 在"比特串群"和"整数循环群"上有高效电路，但在更一般的群（比如图对称的群）上，高效电路至今没造出来——一些著名的候选难题（如图同构）就卡在这条疆界上：问题看着对称、发动机却接不上。这是本专栏第九批"未解之谜"的正式议题之一。

**二，振幅放大族的加速救不了绝境。**面对"要在 2^n 个候选里穷举"的最难问题（复杂度课上叫 NP 难），Grover 只给平方根——2^1000 变 2^500，绝望换了个姿势绝望。**量子不是万能加速器：无对称可翻、无结构可放大时，它和你一样只能数数。**046 篇会用复杂度类的尺子把这条边界量得更准。

**三，两族的归纳是今日教科书的地形，不是宇宙的宪法。**未来出现第三族（比如专攻模拟的变分一族已在批五候场）并不奇怪——分类学画的是已知物种，不是未来物种。

把类比拆掉

"族谱"类比借了哪里：

• 不像之一：族谱靠血缘遗传，算法族靠可验证的技术共性（同一台发动机、同一套武功）——共性是数学事实，不是家族传说。
• 不像之二：物种灭绝不复活，算法可以"返祖升级"——DJ 的老招式被 Grover 重新封装上市，谱系一内部的传承是活着的。

带走的行李

1. 量子算法两族：振幅放大（弱承诺、√N 天花板、"把对的摇大"——通用杠杆）与隐子群（强承诺、指数加速、"把对称翻出来"——豪华成果）；DJ/BV/Grover 归前族，Simon/QFT/Shor 归后族。
2. 地形规律：通用性与加速幅度此消彼长（034 谱系规律的全图版）；无结构绝境里量子只给绝望的平方根——它擅长的是"有对称可翻"的世界。
3. 地图有空地：一般群的量子傅里叶变换（图同构等）尚未攻克；新族系仍在涌现——分类是开放的。

**批四到此收官。**六件武器、两大族系、一张地图——从"铸币机辨作弊"到"密码学的最终章"，本批走完了量子算法世界的主干道。批五开篇，族长的通用名片要正式立传：相位估计——它既是 Shor 的心脏，也是化学家量分子能量的听诊器，还是整座"量子应用"大厦承重最多的一根梁。041 见。

#量子计算 #从硬币到纠错 #量子算法谱系 #振幅放大