先备导航：你需要 031（DJ 模板与相位回踢）、016（干涉）、021/022（H、CNOT）、024（电路图）。
下一篇预告：034《为什么只有平方根加速：Grover II 的干涉配平》。

百万抽屉千次摇：Grover I

一柜子一百万个抽屉，其中一个藏着钥匙。经典办法朴素而痛苦：一个个开——平均要开五十万次，最坏一百万次。

有没有更快的？如果抽屉毫无规律（没有编号、没有索引、黑箱一个），经典再聪明的办法也就是数数——这是"无结构搜索"的天花板。1996 年提出的 Grover 算法给出的量子答案是：

约一千次。

不是一次（032 篇那种魔法只属于特殊承诺问题），是一千次——一百万的平方根。千倍加速，而且是严格的数学保证（034 篇证明这已是物理允许的极限）。本批前两篇练的"铺开-回踢-收网"模板，在这里第一次接到人间刚需上。

第一步：把一百万个抽屉铺成一张账本

老开场（021 篇"一切算法的第一步"）：n 个比特过 H，账本上出现 2^n 支等长箭头——一百万个抽屉全部同场，每格振幅 1/√N（N=抽屉数）。

此刻去测量，每格概率 1/N——盲开一次，命中百万分之一。均匀叠加是"所有抽屉同时在场"，不是"钥匙自己浮出来"（005 篇的误会请继续拦着）。钥匙此刻淹没在均匀里，接下来全部戏份，就是把它从均匀里摇出来。

一记完整的"摇"：两拍

Grover 的每一次迭代（口语叫"摇一次"）由两拍组成，恰好是模板的两个动子：

**拍一：标记（相位回踢上岗）。**把黑箱"是不是钥匙"做成量子门（031 篇的 U_f 配 |−⟩ 辅助线），作用一次。效果精确而克制：钥匙那格的箭头翻个面（乘 −1），其余九十九万九千九百九十九格纹丝不动。

翻面之后账本上是什么？一片朝上的箭头里，混着一支朝下的。测量还是什么也看不见——概率只认箭头长度（016 篇），翻面不改长度。标记不产生信号，标记是埋雷。

**拍二：扩散（绕平均翻转）。**第二拍不碰黑箱，是一组固定门，几何动作一句话：把每支箭头关于"全体箭头的平均位置"做一次反射。

画面感在这里：均匀账本里，绝大多数箭头就停在平均位置附近（它们自己就是平均的构成者）；唯独钥匙那支，被拍一翻到了平均的"另一侧"，离平均的距离是别人的两倍。反射一执行——离平均远的，被甩到对面更远处；贴着平均的，几乎原地不动。翻译成振幅：钥匙格的振幅增大了一点点，其余每格摊薄了一点点（增量约 2/√N，微小但方向精确）。

这就是"摇"的全部：**拍一给钥匙单独制造"离群"，拍二把离群兑换成身高。**一次摇，钥匙振幅从 1/√N 长到约 3/√N——从"百万分之一"到"万分之九"，翻了九倍，可绝对值还是小得可怜。

千次摇成：荡秋千的逻辑

一次长 2/√N，摇两次再长一点……像荡秋千：每摇一次推一把，累积成大振幅。摇到约 (π/4)√N 次时，钥匙格的振幅逼近 1、其余格的总和逼近 0——此时测量，几乎必中。一百万抽屉：(π/4)×1000 ≈ 785 次，量级"约千次"；十亿抽屉？约 2.5 万次——平方根的魔法，规模越大越惊人。

两件工程事实，先记下（034 篇展开）：

**一，摇的次数要算准，不能贪。**秋千推过头会回落——摇过 (π/4)√N 次，钥匙振幅反而开始下降。"何时收手"是算法的一部分，不是工程细节。

二，√N 是物理的底线，不是实现得不好。数学已经证明：任何量子算法解无结构搜索，黑箱调用次数不可能少于 √N 量级——Grover 不是"最快的已知"，是"可能的极限本身"。为什么偏偏是平方根？这是下一篇的全部内容。

它该用在哪：一个诚实的对照

千倍加速落进现实前，先对照一下"经典对手"是谁。若"一百万抽屉"是一张有索引的数据库表，经典查询按索引直达，一次命中——Grover 反而绕远。Grover 的正确战场是没有结构可利用的搜索：

• 黑箱函数：f 只有"喂输入、报是否"的接口，内部不可索引；
• 解空间扫描：密码学暴力破解（第八批 063 篇：Grover 把对称密钥的有效长度砍半——防御方案是密钥加倍）、约束满足问题、逆向工程参数。

一句话：**抽屉柜越"无理"，Grover 越值钱；抽屉柜越"有理"（有结构），经典索引越快。**买加速器之前先看对手的赛道，这是算法工程的通则。

把类比拆掉

秋千类比借了哪里：

• 不像之一：秋千的推力来自人手、每次同向；Grover 的"推力"来自两拍反射的几何——拍一的翻面只对钥匙有效（离群），拍二的扩散只对"离群"敏感（贴平均者不动）——推力是有选择性的。
• 不像之二：秋千越高越好推到无限；振幅有 1 的硬顶（016 篇总账守恒），摇过头反而回落——最优停点在 (π/4)√N，"多摇总没错"在量子世界是错的。

带走的行李

1. Grover=模板接刚需：H 铺开全部抽屉 →（拍一）黑箱把钥匙箭头翻面——相位回踢制造离群 →（拍二）绕平均反射把离群兑换成振幅。
2. 每摇一次长 2/√N，摇 (π/4)√N 次近乎必中——一百万抽屉约千次；摇过头会回落，停点是算法的一部分；√N 已被证明是量子极限（034 篇）。
3. 战场判断：无结构搜索（黑箱、暴力破解、解空间扫描）才轮得到 Grover；有索引的经典查询一次直达——加速器值不值钱，先看对手赛道。

下一站的钩子：为什么偏偏是平方根？为什么不能一次定位、也不能三次方加速？答案藏在一笔"干涉配平"的账里——量子算法的加速幅度，被账本几何管得死死的。034《为什么只有平方根加速：Grover II 的干涉配平》。

#量子计算 #从硬币到纠错 #Grover算法 #平方根加速