卢开澄组合数学组合数学.ppt

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
卢开澄组合数学组合数学

第三章 容斥原理和鸽巢原理 §1 容斥原理引论 例 [1,20]中2或3的倍数的个数 [解] 2的倍数是:2,4,6,8,10,12,14,16,18,20。 10个 3的倍数是:3,6,9,12,15, 18。 6个 但答案不是10+6=16 个,因为6, 12,18在两类中重复计数,应减 去。故答案是:16-3=13 容斥原理研究有限集合的交或并 的计数。 [DeMorgan定理] 论域U,补集  定理 设¢(n,k)是[1,n]的所有k- 子集的集合, 则 |∪Ai | = ∑ (-1)k-1 ∑ | ∩ Ai | 证 对n用归纳法。n=2时,等式成立。 假设对n - 1,等式成立。对于n有 §3.6 一般公式 ∴ Un =∑(-1)k ( )(n-k)! = |∩ Ai| 2n 2n-k 2n-k k i ∈[ 1 , n ] §3.11 反演 基本想法:{an} 易算,{bn}难算,{an}可用 {bn}表示,利用反演,将{bn}用{an}表示. 1.二项式反演 引理 §3.11 反演 证  §3.11 反演 定理 证 §3.11 反演 推论 证 在定理中bk处用(-1)k bk代入,即可. 例 n! = ∑ ( ) Dn-k,Dn=bn, 令n-k = l ,则 n! = ∑ ( ) Dl Dn = ∑ (-1)n-k ( )k! = n! ∑ (-1)n-k = n ∑ n k n k n k 1 (n-k)! k=0 k=0 k=0 n n n (-1)k k! §3.11 反演 2. Mǒbíus反演 定义 设 n ∈Z+ 1,若 n = 1; μ( n ) = 0,若n = p1α1 p2α2 ··· pkαk 存在αi1 (-1)k ,若n = p1p2···pk 如 μ( 30) = μ( 2·3·5 ) = (-1)3 μ( 12) = 0; §3.11 反演 定理 设n ∈Z+ 则 ∑ μ( d ) = 1,若n = 1; 0,若n 1; d | n 证 若n =1, ∑ μ( d ) = μ( 1 ) = 1,成立. 若 n1,设n = p1α1 p2α2 ··· pkαk ,n’ = p1p2···pk ∑μ( d ) = ∑μ( d ) =∑ ∑ μ( ∏pi ) +μ(1) =1 + ∑( ) (-1)j = (1-1)k = 0 d | n d | n d | n’ j=1 k i∈I I∈¢(k, j) k j j=1 k §3.11 反演 推论 ?(n) = n ∑ μ(d ) d d | n 证 n ∑   = n ∑ = n · { 1 + ∑ (-1)j ∑  ( ∏ pi )-1} = n ∏ (1- ) = ?(n) μ(d ) d d | n μ(d ) d d | n’ 1 pi j =1 i =1 k k I ∈¢(k , j ) i ∈I §3.11 反演 定理 ( Mǒbíus反演定理 )设 f ( n )和g ( n ) 是定义在正整数集合上的两个函数. f ( n ) = ∑ g (d ) = ∑ g ( ) (M1 ) g( n ) = ∑μ(d) f ( ) = ∑μ( )f (d) (M2) n d n d d | n d | n d | n d | n 则 ( M1 ) ( M2 ) n d §3.11 反演 证 “?”设 ( M1 )成立。 ∑μ(d) f ( ) = ∑μ(d) ∑ g ( d1 ) = ∑ ∑μ(d) g ( d1 ) = ∑μ(d) g( d1 ) =∑ ∑ μ(d) g ( d1 ) = ∑ g(d1 ) ∑ μ(d) = ∑μ(d) = = g( n ) d | n d | n d | n dd1 | n d1 | n n d1 d | n

文档评论(0)

ctuorn0371 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档