图论和函数总结梳理(离散数学-思维导图)
离散数学总结
离散数学总结离散数学学习总结一、课程内容介绍：1．集合论部分：集合论是离散数学中第一个抽象难关，在老师的生动讲解下，深入浅出，使得集合论成了相当有趣的知识。
只是对于以后的应用还不是很了解，感觉学好它很重要。
直观地说，把一些事物汇集到一起组成一个整体就叫集合，而这些事物就是这个集合的元素或成员。
例如：方程x2－1＝0的实数解集合；26个英文字母的集合；坐标平面上所有点的集合；集合通常用大写的英文字母来标记，例如自然数集合N(在离散数学中认为0也是自然数)，整数集合Z，有理数集合Q，实数集合R，复数集合C等。
表示一个集合的方法有两种：列元素法和谓词表示法，如果两个集合的交集为，则称这两个集合是不相交的。
例如B和C 是不相交的。
两个集合的并和交运算可以推广成n个集合的并和交：A1∪A2∪…∪An＝{x|x∈A1∨x∈A2∨…∨x∈An}A1∩A2∩…∩An＝{x|x∈A1∧x∈A2∧…∧x∈An}2．关系二元关系也可简称为关系。
对于二元关系R，如果∈R，可记作xRy；如果R，则记作x y。
例如R1={<1,2>,}，R2={<1,2>,a,b}。
则R1是二元关系，R2不是二元关系，只是一个集合，除非将a和b定义为有序对。
根据上面的记法可以写1R12，aR1b，aR1c等。
给出一个关系的方法有三种:集合表达式，关系矩阵和关系图。
设R是A上的关系，我们希望R具有某些有用的性质，比如说自反性。
如果R不具有自反性，我们通过在R中添加一部分有序对来改得到新的关系R'，使得R'具有自反性。
但又不希望R'与R相差太多，换句话说，添加的有序对要尽可能的少。
满足这些要求的R'就称为R的自反闭包。
通过添加有序对来构造的闭包除自反闭保外还有对称闭包和传递闭包。
3．代数系统代数结构也叫做抽象代数，主要研究抽象的代数系统。
抽象的代数系统也是一种数学模型，可以用它表示实际世界中的离散结构。
离散数学第四章二元关系和函数知识点总结
集合论部分第四章、二元关系和函数4.1 集合的笛卡儿积与二元关系有序对定义由两个客体x 和y，按照一定的顺序组成的二元组称为有序对，记作<x,y>实例：点的直角坐标(3,-4)有序对性质有序性 <x,y>¹<y,x> （当x¹ y时）<x,y> 与 <u,v> 相等的充分必要条件是<x,y>=<u,v> Û x=u Ù y=v例1 <2, x+5> = <3y- 4, y>，求x, y.解 3y- 4 = 2, x+5 = yÞ y = 2, x = - 3定义一个有序n (n³3) 元组 <x1, x2, …, x n> 是一个有序对，其中第一个元素是一个有序n-1元组，即<x1, x2, …, x n> = < <x1, x2, …, x n-1>, x n>当n=1时, <x> 形式上可以看成有序 1 元组.实例 n 维向量是有序 n元组.笛卡儿积及其性质定义设A,B为集合，A与B 的笛卡儿积记作A´B，即A´B ={ <x,y> | xÎA Ù yÎB }例2 A={1,2,3}, B={a,b,c}A´B ={<1,a>,<1,b>,<1,c>,<2,a>,<2,b>,<2,c>,<3,a>,<3,b>,<3,c>}B´A ={<a,1>,<b,1>,<c,1>,<a,2>,<b,2>,<c,2>,<a,3>, <b,3>,<c,3>}A={Æ}, P(A)´A={<Æ,Æ>, <{Æ},Æ>}性质：不适合交换律A´B¹B´A (A¹B, A¹Æ, B¹Æ)不适合结合律 (A´B)´C¹A´(B´C) (A¹Æ, B¹Æ)对于并或交运算满足分配律A´(BÈC)=(A´B)È(A´C)(BÈC)´A=(B´A)È(C´A)A´(BÇC)=(A´B)Ç(A´C)(BÇC)´A=(B´A)Ç(C´A)若A或B中有一个为空集，则A´B就是空集.A´Æ=Æ´B=Æ若|A|=m, |B|=n, 则 |A´B|=mn证明A´(BÈC)=(A´B)È(A´C)证任取<x,y><x,y>∈A×(B∪C)Û x∈A∧y∈B∪CÛ x∈A∧(y∈B∨y∈C)Û (x∈A∧y∈B)∨(x∈A∧y∈C)Û <x,y>∈A×B∨<x,y>∈A×CÛ <x,y>∈(A×B)∪(A×C)所以有A×(B∪C) = (A×B)∪(A×C).例3 (1) 证明A=B Ù C=D Þ A´C=B´D(2) A´C=B´D是否推出A=B Ù C=D ? 为什么？解 (1) 任取<x,y><x,y>ÎA´C Û xÎA Ù yÎCÛ xÎB Ù yÎD Û <x,y>ÎB´D(2) 不一定. 反例如下：A={1}，B={2}, C=D=Æ, 则A´C=B´D 但是A¹B.二元关系的定义定义设A,B为集合, A×B的任何子集所定义的二元关系叫做从A到B的二元关系, 当A=B时则叫做A上的二元关系.例 4 A={0,1}, B={1,2,3}, R1={<0,2>}, R2=A×B, R3=Æ, R4={<0,1>}. 那么R1, R2, R3, R4是从A 到B的二元关系, R3和R4同时也是A上的二元关系.计数|A|=n, |A×A|=n2, A×A的子集有个. 所以A上有个不同的二元关系.例如 |A|=3, 则A上有=512个不同的二元关系.设A 为任意集合，Æ是A 上的关系，称为空关系E, I A 分别称为全域关系与恒等关系，定义如下：AE={<x,y>|x∈A∧y∈A}=A×AAI={<x,x>|x∈A}A例如, A={1,2}, 则E={<1,1>,<1,2>,<2,1>,<2,2>}AI={<1,1>,<2,2>}A小于等于关系L A, 整除关系D A, 包含关系RÍ定义：L={<x,y>| x,y∈A∧x≤y}, AÍR，R为实数集合AD={<x,y>| x,y∈B∧x整除y},BBÍZ*, Z*为非0整数集R={<x,y>| x,y∈A∧xÍy}, A是集合族.Í类似的还可以定义大于等于关系, 小于关系, 大于关系, 真包含关系等等.例如A = {1, 2, 3}, B ={a, b}, 则L={<1,1>,<1,2>,<1,3>,<2,2>,<2,3>,<3,3>}AD={<1,1>,<1,2>,<1,3>,<2,2>,<3,3>}AA=P(B)={Æ,{a},{b},{a,b}}, 则A上的包含关系是R={<Æ,Æ>,<Æ,{a}>,<Æ,{b}>,<Æ,{a,b}>,<{a},{a}>,Í<{a},{a,b}>,<{b},{b}>,<{b},{a,b}>,<{a,b},{a,b}>}二元关系的表示表示方式：关系的集合表达式、关系矩阵、关系图关系矩阵：若A={a1, a2, …, a m}，B={b1, b2, …, b n}，R是从A到B的关系，R 的关系矩阵是布尔矩阵M R = [ r ij ] m´n, 其中r ij= 1Û < a i, b j> ÎR.关系图：若A= {x1, x2, …, x m}，R是从A上的关系，R的关系图是G R=<A, R>, 其中A为结点集，R为边集.如果<x i,x j>属于关系R，在图中就有一条从x i到x j 的有向边.注意：A, B为有穷集，关系矩阵适于表示从A到B的关系或者A上的关系，关系图适于表示A上的关系A={1,2,3,4},R={<1,1>,<1,2>,<2,3>,<2,4>,<4,2>},R的关系矩阵M和关系图G R如下：R4.2 关系的运算基本运算定义：定义域、值域和域dom R = { x | $y (<x,y>ÎR) }ran R = { y | $x (<x,y>ÎR) }fld R = dom RÈ ran R例1 R={<1,2>,<1,3>,<2,4>,<4,3>}, 则dom R={1, 2, 4}ran R={2, 3, 4}fld R={1, 2, 3, 4}逆与合成R-1 = {<y,x> | <x,y>ÎR}R∘S = |<x,z> | $ y (<x,y>ÎRÙ<y,z>ÎS) }例2 R={<1,2>, <2,3>, <1,4>, <2,2>}S={<1,1>, <1,3>, <2,3>, <3,2>, <3,3>}R-1={<2,1>, <3,2>, <4,1>, <2,2>}R∘S ={<1,3>, <2,2>, <2,3>}S∘R ={<1,2>, <1,4>, <3,2>, <3,3>}定义 F 在A上的限制F↾A = {<x,y> | xFyÙ xÎA}A 在F下的像F[A] = ran(F↾A)实例R={<1,2>, <2,3>, <1,4>, <2,2>}R↾{1}={<1,2>,<1,4>}R[{1}]={2,4}R↾Æ=ÆR[{1,2}]={2,3,4}注意：F↾AÍF, F[A] Íran F基本运算的性质定理1 设F是任意的关系, 则(1) (F-1)-1=F(2) dom F-1=ran F, ran F-1=dom F证 (1) 任取<x,y>, 由逆的定义有<x,y>∈(F -1)-1 Û <y,x>∈F-1 Û <x,y>∈F所以有 (F-1)-1=F(2) 任取x,x∈dom F-1 Û $y(<x,y>∈F-1)Û $y(<y,x>∈F) Û x∈ran F所以有dom F-1= ran F. 同理可证 ran F-1 = dom F.定理2 设F, G, H是任意的关系, 则(1) (F∘G)∘H=F∘(G∘H)(2) (F∘G)-1= G-1∘F-1证 (1) 任取<x,y>,<x,y>Î(F∘G)∘HÛ$t(<x,t>∈F∘G∧<t,y>∈H) Û $t ($s(<x,s>∈F∧<s,t>∈G)∧<t,y>∈H)Û $t $s (<x,s>∈F∧<s,t>∈G∧<t,y>∈H)Û $s (<x,s>∈F∧$t (<s,t>∈G∧<t,y>∈H))Û $s (<x,s>∈F∧<s,y>∈G∘H)Û <x,y>∈F∘(G∘H)所以 (F∘G)∘H = F∘(G∘H)(2) 任取<x,y>,<x,y>∈(F∘G)-1Û <y,x>∈F∘GÛ $t (<y,t>∈F∧(t,x)∈G)Û $t (<x,t>∈G-1∧(t,y)∈F-1)Û <x,y>∈G-1∘F-1所以 (F∘G)-1 = G-1∘F-1幂运算设R为A上的关系, n为自然数, 则R 的n次幂定义为：(1) R0={<x,x> | x∈A }=I A(2) R n+1 = R n∘R注意：对于A上的任何关系R1和R2都有R 10 = R20 = IA对于A上的任何关系R 都有R1 = R性质：定理3 设A为n元集, R是A上的关系, 则存在自然数s 和t, 使得R s = R t.证R为A上的关系, 由于|A|=n, A上的不同关系只有个.当列出R 的各次幂R0, R1, R2, …, , …,必存在自然数s 和t 使得R s=R t.定理4 设R 是A 上的关系, m, n∈N, 则(1) R m∘R n=R m+n(2) (R m)n=R mn证用归纳法(1) 对于任意给定的m∈N, 施归纳于n.若n=0, 则有R m∘R0=R m∘I=R m=R m+0A假设R m∘R n=R m+n, 则有R m∘R n+1=R m∘(R n∘R)=(R m∘R n)∘R=R m+n+1 ,所以对一切m, n∈N有R m∘R n=R m+n.(2) 对于任意给定的m∈N, 施归纳于n.若n=0, 则有(R m)0=I A=R0=R m×0假设 (R m)n=R mn, 则有(R m)n+1=(R m)n∘R m=(R mn)∘R m=R mn+m=R m(n+1)所以对一切m,n∈N有 (R m)n=R mn.4.3 关系的性质自反性反自反性定义设R为A上的关系,(1) 若"x(x∈A→<x,x>ÎR), 则称R在A上是自反的.(2) 若"x(x∈A→<x,x>ÏR), 则称R在A上是反自反的.实例：反关系：A上的全域关系E A, 恒等关系I A小于等于关系L A, 整除关系D A反自反关系：实数集上的小于关系幂集上的真包含关系例1 A={1,2,3}, R1, R2, R3是A上的关系, 其中R＝{<1,1>,<2,2>}1R＝{<1,1>,<2,2>,<3,3>,<1,2>}2R＝{<1,3>}3R自反,2R反自反,3R既不是自反也不是反自反的1对称性反对称性定义设R为A上的关系,(1) 若"x"y(x,y∈A∧<x,y>∈R→<y,x>∈R), 则称R为A上对称的关系.(2) 若x"y(x,y∈A∧<x,y>∈R∧<y,x>∈R→x=y), 则称R为A上的反对称关系.实例：对称关系：A上的全域关系E A, 恒等关系I A和空关系Æ反对称关系：恒等关系I A，空关系是A上的反对称关系.例2 设A＝{1,2,3}, R1, R2, R3和R4都是A上的关系,其中R＝{<1,1>,<2,2>}，R2＝{<1,1>,<1,2>,<2,1>}1R＝{<1,2>,<1,3>}，R4＝{<1,2>,<2,1>,<1,3>}3R对称、反对称.1R对称，不反对称.2R反对称，不对称.3R不对称、也不反对称.4传递性定义设R为A上的关系, 若"x"y"z(x,y,z∈A∧<x,y>∈R∧<y,z>∈R→<x,z>∈R),则称R是A上的传递关系.实例：A上的全域关系E,恒等关系I A和空关系ÆA小于等于关系, 小于关系，整除关系，包含关系，真包含关系例3 设A＝{1,2,3}, R1, R2, R3是A上的关系, 其中R＝{<1,1>,<2,2>}1R＝{<1,2>,<2,3>}2R＝{<1,3>}3R和R3 是A上的传递关系1R不是A上的传递关系2关系性质的充要条件设R为A上的关系, 则(1) R在A上自反当且仅当I A ÍR(2) R在A上反自反当且仅当R∩I A=Æ(3) R在A上对称当且仅当R=R-1(4) R在A上反对称当且仅当R∩R-1ÍI A(5) R在A上传递当且仅当R°RÍR证明模式证明R在A上自反任取x,xÎAÞ ……………..….……. Þ <x,x>ÎR前提推理过程结论例4 证明若I A ÍR ，则 R在A上自反.证任取x,xÎA Þ <x,x> ÎIÞ <x,x>ÎRA因此R 在A 上是自反的.证明模式证明R在A上对称任取<x, y><x,y>ÎRÞ……………..….……. Þ <y,x>ÎR前提推理过程结论例5 证明若R=R-1 , 则R在A上对称.证任取<x,y><x,y>ÎR Þ <y,x>ÎR-1Þ <x,y>ÎR因此R 在A 上是对称的.证明模式证明R在A上反对称任取<x, y><x,y>ÎRÙ<y,x>ÎRÞ ………..………. Þ x=y前提推理过程结论例6 证明若R∩R-1ÍI A , 则R在A上反对称.证任取<x,y><x,y>ÎR Ù<y, x>ÎRÞ <x,y>ÎR Ù<x,y>ÎR-1Þ <x,y>ÎR∩R-1Þ <x,y>ÎI AÞ x=y因此R 在A 上是反对称的.证明模式证明R在A上传递任取<x, y>，<y, z><x,y>ÎRÙ<y, z>ÎRÞ…..………. Þ <x,z>ÎR前提推理过程结论例7 证明若R°RÍR , 则R在A上传递.证任取<x,y>，<y, z><x,y>ÎR Ù<y,z>ÎRÞ <x,z>ÎR°RÞ <x,z>ÎR因此R 在A 上是传递的.4.4 关系的闭包闭包定义定义设R是非空集合A上的关系, R的自反（对称或传递）闭包是A上的关系R¢, 使得R¢满足以下条件：（1）R¢是自反的（对称的或传递的）（2）RÍR¢（3）对A上任何包含R的自反（对称或传递）关系R¢¢ 有R¢ÍR¢¢. 一般将R 的自反闭包记作r(R), 对称闭包记作s(R), 传递闭包记作t(R).闭包的构造方法定理1 设R为A上的关系, 则有(1) r(R) = R∪R0(2) s(R) = R∪R-1(3) t(R) = R∪R2∪R3∪…说明：对于有穷集合A (|A|=n) 上的关系, (3)中的并最多不超过R n. 若R是自反的，则r(R)=R; 若R是对称的，则s(R)=R; 若R是传递的，则t(R)=R. 设关系R, r(R), s(R), t(R)的关系矩阵分别为M, M r, M s 和M t , 则M= M + ErM= M + M’sM= M + M2 + M3 + …tE 是和M 同阶的单位矩阵, M’是M 的转置矩阵.注意在上述等式中矩阵的元素相加时使用逻辑加.设关系R, r(R), s(R), t(R)的关系图分别记为G, G r, G s, G t , 则G r, G s, G t 的顶点集与G 的顶点集相等. 除了G 的边以外, 以下述方法添加新边：考察G的每个顶点, 如果没有环就加上一个环，最终得到G r . 考察G的每条边, 如果有一条x i 到x j 的单向边, i≠j, 则在G中加一条x j 到x i 的反方向边，最终得到G s. 考察G的每个顶点x i, 找从x i 出发的每一条路径，如果从x i 到路径中任何结点x j 没有边，就加上这条边. 当检查完所有的顶点后就得到图G t .4.5 等价关系和偏序关系定义设R 为非空集合上的关系. 如果R 是自反的、对称的和传递的, 则称R 为 A 上的等价关系. 设R 是一个等价关系, 若<x,y>∈R, 称x 等价于y, 记做x～y.实例设A={1,2,…,8}, 如下定义A上的关系R：R = { <x,y> | x,y∈A∧x≡y(mod 3) }其中x≡y(mod 3) 叫做x 与y 模3相等, 即x 除以3的余数与y 除以3的余数相等.验证模 3 相等关系R 为A上的等价关系, 因为"x∈A, 有x ≡ x(mod 3)"x, y∈A, 若x ≡ y(mod 3), 则有y ≡ x(mod 3)"x, y, z∈A, 若x ≡ y(mod 3), y ≡ z(mod 3),则有x≡z(mod 3)自反性、对称性、传递性得到验证定义设R为非空集合A上的等价关系, "x∈A，令[x]R = { y | y∈A∧xRy }称 [x]R 为x 关于R 的等价类, 简称为x 的等价类, 简记为[x].实例A={ 1, 2, … , 8 }上模 3 等价关系的等价类：[1]=[4]=[7]={1,4,7}[2]=[5]=[8]={2,5,8}[3]=[6]={3,6}等价类的性质：定理1 设R是非空集合A上的等价关系, 则(1) "x∈A, [x] 是A的非空子集.(2) "x, y∈A, 如果x R y, 则 [x]=[y].(3) "x, y∈A, 如果x y, 则 [x]与[y]不交.(4) ∪{ [x] | x∈A}=A，即所有等价类的并集就是A.A={ 1, 2, … , 8 }上模 3 等价关系的等价类：[1]=[4]=[7]={1,4,7}，[2]=[5]=[8]={2,5,8}，[3]=[6]={3,6}以上3 类两两不交，{1,4,7}È{2,5,8}È{3,6} = {1,2, (8)定义设R为非空集合A上的等价关系, 以R的所有等价类作为元素的集合称为A关于R的商集, 记做A/R, A/R = { [x]R| x∈A }实例A={1,2,…,8},A关于模3等价关系R的商集为A/R = { {1,4,7}, {2,5,8}, {3,6} }A关于恒等关系和全域关系的商集为：A/I= { {1},{2}, … ,{8}}AA/E= { {1, 2, … ,8} }A集合的划分：定义设A为非空集合, 若A的子集族π(πÍP(A)) 满足下面条件：(1) ÆÏπ(2) "x"y (x,y∈π∧x≠y→x∩y=Æ)(3) ∪π=A则称π是A的一个划分, 称π中的元素为A的划分块.例1 设A＝{a, b, c, d},给定π1,π2,π3,π4,π5,π6如下：π= { {a, b, c}, {d} }，π2= { {a, b}, {c}, {d} }1π= { {a}, {a, b, c, d} }, π4= { {a, b}, {c} }3π= { Æ,{a, b}, {c, d} }, π6= { {a, {a}}, {b, c, d} }5则π1和π2是A的划分, 其他都不是A 的划分.为什么？等价关系与划分的一一对应商集A/R 就是A 的一个划分不同的商集对应于不同的划分任给A 的一个划分π, 如下定义A 上的关系R：R = {<x,y> | x,y∈A∧x 与y 在π的同一划分块中}则R 为A上的等价关系, 且该等价关系确定的商集就是π.例2 给出A＝{1,2,3}上所有的等价关系求解思路：先做出A的所有划分, 然后根据划分写出对应的等价关系.例3 设A={1, 2, 3, 4}，在A´A上定义二元关系R：<<x,y>,<u,v>>ÎR Û x+y = u+v，求R 导出的划分.解A´A={<1,1>, <1,2>, <1,3>, <1,4>, <2,1>, <2,2>,<2,3>,<2,4>,<3,1>, <3,2>, <3,3>, <3,4>, <4,1>,<4,2>, <4,3>, <4 ,4>}根据 <x,y> 的x + y = 2,3,4,5,6,7,8 将A´A划分成7个等价类：(A´A)/R={ {<1,1>}, {<1,2>,<2,1>},{<1,3>, <2,2>, <3,1>},{<1,4>, <2,3>, <3,2>, <4,1>},{<2,4>, <3,3>, <4,2>},{<3,4>, <4,3>}, {<4,4>} }定义非空集合A上的自反、反对称和传递的关系，称为A上的偏序关系，记作≼. 设≼为偏序关系, 如果<x, y>∈≼, 则记作x≼y, 读作x“小于或等于”y. 实例集合A上的恒等关系I A 是A上的偏序关系.小于或等于关系, 整除关系和包含关系也是相应集合上的偏序关系.x与y 可比：设R为非空集合A上的偏序关系,x,yÎA, x与y可比Û x≼y ∨y≼x.结论：任取两个元素x和y, 可能有下述情况：x≺y (或y≺x), x＝y, x与y不是可比的.全序关系：R为非空集合A上的偏序, "x,yÎA, x与y 都是可比的，则称R 为全序（或线序）实例：数集上的小于或等于关系是全序关系整除关系不是正整数集合上的全序关系覆盖：设R为非空集合A上的偏序关系, x, y∈A, 如果x ≺y且不存在zÎA 使得x ≺z ≺y, 则称y 覆盖x.实例：{ 1, 2, 4, 6 }集合上的整除关系,2 覆盖 1,4 和 6 覆盖 2.4 不覆盖 1.定义集合A和A上的偏序关系≼一起叫做偏序集, 记作 <A,≼>.实例：整数集和小于等于关系构成偏序集<Z,≤>，幂集P(A)和包含关系构成偏序集<P(A),RÍ>.哈斯图：利用偏序自反、反对称、传递性简化的关系图特点：每个结点没有环，两个连通的结点之间的序关系通过结点位置的高低表示，位置低的元素的顺序在前，具有覆盖关系的两个结点之间连边偏序集的特定元素定义设<A,≼>为偏序集, BÍA, y∈B.(1) 若"x(x∈B→y≼x) 成立, 则称y 为B 的最小元.(2) 若"x(x∈B→x≼y) 成立, 则称y 为B 的最大元.(3) 若Ø$x (x∈B∧x ≺y) 成立, 则称y 为B的极小元.(4) 若Ø$x (x∈B∧y ≺x) 成立, 则称y 为B的极大元.特殊元素的性质对于有穷集，极小元和极大元必存在，可能存在多个.最小元和最大元不一定存在，如果存在一定惟一.最小元一定是极小元；最大元一定是极大元.孤立结点既是极小元，也是极大元.定义设<A, ≼>为偏序集, BÍA, yÎA.(1) 若"x(x∈B→x≼y) 成立, 则称y 为B的上界.(2) 若"x(x∈B→y≼x) 成立, 则称y 为B的下界.(3) 令C＝{y | y为B的上界}, 则称C的最小元为B的最小上界或上确界.(4) 令D＝{y | y为B的下界}, 则称D的最大元为B的最大下界或下确界.特殊元素的性质下界、上界、下确界、上确界不一定存在下界、上界存在不一定惟一下确界、上确界如果存在，则惟一集合的最小元就是它的下确界，最大元就是它的上确界；反之不对.4.6 函数的定义和性质函数定义：定义设F 为二元关系, 若 "x∈dom F 都存在唯一的y∈ran F 使xFy 成立, 则称F 为函数. 对于函数F, 如果有xFy, 则记作y=F(x), 并称y 为F 在x 的值.例1 F1={<x1,y1>,<x2,y2>,<x3,y2>}F={<x1,y1>,<x1,y2>}2F是函数, F2不是函数1函数相等：定义设F, G为函数, 则F =G Û FÍG∧GÍF如果两个函数F 和G 相等, 一定满足下面两个条件：(1) dom F = dom G(2) "x∈dom F = dom G 都有F(x) = G(x)实例函数F(x)=(x2-1)/(x+1), G(x)=x-1不相等, 因为 dom FÌdom G.定义设A, B为集合, 如果f 为函数dom f = Aran f Í B,则称f 为从A到B的函数, 记作f：A→B.实例f：N→N, f(x)=2x 是从N 到N 的函数g：N→N, g(x)=2也是从N 到N 的函数定义所有从A 到B 的函数的集合记作B A,读作“B上A”，符号化表示为B A ={ f | f：A→B }计数：|A|=m, |B|=n, 且m, n>0, |BA|=n m.A=Æ, 则B A=BÆ={Æ}.A≠Æ且B=Æ, 则B A=ÆA= Æ.例2 设A = {1, 2, 3}, B = {a, b}, 求B A.解B A = {f0, f1, … , f7}, 其中f={<1,a>,<2,a>,<3,a>}, f1={<1,a>,<2,a>,<3,b>}f={<1,a>,<2,b>,<3,a>}，f3={<1,a>,<2,b>,<3,b>}2f={<1,b>,<2,a>,<3,a>}，f5={<1,b>,<2,a>,<3,b>}4f={<1,b>,<2,b>,<3,a>}, f7={<1,b>,<2,b>,<3,b>}6定义设函数f：A→B, A1ÍA.A在f 下的像：f(A1) = { f(x) | x∈A1 }1函数的像f(A)注意：函数值f(x)∈B, 而像f(A1)ÍB.函数的性质定义设f：A→B,（1）若ran f = B, 则称f：A→B是满射的.（2）若 "y∈ran f 都存在唯一的x∈A使得f(x)=y, 则称f：A→B是单射的. （3）若f：A→B既是满射又是单射的, 则称f：A→B是双射的f满射意味着："y ÎB, 都存在xÎA使得 f(x) = y.f 单射意味着：f(x) = f(x2) Þ x1= x21例4判断下面函数是否为单射, 满射, 双射的, 为什么?(1) f：R→R, f(x) = -x2+2x-1(2) f：Z+→R, f(x) = ln x, Z+为正整数集(3) f：R→Z, f(x) = ëxû(4) f：R→R, f(x) = 2x+1(5) f：R+→R+, f(x)=(x2+1)/x, 其中R+为正实数集.解 (1) f：R→R, f(x)=-x2+2x-1在x=1取得极大值0. 既不单射也不满射.(2) f：Z+→R, f(x)=ln x单调上升, 是单射. 但不满射, ran f={ln1, ln2, …}.(3) f：R→Z, f(x)= ëxû满射, 但不单射, 例如f(1.5)=f(1.2)=1.(4) f：R→R, f(x)=2x+1满射、单射、双射, 因为它是单调的并且ran f=R.(5) f：R+→R+, f(x)=(x2+1)/x有极小值f(1)=2. 该函数既不单射也不满射.构造从A到B的双射函数有穷集之间的构造例5 A=P({1,2,3}), B={0,1}{1,2,3}解 A={Æ,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}.B={ f, f1, … , f7 }, 其中f={<1,0>,<2,0>,<3,0>}, f1={<1,0>,<2,0>,<3,1>},f={<1,0>,<2,1>,<3,0>}, f3={<1,0>,<2,1>,<3,1>},2f={<1,1>,<2,0>,<3,0>}, f5={<1,1>,<2,0>,<3,1>},4f={<1,1>,<2,1>,<3,0>}, f7={<1,1>,<2,1>,<3,1>}.6令f：A→B,f(Æ)=f, f({1})=f1, f({2})=f2, f({3})=f3,f({1,2})=f, f({1,3})=f5, f({2,3})=f6, f({1,2,3})=f74常函数、恒等函数、单调函数1. 设f：A→B, 若存在c∈B 使得 "x∈A 都有f(x)=c, 则称f：A→B是常函数.2. 称A 上的恒等关系I A为A 上的恒等函数, 对所有的x∈A 都有I A(x)=x.3. 设f：R→R，如果对任意的x1, x2∈R，x1<x2, 就有f(x1) £ f(x2), 则称f 为单调递增的；如果对任意的x1, x2∈A, x1< x2, 就有f(x1) < f(x2), 则称f 为严格单调递增的.类似可以定义单调递减和严格单调递减的函数.例8 (1) A的每一个子集A’都对应于一个特征函数, 不同的子集对应于不同的特征函数. 例如A={a, b, c}, 则有= { <a,0>, <b,0>, <c,0> }，cÆc= { <a,1>, <b,1>, <c,0>}{a,b}(2) 给定集合A，A 上不同的等价关系确定不同的自然映射, 其中恒等关系确定的自然映射是双射, 其他的自然映射一般来说是满射. 例如A={1, 2, 3}, R={<1,2>,<2,1>}∪IAg(1) = g(2) = {1,2}, g(3) = {3}4.7 函数的复合和反函数函数复合的定理定理设F, G是函数, 则F∘G也是函数, 且满足(1) dom(F∘G)={ x | x∈dom F Ù F(x)∈dom G}(2) "x∈dom(F∘G) 有F∘G(x) = G(F(x))推论1 设F, G, H为函数, 则 (F∘G)∘H 和F∘(G∘H)都是函数, 且 (F∘G)∘H = F∘(G∘H)推论2 设f：A→B, g：B→C, 则f∘g：A→C, 且"x∈A 都有f∘g(x) = g(f(x)).函数复合运算的性质定理设f：A→B, g：B→C.(1) 如果f：A→B, g：B→C 都是满射的, 则f∘g：A→C也是满射的.(2) 如果f：A→B, g：B→C 都是单射的, 则f∘g：A→C也是单射的.(3) 如果f：A→B, g：B→C 都是双射的, 则f∘g：A→C也是双射的.证 (1) "c∈C, 由g：B→C 的满射性, $b∈B 使得g(b)=c. 对这个b, 由f：A→B 的满射性，$a∈A使得f(a)=b. 由合成定理有f∘g(a)=g(f(a))=g(b)=c从而证明了f∘g：A→C是满射的.(2) 假设存在x1, x2∈A使得f∘g(x1) = f∘g(x2)由合成定理有g(f(x1))=g(f(x2)).因为g：B→C是单射的, 故f(x1)=f(x2). 又由于f：A→B也是单射的, 所以x1=x2. 从而证明f∘g：A→C是单射的.(3) 由 (1) 和 (2) 得证.定理设f: A®B，则f = f∘I= I A∘fB反函数存在的条件任给函数F, 它的逆F -1不一定是函数, 是二元关系.实例：F={<a,b>,<c,b>}，F -1={<b,a>,<b,c>}任给单射函数f：A→B, 则f -1是函数, 且是从 ran f 到A的双射函数, 但不一定是从B 到A 的双射函数.实例：f : N →N, f(x) = 2x,f -1 : ran f→N, f -1 (x) = x/2反函数定理设f：A→B是双射的, 则f -1：B→A也是双射的.证因为f 是函数, 所以f -1 是关系, 且dom f -1 = ran f = B , ran f -1 = dom f = A,对于任意的y∈B = dom f -1, 假设有x1, x2∈A使得<y,x1>∈f -1∧<y,x2>∈f -1成立, 则由逆的定义有<x1,y>∈f∧<x2,y>∈f根据f 的单射性可得x1 = x2, 从而证明了f -1是函数，且是满射的. 下面证明f -1的单射性.若存在y1, y2∈B 使得f -1 (y1) = f -1 (y2) = x, 从而有<y1,x>∈f -1∧<y2,x>∈f -1Þ <x,y1>∈f∧<x,y2>∈fÞ y1 = y2反函数的定义及性质对于双射函数f：A→B, 称f -1：B→A是它的反函数.反函数的性质定理设f：A→B是双射的, 则f -1∘f = I, f∘f -1 = I AB对于双射函数f：A→A, 有f -1∘f = f∘f -1 = IA函数复合与反函数的计算问题描述——多机调度问题：有2台机器c1, c2；6项任务t1, t2, …, t6. 每项任务的加工时间分别为：l(t)=l(t3)=l(t5)=l(t6)=1, l(t2)=l(t4)=21任务之间的顺序约束是：任务t3只有在t6和t5完成之后才能开始加工；任务t2只有在t6, t5和t4都完成后才能开始加工；任务t1只有在t3和t2完成之后才能开始加工.调度：任务安排在机器上加工的方案截止时间：开始时刻0，最后停止加工机器的停机时刻问题描述集合任务集T={t1, t2, ... , t n}, nÎZ+机器集M={c1, c2, ... , c m}，mÎZ+时间集 N函数和关系加工时间——函数l:T®Z+.顺序约束R ——T上的偏序关系，定义为R={<t i, t j>| t i, t jÎT, i=j 或t i 完成后t j 才可以开始加工}可行调度分配到机器：T 的划分 p={T, T2, ... , T m}，划分块T j 是T 的非空子集，1由安排在机器c j上加工的所有任务组成.每个机器上的任务开始时间"T jÎp，存在调度函数 s j:T j®N，满足以下条件：(1) 任意时刻i，每台机器上正在加工至多1个任务"i, 0 £ i<D,| { t k| t kÎT j, s j(t k)£i<s j(t k)+l(t k) }| £1, j=1, 2, …, m(2) 任务的安排满足偏序约束"t iÎT i, t jÎT j, <t i,t j>ÎRÛ s i(t i)+l(t i)£s j(t j) i, j=1, 2, …, m机器j 的停止时间D=max{s j(t k)| t kÎT j}+l(t k)j所有任务的截止时间D=max{D| j=1,2,...,m}.j我们的问题就是确定使得D达到最小的可行调度.（注：文档可能无法思考全面，请浏览后下载，供参考。
离散数学(一)知识梳理
离散数学（一）知识梳理•逻辑和证明部分o命题逻辑题型▪命题符号化问题将自然语言转为符号化逻辑命题▪用命题变量来表示原子命题▪用命题联结词来表示连词▪命题公式的类型判断判断命题公式是否是永真式、矛盾式、可能式▪利用真值表判断▪利用已知的公式进行推理判断▪利用主析取和合取范式判断▪定理：A为含有n个命题变元的命题公式，若A的主析取范式含有2^n个极小项，则A为重言式，若极小项在0到2^n之间，则为可满足式，若含有0个极小项，则A为矛盾式；若A的主合取范式含有2^n个极大项，则A为矛盾式，若极小项在0到2^n之间，则为可满足式，若含有0个极小项，则A为重言式▪翻译：一个命题公式化成主范式后，若所有项都分布在主析取范式中（主合取范式为1）则为重言式；若所有项都分布在主合取范式中（主析取范式为0）则为矛盾式；若均有分布，则为可满足式。
【思想来源：真值表法求主范式】▪一个质析取式是重言式的充要条件是其同时含有某个命题变元及其否定式；一个质合取式是矛盾式的充要条件是其同时含有某个命题变元及其否定式▪一个析取范式是矛盾式当且仅当它的每项都是矛盾式；一个合取范式是重言式当且仅当它的每项都是重言式▪求（主）析取或合取范式▪等值演算法▪ 1. 利用条件恒等式消除条件（蕴含和双条件）联结词，化简得到一个范式▪ 2. 在缺项的质项中不改变真值地添加所缺项，化简得到一个主范式▪ 3. 找出包含所有命题变元排列中剩余项，凑出另一个主范式（思想上类似于真值表法）▪真值表法▪ 1. 画出命题公式真值表▪ 2. 根据真值表结果求出主范式▪主析取范式：真值为1的所有项，每一项按对应01构成极小项▪主合取范式：真值为0的所有项，每一项按对应01构成极大项▪形式证明与命题推理利用推理规则构造一个命题公式的序列，证明结论▪形式证明：命题逻辑的论证是一个命题公式的序列，其中每个公式或者是前提，或者是由它之前的公式作为前提推得的结论，序列的最后一个是待证的结论，这样的论证也称为形式证明。
离散数学图论整理
离散数学图论整理总结第⼋章图论8.1 图的基本概念8.1.1 图定义8.1―1 ⼀个图G 是⼀个三重组〈V (G ),E (G ),ΦG 〉,其中V (G )是⼀个⾮空的结点(或叫顶点)集合,E (G )是边的集合,ΦG 是从边集E 到结点偶对集合上的函数。
⼀个图可以⽤⼀个图形表⽰。
定义中的结点偶对可以是有序的,也可以是⽆序的。
若边e 所对应的偶对〈a ,b 〉是有序的,则称e 是有向边。
有向边简称弧,a 叫弧e 的始点,b 叫弧e 的终点,统称为e 的端点。
称e 是关联于结点a 和b 的,结点a 和结点b 是邻接的。
若边e 所对应的偶对(a ,b )是⽆序的,则称e 是⽆向边。
⽆向边简称棱,除⽆始点和终点的术语外,其它术语与有向边相同每⼀条边都是有向边的图称为有向图。
每⼀条边都是⽆向边的图称为⽆向图。
有向图和⽆向图也可互相转化。
例如,把⽆向图中每⼀条边都看作两条⽅向不同的有向边,这时⽆向图就成为有向图。
⼜如,把有向图中每条有向边都看作⽆向边,就得到⽆向图。
这个⽆向图习惯上叫做该有向图的底图。
在图中,不与任何结点邻接的结点称为弧⽴结点。
全由孤⽴结点构成的图称为零图。
关联于同⼀结点的⼀条边称为⾃回路。
在有向图中,两结点间(包括结点⾃⾝间)若同始点和同终点的边多于⼀条,则这⼏条边称为平⾏边。
在⽆向图中,两结点间(包括结点⾃⾝间)若多于⼀条边,则称这⼏条边为平⾏边。
两结点a 、b 间互相平⾏的边的条数称为边［a ,b ］的重数。
仅有⼀条时重数为1,⽆边时重数为0。
定义8.1―2 含有平⾏边的图称为多重图。
⾮多重图称为线图。
⽆⾃回路的线图称为简单图。
仅有⼀个结点的简单图称为平凡图。
定义 8.1―3 赋权图G 是⼀个三重组〈V ,E ,g 〉或四重组〈V ,E ,f ,g 〉,其中V 是结点集合, E 是边的集合,f 是定义在V 上的函数,g 是定义在E 上的函数。
8.1.2 结点的次数定义 8.1―4 在有向图中,对于任何结点v ,以v 为始点的边的条数称为结点v 的引出次数(或出度),记为deg +(v );以v 为终点的边的条数称为结点v 的引⼊次数(或⼊度),记为deg -(v );结点v 的引出次数和引⼊次数之和称为结点v 的次数(或度数),记作deg (v )。
离散数学知识点总结
注意/技巧：析取符号为V，大写字母Vx + y = 3不是命题前件为假时，命题恒为真运用吸收律命题符号化过程中要注意命题间的逻辑关系，认真分析命题联结词所对应的自然语言中的联结词，不能只凭字面翻译。
也就是说，在不改变原意的基础上，按照最简单的方式翻译通用的方法：真值表法VxP（x）蕴含存在xP（x）利用维恩图解题证明两个集合相等：证明这两个集合互为子集常用的证明方法：任取待证集合中的元素<,>构造相应的图论模型第一章命题逻辑命题和联结词命题的条件：表达判断的陈述句、具有确定的真假值。
选择题中的送分题原子命题也叫简单命题，与复合命题相对简单联结词的真值表要记住非（简单）合取（当且仅当P，Q都为真时，命题为真）析取（当且仅当P，Q都为假时，命题为假），P，Q可以同时成立，是可兼的或条件（→）（当且仅当P为真，Q为假时，命题为假）P是前件，Q是后件只要P，就Q等价于P→Q只有P，才Q等价于非P→非Q，也就是Q→PP→Q特殊的表达形式：P仅当Q、Q每当P双条件（↔）（当且仅当P与Q具有相同的真假值时，命题为真，与异或相反）命题公式优先级由高到低：非、合取和析取、条件和双条件括号省略条件：①不改变先后次序的括号可省去②最外层的括号可省去重言式（永真式）、矛盾式（永假式）、偶然式可满足式：包括重言式和偶然式逻辑等价和蕴含（逻辑）等价:这是两个命题公式之间的关系，写作“⇔”，要与作为联结词的↔区分开来。
如果命题公式A为重言式，那么A⇔T常见的命题等价公式：需要背过被标出的，尽量去理解。
关键是掌握公式是将哪个符号转换为了哪个符号，这对于解证明题有很大的帮助！验证两个命题公式是否等价：当命题变元较少时，用真值表法。
当命题变元较多时，用等价变换的方法，如代入规则、替换规则和传递规则定理：设A、B是命题公式，当且仅当A↔B是一个重言式时，有A和B逻辑等价。
蕴含:若A→B是一个重言式，就称作A蕴含B，记作A⇒B常见的蕴含公式的运用方法同上面的命题等价公式证明A⇒B：①肯定前件，推出后件为真②否定后件，推出前件为假当且仅当A⇒B且B⇒A时，A⇔B，也就是说，要证明两个命题公式等价，可以证明它们相互蕴含联结词的完备集新的联结词：条件否定、异或（不可兼或）、或非（析取的否定）、与非（合取的否定）任意命题公式都可由仅含{非，析取}或{非，合取}的命题公式来等价地表示全功能联结词集合极小全功能联结词集合对偶式对偶式：将仅含有联结词非、析取、合取（若不满足，需先做转换）的命题公式A中的析取变合取，合取变析取，T变F，F变T得到的命题公式A*称为A的对偶式范式析取式：否定+析取合取式：否定+合取析取范式：（合取式）析取（合取式）……析取（合取式）。
离散数学部分概念和公式总结(精简版)
第一章命题逻辑一、等价公式(真值表)1)常用联结词：┐否定∨析取∧合取→：条件∆：双条件当且仅当Q 取值为F 时P →Q 为F ，否则为T ★等价公式表(等值公式表)常用的其它真值表┐┐P<=>P 双重否定P ∨P<=>P P ∧P<=>P幂等律(P ∧Q)∧R<=>P ∧(Q ∧R)(P ∨Q)∨R<=>P ∨(Q ∨R)结合律P ∧Q<=>Q ∧P P ∨Q<=>Q ∨P交换律P ∧(Q ∨R)<=>(P ∧Q)∨(P ∧R)P ∨(Q ∧R)<=>(P ∨Q)∧(P ∨R)分配律P ∨(P ∧Q)<=>P P ∧(P ∨Q)<=>P 吸收┐(P ∧Q)<=>┐P ∨┐Q ┐(P ∨Q)<=>┐P ∧┐Q 德摩根P ∨F<=>P P ∧T<=>P 同一律P ∨T<=>T P ∧F<=>F 零律P ∨┐P<=>T P ∧┐P<=>F否定律常用的其它真值表P ┐P T F FTP Q P ∨Q T T T T F T F T T FFFP Q P ∧Q T T T T F F F T F F FFP Q P →Q (┐P ∨Q)T T T T F F F T T FFTP→Q<=>┐P ∨Q P ∆Q<=>(P→Q)∧(Q→P)P ∆Q<=>Q ∆PP ∆Q<=>(P ∧Q)∨(┐P ∧┐Q)┐(P ∆Q)<=>P ∆┐Q R ∨(P ∨┐P)<=>T R ∧(P ∧┐P)<=>F P→Q<=>┐Q→┐P ┐(P→Q)<=>P ∧┐Q (P→Q)∧(P→┐Q)<=>┐P P→(Q→R)<=>(P ∧Q)→R (P ∆Q)∆R<=>P ∆(Q ∆R)命题公式的类型：(1)若A在它的各种赋值下均取值为真，则称A为重言式或永真式。
离散数学的概念总结
图论基本概念重要定义：有向图：每条边都是有向边的图。
无向图：每条边都是无向边的图。
混合图：既有有向边又有无向边的图。
自回路：一条边的两端重合。
重数：两顶点间若有几条边，称这些边为平行边，两顶点a,b间平行边的条数成为（a,b）的重数。
多重图：含有平行边的图。
简单图：不含平行边和自回路的图。
注意！一条无向边可以用一对方向相反的有向边代替，因此一个无向图可以用这种方法转化为一个有向图。
定向图：如果对无向图G的每条无向边指定一个方向由此得到的有向图D。
称为的G定向图. 底图：如果把一个有向图的每一条有向边的方向都去掉，得无向图G称为的D底图。
逆图：把一个有向图D的每条边都反向由此得到的图称为D的逆图。
赋权图：每条边都赋上了值。
出度：与顶点相连的边数称为该定点的度数，以该定点为始边的边数为出度。
入度：以该定点为终边的边数为入度。
特殊！度数为零的定点称为孤立点。
度数为一的点为悬挂点。
无向完全图：在阶无向图中如果任何两点都有一条边关连则称此图是无向完全图。
Kn完全有向图：在阶有向图中如果任意两点都有方向相反的有向边相连则称此图为完全有向图。
竟赛图：阶图中如果其底图是无向完全图，则程此有向完全图是竟塞图。
注意！n阶有向完全图的边数为n的平方；无向完全图的边数为n(n-1)/2。
下面介召图两种操作：①删边：删去图中的某一条边但仍保留边的端点。
②删点：删去图中某一点以及与这点相连的所有边。
子图：删去一条边或一点剩下的图。
生成子图：只删边不删点。
主子图：图中删去一点所得的子图称的主子图。
补图：设为阶间单无向图，在中添加一些边后，可使成为阶完全图；由这些添加边和的个顶点构成的图称为的补图。
重要定理：定理5.1.1 设图G是具有n个顶点m条边的有向图，其中点集V={v,v, (v)deg+(vi)=deg-(vi)=m定理5.1.2 设图G是具有n个顶点m条边的无向图，其中点集V={v,v,v, (v)deg(vi)=2m推论在无向图中，度数为积数的顶点个数为偶数。
离散数学图的基本概论
边连通度：设G为无向连通图，记(G) =
min{| E' | E'是G的边割集}，
(G)为G的边连通度。
连通度的性质：k(G) (G) (G)
五、有向图的连通性：
(1) 如果有向图 D = < V,E >中所有有向边的方 向去掉后所得图为无向连通图，则说D为 弱连通图。
(2) u,vV，如果存在u到v的一条通路，则说u 可达v。
出度与入度的关系：在有向图中，各顶点的 出度之和等于各顶点的入度之和。
n
n
d(vi) d(vi)m
i1
i1
度数序列：设V = {v1,v2,…,vn}为图G的顶点集， 称(d(v1), d(v2),…, d(vn))为G的度数 序列。
度数序列之和必为偶数(?)。
例8.1 (3,3,2,3)，(5,2,3,1,4)能成为图的度数 序列吗？为什么？
8.1 无向图及有向图
一、基本图类及相关概念
1. 无向图 无序积：设A，B为二集合，称{{a,b} | aAbB}
为A与B的无序积，记作：A&B。 习惯上，无序对{a,b}改记成(a, b)
有序组(a,b)均用< a,b >
无向图：无向图G是一个二元组< V,E >，其中
(1) V是一个非空集 ––– 顶点集V(G)，每个元 素为顶点或结点；
三、图的连通性
两顶点连通：u,v为无向图G的两个顶点，u到v 存在一条通路。
连 通 图：G 中任何两个顶点是连通的；否 则是分离图。
连通性的性质：无向图中顶点之间的连通关系是 顶点集V上的等价关系。
证明： (1) 自反性：由于规定任何顶点到自身总是连通的； (2) 对称性：无向图中顶点之间的连通是相互的； (3) 传递性：由连通性的定义可知。
离散数学思维导图第一章
重言式
矛盾式可满足式非重言式的可满足式直接应用规则推理附加前提证明法
归谬法命题
命题变项和命题常项
简单命题（原子命题）、复合命题
联接词：否定、合取、析取、异或、蕴含、等价、与非、或非
什么是命题公式？
分类
真值表简单合取式、简单析取式
合取范式和析取范式
极小项和极大项
用途：
联接词可以等价替换
联接词全功能集
联接词的极小全功能集构造证明法真值表法
主合取范式和主析取范式
命题符号化及联接词命题公式及分类等值演算范式联接词及其全功能集推理理论第一章：命题逻辑。
离散数学——图论
2021/10/10
11
哥尼斯堡七桥问题
❖ 把四块陆地用点来表示，桥用点与点连线表 示。
2021/10/10
12
❖ 欧拉将问题转化为：任何一点出发，是否存在通过 每条边一次且仅一次又回到出发点的路？欧拉的结 论是不存在这样的路。显然，问题的结果并不重要， 最为重要的是欧拉解决这个问题的中间步骤，即抽 象为图的形式来分析这个问题 。
2021/10/10
2
图论的发展
❖ 图论的产生和发展经历了二百多年的历史， 从1736年到19世纪中叶是图论发展的第一阶 段。
❖ 第二阶段大体是从19世纪中叶到1936年，主 要研究一些游戏问题：迷宫问题、博弈问题、 棋盘上马的行走线路问题。
2021/10/10
3
❖ 一些图论中的著名问题如四色问题(1852年)和哈密 尔顿环游世界问题(1856年)也大量出现。同时出现 了以图为工具去解决其它领域中一些问题的成果。
❖ P（G）表示连通分支的个数。连通图的连通 分支只有一个。
2021/10/10
40
练习题---图的连通性问题
❖ 1.若图G是不连通的，则补图是连通的。 ❖ 提示：直接证法。
根据图的不连通，假设至少有两个连通分 支；任取G中两点，证明这两点是可达的。
2021/10/10
41
❖ 2.设G是有n个结点的简单图，且 |E|>(n-1)(n-2)/2，则G是连通图。
❖ 例子
2021/10/10
29
多重图与带权图
❖ 定义多重图：包含多重边的图。 ❖ 定义简单图：不包含多重边的图。 ❖ 定义有权图：具有有权边的图。 ❖ 定义无权图：无有权边的图。
2021/10/10
30
离散数学图论图的基本概念
条件：奇度数的结点个数应该是偶数个
（2）序列的可图化：对一个整数序列d=(d1,d2,…dn),若存在以n个顶点的n阶 无向图G，有d(vi)=di ，称该序列是可图化的。
特别的，如果得到的是简单图，称该序列是可简单图化的。
（3）定理 设非负整数列d＝(d1，d2，…，dn)，则d是可图化的当且仅当
完整版课件ppt
16
四、子图、生成子图、导出子图
1、定义 设G＝<V，E>，G‘＝<V’，E’>为两个图(同为无向图或有向 图)若V’⊆ V 且 E’⊆ E ，则称G‘是G的子图，G为G‘的母图，记作 G’⊆G， 又若V‘⊂V 或 E’ ⊂ E，则称G‘为G的真子图 若V’＝V（且E’⊆ E），则称G‘为G的生成子图(全部顶点)
d5=（4,4,3,3,2,2）
完整版课件ppt
10
二、图的同构
定义：设G1＝<Vl，E1>，G2=<V2，E2>为两个无向图(有向图) ，
若存在双射函数 f：V1 → V2
对于 ∀vi，vj V1，(vi，vj) E1 当且仅当(f(vi),f(vj)) E2 并且(vi，vj) 与(f(vi),f(vj))的重数相同，则称G1与G2是同构 的，记作Gl ≅ G2。
一个环提供的度为2（有向图的环提供入度1和出度1）
完整版课件ppt
8
3）定义：(G) = max{d(v)|v∈V(G)} 为图G中结点最大的度 δ(G) = min{d(v)|v∈V(G)} 为图G中结点最小的度 简记为、δ
定义： －(D) = max{d－(v)|v∈V(D)} 为图D中结点最大的入度 ＋(D) = max{d＋(v)|v∈V(D)} 为图D中结点最大的出度
离散数学知识点
离散数学知识点摘要：离散数学是计算机科学和数学的一个分支，它专注于非连续结构的研究。
本文旨在概述离散数学的核心知识点，包括集合论、逻辑、关系、函数、图论、组合数学和递归等。
1. 集合论- 集合的基本概念：集合是离散数学的基础，它是一组明确的、无重复的对象的集合。
- 集合运算：包括并集、交集、差集、补集等。
- 幂集：一个集合所有子集的集合。
- 笛卡尔积：两个集合所有可能的有序对的集合。
2. 逻辑- 命题逻辑：研究命题（声明的真值）和它们之间的关系，如合取、析取、否定等。
- 谓词逻辑：使用量词（如全称量词和存在量词）来表达更复杂的逻辑关系。
- 逻辑推理：包括直接证明、间接证明和归谬法等。
3. 关系- 关系的定义：一个集合到另一个集合的有序对的集合。
- 关系的类型：自反性、对称性和传递性等。
- 关系的闭包：在给定关系下，集合的最小闭包。
4. 函数- 函数的定义：一个集合到另一个集合的映射，每个元素有唯一的像。
- 函数的类型：单射、满射和双射。
- 复合函数：两个函数可以组合成一个新的函数。
5. 图论- 图的基本概念：由顶点（节点）和边组成的结构。
- 图的类型：无向图、有向图、连通图、树等。
- 图的算法：如最短路径、最小生成树、图的着色等。
6. 组合数学- 排列和组合：从n个不同元素中取出r个元素的不同排列和组合的数量。
- 二项式定理：描述了二项式的幂展开的系数。
- 生成函数：一种编码序列的方法，用于解决复杂的计数问题。
7. 递归- 递归定义：一个对象通过引用比自己更小的版本来定义。
- 递归函数：在计算机程序中，一个函数调用自身来解决问题。
结论：离散数学为理解和设计计算机系统提供了基础工具和理论。
它的知识点广泛应用于算法设计、数据结构、编程语言理论和数据库等领域。
掌握离散数学对于任何希望在计算机科学领域取得进展的人来说都是至关重要的。
本文提供了一个简洁的离散数学知识点概述，每个部分都直接针对一个主题，避免了不必要的背景信息和解释。
离散数学知识点总结
离散数学知识点总结离散数学是数学中的一个分支，研究离散对象及其关系的数学理论。
它与连续数学形成鲜明的对比，连续数学主要研究连续对象和其性质。
离散数学在计算机科学、信息科学、电子工程等领域具有重要的应用价值。
下面将对离散数学的主要知识点进行总结。
1.命题逻辑：命题逻辑研究由命题符号组成的复合命题及其逻辑关系。
其中命题是一个陈述性的语句，可以是真或假。
命题逻辑包括命题的逻辑运算、真值表、命题的等价、充分必要条件等。
2.谓词逻辑：谓词逻辑是对命题逻辑的扩充，引入了量词、谓词和项。
它的研究对象是命题函数，可以表示个体之间的关系。
谓词逻辑包括谓词的运算、量词的运算、公理化和推理规则等。
3.集合论：集合论是研究集合及其操作的数学分支。
集合是一种由确定的对象组成的整体。
集合论包括集合的基本运算（交、并、差、补）、集合的关系（包含、相等、子集、真子集）以及集合的运算律和推导定理等。
5.组合数学：组合数学是研究物体的组合与排列问题的数学分支。
它包括排列、组合、分配、生成函数等内容，经常应用于计数和概率问题中。
6.图论：图论是用来描述物体间其中一种关系的图形结构的数学理论。
它研究的对象是由顶点和边构成的图，包括无向图、有向图、带权图等。
图论研究的内容包括图的性质、连通性、路径、回路、树、图的着色等。
7.代数系统：代数系统是一种由一组元素及其相应的运算规则构成的数学结构。
常见的代数系统有群、环、域、格等，它们分别研究了集合上的不同运算规律和结构。
8.布尔代数：布尔代数是一种应用于逻辑和计算机的代数系统。
它以真和假为基础，通过逻辑运算（与、或、非）构成了布尔代数。
布尔代数在计算机硬件设计和逻辑推理中广泛应用。
9.图的同构与图的着色：图的同构是指两个图在结构上相同，也就是说，它们具有相同的顶点和边的连接关系。
图的同构判断是一个NP难问题，需要借助于图的着色等方法来判断。
图的着色是给图的顶点分配颜色，使得相邻顶点的颜色不同。
离散数学第八章一些特殊的图知识点总结
得证 m=k+1 时结论也成立. 证毕.
欧拉公式的推广
设 G 是有 p (p2) 个连通分支的平面图, 则
nm+r=p+1
证 设第 i 个连通分支有 ni 个顶点, mi 条边和 ri 个面.
对各连通分支用欧拉公式,
ni mi + ri = 2, 求和并注意 r = r1+…+rp+ p1, 即得
极大平面图: 定义 若 G 是简单平面图, 并且在任意两个不相邻的顶点之 间加一条新边所得图为非平面图, 则称 G 为极大平面图. 性质
• 若简单平面图中已无不相邻顶点，则是极大平面图. 如 K1, K2, K3, K4 都是极大平面图.
• 极大平面图必连通. • 阶数大于等于 3 的极大平面图中不可能有割点和桥.
8.2 欧拉图
欧拉通路: 图中行遍所有顶点且恰好经过每条边一次的通路. 欧拉回路: 图中行遍所有顶点且恰好经过每条边一次的回路.
欧拉图: 有欧拉回路的图. 半欧拉图: 有欧拉通路而无欧拉回路的图. 几点说明： 上述定义对无向图和有向图都适用. 规定平凡图为欧拉图. 欧拉通路是简单通路, 欧拉回路是简单回路. 环不影响图的欧拉性.
根据离散数学知识点归纳总结(精华版)
根据离散数学知识点归纳总结(精华版)离散数学是数学中的一个分支，主要研究离散结构及其相应的理论。
它在计算机科学、信息论、密码学等领域有着广泛的应用。
本文将对离散数学的若干知识点进行归纳总结，以帮助读者更好地理解离散数学的核心概念和应用。
集合论集合论是离散数学的基础，它研究集合的性质、操作和关系。
在集合论中，我们常用的符号有∈表示属于、∪表示并集、∩表示交集等。
集合论中的重要概念包括子集、空集、幂集等。
逻辑与命题逻辑是一门研究推理和论证的学科，它在离散数学中起着重要作用。
逻辑符号包括与、或、非等。
命题是逻辑的基本单位，它可以是真值为真或假的陈述句。
在逻辑中，我们还会遇到蕴含、等价、逆否等概念。
关系与函数关系是研究元素之间的联系的数学概念。
在离散数学中，我们经常会遇到等价关系、偏序关系等。
函数是一种特殊的关系，它将一个集合的元素映射到另一个集合。
函数在计算机科学中具有广泛的应用，如编程语言中的函数。
图论图论是离散数学中的重要分支，它研究图的性质和应用。
图由顶点和边组成，可以分为有向图和无向图。
图的相关概念有路径、连通性、最短路径等。
图论在网络分析、路由算法等领域有广泛的应用。
组合数学组合数学是离散数学的一个分支，研究离散对象的排列组合方式。
在组合数学中，我们常用的概念有排列、组合、二项式系数等。
组合数学在密码学、编码理论等领域有着重要的应用。
以上是根据离散数学的若干知识点进行的归纳总结，希望能够对读者加深对离散数学的理解，并为进一步学习和应用离散数学提供帮助。
如需深入了解每个知识点的具体内容，建议查阅相关教材和参考资料。
离散数学 第三章 函数
于是我们有 χA′(x)=1- χA(x) χA∩B(x)= χA(x) .χB(x) χA∪B(x)= χA(x) +χB(x) - χA∩B(x)
16
离散数学
A⊆B⇔(∀x∈X)(χA(x) ≤χB(x)) A=B⇔(∀x∈X)(χA(x) =χB(x)) A=∅⇔(∀x∈X)(χA(x) =0) A=X⇔(∀x∈X)(χA(x) =1) 。 例11.谓词的特征函数：设P是X上的谓词，我们定义P的 特征函数 χP :X→{0,1} 如下
14
离散数学
设f ,g是由X到Y的两个函数，f ,g :X→Y，则 f = g ⇔ (∀x∈X)(f(x) = g(x) ) 。 定义3.运算(operation) 定义 对于任何自然数n≥1，n元运算f是一个从n维叉积Xn到 X的函数。 即 f :Xn →X 。 一般说来，运算具有以下两个特点： (1)定义较一般函数特殊； (2)易可操作性； 特别地，一元运算 f :X→X； 二元运算 f :X × X→X。 例9.集合的余运算 ′ :2X → 2X 是一元运算； 集合的交，并运算 ∩ ,∪ :2X × 2X → 2X 是二元运算。
1 χP(x)= 0 当P(x)为真时 当P(x)为假时
于是我们有 χ¬P(x)=1- χP(x) χP∧Q(x)= χP(x) .χQ(x) χP∨Q(x)= χP(x) +χQ(x) - χP∧Q(x)
17
离散数学
(P⇒Q)⇔(∀x∈X)(χP(x)≤χQ(x)) (P⇔Q)⇔(∀x∈X)(χP(x)=χQ(x)) F⇔(∀x∈X)(χF(x) =0) T⇔(∀x∈X)(χT(x) =1) 。
。