题解 P3214 【[HNOI2011]卡农】
这题真的变态。HN太厉害了!
发现题目中定义的同种音乐其实是假的,只要除以
这样就是在集合
(1)所有选出的
(2)所有选出的
(3)所有选出的
DP。定义状态
考虑从容斥的角度分析,得出转移。由性质(3)得到,确定了前
然后去掉不满足性质(1)的方案数。可以得出,如果第
最后去掉不满足性质(2)的方案数。假设第
因此不满足性质(2)的方案数为
代码:
#include <cmath>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
const int N = 1e6 + 5, MX = 1e8 + 7; int n, m, f[N], orz = 1, mx = 1, A[N];
int qpow(int a, int b) {
int res = 1; while (b) b & 1 ? res = 1ll * res * a % MX : 0,
a = 1ll * a * a % MX, b >>= 1; return res;
}
int main() {
int i; cin >> n >> m; for (i = 1; i <= n; i++) orz = orz * 2 % MX;
orz = (orz - 1 + MX) % MX; A[0] = 1; for (i = 1; i <= m; i++)
A[i] = 1ll * A[i - 1] * ((orz - i + 1 + MX) % MX) % MX,
mx = 1ll * mx * i % MX; f[f[1] = 0] = 1; for (i = 2; i <= m; i++)
f[i] = (A[i - 1] - f[i - 1] + MX - 1ll * f[i - 2] *
(i - 1) % MX * (orz - i + 2 + MX) % MX + MX) % MX;
cout << 1ll * f[m] * qpow(mx, MX - 2) % MX << endl; return 0;
}