Codeforces 736D

题意

给出一个 $n\times n$ 的 0-1方阵 $M$，$M$ 中恰有 $m$ 个位置为 1，其它为 0。保证有：

$$\det(M)\equiv 1\mod 2$$

对 $M$ 中的每个 1，回答：把这个 1 修改为 0 后，$\det(M')\mod 2$

约定：$n\leq 2000$，$m\leq min(n^2,500000)$

Sol

可以把方阵的每个行向量取出来，记第 $i​$ 个行向量为 $v_i​$。

因为 $\det(M)\equiv 1$，意味着行向量线性无关，所以任意一个 $n$ 维 0-1向量可以唯一写为这 $n$ 个行向量的线性表示。

我们把第 $i$ 维为 1，其它维为 $0$ 的一个 $n$ 维向量记为 $e_i$。

那么对于每一个 $1\leq i\leq n$，$e_i$ 都可以写为 $\{v_i\}$ 的线性表示。

原问题等价于修改某一个行向量中的某个 $1$ 为 $0$ 后，询问这些行向量是否仍然线性无关。

我们记被修改的行向量为 $v_i$，其中 $v_i$ 的第 $j$ 位被修改为 $0$。

考虑如果行向量线性相关的话，意味着存在一个行向量的子集，满足它们的异或和为 $0$。因为原行向量线性无关，所以这个子集一定包括 $v_i$。考虑把 $v_i$ 修改回去，则这个子集的异或和恰好为 $e_j$。

分析到这里，不难得到：修改 $M_{i,j}$ 后，不改变行列式的奇偶性的充要条件为：$e_j$ 的线性表示中，$v_i$ 的系数为 $0$。

我们可以通过高斯消元，处理出每个 $e_j\ (1\leq j\leq n)$ 关于 $\{v_i\}$ 的线性表示，则所有询问都可以 $O(1)$ 回答。

回顾整个计算过程，实质上是求了 $M$ 的逆矩阵。

对 0-1 矩阵的高斯消元可以利用 bitset 并行计算，时间复杂度 $O\left(\frac{n^3}{64}\right)$