查询模型下的算法与下界：Span Program、量子行走，以及图问题上的量子加速。
词条列表
- 碰撞与元素唯一性 — 从抽样加 Grover 到 Johnson 图量子行走
- 量子假币问题 — 随机分盘、奇偶 oracle 与四次方加速
- Boolean 公式求值 — Span Program、对抗界与双反射算法
- Junta 测试与 Gapped Group Testing — 从变量影响到对抗界
- 量子矩阵秩判定 — Span Program、奇异值条件与稀疏加载
- 量子顺序搜索 — 半定规划模块与常数因子优势
- 量子模式匹配 — 确定性采样与平均情形 Hidden Shift
- 通配符搜索 — Pretty-Good Measurement 每轮学习 Θ(√n) 位
- 半环矩阵乘法 — Grover 基线与输出敏感算法
- 分布统计差异测试 — 量子计数、碰撞概率与 L1 距离
- 一般子集寻找 — Johnson 图量子行走的 N^(k/(k+1)) 模板
- 邻接表与有界度模型 — 从 √(nm) 生成树到 n^(1/3) 性质测试
- 邻接矩阵模型图算法 — 连通性、MST、Minor 与三角形
- 有效电阻量子算法 — Laplacian 线性系统与 Span Witness
- Graph Collision — 已知图上的未知标记边搜索
- 量子网络流与匹配 — 增广路框架中的 Grover 加速
- Welded Tree 问题 — 连续时间量子行走的 Oracle 指数分离