BQP 在哪：量子复杂度的位置感

先备导航：你需要 033（Grover 的平方根极限）、037~039（Shor 与 RSA）、040（两大谱系）、005（"指数并行"误会）。

下一篇预告：082《优势攻防战：采样难题与经典模拟的猫鼠游戏（2026-11 视角）》。

BQP 在哪：量子复杂度的位置感

给一座城市画"难度地图"：海拔代表解题难度。东边的平原是排序、加法、乘法——人人秒解；西边的山脊是旅行商那类组合爆炸——验证一个答案容易，找一个答案要天荒地老。量子计算机在这张地图上住在哪？

这个问题有一门专门的学问（计算复杂度理论）和一个专门的答案记号：BQP——"量子机在一杯咖啡时间里能干完的活"的全集。本篇不用公式，用这张地图讲清量子计算的真实疆域——它比你想象的小，也比营销稿里的可靠得多。

先给经典世界定位

横轴先画经典的：

• P 类（平原）：经典机在多项式时间能解的问题——排序、查找、算术。快，且随规模增长得体面。
• NP 类（山地）：答案容易验证但未必容易找到的问题——旅行商、布尔可满足。山有多高没人知道（"P 与 NP 是否相等"是数学千年悬案——经典地图自己就有一大块没测绘）。

量子平原已勘定的边界

已知的地块关系，三条（都是数学证明，不是猜测）：

一，经典平原创括在量子平原内（P ⊆ BQP）：量子机能模拟经典机（030 篇），经典能干的量子都能干——量子平原至少有一整个 P 的地盘。

二，量子平原多出了新地块：因式分解（Shor，037）住在 BQP 里，而它不在已知任何经典多项式算法的辖区——039 篇 RSA 的威胁正是这块新地皮。这是"量子平原大于经典平原"的唯一实锤级证据（也是整个行业的故事起点）。

三，量子平原有个天花板：BQP 不会超过"经典机器用天量内存慢慢算"的范围（PSPACE 为界）——量子不是魔法，它没有跳出经典宇宙的账本。

最大的空白：量子能不能爬 NP 的山

地图上最大的一块虚线区：BQP 与 NP 的关系——至今没人知道。量子机能不能高效解旅行商这类 NP 完全问题？

主流猜想：不能。证据不是哲学，是本专栏拆过的两块硬货：

• 033/034 篇：Grover 搜索只有平方根加速——N 的遍历压到 √N，仍是"随规模平方级增长"——多项式层级的改善，翻不了指数的山；
• 040 篇：量子算法两大谱系——振幅放大（多项式加速）与隐子群（指数加速）。三十年来，指数级的杀器只在隐子群结构的问题上出现（因式分解、离散对数）——而 NP 完全问题至今没有找到可利用的周期结构。

地图的意义

这张"难度地图"是本专栏后半程的骨架：量子计算的真实故事不是"什么都能算"，而是"在经典平原旁边，开垦出一片边界清楚的新平原"——平原上新地块越多（082 篇的采样问题、040 篇的隐子群家族），量子产业的地基越厚。091 篇之后的实战，跑的都是已勘定地块上的活。

089 篇的开放问题清单里会正式收录"量子与 NP 的边界"——它和 P 与 NP 一样，可能要等下一位天才。

把类比拆掉

难度地图借了哪里：

• 不像之一：真实地图是测绘出来的实线；复杂度地图虚线多于实线——类与类的包含关系本身就是未解数学（P 与 NP 是千年难题，BQP 与 NP 的关系连猜想都未收敛）。"住哪"有时是"猜哪"。
• 不像之二：海拔是连续的坡；复杂度是离散的类——一个问题的归属是"在/不在"的逻辑判断，没有"半山腰"。地图上平滑过渡的直觉，在复杂度世界失效。

带走的行李

1. BQP=量子平原：量子机多项式时间的解界；三条已知边界——含全部 P、新增因式分解（Shor 实锤）、天花板在 PSPACE。 2. 与 NP 的关系是最大空白：主流猜想"爬不了 NP 的山"——Grover 平方根（033）与两大谱系（040）是地图证据；"量子解组合优化"类新闻先套这个滤镜。 3. 地图是骨架：量子产业的真实地基=已勘定地块的多少——本专栏后半程（082 采样、091 实战）都住在勘定地块上。

下一站的钩子：已勘定地块上打过的"量子优势"战役，成色如何？"九章"们的采样优势与经典模拟器的猫鼠游戏——为什么优势宣言屡屡被"追平"，这场攻防战公平吗？082《优势攻防战：采样难题与经典模拟的猫鼠游戏（2026-11 视角）》。

#量子计算 #从硬币到纠错 #BQP #复杂度