容斥？

水 u 群时看的神秘言论。

二项式反演的本质可以是 。

于是可以用来简单的解决一些经典问题。

错位排列

不妨设 为所有 阶排列所构成的集合。

考虑统计 位置的映射 ，使得 。

在错位排列 中，显然有 。

考虑对于所有 的排列 计数即可。

在组合数学中，定义 是合法的。

那么上文提到的指标函数 当且仅当 时取到 ，否则一定为 。