【容斥推导】JZOJ7099. 【2021.06.01NOI模拟】nim

Description

• 求多少个$[0,m-1]$的集合大小为$n$且xor和为0,。
• $n\le 3000,m\le 2^{3e6},nlogm\le 3.5e7$

Solution

• 首先算出可重有序，枚举第一个小于$m$的位置出现在哪里，那么其中一个在确定$n-1$个之后也是确定的（后面的位置可以任意选），因此假设$a$为这一位选1的方案数，$b$为这一位选0的方案数，则：

$$f_n=\sum _{i=0}^{n-1}[imod2=0]\left(\genfrac{}{}{0ex}{}{n}{i}\right)a^i{b}^{n-i-1}$$

• 可以简单化简出带有$(b+a{)}^n+(b-a{)}^n$的东西。

• 这题的主要难点在于容斥，我们上面算出可重有序的方案数，但是要求的是不可重无序的方案数，问题在于怎么容斥。

• 考虑两种方案等价相当于有一种置换可以转换，因此可以考虑类似burnside的东西：
  $$Ans=\frac{1}{n!}\sum _{p}f(p)(-1{)}^{\alpha (p)}$$

• 其中$p$为一个置换，$\alpha (p)$为$p$的逆序对个数，$f(p)$表示等价类为$p$的方案数为多少。

• 理解：$(-1{)}^{\alpha (p)}$容斥掉重复，burnside容斥掉有序。

• 接下来证明$(-1{)}^{\alpha (p)}$恰好可以容斥掉重复的情况，首先逆序对假设是$(i,p_i)$为1的矩阵的行列式，那么考虑交换两个点的编号（包括连出去的和连向它的点）相当于交换两行两列，因此不妨将同一个环内的数连续放，那么现在只需要考虑一个环内部的逆序对情况，由于一共有$c!$种方案，只有当$c=1$时行列式才为1，否则为0，所以只有环大小为1才会有贡献。

• 然后考虑DP计算$p$的贡献，可以分为偶环和奇环，转移枚举环的大小$k$，如果是偶环逆序对个数为$-1$，乘上环内方案数$(k-1)!$，偶环贡献到$f$就是$m$，奇环贡献到$f$就是前面可重有序的方案数。

• 因此记$f[i][j]$表示$i$个点的排列，$j$个奇环的贡献，可以前缀和优化。

• 还有另外一种容斥系数的理解方式。

• 考虑我们最后枚举等价类编号是有影响的，因此是一个EGF，单独考虑一个数所有它的环，不妨假设一个环的生成函数是：

$$A(x)=\sum _{i>0}\frac{a_i}{i!}{x}^i$$

• 那么它的组合要求：

$$e^{A(x)}-1=x$$

• 得到$A(x)=ln(x+1)={\sum }_{n>0}\frac{(-1{)}^{n-1}}{n}{x}^n$
• 因此$a_i=(-1{)}^{i-1}(i-1)!$