第12章 量子图算法¶ 图算法的复杂度高度依赖输入 oracle:邻接矩阵允许任意边查询,邻接表按顶点枚举邻居,已知图加未知顶点标记又是 graph collision 模型。本章分别建立这些成本口径,再推导连通性、生成树、子图、量子行走和电阻算法。 邻接矩阵模型图算法:连通性、MST、Minor 与三角形 邻接表与有界度模型:从 \(\sqrt{nm}\) 生成树到 \(n^{1/3}\) 性质测试 Graph Collision:已知图上的未知标记边搜索 Welded Tree:连续时间量子行走的 Oracle 指数分离 量子网络流与匹配:增广路框架中的 Grover 加速 有效电阻量子算法:Laplacian 线性系统、量子行走与 Span Witness