【bzoj2839】【集合计数】容斥原理+线性求阶乘逆元小技巧

（上不了p站我要死了，侵权度娘背锅）

Description
一个有N个元素的集合有2^N个不同子集（包含空集），现在要在这2^N个集合中取出若干集合（至少一个），使得
它们的交集的元素个数为K，求取法的方案数，答案模1000000007。（是质数喔~）
Input
一行两个整数N,K
Output
一行为答案。
Sample Input
3 2
Sample Output
6
HINT
【样例说明】
假设原集合为{A,B,C}
则满足条件的方案为：{AB,ABC},{AC,ABC},{BC,ABC},{AB},{AC},{BC}
【数据说明】
对于100%的数据，1≤N≤1000000；0≤K≤N；

自己的数论果然还是太差了，看来大佬的博客才知道该怎么做

当 题目所求难以直接求得，而扩大一些的范围方便求 时，就思考用容斥定理。对于这道题，交集恰好为k的不好求，但是交集元素包含k的方便求，所以就考虑用 包含k的方案数-包含k+1的方案数+包含k+2的方案数…… 来求出 恰好包含k 的方案数。于是就将大问题拆成了相似的小问题。

交集元素个数包含i的方案数是很好求的。首先要保证一定有i个元素，所以就是“从n个元素中选i个元素”，即C(n,i)。接下来就是选择一些集合包含选出来的i个元素的方案数，该问题等价于选一些集合不包含这i个元素的方案数。即 除开这i个元素，剩下的n-i个元素组成的集合有2^(n-i)个，每个集合有选与不选两种状态，所以就是2^(2^(n-i))-1种方案。因为不能全都不选（2^(n-i)个集合中已包含空集），所以要-1。

但是却发现这样的做法连样例都过不了O^O，难道说这个方法错了吗？冷静下来仔细分析样例，按照这样的算法得出：
交集包含2个的：共9种
{ {1,2}}，{ {1,2,3}}，{ {1,2}，{1,2,3}}
{ {1,3}}，{ {1,3,2}}，{ {1,3}，{1,3,2}}
{ {3,2}}，{ {3,2,1}}，{ {3,2}，{3,2,1}}
交集包含3个的：共1种
{ {1,2,3}}

我们发现，在“交集包含2的”的情况中，集合{1,2,3}出现了