1-10所有5个数的组合_组合数学学习笔记(七)

本文深入探讨了容斥原理及其在组合计数问题中的应用,通过实例展示了如何利用容斥原理解决有限多重集的组合问题,包括全错位排列数和有限制条件的排列数问题,揭示了其在计数问题中的强大能力。
摘要由CSDN通过智能技术生成

be861cb546e1599e2e1d1c8bb68eafb9.png

在这一章中,我们将会简要介绍容斥原理以及其在计数中的应用。

想必大家对于容斥原理这个词语及其含义都已经十分熟悉,故我们将着重于介绍其如何应用以及一些重要的实例。对很多看似无从下手的组合计数问题利用容斥原理往往会变得意想不到的简单。

在后文中,我们总是用

equation?tex=P_i 表示一种性质,用
equation?tex=X_i 表示全集
equation?tex=S 中满足这种性质的元素组成的集合,用
equation?tex=%5Coverline%7BX_i%7D 表示全集
equation?tex=S 中不满足这种性质的元素组成的集合。

定理(容斥原理)

equation?tex=%7C%5Coverline%7BX_1%7D%5Ccap%5Coverline%7BX_2%7D%5Ccap...%5Ccap+%5Coverline%7BX_k%7D%7C%3D%7CS%7C-%5Csum_i%7CX_i%7C%2B%5Csum_%7Bi%3Cj%7D%7CX_i%5Ccap+X_j%7C%2B...%2B%28-1%29%5Ek%7CX_1%5Ccap...%5Ccap+X_k%7C

我们以往对于容斥原理的证明大多基于数学归纳法。但是事实上,我们可以利用贡献法:分别分析满足条件的元素与不满足条件的元素对于等式两端的贡献。

对于容斥原理而言,我们在

equation?tex=S 中任取一个元素
equation?tex=x

如果

equation?tex=x 不满足所有的
equation?tex=P_1%2C...%2CP_k ,则对于等式左端贡献为
equation?tex=1 ,对于等式右端贡献显然只有
equation?tex=%7CS%7C 那一项,也为
equation?tex=1

否则,

equation?tex=x 恰好具有
equation?tex=m 条性质,其中
equation?tex=1%5Cleq+m%5Cleq+k ,则其对于左端贡献为
equation?tex=0 ,对于右端贡献:
equation?tex=%7CS%7C 项贡献
equation?tex=1
equation?tex=-%5Csum_i%7CX_i%7C 项贡献
equation?tex=-C_m%5E1 (恰好具有的
equation?tex=m 条性质对应的集合贡献为
equation?tex=1 其它均为
equation?tex=0 ),对于
equation?tex=%5Csum_%7Bi%3Cj%7D%7CX_i%5Ccap+X_j%7C 项贡献为
equation?tex=C_m%5E2 (在具有的
equation?tex=m 条性质中挑出
equation?tex=2 条组合才能够使得贡献为
equation?tex=1 ,否则为
equation?tex=0 ),以此类推。

最终,我们得到对于等式右侧贡献为

equation?tex=C_m%5E0-C_m%5E1%2BC_m%5E2%2B...%2B%28-1%29%5EmC_m%5Em ,由组合恒等式,立马知道贡献即为
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值