容斥？

注：本文参考了这位大佬的博客，详情请移步——戳我

容斥

为什么容斥系数~~乱七八糟~~但是最后算出来的答案却是正确的的呢。

以一个常见的容斥系数为例子：\(\sum_{i=1}^nC_n^i(-1)^{i+1}\)

\(=\sum_{i=1}^n(C_{n-1}^{i-1}+C_{n-1}^i)\times (-1)^{i+1}\)

\(=\sum_{i=1}^{n}C_{n-1}^{i-1}\times (-1)^{i+1}+\sum_{i=1}^{n-1}C_{n-1}^{i}\times (-1)^{i+1}\)

\(=\sum_{i=1}^{n-1}C_{n-1}^{i}\times (-1)^{i+2}+C_{n-1}^0+\sum_{i=1}^{n-1}C_{n-1}^{i}\times (-1)^{i+1}\)

\(=1\)

用容斥原理解决错排问题

通项公式：
\(ans[n]=n![\frac{1}{2!}-\frac{1}{3!}+...+(-1)^n\frac{1}{n!}]\)

emmm，通项公式没有办法快速算，好像也木有什么用。。。。

正难则反，不等于的条件范围很大，不好满足，但是等于确是一个很强的约束，所以我们考虑分别计算出一个位置不满足错排、两个位置不满足错排。。。n个位置不满足错排。
因为我们要求的是错排的个数，所以我们要减去不合法的“一个位置不满足错排”的情况数目，但是减去的同时我们多减了一次“同时两个位置不满足错排”的情况（本来只应该被减一次，但是现在被减去了两次），所以我们要加上。但是这样的话就又多加上了“三个位置不满足错排”的情况。。。。。

以此类推，故公式为\(ans[n]=\sum_{i=0}^{n}(-1)^i\times C_n^i\times (n-i)!\)

但是这个玩意儿我们没有办法O(1)地计算，所以继续化简——

\(ans[n]=\sum_{i=0}^{n}(-1)^i\times \frac{n!}{i!(n-i)!} \times (n-i)!\)

\(ans[n]=\sum_{i=0}^n(-1)^i\times \frac{n!}{i!}\)

\(ans[n]=\sum_{i=0}^{n-1}(-1)^i\times\frac{n!}{i!}+(-1)^n\)

\(ans[n]=n*ans[n-1]+(-1)^n\)

容斥都有哪些形式？

组合数形式

比如说，对于至少满足一个条件的计算结果，一般长成这个样子——
\(\sum_{i=1}^{n}C_{n}^i*f(i)\)，其中f(i)是容斥系数，对于上述问题来说是(-1)的i+1次方。
而对于至少满足K个条件的计算结果，则是\(\sum_{i=1}^nC_n^i(f(i)=[n>=k])\)。
看了大佬的博客说，如果我们允许\(n^2\)的复杂度，完全可以让程序帮忙计算这个容斥系数（来一个预处理就够了），一个一个递推即可。

斯特林数形式

还不会，咕咕咕，回来补。

莫比乌斯函数形式