容斥原理

✍ dations ◷ 2025-07-06 20:54:03 #组合数学,集合论,数学定理,概率论

容斥原理又称排容原理,在组合数学里,其说明若 A 1 {\displaystyle A_{1}} 1,……,,当 = 2时容斥原理的公式为:

当 = 3时,公式为:

一般地:

也可以写成:

对于一般的测度空间(,,)和有限测度的可测子集1,……,,上面的恒等式也成立,如果把概率测度 P {\displaystyle \mathbb {P} }

如果在容斥原理的概率形式中,交集的概率只与中元素的个数有关,也就是说,对于{1, ..., }中的每一个,都存在一个,使得:

则以上的公式可以简化为:

这是由于二项式系数 ( n k ) {\displaystyle \scriptstyle {\binom {n}{k}}} 1,……,的并集的元素个数感兴趣,且对于{1, ..., }中的每一个,交集

的元素个数都相同,例如 = ||,与{1, ..., }的元素子集无关,则:

在一般的测度空间(,,)和有限测度的可测子集1,……,的情况中,也可以进行类似的简化。

欲证明容斥原理,我们首先要验证以下的关于指示函数的等式:

至少有两种方法来证明这个等式:

第一种方法 我们只需证明对于1,……,的并集中的每一个,等式都成立。假设正好属于个集合(1 ≤  ≤ ),不妨设它们为1,……,。则处的等式化为:

元素集合中的元素子集的个数,是二项式系数 ( m k ) {\displaystyle \textstyle {\binom {m}{k}}} 的二项式展开式,因此可以看出,(*)对成立。

第二种方法 设表示集合1,……,的并集。于是:

这是因为对于不在内的,两边都等于零,而如果属于其中一个集合,例如,则对应的第个因子为零。把右端的乘积展开来,便可得到等式(*)。

设:S1= n (A1)+n (A2)+n (A3) +…...+n (An)

S2= n(A1∩A2)+ n(A1∩A3) …...+ n(A1∩An)+ n(A2∩A3)+ …...+n(An-1∩An)

S3= n(A1∩A2∩A3)+ ……+ n(An-2∩An-1∩An)……

Sn =n(A1∩A2∩A3∩……∩An)

求证:A=n(A1∪A2∪A3∪A4……∪An)= S1-S2+ S3+……+(-1)n-1Sn

证明:当n=2时,A=n(A1∪A2)=n(A1)+n(A2) -n(A1∩ A2)= S1-S2

假设:当n=k(k>=2)时,A=n (A1∪A2∪A3∪A4……∪Ak)= S1-S2+ S3+……+(-1)k-1Sk 等式成立。

当n=k+1时,

A= n( (A1∪A2∪A3∪A4……∪Ak) ∪Ak+1)

= n (A1∪A2∪A3∪A4……∪Ak)+n(Ak+1)-n((A1∪A2∪A3∪A4……∪Ak) ∩Ak+1)

= n (A1∪A2∪A3∪A4……∪Ak) +n(Ak+1)-n((A1∩Ak+1) ∪(A2∩Ak+1) ∪(A3∩Ak+1) ∪ …∪(Ak∩Ak+1))

∵ 当n=k时,等式成立

∴A= n (A1∪A2∪A3∪A4……∪Ak) +n(Ak+1)-(n (A1∩Ak+1)+ n (A2∩Ak+1)+ ……+n(Ak∩Ak+1)-n(A1∩A2∩Ak+1)-n(A1A3∩Ak+1) -……- n(Ak-1∩Ak∩Ak+1)+ ……+(-1)k.n(A1∩A2∩A3∩∪……∩Ak+1)

   = S1-S2+ S3+……+(-1)k-1Sk+n(Ak+1)-(n (A1∩Ak+1)+ n (A2∩Ak+1)+ ……+n(Ak∩Ak+1)-n(A1∩A2∩Ak+1)-n(A1∩A3∩Ak+1) -……- n(Ak-1∩Ak∩Ak+1)+ ……+(-1)k.n(A1∩A2∩A3∩∪……∩Ak+1)

    = S1-S2+ S3+……+(-1)kSk+1

综上所述,当n>=2时,n (A1∪A2∪A3∪A4……∪An)

= n (A1)+n (A2)+n (A3) ……+ n (An)-n(A1∩A2)- n(A1∩A3) ……- n(A1∩An)- n(A2∩A3)- ……-n(An-1∩An)+n(A1∩A2∩A3)+ n(A1∩A2∩A3)+ ……+ n(An-2∩An-1∩An)- ……+……+(-1)n-1.n(A1∩A2∩A3∩……∩An)

有时容斥原理用以下的形式来表述:如果

那么:

在这种形式中可以看出,它是的所有子集的偏序集合的指标代数的莫比乌斯反演公式。

在许多情况下,容斥原理都可以给出精确的公式(特别是用埃拉托斯特尼筛法计算素数的个数时),但是用处不大,这是因为它里面含有的项太多。即使每一个单独的项都可以准确地估计,误差累积起来仍然意味着容斥原理不能直接应用。在数论中,这个困难由维戈·布朗解决。开始时进展很慢,但他的想法逐渐被其他数学家所应用,于是便产生了许多各种各样的筛法。这些方法是尝试找出被“筛选”的集合的上界,而不是一个确切的公式。

容斥原理的一个著名的应用,是计算一个有限集合的所有乱序排列的数目。一个集合的,是从到的没有不动点的双射。通过容斥原理,我们可以证明,如果含有个元素,则乱序排列的数目为,其中表示最接近的整数。

这也称为的子阶乘,记为!。可以推出,如果所有的双射都有相同的概率,则当增大时,一个随机双射是错排的概率迅速趋近于1/。

容斥原理与德·摩根定理结合起来,也可以用于计算集合的交集中元素的数目。设 A ¯ k {\displaystyle \scriptstyle {\overline {A}}_{k}} 关于全集的补集,使得对于每一个,都有 A k A {\displaystyle \scriptstyle A_{k}\,\subseteq \,A} ]

http://blog.sina.com.cn/s/blog_6be9596c0100miag.html

http://e-maxx.ru/algo/inclusion_exclusion_principle(俄文) 中文翻译:http://www.cppblog.com/vici/archive/2011/09/05/155103.html

本条目含有来自PlanetMath《principle of inclusion-exclusion》的内容,版权遵守知识共享协议:署名-相同方式共享协议。

相关

  • 巴西暖流巴西洋流(Brazil Current)为一沿着巴西南岸向南流动至拉普拉塔河的温暖洋流。此洋流为大西洋的北赤度洋流遇到南美大陆产生的分支。巴西洋流为一个如墨西哥湾流的西边界流(west
  • 印度语印地语(天城文:हिन्दी或हिंदी,拉丁字母转写:Hindī)又称印度语、印度文,是印欧语系印度-伊朗语族中印度-雅利安语支下的一种语言。印地语以使用国家数量来算是世界排名
  • 爱荷华号战舰坐标:33°44′29.81″N 118°16′39.12″W / 33.7416139°N 118.2775333°W / 33.7416139; -118.2775333衣阿华号战列舰(舷号BB-61)是一艘隶属于美国海军的战列舰,为衣阿华级战
  • 蓝马蓝马(1915年8月16日-1976年7月30日),原名董世雄、董筱鹤,出生于北京,祖籍浙江省杭州市余杭县,中国话剧及电影演员。1937年毕业于国立北平艺专。曾加入左翼戏剧组织新球剧社,1947年加
  • 魏都区魏都区是中华人民共和国河南省许昌市的中心和市辖区。面积67平方公里,2010年人口49.8万。现辖:西大街道、东大街道、西关街道、南关街道、北大街道、五一路街道、高桥营街道、
  • 窝阔台窝阔台汗(蒙古语:ᠣᠭᠡᠳᠡᠢ ᠬᠠᠭᠠᠨ,鲍培转写:,秘史记音:斡歌歹·中合罕,西里尔字母:Өгөдэй хаан;1186年11月7日-1241年12月11日),又作斡歌歹、和歌台、倭阔岱等,孛儿只
  • 四氟硼酸盐四氟硼酸盐,又称氟硼酸盐,是具有阴离子BF4-的一类化合物。四氟硼酸盐可以由四氟硼酸和金属或其氧化物、氢氧化物、碳酸盐反应得到。一些四氟硼酸盐的性质见下表:BF4-作为非配位
  • 2002年NBA季后赛2002年NBA季后赛在2001-02NBA常规赛结束后进行。本次季后赛是NBA最后一年在首轮采用五场三胜制,下一年将实施七场四胜的新制度。西部冠军洛杉矶湖人4:0横扫东部冠军新泽西网
  • 巴比·达林巴比·达林(英语:Bobby Darin,1936年5月14日-1973年12月20日),原名瓦尔登·罗伯特·卡斯奥托,是一位美国歌手,词曲作者和演员。他演出各类型风格的音乐,包括流行、摇滚,民谣和乡村音乐
  • 土耳其裔保加利亚人保加利亚土耳其人(保加利亚语:български турци,土耳其语:Bulgaristan Türkleri) ,是保加利亚最大少数民族,占总人口10%。土耳其人是在14世纪越过达达尼尔海峡入侵到