先备导航:你需要 044(VQE 的教练-运动员分工)、033(Grover 的两拍)、021/022(H、CNOT)、016(干涉)。
下一篇预告:046《指数加速与三个陷阱:HHL》。
组合优化的量子尝试:QAOA
先出一道题:班级拍合影,同学分成两队站两边。名单上有一批"闹别扭的对子",分队规则只有一条:闹别扭的两人要分开站,分开的别扭对越多越好。
十个人,手算都行;一万个人、五万对别扭关系呢?这类"点线分堆"的问题(行话叫 Max-Cut:给一张图,把点分两组,让跨组的边最多)是组合优化的入门第一题,也是出了名的经典绝境——没有已知的高效精确算法,实务里全靠启发式与近似。
上一篇 VQE 的"教练-运动员"合租模式,能搬来试试吗?能——搬来的是QAOA(量子近似优化算法)。它用同一纸分工协议,但多了一层巧思:运动员的整套动作,不从人手里来,从问题剧本里直接长出来。
电路从问题里长出来
回忆 VQE:教练拧的是"通用试探电路"的参数——电路本身是设计者造的。QAOA 的不同在运动员这边:
**第一拍,铺开。**每个"分法"编成一个比特串(人 i 站左队=0、右队=1),H 铺开——全部分法同场(2^n 支箭头,一百万人的分法也在场)。
**第二拍,问题剧本上场。**把"别扭对分开=好"写成一份能量剧本(042 篇的语言:跨队的每条边减一分,剧本=负的跨边数),做成量子门作用一轮——效果与 Grover 的拍一同宗:好分法的箭头被踢上相位标记(好=转得多)。
第三拍,混合。再来一轮"搅动"门——把各分法的振幅互相掺混(本质是 H 们加两比特门),让"好分法"的相位标记转化成振幅优势。
第二、三拍交替重复 p 轮(p 是层数,教练参数之一),最后测量——拿到的比特串就是一个"不错的分法"。看明白了吗:铺开(Grover 拍零)、标记(拍一)、转化(拍二的近亲)——QAOA 本质上是给 Grover 装上了可调旋钮:每一拍演多久、演几轮,全交给教练的经典优化去拧。034 篇说过"承诺越强加速越大",QAOA 的位置在这条谱系上很微妙:它放弃了 Grover 的"固定最优舞步",换来了"问题结构直接长进电路"的结构感。
成绩单:先报忧,再报喜
按专栏惯例,忧在喜前(2026-11 视角):
忧——目前打不过经典最强。最浅的一层(p=1)QAOA 对 Max-Cut 有精确的近似比保证:平均能拿到最优解的约 69%;而经典侧最强的近似算法(基于随机化与几何的巧思)达到 87.8%,且跑在你家笔记本上。加深层(p 增大)理论上限更高,但贫瘠高原(044 篇坎一)和经典的追赶者(模拟退火、张量网络——这些名字会一直赢下去)在两侧夹击。"QAOA 在实用优化上证明量子优势"这件事,2026 年尚未发生。
喜——范式与桥梁。一,"问题剧本直接长成电路"的设计范式已立住:比 VQE 的通用试探电路多一层"结构感",p 层交替的骨架可以套任何"能写成能量剧本"的优化问题(物流、排班、金融组合——工业界最广的需求面)。二,理论侧 QAOA 是一座桥:p 趋于无穷时它收敛到绝热演化(另一条"慢慢变"的算法路线,第九批还会遇到),把变分、绝热、振幅放大三条线缝在了一起。
所以 QAOA 的准确定性是标题那两个字:尝试。它代表"量子机器眼下就能参与的优化姿势",不代表"已经赢"。
与 VQE 的对账
并排看,两兄弟的差异一句话说清:
- VQE:电路通用(人造试探电路),问题在能量剧本里——化学当道;
- QAOA:电路问题自带(交替层直接从剧本导出),参数只剩"演多久"——优化当道。
共同点也是一句话:都是"浅电路+经典优化"的合租户——都活在 NISQ 时代,都受贫瘠高原管辖,都要和经典对手赛跑。批五接下来两篇(046 线性方程组、047/048 机器学习)会反复遇到这组张力:定理上的指数优势与含噪现实里的落地,隔着一整条第六批的鸿沟。
把类比拆掉
"动作从剧本里长出来"借了哪里:
- 不像之一:剧本不会自己变成电路——"能量剧本→量子门"的翻译是人工设计的编译步骤,翻译质量有高下(好翻译能让浅层多攥住结构,坏翻译白跑);"直接长出来"省的是设计自由度,不是省了人。
- 不像之二:分法的好坏在测量前不存在(016 篇的账本规矩)——QAOA 不"暗中已经算出好分法再显示给你",它靠的是"好分法的振幅被 p 轮交替慢慢放大、测量时概率占优"。测量一次只出一个分法,"最优分法"要靠重复测量统计里冒头。
带走的行李
- QAOA=给 Grover 装可调旋钮:H 铺开 → (问题剧本标记相位 + 混合转化振幅)× p 层 → 测量取分法;电路结构从问题直接导出,"演多久"交给经典教练。
- 成绩单诚实版:p=1 对 Max-Cut 拿 69%,经典最优近似 87.8%——量子尝试尚未变胜利;价值在范式(剧本长成电路)与桥梁(连通变分/绝热/振幅放大)。
- 与 VQE 同族:浅电路+经典优化+NISQ 生存;优化是工业最广需求面,但"非它不可"尚未实证(048 篇展开)。
下一站的钩子:变分路线是"近似换现实"。下一篇换回"定理路线":解线性方程组,量子有指数级加速的定理——HHL。但这个定理附带着三个著名陷阱,每一个都够把兴奋泼回地面。**"指数加速"四个字,第一次需要配着说明书读。**046《指数加速与三个陷阱:HHL》。
#量子计算 #从硬币到纠错 #QAOA #组合优化
讨论回复
加载中...正在加载回复...
智谱 GLM-5 已上线
我正在智谱大模型开放平台 BigModel.cn 上打造 AI 应用,智谱新一代旗舰模型 GLM-5 已上线,在推理、代码、智能体综合能力达到开源模型 SOTA 水平。