摘要：
发现若 \(G_{i,j}=\mathsf{A}\)，则 \(i,j\) 一定在同一个强连通分量中，而同一个强连通分量中不能存在 \(\mathsf{X}\)，因此先将满足 \(G_{i,j}=\mathsf{A}\) 的 \(i,j\) 进行缩点，然后通过 \(\mathsf{X}\) 判断是否无 阅读全文
摘要：
因为一个 \(x_i\) 不会出现超过两次，因此将有相同 \(x_i\) 的表达式之间连边，得到的图为若干链和环。 设 \(f_{i,0/1,0/1,0/1}\) 为考虑了链或环的前 \(i\) 个点，第一个点的状态，上一个变量的状态，现在的异或和状态的方案数，分类讨论来转移，最后将所有连通块的信息 阅读全文