离散数学及其应用课件第6章第1节
离散数学6课件
§6.1 集合的基本概念
5.空集(Def6.4):不含任何元素的集合称为空集,记为Ø 注: 1. 空集的符号化:Ø ={x|x x }。 2. Th6.1 空集是一切集合的子集。(证明见教材P85)。 3. Cor 空集是唯一的。(证明见教材P85)。
§6.3 有穷集的计数
集合间的关系与运算的表示:文氏图(Venn Diagrams)
E
B
A
E
AB
E
AB
E
AB
A∩B=
E
AB
A∩B
A∩B=A
E
A
~A
A-B
E
AB
AB
A={a,b,…,z}
Z={0,-1,1,-2,2,…}
D={a,{a},{a,b}}集合中的元素还可以是集合。
谓词表示法:用谓词来描述集合中元素的性质。
如:B={x | x∈R ∧(x-1=0)} 描述法
={x | F(x)∧G(x)}
谓词描述法
设F(x):x∈R ,G(x):x-1=0 .
集合的性质:
第六章Biblioteka 集合代数6.1 集合的基本概念 6.2 集合的运算 6.3 有穷集合的计数 6.4集合恒等式
§6.1 集合的基本概念
1.集合:将一些事物汇集到一起组成的整体,其中每个事物称为这个集合 的元素。
注:如果x是集合A的元素,则记为xA 。
集合的表示方法:列元素法和谓词表示法
列元素法:列出集合的所有元素或部分元素,可用于有限集和有一定 规律的无限集。如:
6.n元集:含有n个元素的集合。它共有2n个子集合。 例 6.1 设A={1,2,3},求A的所有子集合。 7.集合A的幂集(Def6.5):由A的所有子集作为元素形成的集合。记为P(A)或2A 。
《离散数学》第六章 集合代数
例3: 4个x ,3个y,2个z的全排列中,求不出现xxxx,yyy ,zz图象的排列。
设x不具有性质P1,P2,…,Pm ,那么x∉Ai,i= 1,2,…m。则它对等式左边计数的贡献为1,对 等式右边的计数的贡献也是1。
根据牛顿二项式定理不难得到上面式子的结果是0.而 由于x具有n个性质,它对等式左边的贡献也为0。
4.3 几个例子
例1:求1-1000之间(包括1和1000)不能被5,也不能被6, 还不能被8整除的整数有多少个?
总体上还是多采用命题逻辑中的等值式,但在叙述
上采用半形式化的方法。
例6.6 证明A-(B∪C)=(A-B)∩(A-C).
证明: 对于∀x
x ∈ A-(B∪C) Ù x ∈ A ∧ x ∉(B∪C) Ù x ∈ A ∧ ⎤ (x∈B ∨ x∈C) Ù x ∈ A ∧ (⎤x∈B ∧ ⎤x∈C) Ù x ∈ A ∧ (x ∉ B ∧ x ∉ C) Ù x∈A∧x∉B∧x∉C Ù (x ∈ A ∧ x ∉ B) ∧ (x ∈ A ∧ x ∉ C) Ù x ∈ A- B ∧ x ∈ A- C Ù x ∈( A- B) ∩(A- C)
全排列的个数为:9!/(4!3!2!)=1260; 所以要求的排列数为
1260-(60+105+280)+(12+20+30)-6 =871.
4.4 三个练习
练习1:求由a,b,c,d构成的n位符号串中,a,b,c,d都至 少出现一次的符号串的数目。
应用离散数学有向图
1 0 0 1 1 0 1 0
6.1有向图概述
定义 设D=<V,E>为有向图, V={v1, v2, …, vn}, 令 ={
称(pij)n n为D地可达矩阵, 记作P(D), 简记为P.
性质: P(D)主对角线上地元素全为1. D强连通当且仅当P(D)地元素全为1.
性质:
(1)
a n (1)
j1 ij
d (vi ),
i 1,2,..., n
(2)
a n (1)
i1 ij
d (v j ),
j 1,2,..., n
(3)
a(1) ij
m
D中长度为
1 的通路数
i, j
(4)
a n (1)
i1 ii
D中长度为
1 的回路数
6.1有向图概述
有向图地邻接矩阵 例:
6.2 最短路径
Dijkstra算法步骤: 1,初始化阶段,设置辅助数组Dist,其中每个分量Dist[k] 表 示当前所求得地从源点到其余各顶点 k 地最短路径。 除了起点A外,所有节点地距离Dist设置为无穷大。 一般情况下,Dist[k] = <源点到顶点 k 地边上地权值>
或者 = <源点到其它顶点地路径长度> + <其它顶点到顶点 k 地边上地权值>。 2,更新邻居地距离。
(3) 1地总个数等于-1地总个数, 且都等于m
(4) 平行边对应地列相同
6.1有向图概述
有向图地邻接矩阵
定义 设有向图D=<V,E>, V={v1, v2, …, vn}, E={e1, e2, …,
em},
离散数学及应用PPT课件
引 言(续)
二、该课程的主要内容: 离散数学课程的主要内容可以分为四个部分: 数理逻辑,包括命题逻辑和谓词逻辑。(教材的第一、二章) 集合论,包括集合、关系和函数。(教材的第三、四章) 代数系统,包括代数系统的一般概念,几类典型的代数系
统和格。(教材的第五、六章) 图论,包括图的基本概念,几种特殊的图。 (教材的第七章)
数理逻辑:人工智能,数据库,形式语言及自动机, 高级程序设计语言。
集合论: 信息结构与检索,数据结构。 图论: 可计算性理论,计算机网络,数据结构。 代数结构:开关理论,逻辑设计和程序理论,语法
分析。 2. 通过学习离散数学,可以培养和提高自己的抽象思
维和逻辑推理能力,获得解决实际问题能力,为以 后的软、硬件学习和研究开发工作,打下坚实的数 学基础。
版) (美)Kenneth H.Rosen 著 机械工业出版社
28.04.2020
引 言(续)
七、考核方式: 期末考试成绩占70%, 平时成绩占30%.
28.04.2020
第一部分 数理逻辑(Mathematical Logic)
❖ 逻辑:是研究推理的科学。公元前四世纪由希腊的 哲学家亚里斯多德首创。作为一门独立科学,十七 世纪,德国的莱布尼兹(Leibniz)给逻辑学引进了符 号, 又称为数理逻辑(或符号逻辑)。
➢ 因此,离散数学是随着计算机科学的发 展而逐步建立的,它形成于七十年代初期, 是一门新兴的工具性学科。
28.04.2020
引 言(续)
➢ 离散数学是现代数学的一个重要分支, 是计算机科学与技术的理论基础,是计算机 科学与技术专业的核心、骨干课程。
➢ 它 以研究离散量的结构和相互间的关系 为主要目标,其研究对象一般是有限个或可 数个元素,因此它充分描述了计算机科学离 散性的特点。
离散数学课件第六章(第1讲)
例:代数系统(N,+,×)。其中+,×分别代表数 的加法和乘法。 ×对+ 满足分配律 。
《定义》:设,是定义在集合S上的两个可交换二 元运算,如果对于任意的x,yS,都有:
x (x y)=x; x (xy)=x 则称运算和运算满足吸收律。
《定义》:设*是S上的二元运算,若对任一x S有x x=x, 则称满足等幂律。
讨论定义: 1) S上每一个元素均满足xx=x,才称在S上满足幂等律; 2) 若在S上存在某一元素x ,满足x x=x,则称x为S上的幂
等元素; 3) 若x是幂等元素,则有xn=x成立。
例:(1)在实数集合R中,+,×是可交换,可结合的,×对+是满足 分配律的,“0”对+是等幂元素,而其它不是等幂元素,在实数集 合R中,“-”法是不可交换,不可结合的; (2)在(Z)中, ∩,∪均是可交换,可结合的, ∩对∪, ∪对∩均满足分配律;
《定义》:设Z是一个集合,f是一个函数,f:ZnZ,则称f
为Z中的n元运算,整数n称为运算的阶(元,次)。 若n=1,则称f: ZZ为一元运算; 若n=2,则f: Z2Z为二元运算。
例:(1)在整数I和实数R中,+,-,×均为二元运算,而 对÷而言就不是二元运算 ;
(2)在集合Z的幂集(Z)中,,均为二元运算, 而“~”是一元运算;
∴x 若存在逆元,则x 的逆元一定是唯一的。
《推论》(x-1)-1 =x , e-1= e 例: 在实数集合R中,对“+”运算,对任一xR有 ∵x+(-x)=0,0为加法幺元 所以x-1 =-x , (x-1)-1 =x , 0-1 =0 对“×”运算,乘法幺元为1,∵x× 1x =1, 则对任一x R有x-1 =1x(x0) , (x-1)-1 =x , 1-1 =1
离散数学及其应用 第2版课件第6章 整除
第6章整除
定理6.8 在定理6.7的条件和符号下,有 (1)对任意给定的j(1≤j≤k+1),d|uj-1,d|uj当且仅 当d|uk+1。 (2)对任意给定的j(1≤j≤k+1),必存在整数xj、yj, 使得uk+1=xjuj-1+yjuj。 证明 (1)若d|uj-1,d|uj,由定理6.7第j式可得, d|uj+1。依此由各式推出:d|uj+2、d|uj+3、…、d|uk+1。
第6章整除
例2设f(x)=a0xn+a1xn-1+…+an-1x+an是整系数多 项式,如果10|f(2)且10|f(5),则10|f(10)。
证明 由于f(10)=a0×10n+a1×10n-1+…+an- 1×10+an,所以欲证10|f(10),只需证10|an。
由已知10|f(2),有2|f(2)。又因为2整除f(2)的前n项, 所以2|an。同理,由10|f(5)可得5|an。因为(2,5)=1, 由定理6.16可得(2×5)|f(10),于是10|f(10)。
第6章整除
6.2 素数和合数
定义6.2大于1且只有1和自身这两个正因数的正整数, 称为素数或质数;大于1且不是素数的正整数称为合数。 若正整数a有一个因数b,而b是素数,称b是a的素因数。
依据该定义,可以将所有的正整数分为三类:素数、 合数和1。 • 定理6.2 a是大于1的合数,当且仅当存在整数b和c, 使得a=bc,其中,1<b<a,1<c<a。
第6章整除
解 (1)用方框标识余数 24871=3468·7+595 3468=595·5+493 595=493·1+102 493=102·4+85 102=85·1+17 85=17·5 所以,(24871,3468)=17。Fra bibliotek第6章整除
离散数学第六章的课件
05 离散随机变量
随机变量的定义与性质
随机变量定义
随机变量是从样本空间到实数的可测 函数,用于描述随机现象的结果。
随机变量性质
随机变量具有可测性、可加性和可数 性等性质,这些性质在概率论和统计 学中具有重要应用。
离散概率分布
离散概率分布定义
离散概率分布描述的是随机变量取离散值时的概率规律,通 常用概率质量函数或概率函数表示。
离散概率分布性质
离散概率分布具有非负性、归一性和可数性等性质,这些性 质是离散概率分布的基本要求。
期望与方差
期望定义
期望是随机变量所有可能取值 的概率加权和,是描述随机变 量取值“平均水平”的重要指
标。
期望性质
期望具有线性性、可加性和正 定性等性质,这些性质在概率 论和统计学中具有重要应用。
方差定义
感谢您的观看
THANKS
方差是描述随机变量取值分散 程度的重要指标,是随机变量 与期望之差的平方的期望。
方差性质
方差具有非负性、归一性和可 加性等性质,这些性质是方差
的基本要求。
06 离散概率论的应用
蒙提霍尔问题
总结词
蒙提霍尔问题是一个著名的概率论问题,涉 及到概率论中的独立性概念和组合数学。
详细描述
蒙提霍尔问题是一个经典的组合数学问题, 它涉及到概率论中的独立性概念。该问题问 的是,如果有n个盒子,每个盒子被选中的 概率是1/2,那么在最优策略下,选中至少 一个盒子的最有可能的盒子数是多少?这个 问题涉及到概率论中的独立性概念和组合数
学。
抓阉问题
要点一
总结词
抓阉问题是一个经典的离散概率论问题,涉及到概率论中 的随机性和独立性概念。
要点二
离散数学 第六章的课件ppt
与
A(BC) =(AB)(AC)
-
25
集合算律
3.涉及补运算的算律: 德摩根律,双重否定律
德摩根律 双重否定律
A(BC)=(AB)(AC) A(BC)=(AB)(AC)
(BC) = BC (BC) = BC
A=A
-
26
集合算律
4.涉及全集和空集的算律: 补元律、零律、同一律、否定律
补元律 零律
| ABC|
= 1000(200+166+125)+(33+25+41)8 = 600
-
20
6.3 集合恒等式
下面的恒等式给出了集合运算的主要算律,其中A,B,C代表任意集合。
幂等律
A∪A=A
A∩A=A
结合律
(A∪B)∪C=A∪(B∪C)
交换律
(A∩B)∩C=A∩(B∩C) A∪B=B∪A
分配律
A∩B=B∩A A∪(B∩C)=(A∪B)∩(A∪C)
书本98页 第18题 的 第(1)、(3)两个小题
-
17
有穷集合元素的计数
1. 文氏图法 2. 包含排斥原理 定理6.2 设集合S上定义了n条性质,其中具有第 i 条性质的 元素构成子集Ai, 那么集合中不具有任何性质的元素数为
|A 1A2.. .An||S| |Ai| |AiAj|
1in
1ijn
∩A={a}
∪∪A=a∪b
∩∩A=a
∩∪A=a∩b
∪∩A=a
∩∪A∪(∪∪A-∪∩A)
=(a∩b)∪((a∪b)-a)
=(a∩b)∪(b-a)
=b
所以∪∪A=a∪b,∩∩A=a,∩∪A∪(∪- ∪A-∪∩A)=b。
《离散数学》完整课件
第三节 复合关系与逆关系
本节讨论关系的复合运算与逆运算极其 性质;主要考虑了下列问题:
1.关系的复合是否满足交换律、结合律、 关系的复合对于集合的并(交)是否有分 配律;
2.关系的复合运算与逆运算在关系图和 关系矩阵上的反应;
3.关系的复合运算与关系的逆运算之间 的运算规律.
返回本章首页
11 2021/6/7
|A|<|B|三条中有且仅有一条成立;
2.Bernstein定理:设A,B是两个集合,若|A|≥|B| 且|A| ≤ |B|,则集合A,B等势;
3.设A是任意集合,P(A)为A的幂集,则P(A)的基 数大于A的基数.
返回本章首页
23 2021/6/7
本章小结
本章的主要内容有:集合的等势、有限 集与无限集、可数集与不可数集、较为 常见的集合的基数等.集合的基数反映了 集合的元素的多少,它是集合的一种性 质,一种与该集合等势的集合构成的集 合族的共同性质.
返回本章首页
17 2021/6/7
第九节 复合映射与逆映射
映射的复合就是关系的复合,须注意的是 复合的次序,主要内容有:
1.映射的复合具有结合律,但不符合交换律; 2.区分了左逆与右逆;给出里左逆、右逆
与单射、满射之间的关系; 3.可逆与左、右逆之间的关系.
返回本章首页
18 2021/6/7
本章小结
1.本节首先给出了公式的蕴涵关系的三个等价定 义,及蕴涵关系具有的性质,给出了15个基本蕴 涵式;
2.把蕴涵概念推广,得到公式的逻辑结果的定义;
3.为了研究推理,还引进演绎的概念;
4.用实例说明推理方法.
返回本章首页
30 2021/6/7
第六节 形式演绎
离散数学及应用课件
离散数学及应用课件离散数学是数学的一个重要分支,它研究的是数学离散对象,如集合、图、树、数等。
它涵盖了一系列丰富而又有深度的主题,包括集合论、图论、数论、逻辑学等。
这些主题不仅在数学领域有着广泛的应用,也在计算机科学、物理学、经济学等多个领域有所涉及。
一、离散数学的主要内容1、集合论:集合论是离散数学的基础,它研究的是集合及其性质和运算。
集合论中的基本概念包括元素、集合、子集、并集、交集、补集等。
2、图论:图论是离散数学中一门研究图形和网络结构的学科。
图论中的基本概念包括节点、边、路径、环、子图等。
图论在计算机科学、电子工程、交通运输等领域都有广泛的应用。
3、数论:数论是研究整数性质和运算的学科。
数论中的基本概念包括整数、素数、合数、约数、倍数等。
数论在密码学、计算机科学等领域有着重要的应用。
4、逻辑学:逻辑学是研究推理和证明的学科。
逻辑学中的基本概念包括命题、推理、证明、反证等。
逻辑学在人工智能、哲学、法学等领域有着广泛的应用。
二、离散数学的应用1、计算机科学:离散数学在计算机科学中的应用广泛而重要。
例如,图论被用于解决计算机科学中的一些基本问题,如排序问题、旅行商问题等。
离散数学还在计算机科学的其他领域有所应用,如算法设计、数据结构、数据库系统等。
2、物理学:离散数学在物理学中的应用也十分广泛。
例如,量子力学和统计力学的理论框架中都有离散数学的影子。
离散数学还在固体物理学、分子物理学等领域有所应用。
3、经济学:离散数学在经济学中的应用也日益增多。
例如,离散数学被用于研究金融市场中的复杂行为,以及分析经济数据的模式和趋势。
离散数学还在博弈论、决策理论等领域有所应用。
三、总结离散数学作为数学的一个重要分支,其理论和应用已经渗透到科学的各个领域。
学习和研究离散数学,不仅可以增强我们的数学素养,还可以提高我们的逻辑思维能力和解决问题的能力。
因此,我们应该重视离散数学的学习和应用。
离散数学是数学的一个重要分支,它研究的是离散量的结构及其相互关系。
离散数学第六章PPT课件
有回路,此与(4)矛盾,故G – e不连通。
2021/3/9
授课:XXX
10
少条边就会不连通的图是树
只须证G中无回路。 若G中含回路C,取e=xy∈E(C) ,则 C – e仍连 通,任取u,v∈V(G) ,因G连通,故G中有(u,v)––通 路P。若P不含e,则u,v在G – e中仍连通;若 P中 含e,则P中的e可以用C – e中的(x,y)––通路代替, 从而u,v在G – e中仍连通。总之,u与v在G – e中 连通,此与(5)矛盾。故G无回路,因此,G是树
(因为在树中,q = p–1) 此为矛盾,故结论成立。
2021/3/9
授课:XXX
14
§6.2 生成树
图的生成树
生成树:G是一个图,若G的生成子图T是 树, 则称T为G的生成树。(G的生成树可能 不唯一。) 一个图G的生成树是 ⑴G的生成子图,因此它包含了G的全部 顶点; ⑵无回路的连通图(树)。
2021/3/9
授课:XXX
9
树若减条边就会不连通
证明:任取u,v ∈V(G) , 若uv∈E(G) , 则u和v 是连通的;若uv E(G) , 则有(4)知,G+uv有
唯一的回路C。由于G中无回路,所以,u,v必 在回路C上,显然,C – uv是G的连通子图,从 而G中含(u,v)–通路,即uv,故G是连通图。
2021/3/9
授课:XXX
8
树若添条边就会有回路
证明:设G有k个连通分支,由于G无回路,所 以G的每个连通分支均是树,于是,
k
k
qi=pi-1(i=1,…,k) ,q =qi = (pi-1)= p – k
离散数学第六章课件
2.格
定义6-1.1格:设<A,≤>是一个偏序集,如果 A中任意两个元素都存在着最大下界和最小上 界,则称<A,≤>是格。
以上5个图中,任何两个元素都有最小上界和最大下界
2018/11/12 5
格的判定
例6-1.1 判断下列偏序集是否是格?
e
e d
f b c
d
c
a b
2018/11/12 3
最小上界、最大下界
最小上界:设<A,≤>为一偏序集且BA,a为 B的任一上界,若对B的所有上界y均有a≤y,则 称a为B的最小上界(上确界),记作LUB B
最大下界:若b为B的任一下界,若对B的所有 下界z,均有z≤b,则称b为B的最大下界(下确 界),记作GLB B 把具有两个元素集合{a,b}的最小上界(最大 下界)称为元素a,b的最小上界(最大下界)
2018/11/12 15
6.格相关的性质定理
定理6-1.1 在一个格<A,≤>,对于任意的a,b 结论很有用!!! A,都有 a≤a∨b, b≤a∨b a∧b≤a, a∧b≤b
证明: a和b的并是a、b的最小上界,所以 a≤a∨b 同理 b≤a∨b 由对偶原理: a∧b≤a, a∧b≤b
子格判定
注意证明方法
例6-1.4:<s,≤>是一个格,任取a s,构造s的 子集:T={x|xs且x≤a},则<T,≤>是<s,≤>的 子格.
证明:对于任意的x,yT,必有x≤a,y≤a a是x,y的上界,最小上界≤任一上界 x∨y≤a x∧y≤x≤a 所以x∨yT, x∧yT <T,≤>是<s,≤>的子格
离散数学课件_6.1
并且 (vi,vj) (<vi,vj>) 与 (f(vi),f(vj)) (<f(vi),f(vj)>)的重数相 同,则称G1与G2是同构的,记作G1G2.
25
实例
26
实例
7
顶点的度数
设G=<V,E>为无向图, vV,
v的度数(度) d(v): v作为边的端点次数之和
悬挂顶点: 度数为1的顶点
悬挂边: 与悬挂顶点关联的边
G的最大度(G)=max{d(v)| vV}
G的最小度(G)=min{d(v)| vV}
e1 v1 e2 v2
例如 d(v5)=3, d(v2)=4, d(v1)=4,
2正则图
3正则图
4正则图
19
圈图与轮图
无向圈图Cn=<V,E>, 其中V={v1,v2,…,vn}, E={(v1,v2),(v2,v3), …,(vn-1,vn),(vn,v1)}, n 3 有向圈图Cn=<V,E>, 其中V={v1,v2,…,vn}, E={<v1,v2>, <v2,v3>,…,<vn-1,vn>,<vn,v1>}, n 3 轮图Wn:无向圈图Cn-1内放一个顶点, 且与圈图的每个顶点 之间恰有一条边, n 4
20
方体图
n方体图Qn=<V,E>是2n阶无向简单图, 其中
V={v|v=a1a2…an, ai=0,1, i=1,2,…,n} E={(u,v)| u,vVu与v恰好有一位数字不同}.
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
因此我们将形如方程 xk a1xk1 L ak 0
称为该递推方程的特征方程,特征方程的根r称为递推方程 的特征根。
定,理
定理6.2.1 设g1(n) 和g2(n) 是递推方程(6.2)的两个解, c1,c2 为任意常数,则 c1 g1(n) +c2 g2(n) 也是这个递推方程的解。
为该递推方程的通解,其中 c1, c2 L , ck 是任意常数。
证明 此定理是推广了定理6.2.1,证明类似。
,
例题
例6.2.1 求下面递推方程的解:
an an1 2an2
其中 , a0 2
a1 7
。
解 递推方程的特征方程是 x2 x 2 0 ,它的根是2和-1。
因此,递推方程的通解为 an c12n c2 (1)n
f(n)是只依赖于n的函数。
将 Gn a1Gn 1 L akGn k 0
称作相伴的线性齐次递推方程。
(6.3)
定理6.2.4 设 G n 是对应的相伴的线性齐次递推方程的
通解,G* n 是方程(6.3)的一个特解,则 Gn Gn G* n
是递推方程(6.3)的通解。
例题
例6.2.5 找出下述递推方程的通解:
即 特征根是2,其重数是3,根据定理6.2.3
G1(n) (c1,1 c1,2n c1,3n2 )2n c1,12n c1,2n2n c1,3n2 2n
通解为 G(n) G1(n) c1,12n c1,2n2n c1,3n2 2n
代入初始条件,则有以下方程组 解得 原方程的解为
c1,1 5 2c1,1 2c1,2 2c1,3 4 4c1,1 8c1,2 16c1,3 88
从而得线性方程组
3c1 2c21c2
2
0
解得
c1
1, c2
3, 2
因此 解为
an* an
n c3n
3 2 n
是一个特解,根据定理6.2.4,原方程的通
3
2
11
初始条件 带入通解得 c 6 , 因此得原方程的通解为
an
11 3n 6
n
3 2
c1,c2是常数。将初值 代入得
cc11
c2 2
c2
2 (1)
7
解得 c1 3, c2 1 , 从而得到递推方程的解为
an 3 2n (1)n
定理
定理6.2.3 设 r1, r2 ,L , rt 是递推方程(6.2)的不相等
的特征根,且 ri的重数为ei ,其中 i 1, 2,L ,t. 那么该递推方程 的通解是 G(n) G1(n) G2 (n) L Gt (n)
例题
例6.2.1 13世纪意大利数学家斐波那契(Fibonacci)提出了 一个有趣的兔子繁殖问题:在一个岛上放了一对刚出生的兔子, 其中一只公兔,一只母兔。经过两个月长成,长成后即可生育, 假定每对兔子每个月都可以生出一对小兔,且新生的小兔也是 一只公兔和一只母兔。如果兔子不会死去,也不会被运走,问 12个月时岛上有多少对兔子?
例题
在股票投资中,复合利息的作用是强大的。“股神”沃 伦·巴菲特(Warren Buffett)据说就是以年平均30%的复利战胜市 场,从而成为举世瞩目的价值投资大师。假设他的初始投资为 10000美元,年投资收益的复利是30%,那么在30年后账上的 总资产有多少钱?
解 令Pn表示n年后的总资产钱数。因为n年后账上的资产总 额等于n-1年账上的资产加上第n年的投资收益,容易知道序列
f6=5+3=8 (第5个月的5对加上第4个月3对的后代)
f12=89+55=144 (第11个月的89对加上第10个月55对的后代)
12个月时岛上共有兔子144对。一般的,斐波那契数列满足下列
递推方程
f1 1 f2 1
fn fn1 fn2
数列 f1, f2 L , fn,L 称作斐波那契数列,其 中的每一个数也称作斐波那契数。
{Pn}满足递推关系 Pn Pn1 0.3Pn1
例题(续)
初始条件是P0=10000,我们可以知道 Pn Pn1 0.3Pn1 1.3Pn1 1.3n P0
代入初始条件,得 Pn 1.3n 10000
将n=30代入, P30 1.330 10000
26199956.44美元。
常系数线性齐次递推方程的求解
G(n) a1G(n 1) a2G(n 2) L akG(n k)
称这个递推方程为齐次方程。
常系数线性齐次递推方程的求解
定义6.2.2 给定常系数线性齐次递推方程如下: G(n) a1G(n 1) a2G(n 2) L akG(n k) 0 (6.2)
, 求解该方程的基本方法是找到形如G(n) = rn的解,其中r是 常数,即 r n a1r n1 a2r n2 L ak r nk 0
证明 将 g1(n) 和g2(n) 代入到方程(6.2) 得
g1(n) a1g1(n 1) a2 g1(n 2) L ak g1(n k)
g2 (n) a1g2 (n 1) a2g2 (n 2) L ak g2 (n k)
k
c1g1(n) c2 g2 (n) ai (c1g1(n i) c2g2 (n i)) i 1
因此 c1 g1(n) +c2 g2(n) 也是这个递推方程的解。
推论 若 r1, r2 ,L , rk 是递推方程(6.2)的特征根,则
c1r1n c2r2n L ck rkn
也是该递推方程的解,其中 c1, c2 L , ck 是任意常数。
以上推论说明 c1r1n c2r2n L ck rkn 是递推方程的解。那
其中
Gi (n) (ci,1 ci,2n L ci,ei nei 1)rin
i 1, 2,L , t; ci,1, ci,2 ,L ci,ei 为常数。
例题
例6.2.4 求解以下递推方程
G(n) 6G n 1 12G n 2 8G n 3 0
G(0)
5,
G
1
4,GΒιβλιοθήκη 288解 特征方程 为 x3 6x2 12x 8 0
例题(续)
解得
c1,1
5, c1,2
1 2
, c1,3
13 , 2
原方程的解为
G(n) (5)2n 1 n2n 13 n2 2n (10 n 13n2 )2n1
2
2
常系数线性非齐次递推方程的求解
常系数线性非齐次递推方程的标准形是
Gn a1Gn 1 L akGn k f n
其中 n k, ak 0, f n 0
定义6.2.1 设递推方程满足 G(n) a1G(n 1) a2G(n 2) L akG(n k) f (n) G(0) C0,G(1) C1,G(2) C2,L ,G(k 1) Ck1
其中a1, a2 ,L , ak 为常数, ak 0 ,这个方程称为k 阶常系
数线性递推方程。 C0 , C1,L , Ck1 为k 个初值。当 f (n) 0 时, 即
an
3an1 a1 3
2n
解 该方程对应相伴的线性齐次递推方程是 an 3an1 0 它的通解是 c3n,其中c是常数。 设特解 an* c1n c2 ,其中c1,c2 是常数。代入递推方程得
c1n c2 3c1 n 1 c2 2n
例题(续)
整理得 2c1n 3c1 2c2 2n
么,除了这种形式的解以外,是否存在其他形式的解?为了解 决这个问题,先定义通解。
定义6.2.3 能够表示递推方程(6.2)的每个解 的表达式称 为该递推方程的通解。
定理
定理6.2.2 设 r1, r2 ,L , rk 是递推方程(6.2)不等的特
征根,则 g(n) c1r1n c2r2n L ck rkn
例题(续)
解 用 表示第 个月初的兔子对数,n是正整数。那么
f1=1 (最初的兔子对数,第1个月的兔子对数)
f2=1 (第2个月的兔子对数)
f3=1+1=2 (最初的一对加上它们的后代)
f4=2+1=3
(第3个月的2对加上最初的一对的后代)
f5=3+2=5 (第4个月的3对加上第3个月2对的后代)
离散数学及其应用
第6章 高级计数技术
6.1 递推方程 6.2 生成函数
6.1 递推方程
定义6.1.1 设序列 a0, a1,L , an,L , 简记为 {an} 。序列 {an} 的递推方程是一个把 an用序列中在an 前面的一项或多项 ai(i<n) 来表示的等式称作关于序列 {an }的递推方程。