普利斯记号
以下以“人”代指受条件约束的元素。
\(K(x)\)表示刚好\(x\)人满足条件的方案数。
\(S(x)\)表示至少\(x\)人满足条件的方案数。
\(C(x)\)表示任选\(x\)人满足条件,其他人任意的方案数。
则显然有\(S(0)=C(0)=K(0)+S(1)=所有人任意的方案数\)。
注意\(S\)与\(C\)的不同处。比如大小为\(3\)的集合,条件为选择其子集,则\(S(1)=7\),但\(C(1)=12\)。
容斥原理
\[K(0)=\sum_{i=0}^n(-1)^iC(i)\]
也就是小学生的容斥。一般的组合类的容斥题都可以用这个解。
\(C(x)\)的计算一般是先乘\(C_n^x\),表示任选\(x\)人,然后乘上\(x\)人满足条件的方案数,再乘上\(n-x\)人任意选的方案数。
注意:这种容斥原理要求人是无差别的。若人与人不同,则用\(2^n\)的容斥。
解题
容斥原理可以将问题转换为其补问题。如\(C\)的计算里所讲,事实上我们要算的由“所有人不满足条件的方案数”变成了“\(x\)人满足条件的方案数”。同时,满足条件比不满足条件好算得多。于是问题就变得简单。
错排问题
求满足\(p(i)\ne i\)的长度为\(n\)的排列数。
考虑随便选,这样有人就会\(i=p(i)\)。于是我们把\(i=p(i)\)作为限制条件,要求的就是\(K(0)\)。
由容斥原理,考虑计算\(C(x)\)。显然\(C(x)=C_n^x\times 1\times(n-x)!\)。(对着上面看)
于是答案就是\(\sum_{i=0}^n(-1)^iC_n^i(n-i)!\)。
BZOJ2839 集合计数
求在有\(n\)个元素的集合中,选若干个不同子集使它们的交的大小为\(k\)的方案数。
这个条件等价于先任选\(k\)个放好,认为它们是交,于是就变成要求剩下的\(n-k\)个选子集交为空。考虑限制条件为交集,则答案为\(K(0)\)。
计算\(C(x)\)就是先任选\(x\)个元素认为是交,其它的集合随便选。于是\(C(x)=C_n^x\cdot 2^{2^{n-x}}\)。
BZOJ4710 JSOI2011 分特产
题面见OJ。
考虑乱分特产,不合题意的情况是有人没分到特产。于是设限制条件为没分到特产。答案为\(K(0)\)。
计算\(C(x)\)就是在剩下的\(n-x\)个人里面用隔板法。