本质还是高斯消元,使其成为上三角矩阵.但是 \(k\) 不一定是质数. 但我们不需要保证已有数字不改变,只要维护的是一个上三角矩阵就行.所以我们可以利用更相减损让其中一个向量的最高位 \(= 0\) .然后插入即可.正确性的证明同二进制线性基. 然后来到了查询环节.在二进制下,异或两次就等于没异或,所以容易判断.但是在这里,一个数的异或次数是不固定的.更糟的是,很有可能有多种方式取得最大值. 举个例子.当前 \(k = 8\) ,最高位 \(= 6\) ,初始数字 \(x = 0\) .显然异或…