@lijunhan 有一点小建议

1.数组建议用下标呢。

2.和代码相关的可以用行内代码块啊if(p[i]) kt[k0++]=i

3.有个地方可以改成“否则 $x\gets x \oplus p_i$ ”否则 $x\gets x \oplus p_i$ 。前面也一样。

毕竟数学里的描述和代码里是不一样的。

4.有些地方可以用\operatorname{}，比如 $\operatorname{span}(s)$\operatorname{span}(s)。