两大谱系：振幅放大与隐子群
先备导航：你需要 031~039（批四全部六件武器）、034（谱系规律）。 下一篇预告：041（批五开篇）。
先备导航：你需要 031~039（批四全部六件武器）、034（谱系规律）。
下一篇预告：041（批五开篇）。
两大谱系：振幅放大与隐子群
生物学家面对几百万个物种，干的第一件事是分类：界、门、纲、目——纷繁归于秩序。本批一口气发了六件量子算法（DJ、BV、Grover、Simon、QFT、Shor），收官这一篇干同一件事：退后一步，把动物园画成一张地图。
你会看到，六件武器其实只来自两个族系；看清族系，比多记十个算法都值——它回答的是那个更根本的问题：量子计算机到底擅长什么、不擅长什么。
谱系一：振幅放大族——"把对的答案摇大"
族长：Grover。家传武功一套（033 篇）：标记（把目标箭头翻面）→ 绕平均反射（把离群兑换成身高）→ 重复 √N 次。
DJ 和 BV 是这个族的远祖——三篇合起来看，是同一招的渐进演化：
- DJ：把全局性质"恒等与否"用干涉读出来（一次提问，0/1 判决）；
- BV：把"读"扩展到 n 比特（一次提问，整串出炉）——但承诺锁死在特殊黑箱上；
- Grover：把"读性质"升级成"放大目标"——不再指望一次读出，改为一摇长一点、摇 √N 次，任意黑箱通用。
这一族的势力范围远不止搜索。它的一般化技术（名字就叫振幅放大）是量子版的"蒙特卡洛加速器"：任何"采样求平均/求最值/估概率"的活儿，都能吃下平方根加速——批五的优化算法、模拟算法里的不少技巧，都是这位族长的远房子弟。"把对的摇大"是量子算法里最通用的杠杆。
谱系二：隐子群族——"把隐藏的对称翻出来"
族长：量子傅里叶变换（036 篇）。两位已登台的战将：Simon（035）与 Shor（037/038）。
这一族的共同预设：问题里藏着一个对称结构——某个"平移"使得结构周期重演。数学家把这类问题统一叫隐藏子群问题（名字不必背，白话就是"答案里藏着重复，找出重复的节奏"）：
- Simon：节奏是比特串的异或平移（x 与 x⊕s 同答案）；
- Shor：节奏是整数循环的周期 r（幂序列每隔 r 步重演）；
- QFT：两场仗用的是同一台发动机——换轴机把重复结构翻成频率尖峰（036 篇），每个数学世界配一副自己的傅里叶变换。
两族对照，一张表：
| 振幅放大族 | 隐子群族 | |
|---|---|---|
| 核心动作 | 标记→绕平均反射→重复 | 换轴（QFT）把对称翻成频率 |
| 承诺强度 | 弱（任意黑箱） | 强（自带对称结构） |
| 加速幅度 | 多项式（√N 天花板） | 指数级 |
| 登台代表 | Grover（DJ/BV 远祖） | Simon、Shor |
| 现实成果 | 搜索、采样、优化加速 | 密码分析、相位估计、化学模拟 |
地图上还空着的地方
诚实边界三则，免得地图变成宣传画：
一，隐子群族有未能攻克的疆域。发动机 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 见。
#量子计算 #从硬币到纠错 #量子算法谱系 #振幅放大