浅谈容斥原理在计数中的应用
基本容斥
首先如果没有重复的数,答案肯定是 。
考虑如何加入有重复的数这一性质。
不难想到用容斥思想,减去重复的部分。
那么考虑那些数列可能会重复:显然如果 出现了两次并且分别出现在 ,,那么重复了的数列中一定不会出现下标在 中(默认 ),所以就相当于在剩下的数中选出 个数。
首先考虑 的情况,可以发现这个东西就是一个错位排列。
错位排列公式推导:
考虑容斥,不难想到用 减去只有某个 使得 ,再加上有两个数满足 ,以此类推。
设 表示 的错位排列个数,所以得到式子:
然后进行化简:
然后对于 维护与 的贡献差即可。
不过直接 dp 貌似更常用
然后就直接算出在 个数中选择 个数的方案,然后对于每个方案的代价就是将那 个数去掉后的错位排列数量。
code:
#include <bits/stdc++.h>
using namespace std;
using LL = long long;
const int kMaxN = 1e6 + 5, kM = 1e9 + 7;
LL f[kMaxN] = {1}, p[kMaxN] = {1}, n, m, t;
LL P(LL x, LL y) {
LL ans = 1;
for (int i = 1; i <= y; i <<= 1, x = x * x % kM) {
(y & i) && (ans = ans * x % kM);
}
return ans;
}
LL V(int x, int y) {
return p[x] * P(p[y], kM - 2) % kM * P(p[x - y], kM - 2) % kM;
}
void C() {
cin >> n >> m;
cout << V(n, m) * f[n - m] % kM << "\n";
}
int main() {
f[2] = 1;
for (int i = 1; i < kMaxN; i++) {
p[i] = p[i - 1] * i % kM;
}
for (int i = 3; i < kMaxN; i++) {
f[i] = (i - 1) * (f[i - 1] + f[i - 2]) % kM;
}
for (cin >> t; t; t--) {
C();
}
return 0;
}
二项式反演
二项式反演的常用形式有两种:
- 表示正好 个, 表示至少 个,则有:
- 表示正好 个, 表示至多 个,则有:
第一类斯特林数
表示方法: 或 。
定义: 表示把 个不同元素构成 个圆的方案数(圆经过旋转或打乱顺序后可以相同视为同一种)。
递推式:
- 将当前这个数新开一个圆,那么有转移:
- 插入到前面某一个数的后面,有:
综合得:
初始条件为:
第二类斯特林数
表示形式:
定义: 表示将 个数放入 个集合不能为空的方案数。
转移:
- 新开一个集合,有:
- 插入到前面的一个集合中,有:
综合得:
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· winform 绘制太阳,地球,月球 运作规律
· AI与.NET技术实操系列(五):向量存储与相似性搜索在 .NET 中的实现
· 超详细:普通电脑也行Windows部署deepseek R1训练数据并当服务器共享给他人
· 【硬核科普】Trae如何「偷看」你的代码?零基础破解AI编程运行原理
· 上周热点回顾(3.3-3.9)