离散数学——容斥原理

最新推荐文章于 2023-10-18 22:18:44 发布
最新推荐文章于 2023-10-18 22:18:44 发布
阅读量1.7k 收藏 2
点赞数
分类专栏： 离散数学 文章标签： 离散数学
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/JAN6055/article/details/123323764
版权

先来看一下对于容斥原理的定义，引用百度百科

容斥原理_百度百科

现在，假定已经能够熟悉这个原理的基本内容，下面是对容斥原理的一些解释。

为了方便说明，我们把全集设为三个集合的并集A1， A2， A3

我们要求全集的基数，由容斥原理的定义可知，我们可以对单独的子集求基数，然后再减去多计算的部分即可。

很简单的两步

1.每个集合基数单独计算

2.将多减去的部分加上即可

对于容斥原理的难点，主要是第二部分。

我们会发现，在执行第二步的时候，会多减去一部分，也有可能不多减，这是子集的交集为空集的情况，然后我们会发现，我们又多加了一部分，然后依次递归，直到最后的交集是所有子集的交集的情况，因为这样的时候，前面所有的多加多减去的部分已经计算完成，只剩下最后的这一部分。

我们看这个公式

https://bkimg.cdn.bcebos.com/formula/c14b2ae75dc2656967cb2e2dedbe57cd.svg

这个公式即是对上述所说的解释。

对于(-1)^m-1这里，可以说明以下。

对于两个子集的时候，只需要减去多加的部分，即| A1交A2 |

对于三个子集的时候，在减去多加的部分的同时，怎么保证A1， A2， A3的交集不为空？

它肯定有空的时候，这是毫无疑问的，但是也有不为空的时候，这也是毫无疑问的。

那既然有不为空的时候，那怎么保证两两子集交集不会与A1，A2，A3的交集重合？既然这样，就会有多减的时候，那么再将多减去的再加回来即可。

为用数学公式统一，那么无论如何都加一下不就可以了吗？

对于四个子集的时候，怎么保证对于每三个子集交集不会有与四个子集的交集重复的情况，那这是不是又多减去了一部分？

......

上述即是 (-1)^m-1的正确性

方便使用数学的公式统一，可以更精简的写成这种形式

https://bkimg.cdn.bcebos.com/formula/8235e8b08ec7fc0c668a225a1146711b.svg

一些应用

求解欧拉函数

欧拉函数的定义是，小于n并且与n互素的数从的个数

首先任何一个自然数，都能分解为素数的乘积形式，并且，有且只有一种情况。

比如10可以分解为2*5，既然这样，任何能被5和2整除的数和10都不能为素数。

那么全集就是1-10所有自然数，应用容斥原理。

要从U中寻找和10互素的数，可以用全集的基数减去是2 倍数的数5两个子集

A：2的倍数

B：5的倍数

ans = |U| = |A| - |B| + |A\bigcap B|

ans = 9 - 4 - 1 + 0 = 4

验证：1 3 7 9

正确

推广形式

对于一个自然数n，可以将其拆分为这样的形式

n = p1^{\alpha1 }p2^{\alpha2 }...pk^{\alpha k}

Ai为i倍数组成的集合

然后有

用～A表示补集 |__| 表示向下取整

F(n) = |～A1 交 ～A2 ... 交～Ak|

可计算 |Ai| = |_n/pi_|

所以

|Ai 交Aj| = |_n/pi*pj_|

 经过一系列计算可得（不写过程了，电脑上打公式属实折磨）

最后得出的结论

F(x)  = n(1 - 1/p1)(1- 1/p2) ... (1 - 1/pk)

__JAN__
关注
  • 0
    点赞
  • 踩
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
离散数学 - 容斥原理
Junds0的博客
02-28 432
第1关：埃拉托斯特尼筛法 本关任务：使用埃拉托斯特尼筛法找某个区间内的所有素数。 #coding=utf-8 import sympy as sym ''' 说明： 100的平方根为10，所以只要先计算10以内的素数个数，即2,3,5,7，共4个， 我们以此来验证容斥原理。 ''' # 列出区间[2,100]内所有整数 #***** Begin *****# U = list(range(1,101)) #***** End *****# # 定义一个列表primes来储存素数
算法与数据结构-离散数学之容斥定理
倚风语的专栏
12-22 2368
由某城市一次对居民投资情况调查得知，在被调查的50位居民中，有28人参加银行储蓄，有24人购买债券，有12人既参加储蓄又购买债券，有10人既参加储蓄又购买股票，还有4人同时参加这三种投资．已知12个购买股票的人或者参加储蓄或者购买债券．那么不参加任何一种投资的居民人数有多少呢？ 　　这是一个有限集合的计数问题．利用容斥定理和文氏图可以很方便地解决有限集合的计数问题． 　　在计数时，为了使若干集
【离散数学】容斥原理
行码棋
01-09 2890
容斥定理详解及经典习题
容斥原理（模板+例题）
时光、疏离了记忆づ童话的博客
08-05 5704
网上找来方便自己看，理解。 容斥原理：在计数时，必须注意无一重复，无一遗漏。为了使重叠部分不被重复计算，人们研究出一种新的计数方法，这种方法的基本思想是：先不考虑重叠的情况，把包含于某内容中的所有对象的数目先计算出来，然后再把计数时重复计算的数目排斥出去，使得计算的结果既无遗漏又无重复，这种计数的方法称为容斥原理。 也可表示为 设S为有限集,
离散数学期末复习-容斥原理
博客地址 www.sec0nd.top
07-01 2237
基数和有穷集合 基数 集合A的基数：集合A中的元素数，记作cardA 有穷集 有穷集A：cardA=|A|=n，n为自然数 有穷集实例： A={a,b,c}，|A|=3； B={x|x²+1=0，x∈R}，|B|=0 无穷集的实例 N,Z,Q,R,C等 包容排斥原理(容斥原理) 定理 推论 实例 ...
基础数论——容斥原理
Shao_yihao的博客
02-22 263
对于nnn个集合，∣S1∪S2∪⋯∪Sn∣=∑∣Si∣−∑∣Si∩Sj∣+∑∣Si∩Sj∩Sk∣−⋯+(−1)n−1∑∣S1∩S2∩⋯∩Sn∣|S_1\cup S_2\cup\dots\cup S_n|=\sum|S_i|-\sum|S_i\cap S_j|+\sum|S_i\cap S_j\cap S_k|-\dots +(-1)^{n-1}\sum|S_1\cap S_2\cap\dots\cap S_n|∣S1​∪S2​∪⋯∪Sn​∣=∑∣Si​∣−∑∣Si​∩Sj​∣+∑∣Si​∩Sj​∩Sk​∣−
离散数学课件——经典
10-11
5. **组合计数**：也称为组合数学，学习如何计算特定情况下的组合数量，如组合公式、排列公式、鸽巢原理、容斥原理等。 6. **数理逻辑**：这是更深入的逻辑理论，包括公理化方法、模型论、递归论等，为计算机程序...
离散数学试题（含答案）.zip
12-20
掌握容斥原理、鸽巢原理及其在计数问题中的应用。 6. **递归与归纳**：了解递归定义的概念，学习如何建立递归函数和解决递归问题。掌握归纳法在证明中的应用，尤其是数学归纳法。 7. **布尔代数**：布尔代数是...
2014级离散数学课件
10-27
它包括组合恒等式、容斥原理、鸽巢原理、生成函数等重要概念。在编程竞赛和实际问题解决中，组合数学的应用十分广泛。 五、数理逻辑 数理逻辑是研究数学推理的逻辑基础，它将数学证明的形式化为符号语言，并研究...
离散数学（上）
10-15
它包括组合计数、二项式定理、帕斯卡定律、鸽巢原理、容斥原理等。组合问题在计算复杂性和概率理论中有着广泛应用。 数理逻辑部分可能涉及到形式系统、证明的构造、完备性定理（哥德尔不完备性定理）、一致性证明和...
武汉大学离散数学期中期末试卷
06-16
5. **组合数学**：学习排列、组合、二项式定理、容斥原理、鸽巢原理等，并能应用到实际问题中。 6. **递归与归纳**：理解递归定义和归纳证明的方法，能够用递归方式定义和解决问题。 7. **编码理论**：初步了解...
离散数学/组合数学：利用容斥原理，求满射函数的个数，注意它容斥原理求得的是”非满射函数的个数”，以在A到B形成的函数的总个数为“全集“求该全集中”非满射函数的个数”的补集才是目标个数。
weixin_53730909的博客
01-19 1469
离散数学/组合数学：利用容斥原理，求满射函数的个数，注意它容斥原理求得的是”非满射函数的个数”，以在A到B形成的函数的总个数为“全集“求该全集中”非满射函数的个数”的补集才是目标个数。
离散数学：容斥原理
zb_tjw的博客
04-15 2390
这题答案有点问题，并不能满分通过，想满分的移步吧，只提供一个思路，思路是没问题的 提示：求两个整数a, b的最小公倍数lcm(a,b)，可以利用a, b的最大公约数gcd(a,b)来完成，即lcm(a, b) = a*b/gcd(a, b) gcd可以这样写： int gcd(int a, int b) { return a ? gcd(b % a, a) : b; } 样例输...
离散数学/容斥原理/算法：前缀和算法；区间和算法；以及高效更新数组arr的[l,r]区间的两种方法与背后的数学逻辑；以及高效更新区间的应用意义。
weixin_53730909的博客
10-29 327
离散数学/容斥原理/算法：前缀和算法；区间和算法；以及高效更新数组arr的[l,r]区间的两种方法与背后的数学逻辑；以及高效更新区间的应用意义。
NEFU离散数学实验2-容斥原理
qq_62377885的博客
10-18 505
所以，将这两种情况相加，并乘以(n-1)，即可得到n个元素的错位排列个数。利用容斥原理，我们可以将问题转化为求解有多少种情况满足至少有一个新郎找错的情况，然后再减去有两个新郎找错的情况，再加上有三个新郎找错的情况，依此类推，直到加上有M个新郎找错的情况。其中，|A|表示集合A的元素个数，|A∪B∪C|表示集合A、B和C的并集的元素个数，|A∩B|表示集合A和B的交集的元素个数，以此类推。其中，|A|表示集合A的元素个数，|A∪B|表示集合A和B的并集的元素个数，|A∩B|表示集合A和B的交集的元素个数。
UVA 11806（B）——Cheerleaders 容斥原理 离散数学列举所有情况
江河湖海
07-28 515
题目链接：点击打开链接 题目大意：输入m,n，k,在m行n列的矩阵中放k名啦啦队员，要求四条边框每一个至少都要有一名啦啦队员，问有多少中放法 解题思路：直接放的话会很麻烦，所以可以从它的反方向去考虑问题，求算出四条边上没有放满啦啦队员的情况，用sum减去就可以了 运用到了容斥原理（包含排斥原理）对于4条边没有啦啦队员的情况，一共有15种情况可以用离散数学的极大项，极小项那样的思路来处理，用位
nginx资源useless，don't download
07-09
nginx资源useless，don't download
util-linux-2.37.2.tar.xz
最新发布
07-09
util-linux-2.37.2.tar.xz
C语言实现离散数学真值表原理
06-07
离散数学真值表的实现可以使用C语言中的位运算符和逻辑运算符来实现。其中，位运算符包括按位与(&)、按位或(|)、按位异或(^)、按位取反(~)等，逻辑运算符包括与(&&)、或(||)、非(!)等。 下面是一个简单的C语言程序，可以实现一个离散数学真值表的生成： ```c #include <stdio.h> // 定义逻辑运算符的枚举类型 enum { AND, // 与 OR, // 或 NOT, // 非 XOR // 异或 }; // 定义真值表的结构体 typedef struct { int input1; // 输入1的取值 int input2; // 输入2的取值 int output; // 输出的取值 } TruthTable; // 定义生成真值表的函数 void generateTruthTable(int op, TruthTable *table) { int i, j, k = 0; for (i = 0; i < 2; i++) { for (j = 0; j < 2; j++) { switch (op) { case AND: table[k].output = i && j; break; case OR: table[k].output = i || j; break; case NOT: table[k].output = !i; break; case XOR: table[k].output = i ^ j; break; default: break; } table[k].input1 = i; table[k].input2 = j; k++; } } } // 定义打印真值表的函数 void printTruthTable(TruthTable *table) { int i; printf("Input1\tInput2\tOutput\n"); for (i = 0; i < 4; i++) { printf("%d\t%d\t%d\n", table[i].input1, table[i].input2, table[i].output); } } int main() { TruthTable table[4]; generateTruthTable(AND, table); printTruthTable(table); return 0; } ``` 该程序可以通过调用 generateTruthTable 函数生成指定逻辑运算符的真值表，并通过调用 printTruthTable 函数打印出真值表的内容。通过修改 generateTruthTable 函数中的逻辑运算符枚举值，可以实现不同逻辑运算符的真值表生成。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值