# 第11章 查询复杂度、Span Program 与性质测试

本章研究 oracle 模型中量子算法的通用设计工具：对抗矩阵与 span program 给出最优 Boolean 查询算法，半定规划发现顺序搜索的最佳小规模模块，Johnson 图量子行走解决碰撞与子集性质。每课同时追踪 setup、update、check 与数据结构成本，避免把查询优势误写成无条件时间优势。

```{toctree}
:maxdepth: 1

formula-evaluation-span-programs
ordered-search
collision-element-distinctness
pattern-matching
search-with-wildcards
statistical-difference
counterfeit-coins
matrix-rank
semiring-matrix-multiplication
subset-finding
junta-group-testing
```