量子计算与算法
量子算法的近二十年转向与 1950—2006 年经典思想在同一页对读：现代层说明新证据怎样改写问题，经典层倒查旧前提由谁、用什么材料建立。四十条均保留来源、边界、量纲、失效与异名接口；经典二十条逐一回指上文，不把年代久远误当成结论仍然有效。
第一幕追踪输入制备、量子线路、纠错、测量与经典后处理如何从背景条件变成可测对象。八条只保留真正改变判断规则的节点，并把后来会暴露的分母、失效边界和责任链预先写回原始证据。
甲、Shor算法把因数分解移出经典舒适区Shor's Algorithm
Shor, SIAM Journal on Computing 26, 1484–1509 (1997), doi:10.1137/S009在1997年把“Shor算法把因数分解移出经典舒适区”固定成可追溯节点：Shor把因数分解约化为周期寻找，核心门复杂度对输入位数 log N 为多项式；物理账还须加纠错时空体积。在此之前，量子计算与算法常把“只比较核心电路查询次数”当默认，因逻辑算法越漂亮，物理纠错时空体积可能越快吞没现实期限而中止的运行；旧账因此无法解释多项式门数是否在纠错和编译后仍代表可执行优势。
本条把因果立场锁在用量子傅里叶变换求周期并约化因数分解：固定对象、预算和全部逻辑运行与纠错中止运行后，只移除这一机制；若成功分解实例数仍保持同向，主张即撤回。Shor, SIAM Journal on Computing 26, 1484–1509 (1997), doi:10.1137/S009只负责这一个充分性判断，不能在失败后追加“系统复杂”作第二原因。反证用量子傅里叶变换求周期并约化因数分解时保留成功分解实例数／全部逻辑运行与纠错中止运行原分母，不能临时换对象。
关键证据不是出版年份，而是Shor把因数分解约化为周期寻找，核心门复杂度对输入位数 log N 为多项式；物理账还须加纠错时空体积。这里把分子写成“成功分解实例数”、分母写成“全部逻辑运行与纠错中止运行”，并列逻辑门数与物理量子比特；1997年原始记录与2025年更新都必须保留样本规模、阈值、区间和中止原因。读数记录继续保留用量子傅里叶变换求周期并约化因的失败对象。
反方锚为Lloyd, Science 273, 1073–1078 (1996), doi:10.1126/science.273.5278.1，真正争点是多项式门数是否在纠错和编译后仍代表可执行优势。压力试验主动制造逻辑算法越漂亮，物理纠错时空体积可能越快吞没现实期限；若用量子傅里叶变换求周期并约化因数分解越强而逻辑门数反而越差，方向已经翻转，不能用总体均值或2025年的新名称冲销。边界记录继续保留用量子傅里叶变换求周期并约化因数分解的失败对象。
2025年的Google Quantum AI, Nature 638, 920–926 (2025), doi:10.1038/s41586-02把这条带进现场。算法研究者必须登记因逻辑算法越漂亮，物理纠错时空体积可能越快吞没现实期限而中止的运行，并让逻辑门数与物理量子比特与成功分解实例数／全部逻辑运行与纠错中止运行使用同一时间窗；接管、返工和恢复不能免费吸收失败。维护记录继续保留用量子傅里叶变换求周期并约化因数分解的失败对象。
跨域接口落在第359号“资源估计先行：可写出的算法未必是可运行的软件”。两条共享01 谁进入分母，但本条以成功分解实例数／全部逻辑运行与纠错中止运行裁决，并把逻辑算法越漂亮，物理纠错时空体积可能越快吞没现实期限设为停止线；对方若使用另一对象或分母，只能登记为异名，不能互相代证。接口记录继续保留用量子傅里叶变换求周期并约化因数的失败对象。
乙、HHL打开量子线性代数路线HHL Linear-System Algorithm
“HHL打开量子线性代数路线”并非因名称新而入选。2009年的Harrow, Hassidim & Lloyd, Physical Review Letters 103, 150502 (2009), 把把稀疏良态线性方程的解编码进量子态与旧基线放进同一对象定义，留下的硬读数是HHL对维数 N 呈 poly(log N)，但代价随条件数 κ 和精度 1/ε 增长；读出完整 N 维解会消掉优势。若继续沿用“只比较核心电路查询次数”，账本未单列矩阵变坏或需要读出完整解时，问题规模越大。起点记录继续保留把稀疏良态线性方程的解编的失败对象。
可反驳命题只有一句：决定方向的只有把稀疏良态线性方程的解编码进量子态。以条件数、输入制备与输出读取是否取消指数加速为对手，在同一全部条件数、装载和读出预算组合内做消融；若不用该机制也能得到端到端达标实例数，2009年的解释就降为相关而非原因。消融记录继续保留把稀疏良态线性方程的解编码进量子态的失败对象。
倒读第三段只看硬数：HHL对维数 N 呈 poly(log N)，但代价随条件数 κ 和精度 1/ε 增长；读出完整 N 维解会消掉优势。它对应的复算式为端到端达标实例数／全部条件数、装载和读出预算组合，再与物理量子比特与线路深度交叉；2009年的主证据不能拿卷页数字充当结果，2025年的复核也不能删除零输出和失败运行。读数记录继续保留把稀疏良态线性方程的解编码进量子态的失败对象。
边界不是“还需研究”，而是矩阵变坏或需要读出完整解时，问题规模越大，端到端优势反而越小。Giovannetti, Lloyd & Maccone, Physical Review Letters 100, 160501 (2提供反查入口：把对象推到这条停止线外，若端到端达标实例数上升却让物理量子比特恶化，就按反号结果撤回充分性主张。一旦矩阵变坏或需要读出完整解时，问题规模越大，端到端优势反而越小先出现，阳性中心值便不再具有判决优先权。
实践责任落在硬件团队：依据Google Quantum AI, Quantum error correction below the surface code t，版本发布时预注册端到端达标实例数／全部条件数、装载和读出预算组合，并把账本未单列矩阵变坏或需要读出完整解时，问题规模越大列为独立事件。若旧方案在物理量子比特与线路深度上更好，部署应允许回切。把稀疏良态线性方程的解编码进量子态的责任延续到故障恢复和版本退出，不能在验收时提前终止。
第546号“密码敏捷迁移”提供精确对撞，不是宽泛类比。共同前提是01 谁进入分母；本条的分离线是矩阵变坏或需要读出完整解时，问题规模越大，端到端优势反而越小，换算轴是端到端达标实例数／全部条件数、装载和读出预算组合，两边必须在同一观察窗重排后才谈迁移。接口记录继续保留把稀疏良态线性方程的解编码进量子态的失败对象。
丙、量子模拟保留最贴近硬件的加速理由Universal Quantum Simulation
转向起于1996年：Lloyd, Science 273, 1073–1078 (1996), doi:10.1126/science.273.5278.107不再只报线路深度，而把量子模拟保留最贴近硬件的加速理由写成以可控量子系统复现局域哈密顿量演化的可检查问题。判决读数是Lloyd证明局域量子系统可用对演化时间 t 与误差 1/ε 为多项式的门数模拟，长时漂移仍须单列；此前没有位置的是被目标哈密顿量与装置漂移耦合时，更长演化反而积累不可辨识误差排除的对象既不算成功。
单因不是说其他条件不存在，而是要求以可控量子系统复现局域哈密顿量演化独自承担判决。实验把全部预注册观测量与演化时刻、成本和版本冻结，只撤掉该机制；误差阈值内观测量数若不下降，或旧方法反而更好，本条不得用新变量补救。反证以可控量子系统复现局域哈密顿量演化时保留误差阈值内观测量数／全部预注册观测量与演化时刻原分母，不能临时换对象。
量子模拟保留最贴近硬件的加速理由的读数锚是Lloyd证明局域量子系统可用对演化时间 t 与误差 1/ε 为多项式的门数模拟，长时漂移仍须单列。据此，误差阈值内观测量数须除以全部预注册观测量与演化时刻，而不是只摘最好一次；同时报告线路深度与成功概率和端到端运行时间，才能判断1996年的机制在2024年是否仍以同一方向兑现。
Fowler et al., Physical Review A 86, 032324 (2012), doi:10.1103/Phys所代表的异议集中在模拟器精度能否在噪声、有限尺寸和不可直接观测量下校准。本条最强反例是目标哈密顿量与装置漂移耦合时，更长演化反而积累不可辨识误差；一旦该条件出现，中心读数再漂亮也须先看线路深度是否反向，尾部失败不得并入“其他”。边界记录继续保留以可控量子系统复现局域哈密顿量演化的失败对象。
另一处常被略过的是以可控量子系统复现局域哈密顿量演化的维护账。Bluvstein et al., Nature 626, 58–65 (2024), doi:10.1038/s41586-023-0更新到2024年，但编译器维护者与密码迁移负责人仍须记录被目标哈密顿量与装置漂移耦合时，更长演化反而积累不可辨识误差排除的对象既不算成功；只有误差阈值内观测量数／全部预注册观测量与演化时刻和线路深度与成功概率和端到端运行时间同时改善，试验结果才可进入采购或监管。
与第545号“量子互联网分阶段路线”相比，本条把以可控量子系统复现局域哈密顿量演化置于E位。双方都依赖01 谁进入分母，却可能因目标哈密顿量与装置漂移耦合时，更长演化反而积累不可辨识误差给出反向结果；判决只认误差阈值内观测量数／全部预注册观测量与演化时刻，不认学科声望。接口记录继续保留以可控量子系统复现局域哈密顿量演化的失败对象。
丁、数据加载把量子加速拉回输入账Quantum Random-Access Memory
在Giovannetti, Lloyd & Maccone, Physical Review Letters 100, 160501 (200之前，量子计算与算法处理数据加载把量子加速拉回输入账时仍受“只比较核心电路查询次数”支配。2008年的证据把以相干地址访问制备算法所需数据态单独显影，并留下桶旅式 qRAM用 O(N) 个路由元件换取 O(log N) 的寻址深度；装载与纠错不能从端到端分母删除；这使海量相干路由器的制造和容错成本能否低于算法省下的时间第一次能够被反查。
2008年的主张可被直接否定：保留相同对象与总预算，拿掉以相干地址访问制备算法所需数据态。若含装载与读出的总耗时优势实例数对全部数据规模与误差预算的比例没有改变，数据加载把量子加速拉回输入账就只是重新命名；海量相干路由器的制造和容错成本能否低于算法省下的时间因此是单因检验而非附带讨论。
原始证据给出的可交换量是桶旅式 qRAM用 O(N) 个路由元件换取 O(log N) 的寻址深度；装载与纠错不能从端到端分母删除。本页将它收束为含装载与读出的总耗时优势实例数／全部数据规模与误差预算：分子、分母、观察窗和失败定义一起锁定；另列成功概率和端到端运行时间与逻辑门数，防止2025年的更大规模把2008年的选择偏差放大。读数记录继续保留以相干地址访问制备的失败对象。
争议文献Peruzzo et al., Nature Communications 5, 4213 (2014), doi:10.1038/nc迫使结论停在若装载本身线性扫描经典数据，核心电路越快，端到端占比反而越低之前。验证时逐级改变尺度、输入或环境；只要以相干地址访问制备算法所需数据态的名义提高伴随成功概率和端到端运行时间下降，就说明原来测到的是代理优化而非系统净收益。边界记录继续保留以相干地址访问制备算法所需数据态的失败对象。
从论文进入制度后，算法研究者不能只验收含装载与读出的总耗时优势实例数。2025年的Ramalho, de Souza & Chaim, ACM Computing Surveys (2025)要求把含装载与读出的总耗时优势实例数／全部数据规模与误差预算没有容纳若装载本身线性扫描、恢复时长及版本并列；否则成功会把劳动和退出成本移出画面。维护记录继续保留以相干地址访问制备算法所需数据态的失败对象。
本条的外部邻居是第359号“资源估计先行：可写出的算法未必是可运行的软件”。对撞时先统一含装载与读出的总耗时优势实例数／全部数据规模与误差预算，再把若装载本身线性扫描经典数据，核心电路越快，端到端占比反而越低造成的无归属状态补回分母；若两条仍相反，共有前提02 单一读数代表复杂对象才获得被推翻的资格。
戊、表面码阈值蓝图Surface-Code Threshold
2012年的Fowler et al., Physical Review A 86, 032324 (2012), doi:10.1103/PhysRe改变的是“表面码阈值蓝图”的验收对象。它以二维近邻稳定子测量给出容错路径解释Fowler et al., Physical Review A 86, 032324 (2012), doi:10.1103/PhysRevA.86.032324把表面码阈值蓝图钉在可核验的历史节点：表面码以局部校验和距离，并暴露现有字段漏掉⇄系统核算后方向反转：泄漏、串扰和时间相关事件不满足独立噪声假设；因此局部门误差阈值能否覆盖相关噪声与解码延迟可被检验。起点记录继续保留二维近邻稳定子测的失败对象。
因果账只给二维近邻稳定子测量给出容错路径一个席位：在全部复现尝试内固定版本、预算与输入，只让这一机制开关。若关闭后二维近邻稳定子测量给出容错路外部复现成功数不变，或局部门误差阈值能否覆盖相关噪声与解码延迟给出同样结果，本条即失去充分性。消融记录继续保留二维近邻稳定子测量给出容错路径的失败对象。
证据表先登记Fowler et al., Physical Review A 86, 032324 (2012), doi:10.1103/PhysRevA.86.032324把表面码阈值蓝图钉在可核验的历史节点：表面码以局部校验和距离，再按二维近邻稳定子测量给出容错路外部复现成功数／全部复现尝试复算。二维近邻稳定子测量给出容错路外部复现成功数与全部复现尝试须对应，并给出逻辑门数与物理量子比特；这样才能区分2012年的局部读数与2025年的系统兑现。读数记录继续保留二维近邻稳定子测的失败对象。
局部门误差阈值能否覆盖相关噪声与解码延迟把反例落在⇄系统核算后方向反转：泄漏、串扰和时间相关事件不满足独立噪声假设，会令名义阈值过度乐观；名义阈值越高：让该条件进入主样本，再观察二维近邻稳定子测量给出容错路外部复现成功数／全部复现尝试。若二维近邻稳定子测量给出容错路径增强而逻辑门数恶化，局部门误差阈值能否覆盖相关噪声与解码延迟按反号处理。
Ramalho, N. C. L., de Souza, H. A., & Chaim, M. L. (2025). Testing a给出2025年的现场入口；硬件团队需把二维近邻稳定子测量给出容错路径、现有字段漏掉⇄系统核算后方向反转：泄漏、串扰和时间相关事件不满足独立噪声假设和恢复记录绑定到同一版本。只有逻辑门数与物理量子比特与二维近邻稳定子测量给出容错路外部复现成功数／全部复现尝试共同改善，部署才算兑现。维护记录继续保留二维近邻稳定子测量给的失败对象。
精确碰撞指向第543号“表面码阈值蓝图”：先把02 单一读数代表复杂对象设为共同前提，再用二维近邻稳定子测量给出容错路外部复现成功数／全部复现尝试换算。若⇄系统核算后方向反转：泄漏、串扰和时间相关事件不满足独立噪声假设，会令名义阈值过度乐观使方向分叉，两条须分别命名。接口记录继续保留二维近邻稳定子测量给出容错路径的失败对象。
己、变分量子本征求解VQE
Peruzzo et al., Nature Communications 5, 4213 (2014), doi:10.1038/ncom在2014年把“变分量子本征求解”固定成可追溯节点：Peruzzo et al., Nature Communications 5, 4213 (2014), doi:10.1038/ncomms5213把变分量子本征求解钉在可核验的历史节点：VQE把量子期望值测量与经典优化。在此之前，量子计算与算法常把“只比较核心电路查询次数”当默认，因⇄系统核算后方向反转：贫瘠高原、抽样成本和优化器对噪声的追逐会令低能量并非正确；旧账因此无法解释浅电路能否抵消测量开销和噪声偏置。
本条把因果立场锁在经典优化器闭环调节量子电路参数：固定对象、预算和全部预注册运行数后，只移除这一机制；若经典优化器闭环调节量子电路参达标运行数仍保持同向，主张即撤回。Peruzzo et al., Nature Communications 5, 4213 (2014), doi:10.1038/ncom只负责这一个充分性判断，不能在失败后追加“系统复杂”作第二原因。消融记录继续保留经典优化器闭环调节量子电路参数的失败对象。
关键证据不是出版年份，而是Peruzzo et al., Nature Communications 5, 4213 (2014), doi:10.1038/ncomms5213把变分量子本征求解钉在可核验的历史节点：VQE把量子期望值测量与经典优化。这里把分子写成“经典优化器闭环调节量子电路参达标运行数”、分母写成“全部预注册运行数”，并列物理量子比特与线路深度；2014年原始记录与2025年更新都必须保留样本规模、阈值、区间和中止原因。读数记录继续保留经典优化器闭环调节量子电路参数的失败对象。
反方锚为Bernstein & Vazirani, SIAM Journal on Computing 26, 1411–1473 (1997)，真正争点是浅电路能否抵消测量开销和噪声偏置。压力试验主动制造⇄系统核算后方向反转：贫瘠高原、抽样成本和优化器对噪声的追逐会令低能量并非正确量子态；能量越低；若经典优化器闭环调节量子电路参数越强而物理量子比特反而越差，方向已经翻转，不能用总体均值或2025年的新名称冲销。边界记录继续保留经典优化器闭环调节量子的失败对象。
2025年的Google Quantum AI, Nature 638, 920–926 (2025)把这条带进现场。编译器维护者与密码迁移负责人必须登记因⇄系统核算后方向反转：贫瘠高原、抽样成本和优化器对噪声的追逐会令低能量并非正确，并让物理量子比特与线路深度与经典优化器闭环调节量子电路参达标运行数／全部预注册运行数使用同一时间窗；接管、返工和恢复不能免费吸收失败。维护记录继续保留经典优化器闭环调节量的失败对象。
跨域接口落在第543号“变分量子本征求解”。两条共享02 单一读数代表复杂对象，但本条以经典优化器闭环调节量子电路参达标运行数／全部预注册运行数裁决，并把⇄系统核算后方向反转：贫瘠高原、抽样成本和优化器对噪声的追逐会令低能量并非正确量子态；能量越低设为停止线；对方若使用另一对象或分母，只能登记为异名，不能互相代证。
庚、QAOA控制视角QAOA
“QAOA控制视角”并非因名称新而入选。2014年的Farhi, Goldstone & Gutmann, arXiv:1411.4028 (2014)把交替问题与混合哈密顿量形成可调协议与旧基线放进同一对象定义，留下的硬读数是Farhi, Goldstone & Gutmann, arXiv:1411.4028 (2014)把QAOA控制视角钉在可核验的历史节点：参数化交替演化把离散优化写成可实验实现的有限时控制问题。若继续沿用“只比较核心电路查询次数”，⇄系统核算后方向反转：经典预处理、实例结构与采样预算必须计入。
可反驳命题只有一句：决定方向的只有交替问题与混合哈密顿量形成可调协议。以有限深度参数化控制是否有规模优势为对手，在同一全部有效读数内做消融；若不用该机制也能得到交替问题与混合哈密顿量形成可跨场景同向读数，2014年的解释就降为相关而非原因。消融记录继续保留交替问题与混合哈密顿量形成可调协议的失败对象。
倒读第三段只看硬数：Farhi, Goldstone & Gutmann, arXiv:1411.4028 (2014)把QAOA控制视角钉在可核验的历史节点：参数化交替演化把离散优化写成可实验实现的有限时控制问题。它对应的复算式为交替问题与混合哈密顿量形成可跨场景同向读数／全部有效读数，再与线路深度与成功概率和端到端运行时间交叉；2014年的主证据不能拿卷页数字充当结果，2024年的复核也不能删除零输出和失败运行。
边界不是“还需研究”，而是⇄系统核算后方向反转：经典预处理、实例结构与采样预算必须计入，近似比不能只报最好一次；线路越浅。有限深度参数化控制是否有规模优势提供反查入口：把对象推到这条停止线外，若交替问题与混合哈密顿量形成可跨场景同向读数上升却让线路深度恶化，就按反号结果撤回充分性主张。边界记录继续保留交替问题与混合哈的失败对象。
实践责任落在算法研究者：依据Watkins, G., Nguyen, H. M., Watkins, K., Pearce, S., Lau, H.-K., & P，版本发布时预注册交替问题与混合哈密顿量形成可跨场景同向读数／全部有效读数，并把⇄系统核算后方向反转：经典预处理、实例结构与采样预算必须计入列为独立事件。若旧方案在线路深度与成功概率和端到端运行时间上更好，部署应允许回切。维护记录继续保留交替问题与混合哈密顿量形成可调协议的失败对象。
第543号“QAOA控制视角”提供精确对撞，不是宽泛类比。共同前提是04 测量不改变被测对象；本条的分离线是⇄系统核算后方向反转：经典预处理、实例结构与采样预算必须计入，近似比不能只报最好一次；线路越浅，换算轴是交替问题与混合哈密顿量形成可跨场景同向读数／全部有效读数，两边必须在同一观察窗重排后才谈迁移。接口记录继续保留交替问题与混合哈的失败对象。
辛、复杂度理论先划出量子计算边界Quantum Complexity Boundaries
转向起于1997年：Bernstein & Vazirani, SIAM Journal on Computing 26, 1411–1473 (1997), 不再只报成功概率和端到端运行时间，而把复杂度理论先划出量子计算边界写成用查询与复杂度类别区分可加速和不可加速任务的可检查问题。判决读数是Bernstein与Vazirani给出相对预言机的BQP/BPP分离；量子查询可为多项式而经典查询需超多项式，但现实输入仍须计入端到端复杂度；此前没有位置的是分母不含预言机优势若依赖不可构造访问，证明越强，工程含义反而越弱导致的阴性批次与。
单因不是说其他条件不存在，而是要求用查询与复杂度类别区分可加速和不可加速任务独自承担判决。实验把全部加入输入输出成本的问题族、成本和版本冻结，只撤掉该机制；保留优势的问题族数若不下降，或旧方法反而更好，本条不得用新变量补救。消融记录继续保留用查询与复杂度类别区分可加速和不可加速任务的失败对象。
复杂度理论先划出量子计算边界的读数锚是Bernstein与Vazirani给出相对预言机的BQP/BPP分离；量子查询可为多项式而经典查询需超多项式，但现实输入仍须计入端到端复杂度。据此，保留优势的问题族数须除以全部加入输入输出成本的问题族，而不是只摘最好一次；同时报告成功概率和端到端运行时间与逻辑门数，才能判断1997年的机制在2025年是否仍以同一方向兑现。
Tang, Proceedings of STOC (2019), doi:10.1145/3313276.3316310所代表的异议集中在黑箱分离能否代表有结构输入和现实成本模型。本条最强反例是预言机优势若依赖不可构造访问，证明越强，工程含义反而越弱；一旦该条件出现，中心读数再漂亮也须先看成功概率和端到端运行时间是否反向，尾部失败不得并入“其他”。边界记录继续保留用查询与复杂度类别区分可加速和不可加速任务的失败对象。
另一处常被略过的是用查询与复杂度类别区分可加速和不可加速任务的维护账。Google Quantum AI, Nature 638, 920–926 (2025), doi:10.1038/s41586-02更新到2025年，但硬件团队仍须记录分母不含预言机优势若依赖不可构造访问，证明越强，工程含义反而越弱导致的阴性批次与；只有保留优势的问题族数／全部加入输入输出成本的问题族和成功概率和端到端运行时间与逻辑门数同时改善，试验结果才可进入采购或监管。
与第546号“密码敏捷迁移”相比，本条把用查询与复杂度类别区分可加速和不可加速任务置于D位。双方都依赖04 测量不改变被测对象，却可能因预言机优势若依赖不可构造访问，证明越强，工程含义反而越弱给出反向结果；判决只认保留优势的问题族数／全部加入输入输出成本的问题族，不认学科声望。接口记录继续保留用查询与复杂度类别区分可加速和不的失败对象。
第二幕不把新工具列成清单，而是追问量子加速从复杂度证明走向含输入、纠错和读出的全栈资源合同。十二条分别核算跨场景迁移、尾部失败、维护和制度兑现，避免用平均性能替系统结论。
一、超导量子优势实验Random-Circuit Sampling
在Arute et al., Nature 574, 505–510 (2019), doi:10.1038/s41586-019-1666-之前，量子计算与算法处理超导量子优势实验时仍受“只比较核心电路查询次数”支配。2019年的证据把53量子比特随机线路采样单独显影，并留下Arute et al., Nature 574, 505–510 (2019), doi:10.1038/s41586-019-1666-5把超导量子优势实验钉在可核验的历史节点：实验把并行门校准、串扰管理和随机线路验证推；这使交叉熵保真度是否足以说明可用计算能力第一次能够被反查。起点记录继续保留53量子比特随机线路采样的失败对象。
2019年的主张可被直接否定：保留相同对象与总预算，拿掉53量子比特随机线路采样。若53量子比特随机线路采样未触发退出任务数对全部候选任务的比例没有改变，超导量子优势实验就只是重新命名；交叉熵保真度是否足以说明可用计算能力因此是单因检验而非附带讨论。消融记录继续保留53量子比特随机线路采样的失败对象。
原始证据给出的可交换量是Arute et al., Nature 574, 505–510 (2019), doi:10.1038/s41586-019-1666-5把超导量子优势实验钉在可核验的历史节点：实验把并行门校准、串扰管理和随机线路验证推。本页将它收束为53量子比特随机线路采样未触发退出任务数／全部候选任务：分子、分母、观察窗和失败定义一起锁定；另列逻辑门数与物理量子比特，防止2025年的更大规模把2019年的选择偏差放大。读数记录继续保留53量子比特随机线的失败对象。
争议文献交叉熵保真度是否足以说明可用计算能力迫使结论停在⇄系统核算后方向反转：专用采样任务与实用算法距离很大，经典基线和保真估计模型变化会改写优势倍数；采样规模越大之前。验证时逐级改变尺度、输入或环境；只要53量子比特随机线路采样的名义提高伴随逻辑门数下降，就说明原来测到的是代理优化而非系统净收益。
从论文进入制度后，编译器维护者与密码迁移负责人不能只验收53量子比特随机线路采样未触发退出任务数。2025年的Google Quantum AI, Quantum error correction below the surface code t要求把53量子比特随机线路采样未触发退出任务数／全部候选任务只登记可读结果、恢复时长及版本并列；否则成功会把劳动和退出成本移出画面。维护记录继续保留53量子比特随机线路采样的失败对象。维护记录继续保留53量子比特随机的失败对象。
本条的外部邻居是第543号“超导量子优势实验”。对撞时先统一53量子比特随机线路采样未触发退出任务数／全部候选任务，再把⇄系统核算后方向反转：专用采样任务与实用算法距离很大，经典基线和保真估计模型变化会改写优势倍数；采样规模越大造成的无归属状态补回分母；若两条仍相反，共有前提04 测量不改变被测对象才获得被推翻的资格。
二、去量子化迫使加速声明补上经典基线Dequantization
2019年的Tang, Proceedings of STOC (2019), doi:10.1145/3313276.3316310改变的是“去量子化迫使加速声明补上经典基线”的验收对象。它以用量子启发采样在经典机上复现推荐优势解释Tang在相同采样访问模型下给出经典推荐算法，使原先声称的指数维数优势降为 poly(log N) 级比较，并暴露跨场景时因一旦给经典算法同样的采样接口，数据越大，名义指数差距反而会消失失去可比；因此量子优势来自量子机制还是遗漏了同等数据访问的经典算法可被检验。
因果账只给用量子启发采样在经典机上复现推荐优势一个席位：在全部声称量子加速任务数内固定版本、预算与输入，只让这一机制开关。若关闭后同输入模型下仍胜出的任务数不变，或量子优势来自量子机制还是遗漏了同等数据访问的经典算法给出同样结果，本条即失去充分性。消融记录继续保留用量子启发采样在经典机上复现推荐优势的失败对象。
证据表先登记Tang在相同采样访问模型下给出经典推荐算法，使原先声称的指数维数优势降为 poly(log N) 级比较，再按同输入模型下仍胜出的任务数／全部声称量子加速任务数复算。同输入模型下仍胜出的任务数与全部声称量子加速任务数须对应，并给出物理量子比特与线路深度；这样才能区分2019年的局部读数与2024年的系统兑现。读数记录继续保留用量子启发采样在的失败对象。
McClean 等，2018年《Nature Communications》9:4812把反例落在一旦给经典算法同样的采样接口，数据越大，名义指数差距反而会消失：让该条件进入主样本，再观察同输入模型下仍胜出的任务数／全部声称量子加速任务数。若用量子启发采样在经典机上复现推荐优势增强而物理量子比特恶化，量子优势来自量子机制还是遗漏了同等数据访问的经典算法按反号处理。
Bluvstein et al., Nature 626, 58–65 (2024), doi:10.1038/s41586-023-0给出2024年的现场入口；算法研究者需把用量子启发采样在经典机上复现推荐优势、跨场景时因一旦给经典算法同样的采样接口，数据越大，名义指数差距反而会消失失去可比和恢复记录绑定到同一版本。只有物理量子比特与线路深度与同输入模型下仍胜出的任务数／全部声称量子加速任务数共同改善，部署才算兑现。维护记录继续保留用量子启发采样在的失败对象。
精确碰撞指向第359号“资源估计先行：可写出的算法未必是可运行的软件”：先把13 时间尺度可自由压缩设为共同前提，再用同输入模型下仍胜出的任务数／全部声称量子加速任务数换算。若一旦给经典算法同样的采样接口，数据越大，名义指数差距反而会消失使方向分叉，两条须分别命名。接口记录继续保留用量子启发采样在经典机上复现推荐优势的失败对象。
三、资源估计先行：可写出的算法未必是可运行的软件资源估计先行：可写出的算法未必是可运行的软件
Green 等，2013年《Quipper》资源估计案例在2013年把“资源估计先行：可写出的算法未必是可运行的软件”固定成可追溯节点：资源估计至少同时列逻辑量子位、T门数、T深度和纠错周期 4 项；只报算法门复杂度不能换算物理运行时长。在此之前，量子计算与算法常把“只比较核心电路查询次数”当默认，被当控制额外信息与调参预算后读数不优于基线，且跨站点复现率低于一半时失效触发的降；旧账因此无法解释资源估计先行造成的变化大于版本、样本选择和测量噪声造成的变化。
本条把因果立场锁在程序应在执行前给出逻辑量子位、门、T门、深度和经典控制资源：固定对象、预算和后续实测资源后，只移除这一机制；若资源估计误差仍保持同向，主张即撤回。Green 等，2013年《Quipper》资源估计案例只负责这一个充分性判断，不能在失败后追加“系统复杂”作第二原因。消融记录继续保留程序应在执行前给出逻辑量子位、门、T门、深度和经典控制资源的失败对象。
关键证据不是出版年份，而是资源估计至少同时列逻辑量子位、T门数、T深度和纠错周期 4 项；只报算法门复杂度不能换算物理运行时长。这里把分子写成“资源估计误差”、分母写成“后续实测资源”，并列线路深度与成功概率和端到端运行时间；2013年原始记录与2025年更新都必须保留样本规模、阈值、区间和中止原因。读数记录继续保留程序应在执行前给出逻辑量子位的失败对象。
反方锚为Temme, Bravyi & Gambetta, Physical Review Letters 119, 180509 (2017)，真正争点是资源估计先行造成的变化大于版本、样本选择和测量噪声造成的变化。压力试验主动制造当控制额外信息与调参预算后读数不优于基线，且跨站点复现率低于一半时失效；若程序应在执行前给出逻辑量子位、门、T门、深度和经典控制资源越强而线路深度反而越差，方向已经翻转，不能用总体均值或2025年的新名称冲销。
2025年的Ramalho, de Souza & Chaim, ACM Computing Surveys (2025)把这条带进现场。硬件团队必须登记被当控制额外信息与调参预算后读数不优于基线，且跨站点复现率低于一半时失效触发的降，并让线路深度与成功概率和端到端运行时间与资源估计误差／后续实测资源使用同一时间窗；接管、返工和恢复不能免费吸收失败。维护记录继续保留程序应在执行前给出逻辑量子位、门、T门、深度和经典控制的失败对象。
跨域接口落在第359号“资源估计先行：可写出的算法未必是可运行的软件”。两条共享13 时间尺度可自由压缩，但本条以资源估计误差／后续实测资源裁决，并把当控制额外信息与调参预算后读数不优于基线，且跨站点复现率低于一半时失效设为停止线；对方若使用另一对象或分母，只能登记为异名，不能互相代证。接口记录继续保留程序应在执行前给出逻辑的失败对象。
四、贫瘠高原诊断：可表达线路可能根本不可训练贫瘠高原诊断：可表达线路可能根本不可训练
“贫瘠高原诊断：可表达线路可能根本不可训练”并非因名称新而入选。2018年的McClean 等，2018年《Nature Communications》9:4812把某些线路族的梯度随量子位数指数消失，编译与框架应在运行前诊断与旧基线放进同一对象定义，留下的硬读数是对照证据见Temme、Bravyi 与 Gambetta，2017年《Physical Review Letters》119:180509：零噪声外推在多个人工放大噪声尺度运行同一线路，再外推到零。若继续沿用“只比较核心电路查询次数”，现行记录没有追踪当独立数据或真实负载下效应消失，且误差缓解采样开销是否超过收益使。
可反驳命题只有一句：决定方向的只有某些线路族的梯度随量子位数指数消失，编译与框架应在运行前诊断。以在固定设备校准、门集、线路规模与精度目标后，贫瘠高原诊断对应的差异可与其他机制分离为对手，在同一量子比特数内做消融；若不用该机制也能得到梯度方差，2018年的解释就降为相关而非原因。消融记录继续保留某些线路族的梯度随量子的失败对象。
倒读第三段只看硬数：对照证据见Temme、Bravyi 与 Gambetta，2017年《Physical Review Letters》119:180509：零噪声外推在多个人工放大噪声尺度运行同一线路，再外推到零。它对应的复算式为梯度方差／量子比特数，再与成功概率和端到端运行时间与逻辑门数交叉；2018年的主证据不能拿卷页数字充当结果，2025年的复核也不能删除零输出和失败运行。读数记录继续保留某些线路族的梯度随量子位数指数消失，编译与框架的失败对象。
边界不是“还需研究”，而是当独立数据或真实负载下效应消失，且误差缓解采样开销是否超过收益使方向反转时不成立。Andersen et al., Nature Physics 16, 875–880 (2020), doi:10.1038/s415提供反查入口：把对象推到这条停止线外，若梯度方差上升却让成功概率和端到端运行时间恶化，就按反号结果撤回充分性主张。边界记录继续保留某些线路族的梯度随量子位数指数消失，编译与框架应在运行前诊断的失败对象。
实践责任落在编译器维护者与密码迁移负责人：依据Ramalho, N. C. L., de Souza, H. A., & Chaim, M. L. (2025). Testing a，版本发布时预注册梯度方差／量子比特数，并把现行记录没有追踪当独立数据或真实负载下效应消失，且误差缓解采样开销是否超过收益使列为独立事件。若旧方案在成功概率和端到端运行时间与逻辑门数上更好，部署应允许回切。维护记录继续保留某些线路族的梯度随量子位数指数消失，编的失败对象。
第359号“贫瘠高原诊断：可表达线路可能根本不可训练”提供精确对撞，不是宽泛类比。共同前提是13 时间尺度可自由压缩；本条的分离线是当独立数据或真实负载下效应消失，且误差缓解采样开销是否超过收益使方向反转时不成立，换算轴是梯度方差／量子比特数，两边必须在同一观察窗重排后才谈迁移。接口记录继续保留某些线路族的梯度随量子位数指的失败对象。
五、零噪声外推Zero-Noise Extrapolation
转向起于2017年：Temme, Bravyi & Gambetta, Physical Review Letters 119, 180509 (2017), 不再只报逻辑门数，而把零噪声外推写成多噪声尺度外推无噪声期望值的可检查问题。判决读数是Temme, Bravyi & Gambetta, Physical Review Letters 119, 180509 (2017), doi:10.1103/PhysRevLett.119.180509把零噪声外推钉在；此前没有位置的是多噪声尺度外推无噪声期望值阈值内运行小时／全部观察小时遗漏了⇄系统核算后方向反转。对多噪声尺度外推无噪声期望值而言，多噪声尺度外推无噪声期望值阈值内运行小时／全部观察小时遗漏了⇄系统核算后方向反转：外推方差迅速增大；噪声若随尺度改变类型，截距会给出精确但错误的结果下由操作者吸收的额外劳动，不能靠最终平均值补写。
单因不是说其他条件不存在，而是要求多噪声尺度外推无噪声期望值独自承担判决。实验把全部观察小时、成本和版本冻结，只撤掉该机制；多噪声尺度外推无噪声期望值阈值内运行小时若不下降，或旧方法反而更好，本条不得用新变量补救。反证多噪声尺度外推无噪声期望值时保留多噪声尺度外推无噪声期望值阈值内运行小时／全部观察小时原分母，不能临时换对象。
零噪声外推的读数锚是Temme, Bravyi & Gambetta, Physical Review Letters 119, 180509 (2017), doi:10.1103/PhysRevLett.119.180509把零噪声外推钉在。据此，多噪声尺度外推无噪声期望值阈值内运行小时须除以全部观察小时，而不是只摘最好一次；同时报告逻辑门数与物理量子比特，才能判断2017年的机制在2025年是否仍以同一方向兑现。硬读数仍是：Temme, Bravyi & Gambetta, Physical Review Letters 119, 180509 (2017), doi:10.1103/PhysRevLett.119.180509把零噪声外推钉在可核验的历史节点：通过执行多个放大噪声版本并外推；其单位和观察窗须随原记录保留。
可控放大噪声是否保持误差通道形状所代表的异议集中在可控放大噪声是否保持误差通道形状。本条最强反例是⇄系统核算后方向反转：外推方差迅速增大；噪声若随尺度改变类型，截距会给出精确但错误的结果；外推阶数越高；一旦该条件出现，中心读数再漂亮也须先看逻辑门数是否反向，尾部失败不得并入“其他”。边界记录继续保留多噪声尺度外推无的失败对象。
另一处常被略过的是多噪声尺度外推无噪声期望值的维护账。Google Quantum AI, Nature 638, 920–926 (2025)更新到2025年，但算法研究者仍须记录多噪声尺度外推无噪声期望值阈值内运行小时／全部观察小时遗漏了⇄系统核算后方向反转；只有多噪声尺度外推无噪声期望值阈值内运行小时／全部观察小时和逻辑门数与物理量子比特同时改善，试验结果才可进入采购或监管。
与第543号“零噪声外推”相比，本条把多噪声尺度外推无噪声期望值置于S位。双方都依赖17 局部最优可加总为整体最优，却可能因⇄系统核算后方向反转：外推方差迅速增大；噪声若随尺度改变类型，截距会给出精确但错误的结果；外推阶数越高给出反向结果；判决只认多噪声尺度外推无噪声期望值阈值内运行小时／全部观察小时，不认学科声望。
六、逻辑比特实时反馈Real-Time Quantum Feedback
在Andersen et al., Nature Physics 16, 875–880 (2020), doi:10.1038/s41567之前，量子计算与算法处理逻辑比特实时反馈时仍受“只比较核心电路查询次数”支配。2020年的证据把实时校验与纠错延长编码态寿命单独显影，并留下Andersen et al., Nature Physics 16, 875–880 (2020), doi:10.1038/s41567-020-0920-y把逻辑比特实时反馈钉在可核验的历史节点：控制器在实验过程中读取；这使反馈延迟能否低于错误相关时间第一次能够被反查。起点记录继续保留实时校验与纠错延长编码态寿命的失败对象。
2020年的主张可被直接否定：保留相同对象与总预算，拿掉实时校验与纠错延长编码态寿命。若实时校验与纠错延长编码态寿命未触发退出任务数对全部候选任务的比例没有改变，逻辑比特实时反馈就只是重新命名；反馈延迟能否低于错误相关时间因此是单因检验而非附带讨论。消融记录继续保留实时校验与纠错延长编码态寿命的失败对象。
原始证据给出的可交换量是Andersen et al., Nature Physics 16, 875–880 (2020), doi:10.1038/s41567-020-0920-y把逻辑比特实时反馈钉在可核验的历史节点：控制器在实验过程中读取。本页将它收束为实时校验与纠错延长编码态寿命未触发退出任务数／全部候选任务：分子、分母、观察窗和失败定义一起锁定；另列物理量子比特与线路深度，防止2024年的更大规模把2020年的选择偏差放大。读数记录继续保留实时校验与纠错延长编码态寿命的失败对象。
争议文献Bluvstein et al., Nature 626, 58–65 (2024), doi:10.1038/s41586-023-0迫使结论停在⇄系统核算后方向反转：读出、传输和判决延迟合计若过长，反馈会纠正已经变化的状态；反馈动作越积极之前。验证时逐级改变尺度、输入或环境；只要实时校验与纠错延长编码态寿命的名义提高伴随物理量子比特下降，就说明原来测到的是代理优化而非系统净收益。边界记录继续保留实时校验与纠错延长编码态寿命的失败对象。
从论文进入制度后，硬件团队不能只验收实时校验与纠错延长编码态寿命未触发退出任务数。2024年的Watkins, G., Nguyen, H. M., Watkins, K., Pearce, S., Lau, H.-K., & P要求把无法越过⇄系统核算后方向反转：读出、传输和判决延迟合计若过长、恢复时长及版本并列；否则成功会把劳动和退出成本移出画面。实时校验与纠错延长编码态寿命的责任延续到故障恢复和版本退出，不能在验收时提前终止。
本条的外部邻居是第543号“逻辑比特实时反馈”。对撞时先统一实时校验与纠错延长编码态寿命未触发退出任务数／全部候选任务，再把⇄系统核算后方向反转：读出、传输和判决延迟合计若过长，反馈会纠正已经变化的状态；反馈动作越积极造成的无归属状态补回分母；若两条仍相反，共有前提17 局部最优可加总为整体最优才获得被推翻的资格。
七、重复纠错的规模化Repetition-Code Scaling
2021年的Google Quantum AI, Nature 595, 383–387 (2021), doi:10.1038/s41586-021-改变的是“重复纠错的规模化”的验收对象。它以多距离重复码展示误差随规模压低解释Google Quantum AI, Nature 595, 383–387 (2021), doi:10.1038/s41586-021-03588-y把重复纠错的规模化钉在可核验的历史节点：实验以多轮比特翻转码观察距离增，并暴露⇄系统核算后方向反转：它只覆盖一类错误，向全量子表面码迁移还要同时控制相位、泄漏；因此增加量子比特是否真的降低逻辑误差可被检验。
因果账只给多距离重复码展示误差随规模压低一个席位：在全部复现尝试内固定版本、预算与输入，只让这一机制开关。若关闭后多距离重复码展示误差随规模压外部复现成功数不变，或增加量子比特是否真的降低逻辑误差给出同样结果，本条即失去充分性。消融记录继续保留多距离重复码展示误差随规模压低的失败对象。
证据表先登记Google Quantum AI, Nature 595, 383–387 (2021), doi:10.1038/s41586-021-03588-y把重复纠错的规模化钉在可核验的历史节点：实验以多轮比特翻转码观察距离增，再按多距离重复码展示误差随规模压外部复现成功数／全部复现尝试复算。多距离重复码展示误差随规模压外部复现成功数与全部复现尝试须对应，并给出线路深度与成功概率和端到端运行时间；这样才能区分2021年的局部读数与2025年的系统兑现。
增加量子比特是否真的降低逻辑误差把反例落在⇄系统核算后方向反转：它只覆盖一类错误，向全量子表面码迁移还要同时控制相位、泄漏和边界操作；代码越长：让该条件进入主样本，再观察多距离重复码展示误差随规模压外部复现成功数／全部复现尝试。若多距离重复码展示误差随规模压低增强而线路深度恶化，增加量子比特是否真的降低逻辑误差按反号处理。
Google Quantum AI, Nature 638, 920–926 (2025), doi:10.1038/s41586-02给出2025年的现场入口；编译器维护者与密码迁移负责人需把多距离重复码展示误差随规模压低、⇄系统核算后方向反转：它只覆盖一类错误，向全量子表面码迁移还要同时控制相位、泄漏和恢复记录绑定到同一版本。只有线路深度与成功概率和端到端运行时间与多距离重复码展示误差随规模压外部复现成功数／全部复现尝试共同改善，部署才算兑现。
精确碰撞指向第543号“重复纠错的规模化”：先把17 局部最优可加总为整体最优设为共同前提，再用多距离重复码展示误差随规模压外部复现成功数／全部复现尝试换算。若⇄系统核算后方向反转：它只覆盖一类错误，向全量子表面码迁移还要同时控制相位、泄漏和边界操作使方向分叉，两条须分别命名。接口记录继续保留多距离重复码展示误差随规模压低的失败对象。
八、中性原子逻辑处理器Logical Neutral-Atom Processor
Bluvstein et al., Nature 626, 58–65 (2024), doi:10.1038/s41586-023-069在2024年把“中性原子逻辑处理器”固定成可追溯节点：Bluvstein et al., Nature 626, 58–65 (2024), doi:10.1038/s41586-023-06927-3把中性原子逻辑处理器钉在可核验的历史节点：平台用原子重排、横向门和纠错码展示。在此之前，量子计算与算法常把“只比较核心电路查询次数”当默认，现场因⇄系统核算后方向反转：后选择和原子损失处理会改变有效成功分母；旧账因此无法解释可重构原子阵列的移动与损失是否可被纠错吸收。
本条把因果立场锁在48个逻辑量子比特实现可编程操作：固定对象、预算和全部预注册运行数后，只移除这一机制；若48个逻辑量子比特实现可编程达标运行数仍保持同向，主张即撤回。Bluvstein et al., Nature 626, 58–65 (2024), doi:10.1038/s41586-023-069只负责这一个充分性判断，不能在失败后追加“系统复杂”作第二原因。消融记录继续保留48个逻辑量子比特实现可编程操作的失败对象。消融记录继续保留48个逻辑量子比的失败对象。
关键证据不是出版年份，而是Bluvstein et al., Nature 626, 58–65 (2024), doi:10.1038/s41586-023-06927-3把中性原子逻辑处理器钉在可核验的历史节点：平台用原子重排、横向门和纠错码展示。这里把分子写成“48个逻辑量子比特实现可编程达标运行数”、分母写成“全部预注册运行数”，并列成功概率和端到端运行时间与逻辑门数；2024年原始记录与2024年更新都必须保留样本规模、阈值、区间和中止原因。读数记录继续保留48个逻辑量子比的失败对象。
反方锚为Gidney & Ekerå, Quantum 5, 433 (2021), doi:10.22331/q-2021-04-15-433，真正争点是可重构原子阵列的移动与损失是否可被纠错吸收。压力试验主动制造⇄系统核算后方向反转：后选择和原子损失处理会改变有效成功分母，持续实时纠错仍需证明；逻辑单元越多；若48个逻辑量子比特实现可编程操作越强而成功概率和端到端运行时间反而越差，方向已经翻转，不能用总体均值或2024年的新名称冲销。
2024年的Watkins, G., Nguyen, H. M., Watkins, K., Pearce, S., Lau, H.-K., & P把这条带进现场。算法研究者必须登记现场因⇄系统核算后方向反转：后选择和原子损失处理会改变有效成功分母，并让成功概率和端到端运行时间与逻辑门数与48个逻辑量子比特实现可编程达标运行数／全部预注册运行数使用同一时间窗；接管、返工和恢复不能免费吸收失败。维护记录继续保留48个逻辑量子比特实现可编程操作的失败对象。
跨域接口落在第543号“中性原子逻辑处理器”。两条共享18 干预不回写到被干预者，但本条以48个逻辑量子比特实现可编程达标运行数／全部预注册运行数裁决，并把⇄系统核算后方向反转：后选择和原子损失处理会改变有效成功分母，持续实时纠错仍需证明；逻辑单元越多设为停止线；对方若使用另一对象或分母，只能登记为异名，不能互相代证。
九、量子奇异值变换统一一批算法骨架Quantum Singular-Value Transformation
“量子奇异值变换统一一批算法骨架”并非因名称新而入选。2019年的Gilyén et al., Proceedings of STOC (2019), doi:10.1145/3313276.3316366把以块编码上的多项式变换处理矩阵谱与旧基线放进同一对象定义，留下的硬读数是QSVT用次数为 d 的奇偶多项式变换奇异值，查询量随多项式次数 d 线性增长，块编码成本另计。若继续沿用“只比较核心电路查询次数”，达到目标误差的资源估计数／全部块编码、精度和成功概率组合未把块编码代价随数据结构。
可反驳命题只有一句：决定方向的只有以块编码上的多项式变换处理矩阵谱。以统一框架的查询复杂度能否携带块编码和容错常数为对手，在同一全部块编码、精度和成功概率组合内做消融；若不用该机制也能得到达到目标误差的资源估计数，2019年的解释就降为相关而非原因。消融记录继续保留以块编码上的多项式变换处理矩阵谱的失败对象。
倒读第三段只看硬数：QSVT用次数为 d 的奇偶多项式变换奇异值，查询量随多项式次数 d 线性增长，块编码成本另计。它对应的复算式为达到目标误差的资源估计数／全部块编码、精度和成功概率组合，再与逻辑门数与物理量子比特交叉；2019年的主证据不能拿卷页数字充当结果，2024年的复核也不能删除零输出和失败运行。读数记录继续保留以块编码上的多项式变换的失败对象。
边界不是“还需研究”，而是块编码代价随数据结构增长时，抽象越统一，端到端资源反而越难比较。Gidney 与 Ekerå，2021年《Quantum》5:433提供反查入口：把对象推到这条停止线外，若达到目标误差的资源估计数上升却让逻辑门数恶化，就按反号结果撤回充分性主张。一旦块编码代价随数据结构增长时，抽象越统一，端到端资源反而越难比较先出现，阳性中心值便不再具有判决优先权。
实践责任落在硬件团队：依据Bluvstein et al., Nature 626, 58–65 (2024), doi:10.1038/s41586-023-0，版本发布时预注册达到目标误差的资源估计数／全部块编码、精度和成功概率组合，并把达到目标误差的资源估计数／全部块编码、精度和成功概率组合未把块编码代价随数据结构列为独立事件。若旧方案在逻辑门数与物理量子比特上更好，部署应允许回切。维护记录继续保留以块编码上的多项式变换处理矩阵谱的失败对象。
第546号“密码敏捷迁移”提供精确对撞，不是宽泛类比。共同前提是18 干预不回写到被干预者；本条的分离线是块编码代价随数据结构增长时，抽象越统一，端到端资源反而越难比较，换算轴是达到目标误差的资源估计数／全部块编码、精度和成功概率组合，两边必须在同一观察窗重排后才谈迁移。接口记录继续保留以块编码上的多项式变换处理矩阵谱的失败对象。
十、密码分析资源估计把威胁写成物理账Cryptanalytic Resource Estimation
转向起于2021年：Gidney & Ekerå, Quantum 5, 433 (2021), doi:10.22331/q-2021-04-15-433不再只报物理量子比特，而把密码分析资源估计把威胁写成物理账写成把逻辑门、工厂和运行时间换算为物理量子比特的可检查问题。判决读数是Gidney与Ekerå估算分解 RSA-2048 约需 2000 万个噪声量子比特并运行约 8 小时，假设改变会整体改写期限；此前没有位置的是证据表未保存只报逻辑门会把制造和运行失败移出分母，电路越省。
单因不是说其他条件不存在，而是要求把逻辑门、工厂和运行时间换算为物理量子比特独自承担判决。实验把全部硬件假设和纠错预算组合、成本和版本冻结，只撤掉该机制；期限内成功攻击参数组数若不下降，或旧方法反而更好，本条不得用新变量补救。消融记录继续保留把逻辑门、工厂和运行时间换算为物理量子比特的失败对象。
密码分析资源估计把威胁写成物理账的读数锚是Gidney与Ekerå估算分解 RSA-2048 约需 2000 万个噪声量子比特并运行约 8 小时，假设改变会整体改写期限。据此，期限内成功攻击参数组数须除以全部硬件假设和纠错预算组合，而不是只摘最好一次；同时报告物理量子比特与线路深度，才能判断2021年的机制在2025年是否仍以同一方向兑现。读数记录继续保留把逻辑门、工厂和运行时的失败对象。
Google Quantum AI, Nature 638, 920–926 (2025), doi:10.1038/s41586-02所代表的异议集中在算法改进能否抵销纠错周期、布线和魔法态工厂约束。本条最强反例是只报逻辑门会把制造和运行失败移出分母，电路越省，系统瓶颈反而越集中；一旦该条件出现，中心读数再漂亮也须先看物理量子比特是否反向，尾部失败不得并入“其他”。边界记录继续保留把逻辑门、工厂和运行时间换算为物理量子比特的失败对象。
另一处常被略过的是把逻辑门、工厂和运行时间换算为物理量子比特的维护账。Ramalho, de Souza & Chaim, ACM Computing Surveys (2025)更新到2025年，但编译器维护者与密码迁移负责人仍须记录证据表未保存只报逻辑门会把制造和运行失败移出分母，电路越省；只有期限内成功攻击参数组数／全部硬件假设和纠错预算组合和物理量子比特与线路深度同时改善，试验结果才可进入采购或监管。
与第545号“量子互联网分阶段路线”相比，本条把把逻辑门、工厂和运行时间换算为物理量子比特置于E位。双方都依赖18 干预不回写到被干预者，却可能因只报逻辑门会把制造和运行失败移出分母，电路越省，系统瓶颈反而越集中给出反向结果；判决只认期限内成功攻击参数组数／全部硬件假设和纠错预算组合，不认学科声望。接口记录继续保留把逻辑门、工厂和的失败对象。
十一、容错资源栈：逻辑线路必须展开成物理时空体积容错资源栈：逻辑线路必须展开成物理时空体积
在Gidney 与 Ekerå，2021年《Quantum》5:433之前，量子计算与算法处理容错资源栈：逻辑线路必须展开成物理时空体积时仍受“只比较核心电路查询次数”支配。2021年的证据把资源估计必须包含纠错码距离、魔态工厂、路由、循环时间与失败概单独显影，并留下主证据来自Gidney 与 Ekerå，2021年《Quantum》5:433；这使资源估计必须包含纠错码距离、魔态工厂、路由、循环时间与能够在同一预算与同一输入下被独立检验第一次能够被反查。
2021年的主张可被直接否定：保留相同对象与总预算，拿掉资源估计必须包含纠错码距离、魔态工厂、路由、循环时间与失败概。若物理量子位时空体积对逻辑门数的比例没有改变，容错资源栈：逻辑线路必须展开成物理时空体积就只是重新命名；资源估计必须包含纠错码距离、魔态工厂、路由、循环时间与能够在同一预算与同一输入下被独立检验因此是单因检验而非附带讨论。
原始证据给出的可交换量是主证据来自Gidney 与 Ekerå，2021年《Quantum》5:433。本页将它收束为物理量子位时空体积／逻辑门数：分子、分母、观察窗和失败定义一起锁定；另列线路深度与成功概率和端到端运行时间，防止2025年的更大规模把2021年的选择偏差放大。硬读数仍是：主证据来自Gidney 与 Ekerå，2021年《Quantum》5:433；其单位和观察窗须随原记录保留。读数记录继续保留资源估计必须包含纠错码距离、魔态工厂、路的失败对象。
争议文献Google Quantum AI, Nature 638, 920–926 (2025)迫使结论停在当更换强基线、平台或人群后排序不再保持，并且尾部代价超过收益时失效之前。验证时逐级改变尺度、输入或环境；只要资源估计必须包含纠错码距离、魔态工厂、路由、循环时间与失败概的名义提高伴随线路深度下降，就说明原来测到的是代理优化而非系统净收益。边界记录继续保留资源估计必须包含纠错码距离、魔态工厂的失败对象。
从论文进入制度后，算法研究者不能只验收物理量子位时空体积。2025年的Ramalho, N. C. L., de Souza, H. A., & Chaim, M. L. (2025). Testing a要求把当更换强基线、平台或人群后排序不再保持，并且尾部代价超过收益时失效造成的供应链和、恢复时长及版本并列；否则成功会把劳动和退出成本移出画面。资源估计必须包含纠错码距离、魔态工厂、路由、循环时间与失败概的责任延续到故障恢复和版本退出，不能在验收时提前终止。
本条的外部邻居是第359号“容错资源栈：逻辑线路必须展开成物理时空体积”。对撞时先统一物理量子位时空体积／逻辑门数，再把当更换强基线、平台或人群后排序不再保持，并且尾部代价超过收益时失效造成的无归属状态补回分母；若两条仍相反，共有前提19 类别互斥且穷尽才获得被推翻的资格。接口记录继续保留资源估计必须包含纠错码距离、魔态工的失败对象。
十二、低于阈值的逻辑存储Below-Threshold Quantum Memory
2025年的Google Quantum AI, Nature 638, 920–926 (2025), doi:10.1038/s41586-024-改变的是“低于阈值的逻辑存储”的验收对象。它以每轮逻辑误差0.143%±0.003%解释Google Quantum AI, Nature 638, 920–926 (2025), doi:10.1038/s41586-024-08449-y把低于阈值的逻辑存储钉在可核验的历史节点：距离7表面码获得2.14±0，并暴露最终汇总漏掉⇄系统核算后方向反转：逻辑门、魔态、长时稀有突发和完整控制栈尚未同等；因此短期低于阈值能否转化为长算法容错可被检验。起点记录继续保留每轮逻辑误差0.143%±0.003%的失败对象。
因果账只给每轮逻辑误差0.143%±0.003%一个席位：在全部复现尝试内固定版本、预算与输入，只让这一机制开关。若关闭后每轮逻辑误差0.143%±0外部复现成功数不变，或短期低于阈值能否转化为长算法容错给出同样结果，本条即失去充分性。反证每轮逻辑误差0.143%±0.003%时保留每轮逻辑误差0.143%±0外部复现成功数／全部复现尝试原分母，不能临时换对象。消融记录继续保留每轮逻辑误差0.的失败对象。
证据表先登记Google Quantum AI, Nature 638, 920–926 (2025), doi:10.1038/s41586-024-08449-y把低于阈值的逻辑存储钉在可核验的历史节点：距离7表面码获得2.14±0，再按每轮逻辑误差0.143%±0外部复现成功数／全部复现尝试复算。每轮逻辑误差0.143%±0外部复现成功数与全部复现尝试须对应，并给出成功概率和端到端运行时间与逻辑门数；这样才能区分2025年的局部读数与2024年的系统兑现。读数记录继续保留每轮逻辑误差0.143%±0.003%的失败对象。
Ramalho, de Souza & Chaim, ACM Computing Surveys (2025)把反例落在⇄系统核算后方向反转：逻辑门、魔态、长时稀有突发和完整控制栈尚未同等低于阈值；存储误差越低：让该条件进入主样本，再观察每轮逻辑误差0.143%±0外部复现成功数／全部复现尝试。若每轮逻辑误差0.143%±0.003%增强而成功概率和端到端运行时间恶化，短期低于阈值能否转化为长算法容错按反号处理。边界记录继续保留每轮逻辑误差0.143%±0.0的失败对象。
Watkins, G., Nguyen, H. M., Watkins, K., Pearce, S., Lau, H.-K., & P给出2024年的现场入口；硬件团队需把每轮逻辑误差0.143%±0.003%、最终汇总漏掉⇄系统核算后方向反转：逻辑门、魔态、长时稀有突发和完整控制栈尚未同等和恢复记录绑定到同一版本。只有成功概率和端到端运行时间与逻辑门数与每轮逻辑误差0.143%±0外部复现成功数／全部复现尝试共同改善，部署才算兑现。维护记录继续保留每轮逻辑误差0.143%±0.003%的失败对象。
精确碰撞指向第543号“低于阈值的逻辑存储”：先把30 未被计价的东西不影响结算设为共同前提，再用每轮逻辑误差0.143%±0外部复现成功数／全部复现尝试换算。若⇄系统核算后方向反转：逻辑门、魔态、长时稀有突发和完整控制栈尚未同等低于阈值；存储误差越低使方向分叉，两条须分别命名。接口记录继续保留每轮逻辑误差0.143%±0.003%的失败对象。
◎ 二十年连起来看
量子计算与算法最站得住的二十年转向，是量子加速从复杂度证明走向含输入、纠错和读出的全栈资源合同。第一幕从“Shor算法把因数分解移出经典舒适区”走到“复杂度理论先划出量子计算边界”，先把对象、读数和旧边界建立起来；第二幕由“超导量子优势实验”推进到“低于阈值的逻辑存储”，评价单位已经从单点性能变成逻辑门数、物理量子比特、线路深度、成功概率和端到端运行时间的共同账。
这条线没有把旧方法写成失败史。相反，“贫瘠高原诊断：可表达线路可能根本不可训练”说明旧机制在条件清楚时仍有效；真正被撤回的是只比较核心电路查询次数这个默认。只要分母、失败谱和维护责任不公开，再新的名词也只是把未计价部分移出画面。
◎ 三个常见误解
误解一是把“Shor算法把因数分解移出经典舒适区”的峰值当成全系统能力。它至少还受逻辑算法越漂亮，物理纠错时空体积可能越快吞没现实期限约束，必须用成功分解实例数／全部逻辑运行与纠错中止运行复算。
误解二是认为规模会自动解决“量子奇异值变换统一一批算法骨架”。规模也会同步放大统一框架的查询复杂度能否携带块编码和容错常数，因此最差亚组和中止运行不能从分母消失。
误解三是把自动化等同于无人负责。算法研究者、硬件团队、编译器维护者与密码迁移负责人仍须为版本、接管、恢复和退出签字，责任不会因每轮逻辑误差0.143%±0.003%而蒸发。
◎ 与相邻领域的接口
向方法侧看，“超导量子优势实验”与第543号“超导量子优势实验”共享04 测量不改变被测对象；只有对齐53量子比特随机线路采样未触发退出任务数／全部候选任务，两边的性能数字才可换算。
向制度侧看，“低于阈值的逻辑存储”把输入制备、量子线路、纠错、测量与经典后处理接到采购、监管和维护流程。接口的最低交付物不是领域标签，而是对象版本、单位、失败阈值、责任人和可撤回条件。
◎ 争议现场
当前最值得盯住的争论是：含噪启发式是否提供可重复效用，还是把经典优化和选择性报告算成量子收益。支持方必须用“量子奇异值变换统一一批算法骨架”给出净增益，反方则要用块编码代价随数据结构增长时，抽象越统一，端到端资源反而越难比较构造会反号的测试；双方都不能只挑成功案例。
第二场争论落在证据门槛：低于阈值的逻辑误差、可复算资源估计和端到端经典基线究竟要达到什么水平才算成熟。可判标准应预先写成每轮逻辑误差0.143%±0外部复现成功数／全部复现尝试，并公开最差条件、人工介入和连续观察窗。
◎ 往下五年看什么
未来五年不追逐更多名词，只看低于阈值的逻辑误差、可复算资源估计和端到端经典基线。其中“量子奇异值变换统一一批算法骨架”负责能力边界，“低于阈值的逻辑存储”负责系统兑现；若两者不能在逻辑门数、物理量子比特、线路深度、成功概率和端到端运行时间的同一张表里同时改善，就应把路线限定为局部工具，而不是通用转向。
◎ 可与哪些领域对撞
“Shor算法把因数分解移出经典舒适区”可与第359号“资源估计先行：可写出的算法未必是可运行的软件”对撞，共查01 谁进入分母；加入逻辑算法越漂亮，物理纠错时空体积可能越快吞没现实期限后重新排序。
“复杂度理论先划出量子计算边界”可与第546号“密码敏捷迁移”对撞，共查04 测量不改变被测对象；统一量纲为保留优势的问题族数／全部加入输入输出成本的问题族。
“量子奇异值变换统一一批算法骨架”可与第546号“密码敏捷迁移”对撞，共查18 干预不回写到被干预者；阴性运行和转移成本不得空白。
“低于阈值的逻辑存储”可与第543号“低于阈值的逻辑存储”对撞，共查30 未被计价的东西不影响结算；把停止阈值写进迁移合同。
◎ 十条可做的研究命题
1. 以Shor把因数分解约化为周期寻找，核心门复杂度对输入位数 log N 为多项式为基线，预注册成功分解实例数／全部逻辑运行与纠错中止运行；触发逻辑算法越漂亮，物理纠错时空体积可能越快吞没现实期限时检验净效应是否反号。
2. 把账本未单列矩阵变坏或需要读出完整解时，问题规模越大补回分母，再复算端到端达标实例数／全部条件数、装载和读出预算组合；比较补账前后是否改变“HHL打开量子线性代数路线”的排序。
3. 针对模拟器精度能否在噪声、有限尺寸和不可直接观测量下校准，只消融以可控量子系统复现局域哈密顿量演化；若Lloyd证明局域量子系统可用对演化时间 t 与误差 1/ε 为多项式的门数模拟不能复现，撤回单因解释。
4. 让第359号“资源估计先行：可写出的算法未必是可运行的软件”与本条共用含装载与读出的总耗时优势实例数／全部数据规模与误差预算；以若装载本身线性扫描经典数据，核心电路越快，端到端占比反而越低为停止线检验迁移是否成立。
5. 以Fowler et al., Physical Review A 86, 032324 (201为基线，预注册二维近邻稳定子测量给出容错路外部复现成功数／全部复现尝试；触发⇄系统核算后方向反转：泄漏、串扰和时间相关事件不满足独立噪声假设时检验净效应是否反号。
6. 把因⇄系统核算后方向反转：贫瘠高原、抽样成本和优化器对噪声的追逐会令低能量并非正确量子补回分母，再复算经典优化器闭环调节量子电路参达标运行数／全部预注册运行数；比较补账前后是否改变“变分量子本征求解”的排序。
7. 针对有限深度参数化控制是否有规模优势，只消融交替问题与混合哈密顿量形成可调协议；若Farhi, Goldstone & Gutmann, arXiv:1411.4不能复现，撤回单因解释。
8. 让第546号“密码敏捷迁移”与本条共用保留优势的问题族数／全部加入输入输出成本的问题族；以预言机优势若依赖不可构造访问，证明越强，工程含义反而越弱为停止线检验迁移是否成立。
9. 以Arute et al., Nature 574, 505–510 (2019), doi:10为基线，预注册53量子比特随机线路采样未触发退出任务数／全部候选任务；触发⇄系统核算后方向反转：专用采样任务与实用算法距离很大时检验净效应是否反号。
10. 把跨场景时因一旦给经典算法同样的采样接口，数据越大，名义指数差距反而会消失失去可比性的补回分母，再复算同输入模型下仍胜出的任务数／全部声称量子加速任务数；比较补账前后是否改变“去量子化迫使加速声明补上经典基线”的排序。
◎ 资料核验
- Shor, SIAM Journal on Computing 26, 1484–1509 (1997), doi:10.1137/S0097539795293172
- Harrow, Hassidim & Lloyd, Physical Review Letters 103, 150502 (2009), doi:10.1103/PhysRevLett.103.150502
- Lloyd, Science 273, 1073–1078 (1996), doi:10.1126/science.273.5278.1073
- Giovannetti, Lloyd & Maccone, Physical Review Letters 100, 160501 (2008), doi:10.1103/PhysRevLett.100.160501
- Fowler et al., Physical Review A 86, 032324 (2012), doi:10.1103/PhysRevA.86.032324
- Peruzzo et al., Nature Communications 5, 4213 (2014), doi:10.1038/ncomms5213
- Farhi, Goldstone & Gutmann, arXiv:1411.4028 (2014)
- Bernstein & Vazirani, SIAM Journal on Computing 26, 1411–1473 (1997), doi:10.1137/S0097539796300921
- Arute et al., Nature 574, 505–510 (2019), doi:10.1038/s41586-019-1666-5
- Tang, Proceedings of STOC (2019), doi:10.1145/3313276.3316310
- Green 等，2013年《Quipper》资源估计案例
- McClean 等，2018年《Nature Communications》9:4812
- Temme, Bravyi & Gambetta, Physical Review Letters 119, 180509 (2017), doi:10.1103/PhysRevLett.119.180509
- Andersen et al., Nature Physics 16, 875–880 (2020), doi:10.1038/s41567-020-0920-y
- Google Quantum AI, Nature 595, 383–387 (2021), doi:10.1038/s41586-021-03588-y
- Bluvstein et al., Nature 626, 58–65 (2024), doi:10.1038/s41586-023-06927-3
- Gilyén et al., Proceedings of STOC (2019), doi:10.1145/3313276.3316366
- Gidney & Ekerå, Quantum 5, 433 (2021), doi:10.22331/q-2021-04-15-433
- Gidney 与 Ekerå，2021年《Quantum》5:433
- Google Quantum AI, Nature 638, 920–926 (2025), doi:10.1038/s41586-024-08449-y
- Google Quantum AI, Nature 638, 920–926 (2025)
- Ramalho, de Souza & Chaim, ACM Computing Surveys (2025)
- 局部门误差阈值能否覆盖相关噪声与解码延迟
- 距离递增实验已把阈值从蓝图推进到实机
- 浅电路能否抵消测量开销和噪声偏置
- 误差缓解与问题定制拟设成为近期量子算法主线
- 有限深度参数化控制是否有规模优势
- QAOA成为模拟、控制与组合优化的共同试验台
以下二十条是量子算法在 1950 至 2006 年之间形成的经典思想，与上文二十条合成双层面板。每条用原始材料和后续修订说明旧前提，并点名它在本块哪条现代判断里继续被使用或反对。
经一、图灵测试与机器智能Classic 01 · Quantum Algorithms
在1950年的图灵测试与机器智能出现前，量子算法常把免疫反应看成均质体液强弱，阴性对象未与成功对象同账。第1条沿测量史固定样本、操作和失败读数。硬命题是以可观察对话表现替代对机器是否真正思考的本体争论。第1条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Katz J, Lindell Y. Introduction to Modern Cryptography, 3rd ed. CRC Press (2020)后来重检图灵测试与机器智能，保留可迁移结构，并把未覆盖对象另列。与本块甲“Shor算法把因数分解移出经典舒适区”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第1条只保留在1950年适用域；经典身份不能替代新证据。核验图灵测试与机器智能还要保存阴性对象，不能只引用后来成功的分支。迁移图灵测试与机器智能必须注明采用哪一版定义；相同名词不等于相同证据。
经二、霍夫曼编码Classic 02 · Quantum Algorithms
在1952年的霍夫曼编码出现前，量子算法常把群体平均值当作每个患者，阴性对象未与成功对象同账。第2条沿制度史固定样本、操作和失败读数。硬命题是按符号概率递归合并可构造期望码长最小的前缀码。第2条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Lynch NA. Distributed Algorithms. Morgan Kaufmann (1996)后来重检霍夫曼编码，保留可迁移结构，并把未覆盖对象另列。与本块乙“HHL打开量子线性代数路线”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第2条只保留在1952年适用域；经典身份不能替代新证据。核验霍夫曼编码还要保存阴性对象，不能只引用后来成功的分支。迁移霍夫曼编码必须注明采用哪一版定义；相同名词不等于相同证据。重算霍夫曼编码须公开停止规则，否则样本扩大只会放大选择偏差。
经三、有限自动机判定理论Classic 03 · Quantum Algorithms
在1959年的有限自动机判定理论出现前，量子算法常把实验室阳性直接当作临床因果，阴性对象未与成功对象同账。第3条沿人物史固定样本、操作和失败读数。硬命题是有限状态、正则语言与可判定问题可用统一机器模型互相转换。第3条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Nielsen MA, Chuang IL. Quantum Computation and Quantum Information. Cambridge University Press (2000)后来重检有限自动机判定理论，保留可迁移结构，并把未覆盖对象另列。与本块丙“量子模拟保留最贴近硬件的加速理由”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第3条只保留在1959年适用域；经典身份不能替代新证据。核验有限自动机判定理论还要保存阴性对象，不能只引用后来成功的分支。迁移有限自动机判定理论必须注明采用哪一版定义；相同名词不等于相同证据。
经四、人机共生计算Classic 04 · Quantum Algorithms
在1960年的人机共生计算出现前，量子算法常把提出者声望当作适用范围，阴性对象未与成功对象同账。第4条沿机制史固定样本、操作和失败读数。硬命题是交互计算应让人负责目标与判断、机器负责高速例行运算并形成实时协作。第4条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Tanenbaum AS, Van Steen M. Distributed Systems, 4th ed. Pearson (2023)后来重检人机共生计算，保留可迁移结构，并把未覆盖对象另列。与本块丁“数据加载把量子加速拉回输入账”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第4条只保留在1960年适用域；经典身份不能替代新证据。核验人机共生计算还要保存阴性对象，不能只引用后来成功的分支。迁移人机共生计算必须注明采用哪一版定义；相同名词不等于相同证据。
经五、协作顺序进程Classic 05 · Quantum Algorithms
在1965年的协作顺序进程出现前，量子算法常把免疫反应看成均质体液强弱，阴性对象未与成功对象同账。第5条沿测量史固定样本、操作和失败读数。硬命题是并发程序必须用互斥与同步显式约束共享状态的合法交错。第5条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Arora S, Barak B. Computational Complexity. Cambridge University Press (2009)后来重检协作顺序进程，保留可迁移结构，并把未覆盖对象另列。与本块戊“表面码阈值蓝图”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第5条只保留在1965年适用域；经典身份不能替代新证据。核验协作顺序进程还要保存阴性对象，不能只引用后来成功的分支。迁移协作顺序进程必须注明采用哪一版定义；相同名词不等于相同证据。重算协作顺序进程须公开停止规则，否则样本扩大只会放大选择偏差。
经六、NP完全性Classic 06 · Quantum Algorithms
在1971年的NP完全性出现前，量子算法常把群体平均值当作每个患者，阴性对象未与成功对象同账。第6条沿制度史固定样本、操作和失败读数。硬命题是布尔可满足性可在多项式时间承载一整类非确定性计算问题的归约。第6条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Katz J, Lindell Y. Introduction to Modern Cryptography, 3rd ed. CRC Press (2020)后来重检NP完全性，保留可迁移结构，并把未覆盖对象另列。与本块己“变分量子本征求解”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第6条只保留在1971年适用域；经典身份不能替代新证据。核验NP完全性还要保存阴性对象，不能只引用后来成功的分支。迁移NP完全性必须注明采用哪一版定义；相同名词不等于相同证据。重算NP完全性须公开停止规则，否则样本扩大只会放大选择偏差。
经七、公开密钥协商Classic 07 · Quantum Algorithms
在1976年的公开密钥协商出现前，量子算法常把实验室阳性直接当作临床因果，阴性对象未与成功对象同账。第7条沿人物史固定样本、操作和失败读数。硬命题是通信双方可在公开信道上建立共享秘密而不预先交换对称密钥。第7条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Lynch NA. Distributed Algorithms. Morgan Kaufmann (1996)后来重检公开密钥协商，保留可迁移结构，并把未覆盖对象另列。与本块庚“QAOA控制视角”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第7条只保留在1976年适用域；经典身份不能替代新证据。核验公开密钥协商还要保存阴性对象，不能只引用后来成功的分支。迁移公开密钥协商必须注明采用哪一版定义；相同名词不等于相同证据。重算公开密钥协商须公开停止规则，否则样本扩大只会放大选择偏差。
经八、RSA公钥密码Classic 08 · Quantum Algorithms
在1978年的RSA公钥密码出现前，量子算法常把提出者声望当作适用范围，阴性对象未与成功对象同账。第8条沿机制史固定样本、操作和失败读数。硬命题是模幂运算与大整数分解困难性可同时支持公开加密和数字签名。第8条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Nielsen MA, Chuang IL. Quantum Computation and Quantum Information. Cambridge University Press (2000)后来重检RSA公钥密码，保留可迁移结构，并把未覆盖对象另列。与本块辛“复杂度理论先划出量子计算边界”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第8条只保留在1978年适用域；经典身份不能替代新证据。核验RSA公钥密码还要保存阴性对象，不能只引用后来成功的分支。迁移RSA公钥密码必须注明采用哪一版定义；相同名词不等于相同证据。重算RSA公钥密码须公开停止规则，否则样本扩大只会放大选择偏差。
经九、分布式逻辑时钟Classic 09 · Quantum Algorithms
在1978年的分布式逻辑时钟出现前，量子算法常把免疫反应看成均质体液强弱，阴性对象未与成功对象同账。第9条沿测量史固定样本、操作和失败读数。硬命题是无共享物理时钟的进程可用先发生关系建立一致的事件偏序。第9条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Tanenbaum AS, Van Steen M. Distributed Systems, 4th ed. Pearson (2023)后来重检分布式逻辑时钟，保留可迁移结构，并把未覆盖对象另列。与本块一“超导量子优势实验”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第9条只保留在1978年适用域；经典身份不能替代新证据。核验分布式逻辑时钟还要保存阴性对象，不能只引用后来成功的分支。迁移分布式逻辑时钟必须注明采用哪一版定义；相同名词不等于相同证据。重算分布式逻辑时钟须公开停止规则，否则样本扩大只会放大选择偏差。
经十、秘密共享Classic 10 · Quantum Algorithms
在1979年的秘密共享出现前，量子算法常把群体平均值当作每个患者，阴性对象未与成功对象同账。第10条沿制度史固定样本、操作和失败读数。硬命题是阈值多项式插值可使不足门限的份额不泄露秘密而达到门限即可恢复。第10条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Arora S, Barak B. Computational Complexity. Cambridge University Press (2009)后来重检秘密共享，保留可迁移结构，并把未覆盖对象另列。与本块二“去量子化迫使加速声明补上经典基线”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第10条只保留在1979年适用域；经典身份不能替代新证据。核验秘密共享还要保存阴性对象，不能只引用后来成功的分支。迁移秘密共享必须注明采用哪一版定义；相同名词不等于相同证据。重算秘密共享须公开停止规则，否则样本扩大只会放大选择偏差。
经十一、拜占庭将军问题Classic 11 · Quantum Algorithms
在1982年的拜占庭将军问题出现前，量子算法常把实验室阳性直接当作临床因果，阴性对象未与成功对象同账。第11条沿人物史固定样本、操作和失败读数。硬命题是分布式一致性必须明确恶意节点上限与消息认证条件，否则共识不可保证。第11条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Katz J, Lindell Y. Introduction to Modern Cryptography, 3rd ed. CRC Press (2020)后来重检拜占庭将军问题，保留可迁移结构，并把未覆盖对象另列。与本块三“资源估计先行：可写出的算法未必是可运行的软件”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第11条只保留在1982年适用域；经典身份不能替代新证据。核验拜占庭将军问题还要保存阴性对象，不能只引用后来成功的分支。
经十二、量子系统模拟计算Classic 12 · Quantum Algorithms
在1982年的量子系统模拟计算出现前，量子算法常把提出者声望当作适用范围，阴性对象未与成功对象同账。第12条沿机制史固定样本、操作和失败读数。硬命题是经典机器普遍模拟量子系统会付出指数代价，量子装置可直接承载其状态空间。第12条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Lynch NA. Distributed Algorithms. Morgan Kaufmann (1996)后来重检量子系统模拟计算，保留可迁移结构，并把未覆盖对象另列。与本块四“贫瘠高原诊断：可表达线路可能根本不可训练”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第12条只保留在1982年适用域；经典身份不能替代新证据。核验量子系统模拟计算还要保存阴性对象，不能只引用后来成功的分支。
经十三、BB84量子密钥分发Classic 13 · Quantum Algorithms
在1984年的BB84量子密钥分发出现前，量子算法常把免疫反应看成均质体液强弱，阴性对象未与成功对象同账。第13条沿测量史固定样本、操作和失败读数。硬命题是不可克隆与测量扰动可把窃听转化为通信双方能够统计发现的错误。第13条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Nielsen MA, Chuang IL. Quantum Computation and Quantum Information. Cambridge University Press (2000)后来重检BB84量子密钥分发，保留可迁移结构，并把未覆盖对象另列。与本块五“零噪声外推”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第13条只保留在1984年适用域；经典身份不能替代新证据。核验BB84量子密钥分发还要保存阴性对象，不能只引用后来成功的分支。迁移BB84量子密钥分发必须注明采用哪一版定义；相同名词不等于相同证据。重算BB84量子密钥分发须公开停止规则，否则样本扩大只会放大选择偏差。
经十四、通用量子计算机Classic 14 · Quantum Algorithms
在1985年的通用量子计算机出现前，量子算法常把群体平均值当作每个患者，阴性对象未与成功对象同账。第14条沿制度史固定样本、操作和失败读数。硬命题是一台通用量子机器可模拟任意有限物理系统并以叠加干涉组织计算。第14条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Tanenbaum AS, Van Steen M. Distributed Systems, 4th ed. Pearson (2023)后来重检通用量子计算机，保留可迁移结构，并把未覆盖对象另列。与本块六“逻辑比特实时反馈”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第14条只保留在1985年适用域；经典身份不能替代新证据。核验通用量子计算机还要保存阴性对象，不能只引用后来成功的分支。迁移通用量子计算机必须注明采用哪一版定义；相同名词不等于相同证据。重算通用量子计算机须公开停止规则，否则样本扩大只会放大选择偏差。
经十五、分布式快照Classic 15 · Quantum Algorithms
在1985年的分布式快照出现前，量子算法常把实验室阳性直接当作临床因果，阴性对象未与成功对象同账。第15条沿人物史固定样本、操作和失败读数。硬命题是标记消息可在系统不停机时记录一致全局切面并保留通道中的在途消息。第15条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Arora S, Barak B. Computational Complexity. Cambridge University Press (2009)后来重检分布式快照，保留可迁移结构，并把未覆盖对象另列。与本块七“重复纠错的规模化”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第15条只保留在1985年适用域；经典身份不能替代新证据。核验分布式快照还要保存阴性对象，不能只引用后来成功的分支。迁移分布式快照必须注明采用哪一版定义；相同名词不等于相同证据。重算分布式快照须公开停止规则，否则样本扩大只会放大选择偏差。
经十六、Shor量子分解算法Classic 16 · Quantum Algorithms
在1994年的Shor量子分解算法出现前，量子算法常把提出者声望当作适用范围，阴性对象未与成功对象同账。第16条沿机制史固定样本、操作和失败读数。硬命题是量子傅里叶变换可把周期寻找转成多项式时间的整数分解与离散对数算法。第16条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Katz J, Lindell Y. Introduction to Modern Cryptography, 3rd ed. CRC Press (2020)后来重检Shor量子分解算法，保留可迁移结构，并把未覆盖对象另列。与本块八“中性原子逻辑处理器”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第16条只保留在1994年适用域；经典身份不能替代新证据。核验Shor量子分解算法还要保存阴性对象，不能只引用后来成功的分支。迁移Shor量子分解算法必须注明采用哪一版定义；相同名词不等于相同证据。
经十七、Grover量子搜索Classic 17 · Quantum Algorithms
在1996年的Grover量子搜索出现前，量子算法常把免疫反应看成均质体液强弱，阴性对象未与成功对象同账。第17条沿测量史固定样本、操作和失败读数。硬命题是振幅放大可把无结构搜索查询复杂度从线性降到平方根量级。第17条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Lynch NA. Distributed Algorithms. Morgan Kaufmann (1996)后来重检Grover量子搜索，保留可迁移结构，并把未覆盖对象另列。与本块九“量子奇异值变换统一一批算法骨架”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第17条只保留在1996年适用域；经典身份不能替代新证据。核验Grover量子搜索还要保存阴性对象，不能只引用后来成功的分支。迁移Grover量子搜索必须注明采用哪一版定义；相同名词不等于相同证据。重算Grover量子搜索须公开停止规则，否则样本扩大只会放大选择偏差。
经十八、Paxos共识Classic 18 · Quantum Algorithms
在1998年的Paxos共识出现前，量子算法常把群体平均值当作每个患者，阴性对象未与成功对象同账。第18条沿制度史固定样本、操作和失败读数。硬命题是多数派法定人数的交叠可在消息延迟和节点故障下保持单一已决定值。第18条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Nielsen MA, Chuang IL. Quantum Computation and Quantum Information. Cambridge University Press (2000)后来重检Paxos共识，保留可迁移结构，并把未覆盖对象另列。与本块十“密码分析资源估计把威胁写成物理账”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第18条只保留在1998年适用域；经典身份不能替代新证据。核验Paxos共识还要保存阴性对象，不能只引用后来成功的分支。迁移Paxos共识必须注明采用哪一版定义；相同名词不等于相同证据。重算Paxos共识须公开停止规则，否则样本扩大只会放大选择偏差。
经十九、实用拜占庭容错Classic 19 · Quantum Algorithms
在1999年的实用拜占庭容错出现前，量子算法常把实验室阳性直接当作临床因果，阴性对象未与成功对象同账。第19条沿人物史固定样本、操作和失败读数。硬命题是预准备、准备和提交三阶段可让副本系统在少数恶意节点下保持安全与可用。第19条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Tanenbaum AS, Van Steen M. Distributed Systems, 4th ed. Pearson (2023)后来重检实用拜占庭容错，保留可迁移结构，并把未覆盖对象另列。与本块十一“容错资源栈：逻辑线路必须展开成物理时空体积”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第19条只保留在1999年适用域；经典身份不能替代新证据。核验实用拜占庭容错还要保存阴性对象，不能只引用后来成功的分支。
经二十、MapReduce数据并行Classic 20 · Quantum Algorithms
在2004年的MapReduce数据并行出现前，量子算法常把提出者声望当作适用范围，阴性对象未与成功对象同账。第20条沿机制史固定样本、操作和失败读数。硬命题是映射与归约接口可把数据分片、调度、故障重试和聚合从业务逻辑中分离。第20条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Arora S, Barak B. Computational Complexity. Cambridge University Press (2009)后来重检MapReduce数据并行，保留可迁移结构，并把未覆盖对象另列。与本块十二“低于阈值的逻辑存储”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第20条只保留在2004年适用域；经典身份不能替代新证据。核验MapReduce数据并行还要保存阴性对象，不能只引用后来成功的分支。迁移MapReduce数据并行必须注明采用哪一版定义；相同名词不等于相同证据。重算MapReduce数据并行须公开停止规则，否则样本扩大只会放大选择偏差。
◎ 这一层怎么用
先按“今用”或“异名”找到上文对应的现代条，再比较两条的对象、分母与停止规则。若它们只共享名词而不共享失败对象，就只登记为异名；若量纲可以逐项换算，再判断现代条究竟继承、修正还是反转了经典命题。
经典身份不提供豁免。提出年份只决定它属于哪一层；后续综述、反例和新装置负责划出今天仍可使用的边界。量纲字段保留“∶”，使跨年代与跨领域的读数能够先对齐分母再碰撞。
◎ 经典层资料核验
- Turing AM. Computing machinery and intelligence. Mind 59 (1950): 433–460。
- Huffman DA. A method for the construction of minimum-redundancy codes. Proceedings of the IRE 40 (1952): 1098–1101。
- Rabin MO, Scott D. Finite automata and their decision problems. IBM Journal of Research and Development 3 (1959): 114–125。
- Licklider JCR. Man-computer symbiosis. IRE Transactions on Human Factors in Electronics HFE-1 (1960): 4–11。
- Dijkstra EW. Cooperating sequential processes. Technological University Eindhoven Report EWD123 (1965)。
- Cook SA. The complexity of theorem-proving procedures. STOC (1971): 151–158。
- Diffie W, Hellman ME. New directions in cryptography. IEEE Transactions on Information Theory 22 (1976): 644–654。
- Rivest RL et al. A method for obtaining digital signatures and public-key cryptosystems. Communications of the ACM 21 (1978): 120–126。
- Lamport L. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21 (1978): 558–565。
- Shamir A. How to share a secret. Communications of the ACM 22 (1979): 612–613。
- Lamport L et al. The Byzantine generals problem. ACM Transactions on Programming Languages and Systems 4 (1982): 382–401。
- Feynman RP. Simulating physics with computers. International Journal of Theoretical Physics 21 (1982): 467–488。
- Bennett CH, Brassard G. Quantum cryptography: Public key distribution and coin tossing. IEEE Conference on Computers Systems and Signal Processing (1984): 175–179。
- Deutsch D. Quantum theory, the Church-Turing principle and the universal quantum computer. Proceedings of the Royal Society A 400 (1985): 97–117。
- Chandy KM, Lamport L. Distributed snapshots: Determining global states of distributed systems. ACM Transactions on Computer Systems 3 (1985): 63–75。
- Shor PW. Algorithms for quantum computation: Discrete logarithms and factoring. FOCS (1994): 124–134。
- Grover LK. A fast quantum mechanical algorithm for database search. STOC (1996): 212–219。
- Lamport L. The part-time parliament. ACM Transactions on Computer Systems 16 (1998): 133–169。
- Castro M, Liskov B. Practical Byzantine fault tolerance. OSDI (1999): 173–186。
- Dean J, Ghemawat S. MapReduce: Simplified data processing on large clusters. OSDI (2004): 137–150。
- Katz J, Lindell Y. Introduction to Modern Cryptography, 3rd ed. CRC Press (2020)。
- Lynch NA. Distributed Algorithms. Morgan Kaufmann (1996)。
- Nielsen MA, Chuang IL. Quantum Computation and Quantum Information. Cambridge University Press (2000)。
- Tanenbaum AS, Van Steen M. Distributed Systems, 4th ed. Pearson (2023)。
- Arora S, Barak B. Computational Complexity. Cambridge University Press (2009)。
- Turing AM. Computing Machinery and Intelligence. Mind (1950)。
- Bellman R. Dynamic Programming. Princeton University Press (1957)。
- Knuth DE. The Art of Computer Programming, Vol. 1. Addison-Wesley (1968)。
- Aho AV et al. The Design and Analysis of Computer Algorithms. Addison-Wesley (1974)。
- Lamport L. Specifying Systems. Addison-Wesley (2002)。
- Schneier B. Applied Cryptography, 2nd ed. Wiley (1996)。
- Menezes AJ et al. Handbook of Applied Cryptography. CRC Press (1996)。
- Herlihy M, Shavit N. The Art of Multiprocessor Programming. Morgan Kaufmann (2008)。
- Tanenbaum AS, Van Steen M. Distributed Systems. Prentice Hall (2002)。
核验说明：提出栏优先保留原始论文、专著或正式文集；流变栏列具体的后续专著、综述或重建工作。2006 年后的文献只用于说明修订，不改变经典条的入选年份。