- 1、本文档共23页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
数理逻辑与二元关系3.ppt
一些计数问题可归结为计算一个或一些集合中的元素个数。而有时在计算集合并的元素个数较困难而计算交较容易时,我们可利用集合的性质将计算的问题转化为计算交。这就是容斥原理思想。 定理1 设A1 , A2 , …, Am均为有限集,m≥2,则 * * 数理逻辑与二元关系 任课教师:杨春 Email: yc517922@126.com 数学科学学院 容斥原理 1. 集合的几个性质 有 (a) ︱ ︱= ︱U ︱- ︱ A ︱ 设 U 为全集, 集合A的补集 为 (b) DeMorgan]律 A∩B = A∪B A ∪ B = A ∩ B DeMogan定理可推广为多个集合的并与交 (1) (c) |A ∪ B | = |A| + |B| - |A ∩ B| U B A A∩B 证明 对m 用归纳法。 m =2 即为(1)式。 (1) 设 (2) 于是 (3) 代(2)和 (4) 入(3), 得 而 |(A1∪…∪Am-1) ∩Am | = |(A1 ∩ Am) ∪ …∪(Am-1∩ Am ) | (4) 推论 设全集 S 为有限集,对集合 A1 , …, Am 有 (5) 证明 再将 (1) 式代入上式便得(5) 式。其中(2.6)(2.5)是集合的两个性质 设有性质 p1, p2,…, pm ,令 Ai 是 S 中具有性质 pi 的元素所组成的子集合,Ai (i =1,2,…,m) ? S。则 定理和推论的组合意义: “∪ Ai ” 是 S 中具有至少一个性质的元素组成的集合; Ai “∩ ” 是S 中既不具有性质 p1,又不具有性质 p2, …,更不具有性质 pm 的元素的集合。 例1 求 a,b,c,d,e,f 六个字母的全排列中不允许出现 ace 和 df 图象的排列数。 3. 容斥原理举例 解 取全集S 为六个字母的全排列的集合,设A为S 中 ace 作为一个元素出现的排列的集合,B 为 S 中 df 作为一个元素出现的 排列的集合. 则有 根据容斥原理,不出现 ace 和 df 的排列数 为: |S| = 6! 因 |A | = 4!,|B | = 5!,|A∩ B |= 3! | A∩ B | =6!- (5!+4!)+3!=582 例2 求1到1000的整数中,不能被5,6和8任一个整除的整数个数。 解 取全集 S = {1,2,…,1000},令 A1 = { i︱ i ∈S , 且5 整除 i } A2 = { i︱ i ∈S , 且6 整除 i } A3 = { i︱ i ∈S , 且8 整除 i } 于是有 其中符号 lcm{6,8} 表示 6 和 8 的最小公倍数。 表示非负实数 x 的整数部分。又 于是 = 1000-(200+166+125)+(33+25+41)-8 = 600 即 1 到 1000 的整数中,不能被5,6 和 8 任一个整除的整数有600个。 解 取全集S 为4 个字母的全排列的集合,令A、B、C 分别为 n 位符号串中不出现a,b,c 符号的集合。 例3 求由 a,b,c,d 四个字母构成的 n 位符号串中,a,b,c 至少出现一次的符号串数目。 不允许出现 a 的 n 位符号串应由b,c,d 构成的 n 位符号串,故其个数 |A| = 3n。 易知 |S| = 4n 同理 |B| = |C| = 3n 所以 a,b,c,d 四个字母构成的 n 位符号串中,a,b,c 至少出现一次的符号串数目为 |A∩B| = |A∩C | = |B∩C |=2n |A∩B ∩C |=1 |A∩B ∩C | = 4n - 3× 3n + 3× 2n - 1 例4 求欧拉函数 之值。 注 欧拉函数是指小于n 又和 n 互素的正整数的个数 解 考虑大于1的正整数n的唯一分解式 其中p1 p2… pm都是不超过n的素数,而a1, a2,…,am都是正整数。 设S ={1,2,…,n},令 Ai表示S 中能被 pi 整除的那些整数所组成的集合,i =1,2,…,m 这样 为S中不能被 pi 整除的数所组成的集合。于是S 中不能被 p1,p2,…, pm 整除的整数个数,即 为 而 |S|=n, (i =1,2,…,m) | Ai∩Aj|= (i,j =1,2,…,m;i≠j) 将以上数值代入 的表达式即
您可能关注的文档
- 数字电路第3章组合逻辑电路.ppt
- 数字电路第4章时序逻辑电路.ppt
- 数字电路第一章(总).ppt
- 数字电路第一章第一节.ppt
- 数字电路第五版(康华光)第2章.ppt
- 数字电路第六章时序逻辑电路.ppt
- 数字电路第四章2.ppt
- 数字电路第四章组合逻辑电路.ppt
- 数字电路课程设计082.ppt
- 数字电路课程设计展示3.ppt
- 沪科版(2024)数学七年级下册第9章《分式的基本性质》课件.pptx
- 山西临汾地区侯马市2024-2025学年八年级上学期期末物理模拟试卷.docx
- 山西临汾地区侯马市2024-2025学年八年级上学期期末物理试卷.docx
- 沪科版(2024)数学七年级下册第9章《分式的加减》课件.pptx
- 2025年工业互联网平台开发者生态建设中的用户需求分析与市场调研.docx
- 四川泸州市泸县一中2024-2025学年八年级上学期期中物理.docx
- 2025年工业互联网平台开发者生态建设中的知识产权保护与运用.docx
- 沪科版(2024)数学七年级下册第9章《分式的乘除》课件.pptx
- 沪科版(2024)数学七年级下册第9章《分式的混合运算》课件.pptx
- 沪科版(2024)数学七年级下册第9章《约分》课件.pptx
文档评论(0)