每个样本 $z^{(i)}$ 是 $\mathbb{F}_2$ 上一条方程 $z^{(i)}\cdot s=0$ 的系数向量，全部解构成 $n-1$ 维子空间 $s^\perp$，其正交补为 $\{0,s\}$——非零元即答案。演算（$n=3$、$s=111$，样本 $z^{(1)}=110$、$z^{(2)}=011$）：两条方程为 $s_1+s_2=0$ 与 $s_2+s_3=0$，第一式给 $s_1=s_2$，与第二式联立得 $s_1=s_2=s_3$，解空间为 $\{000,111\}$，输出 $s=111$，即 $n-1=2$ 条独立方程定出 1 维解空间。样本数：已有 $k$ 个线性无关样本时，下一个均匀样本落入其张成子空间的概率为 $2^{k-(n-1)}$，仍无关的概率为 $1-2^{k-(n-1)}$；$n-1$ 个样本全部无关的概率为 $\prod_{j=1}^{n-1}(1-2^{-j})$。数值：$n=2$ 得 $1/2=0.5$，$n=3$ 得 $3/8=0.375$，$n=4$ 得 $21/64\approx 0.328$，$n\to\infty$ 时收敛到 $\approx 0.2888>1/4$。量子 $O(n)$ 次查询加多项式后处理对经典 $\Theta(2^{n/2})$，这是 Simon 于 1994 年证明的历史上第一个被证明的指数级查询分离。