浅谈容斥原理在计数中的应用

基本容斥

[ABC066D] 11

首先如果没有重复的数,答案肯定是 Cnk

考虑如何加入有重复的数这一性质。
不难想到用容斥思想,减去重复的部分。

那么考虑那些数列可能会重复:显然如果 x 出现了两次并且分别出现在 y1y2,那么重复了的数列中一定不会出现下标在 (y1,y21) 中(默认 y1<y2),所以就相当于在剩下的数中选出 k 个数。

code

[SDOI2016] 排列计数

首先考虑 m=0的情况,可以发现这个东西就是一个错位排列。

错位排列公式推导:

考虑容斥,不难想到用 n! 减去只有某个 i 使得 ai=i,再加上有两个数满足 ai=i,以此类推。

dn 表示 n 的错位排列个数,所以得到式子:

dn=n!+i=1n(1)iAni

然后进行化简:

dn=n!+i=1n(1)in!i!

dn=n!+n!i=1n(1)i1i!

然后对于 di 维护与 di1 的贡献差即可。

不过直接 dp 貌似更常用

然后就直接算出在 n 个数中选择 m 个数的方案,然后对于每个方案的代价就是将那 m 个数去掉后的错位排列数量。

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;
}

二项式反演

二项式反演的常用形式有两种:

  1. f(i) 表示正好 i 个,g(i) 表示至少 i 个,则有:

g(x)=i=xn(xi)×f(i)

f(x)=i=xn(xi)×g(i)×(1)ix

  1. f(i) 表示正好 i 个,g(i) 表示至多 i 个,则有:

g(x)=i=0x(in)×f(i)

f(x)=i=0x(in)×g(i)×(1)ni

第一类斯特林数

表示方法:S(n,m)[mn]

定义:S(n,m) 表示把 n 个不同元素构成 m 个圆的方案数(圆经过旋转或打乱顺序后可以相同视为同一种)。

递推式:

  1. 将当前这个数新开一个圆,那么有转移:

S(n,m)=S(n1,m1)

  1. 插入到前面某一个数的后面,有:

S(n,m)=S(n1,m)×(n1)

综合得:

S(n,m)=S(n1,m)×(n1)+S(n,m)=S(n1,m1)

初始条件为: S(1,1)=1

第二类斯特林数

表示形式:S(n,m)

定义:S(n,m) 表示将 n 个数放入 m 个集合不能为空的方案数。

转移:

  1. 新开一个集合,有:

S(n,m)=S(n1,m1)

  1. 插入到前面的一个集合中,有:

S(n,m)=S(n1,m)×m

综合得:

S(n,m)=S(n1,m1)+S(n1,m)×m

posted @   caoshurui  阅读(43)  评论(0编辑  收藏  举报
相关博文:
阅读排行:
· winform 绘制太阳,地球,月球 运作规律
· AI与.NET技术实操系列(五):向量存储与相似性搜索在 .NET 中的实现
· 超详细:普通电脑也行Windows部署deepseek R1训练数据并当服务器共享给他人
· 【硬核科普】Trae如何「偷看」你的代码?零基础破解AI编程运行原理
· 上周热点回顾(3.3-3.9)
点击右上角即可分享
微信分享提示