摘要: 本质还是高斯消元,使其成为上三角矩阵。但是 \(k\) 不一定是质数。 但我们不需要保证已有数字不改变,只要维护的是一个上三角矩阵就行。所以我们可以利用更相减损让其中一个向量的最高位 \(= 0\) 。然后插入即可。正确性的证明同二进制线性基。 然后来到了查询环节。在二进制下,异或两次就等于没异或, 阅读全文
posted @ 2022-06-26 22:32 一粒夸克 阅读(388) 评论(0) 推荐(0) 编辑