容斥
容斥原理的一般化:
对于两个关于集合的函数\(f(S)\)和\(g(S)\),若
\[ f(S)=\sum\limits_{T\subseteq S}g(T) \]
那么有
\[ g(S)=\sum\limits_{T\subseteq S}(-1)^{\left |S\right |-\left |T \right |}f(T) \]
类似的形式有
\[ f(S)=\sum\limits_{T\supseteq S }g(T)\Rightarrow g(S)=\sum\limits_{T\supseteq S}(-1)^{\left |S\right |-\left |T \right |}f(T) \]
错位排列:
递推公式\(1\):
\[ D_n=(n-1)*(D_{n-1}+D_{n-2}) \]
递推公式\(2\):
\[ D_n=(-1)^n+n*D_{n-1} \]
通项公式:
\[ D_n=n!\sum\limits_{i=1}^n \frac{(-1)^i}{i!} \]