容斥原理(道理很简单,重在实践)

2024-02-17 22:38

本文主要是介绍容斥原理(道理很简单,重在实践),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

前言

在组合数学中如何求2或2个以上集合的并集中元素的个数,若这几个集合两两无关,也就是没有交集,可以用加法原理,这个比较好理解,把所有集合的大小加起来就行了。若出现交集,就需要使用容斥原理。

理解

我认为容斥原理就是一个把多算的那块去掉,多去掉的那块补上的过程,可能这么说比较抽象,但确实如此。

这里举个例子:

计数1到600之间不能被6整除的整数个数。

这里600个是包含能被6整除的个数,所以要把多算的那块去掉,从1开始每6个数都有一个可以被6整除,所以600/6 = 100答案就是600-100=500

这个例子是减法原理,但也是容斥原理最简单的例子。

这个例子抽象一下是对于有限集合S,有一个性质p不满足某个性质,那么求满足性质的集合大小。

将这个问题拓展一下,p1,p2,p3…pm不满足某个性质,这些不满足性质的集合对应的是 A i A_i Ai,我们要求满足的集合大小。所求的对象个数可以由下面的交错表达式给出:
∣ A 1 ‾ ⋂ A 2 ‾ ⋂ ⋯ ⋂ A m ‾ ∣ = ∣ S ∣ − ∑ ∣ A i ∣ + ∑ ∣ A i ⋂ A j ∣ − ∑ ∣ A i ⋂ A j ⋂ A k ∣ + ⋯ + ( − 1 ) m ∣ A 1 ⋂ A 2 ⋂ ⋯ ⋂ A m ∣ \mid \overline{A_1}\bigcap\overline{A_2}\bigcap\cdots\bigcap\overline{A_m} \mid =\mid S \mid - \sum{\mid A_i \mid} + \sum{\mid A_i\bigcap A_j \mid} - \sum{\mid A_i\bigcap A_j \bigcap A_k\mid} + \cdots+(-1)^{m}\mid {A_1}\bigcap{A_2}\bigcap\cdots\bigcap{A_m}\mid A1A2Am=SAi+AiAjAiAjAk++(1)mA1A2Am
根据上述的表达式我们可以解决

计数1到1000之间不能被5,6,8整除的整数个数

很明显|S| = 1000

|A1| = 1000/5 = 200

|A2| = 1000/6 = 166

|A3| = 1000/8=125

然后我们要求的交集部分

(A1,A2):1000/lcm(5, 6)=33

(A1,A3):1000/lcm(5, 8)=25

(A1,A2):1000/lcm(6, 8)=33

(A1,A2,A3):1000/lcm(5, 6, 8) = 8

答案:1000-(200+166+125)+(33+25+41)-8=600

题目

一班容斥原理的题目不能直接套那个公式,需要我们真正明白把多算的那块去掉,多去掉的那块补上的过程的含义

The Lottery

UVA - 10325

这道题和上面第二例子一样,只不过不能被N个数整除,只要枚举被1~N个数整除,把所有情况都找出来,套公式即可,这里值得注意的是lcm和gcd都具有结合律,也就是说lcm(a,b,c) = lcm(lcm(a,b),c)

代码

#include <bits/stdc++.h>
using namespace std;typedef long long ll;
const int maxm = 20;
ll num[maxm], n;
ll gcd(ll a, ll b) {return b == 0 ? a : gcd(b, a % b);
}ll lcm(ll a, ll b) {return a / gcd(a, b) * b;
}
int m;
ll ans;
void dfs(int c, int cur, int i, ll now) {if(cur == c) {ans += ((c & 1) ? -1 : 1) * (n/now);return;}while(i < m) {dfs(c, cur+1, i+1, lcm(now, num[i]));i++;}
}
int main()
{// freopen("/Users/maoxiangsun/MyRepertory/acm/i.txt", "r", stdin);while(~scanf("%lld%d", &n, &m)) {for(int i = 0; i < m; i++) {scanf("%lld", num+i);}ans  = n;for(int i = 1; i <= m; i++) {dfs(i, 0, 0, 1);}printf("%lld\n", ans);}return 0;
}

Cheerleaders

UVA - 11806

这道题的意思是一个n*m的方格表,每个方格最多放一个东西,我们要放k个东西,问在上下左右那几条边都有东西的前提下有多少种方式。

也是套那个公式,最后可以推出这样的结果:
a n s = C ( n m , k ) − 2 ( C ( ( n − 1 ) m , k ) + C ( ( m − 1 ) n , k ) ) + ( C ( ( n − 2 ) m , k ) + C ( ( m − 2 ) n , k ) + 4 C ( ( m − 1 ) ( n − 1 ) , k ) − 2 C ( m − 2 ) ( n − 1 ) , k ) − 2 C ( C ( m − 1 ) ( n − 2 ) , k ) + C ( ( m − 2 ) ( n − 2 ) , k ) ; ans = C(nm, k) -2(C((n-1)m, k)+C((m-1)n,k))\\ +(C((n-2)m,k)+C((m-2)n,k)+4C((m-1)(n-1), k)\\ -2C(m-2)(n-1),k)-2C(C(m-1)(n-2),k) +C((m-2)(n-2), k); ans=C(nm,k)2(C((n1)m,k)+C((m1)n,k))+(C((n2)m,k)+C((m2)n,k)+4C((m1)(n1),k)2C(m2)(n1),k)2C(C(m1)(n2),k)+C((m2)(n2),k);
还有就是组合数取模问题,利用杨辉三角那个样子打表处理这种n*m不是很大,比较合适,再不行就用Lucas定理……

#include <bits/stdc++.h>
using namespace std;typedef long long ll;
const ll maxn = 420;
const ll mod = 1000007;
ll CC[maxn][maxn] = {0};
void init() {CC[0][0] = 1;for(ll i = 1; i < maxn; i++) {CC[i][0] = 1;for(ll j = 1; j <= i; j++) {CC[i][j] = (CC[i-1][j-1] + CC[i-1][j])%mod;}}
}
ll C(ll n, ll m) {return CC[n][m];
}
int main()
{ios::sync_with_stdio(false); cin.tie(0);ll n,m,k;ll T; init();cin >> T;int cas=0;while(T--) {cin >> n >> m >> k;ll ans =  (C(n*m,k)-(2*C((n-1)*m, k) + 2*(C(n*(m-1), k)) -C((m-2)*n, k) -C((n-2)*m, k) - 4*C((m-1)*(n-1) , k) + 2*C((m-2)*(n-1), k) + 2*C((m-1)*(n-2),k)-C((m-2)*(n-2), k) ) );while(ans < 0) {ans += mod;}cout << "Case "<<++cas<<": ";cout << ans % mod << endl; }return 0;
}

2018山东省赛F题

https://ac.nowcoder.com/acm/contest/123/F

这道题的意思是给出四个区间左右端点li,ri,从中取出x1,x2,x3,x4,问这四个值相邻元素不等的取法有多少种,可以用容斥想,S-不符合条件的总数。

情况1,只考虑两两相邻相等,可以分出四组来

情况2,在三个相邻相等和x1=x2&&x3=x4与x2=x3&&x1=x4公6组,不难发现在情况1中包含了情况2的可能所以要把多去的情况1加上去,加多少呢?加一倍,为啥?比如情况1在计算x1=x2的数量时已经计算了x3=x4的数量,而x3=x4的数量时又计算了x1=x2所以计算了两遍x1=x2&&x3=x4

情况3,x1=x2=x3=x4

这是最容易错的地方,我已开始做也是因为这wa了,为啥,情况1多算4次,情况2把6次减去了,情况3需要1次所以需要加上3倍的情况3才行!

代码:

#include <bits/stdc++.h>
using namespace std;typedef long long ll;
ll ans;
ll l[5],r[5];
const ll mod = 1e9 + 7;int main()
{int T; scanf("%d", &T);while(T--) {ans = 1;for(int i = 0; i < 4; i++) {// cin >> l[i] >> r[i];scanf("%lld%lld", &l[i], &r[i]);ans = ans * (r[i] - l[i] + 1) % mod;}ll left, right;for(int i = 0; i < 4; i++) {left = max(l[i], l[(i+1)%4]);right = min(r[i], r[(i+1)%4]);if(right >= left) ans=((ans-(right-left+1)*(r[(i+2)%4]-l[(i+2)%4]+1)%mod*(r[(i+3)%4]-l[(i+3)%4]+1)%mod)%mod+mod)%mod;} for(int i = 0; i < 4; i++) {left = max(l[i], max(l[(i+1)%4], l[(i+2)%4]));right = min(r[i], min(r[(i+1)%4], r[(i+2)%4]));if(right >= left) ans = (ans + (right - left + 1) * (r[(i+3)%4] - l[(i+3)%4] + 1)%mod)%mod;}ll l1,l2,r1,r2;for(int i = 0; i < 2; i++) {l1 = max(l[i], l[i+1]);r1 = min(r[i], r[i+1]);l2 = max(l[(i+2)%4], l[(i+3)%4]);r2 = min(r[(i+2)%4], r[(i+3)%4]);if(l1 <= r1 && l2 <= r2) {ans = (ans + (r1-l1+1)*(r2-l2+1)%mod)%mod;}}left = l[0];right = r[0];for(int i = 1; i < 4; i++) {left = max(l[i], left);right = min(r[i], right);}if(right >= left) {ans = (ans - (3*(right - left + 1))%mod + mod ) % mod;}printf("%lld\n", ans);}   return 0;
}

总结

容斥原理这类题难得地方在于理解模型中集合与集合的公共部分,不要盲目的套公式!

这篇关于容斥原理(道理很简单,重在实践)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/719196

相关文章

mac安装nvm(node.js)多版本管理实践步骤

《mac安装nvm(node.js)多版本管理实践步骤》:本文主要介绍mac安装nvm(node.js)多版本管理的相关资料,NVM是一个用于管理多个Node.js版本的命令行工具,它允许开发者在... 目录NVM功能简介MAC安装实践一、下载nvm二、安装nvm三、安装node.js总结NVM功能简介N

Spring Boot 3 整合 Spring Cloud Gateway实践过程

《SpringBoot3整合SpringCloudGateway实践过程》本文介绍了如何使用SpringCloudAlibaba2023.0.0.0版本构建一个微服务网关,包括统一路由、限... 目录引子为什么需要微服务网关实践1.统一路由2.限流防刷3.登录鉴权小结引子当前微服务架构已成为中大型系统的标

Java调用DeepSeek API的最佳实践及详细代码示例

《Java调用DeepSeekAPI的最佳实践及详细代码示例》:本文主要介绍如何使用Java调用DeepSeekAPI,包括获取API密钥、添加HTTP客户端依赖、创建HTTP请求、处理响应、... 目录1. 获取API密钥2. 添加HTTP客户端依赖3. 创建HTTP请求4. 处理响应5. 错误处理6.

C++初始化数组的几种常见方法(简单易懂)

《C++初始化数组的几种常见方法(简单易懂)》本文介绍了C++中数组的初始化方法,包括一维数组和二维数组的初始化,以及用new动态初始化数组,在C++11及以上版本中,还提供了使用std::array... 目录1、初始化一维数组1.1、使用列表初始化(推荐方式)1.2、初始化部分列表1.3、使用std::

golang内存对齐的项目实践

《golang内存对齐的项目实践》本文主要介绍了golang内存对齐的项目实践,内存对齐不仅有助于提高内存访问效率,还确保了与硬件接口的兼容性,是Go语言编程中不可忽视的重要优化手段,下面就来介绍一下... 目录一、结构体中的字段顺序与内存对齐二、内存对齐的原理与规则三、调整结构体字段顺序优化内存对齐四、内

redis群集简单部署过程

《redis群集简单部署过程》文章介绍了Redis,一个高性能的键值存储系统,其支持多种数据结构和命令,它还讨论了Redis的服务器端架构、数据存储和获取、协议和命令、高可用性方案、缓存机制以及监控和... 目录Redis介绍1. 基本概念2. 服务器端3. 存储和获取数据4. 协议和命令5. 高可用性6.

JAVA调用Deepseek的api完成基本对话简单代码示例

《JAVA调用Deepseek的api完成基本对话简单代码示例》:本文主要介绍JAVA调用Deepseek的api完成基本对话的相关资料,文中详细讲解了如何获取DeepSeekAPI密钥、添加H... 获取API密钥首先,从DeepSeek平台获取API密钥,用于身份验证。添加HTTP客户端依赖使用Jav

C++实现封装的顺序表的操作与实践

《C++实现封装的顺序表的操作与实践》在程序设计中,顺序表是一种常见的线性数据结构,通常用于存储具有固定顺序的元素,与链表不同,顺序表中的元素是连续存储的,因此访问速度较快,但插入和删除操作的效率可能... 目录一、顺序表的基本概念二、顺序表类的设计1. 顺序表类的成员变量2. 构造函数和析构函数三、顺序表

python实现简易SSL的项目实践

《python实现简易SSL的项目实践》本文主要介绍了python实现简易SSL的项目实践,包括CA.py、server.py和client.py三个模块,文中通过示例代码介绍的非常详细,对大家的学习... 目录运行环境运行前准备程序实现与流程说明运行截图代码CA.pyclient.pyserver.py参

使用C++实现单链表的操作与实践

《使用C++实现单链表的操作与实践》在程序设计中,链表是一种常见的数据结构,特别是在动态数据管理、频繁插入和删除元素的场景中,链表相比于数组,具有更高的灵活性和高效性,尤其是在需要频繁修改数据结构的应... 目录一、单链表的基本概念二、单链表类的设计1. 节点的定义2. 链表的类定义三、单链表的操作实现四、