DTOJ 4713. 方程

题意

方程：

$x_1\oplus x_2\oplus \cdots \oplus x_n=k$

其中 $\oplus$ 指按位异或。

同时，$\forall i\in [1,n],0\le x_i\le m_i$.

求解的个数。

对 $50\%$ 的数据，$n=2$.

对 $100\%$ 的数据，$n\le 50,0\le k,m_i<2^{31}$.

题解

先考虑$n=2$，可以直接数位DP，记前$i$位的异或和与$k$的前i位相等，两个数分别时小于还是等于限制的前i位。但$n$是$50$的话要记$2^{50}$种状态，考虑题目有什么特殊的性质优化。发现如果前面的位有小于限制的数，那么这个数后面的位可以任取，其它数后面不论怎么填，都可以唯一确定它来使异或和$=k$。于是枚举前$i-1$位所有数与限制相同，考虑第$i$位有小于限制的数的情况，这里再记一个DP计算该位取了奇/偶个$1$的方案数即可，效率$O(n^2)$。