北大离散数学07

合集下载

北京大学2017秋课件作业【离散数学】及答案

北京大学2017秋课件作业【离散数学】及答案

2017秋课件作业第一部分集合论第一章集合的基本概念和运算1-1设集合A={{2,3,4},5,1},下面命题为真是(选择题)[A] A.1∈A;B.2∈A;C.3∈A;D.{3,2,1}⊆A。

1-2A,B,C为任意集合,则他们的共同子集是(选择题)[D] A.C;B.A;C.B;D.Ø。

1-3设S={N,Z,Q,R},判断下列命题是否正确(是非题)(1)N⊆Q,Q∈S,则N⊆S,[错](2)-1∈Z,Z∈S,则-1∈S。

[错]1-4设集合B={4,3}∩Ø,C={4,3}∩{Ø},D={3,4,Ø},E={x│x∈R并且x2-7x+12=0},F={4,Ø,3,3},试问:集合B与那个集合之间可用等号表示(选择题)[A]A.C;B.D;C.E;D. F.1-5用列元法表示下列集合:A={x│x∈N且3-x〈3}(选择题)[D]A.N;B.Z;C.Q;D.Z+1-6为何说集合的确定具有任意性?(简答题)答:按研究的问题来确定集合的元素。

我们所要研究的问题当然是随意的呗。

之所以,集合的定义(就是集合成分的确定)当然带有任意性哪。

第二章二元关系2-1设A={1,2,3},A上的关系R={〈1,2〉,〈2,1〉}∪IA,试求:(综合题)(1)domR=?;(2)ranR=?;(3)R的性质。

(4)商集A/R=?(5)A的划分∏=?(6)合成运算(R。

R)=?答:R={<1,2>,<1,3>,<2,3>,<1,1>,<2,2>,<3,3>};(1)DomR={R中所有有序对的x}={3,2,1};(2)RanR={R中所有有序对的y}={2,1,3};(3)R的性质:自反,反对称,传递性质.这时,R不是等价关系。

(4)商集A/R={{1,2,3},{2,3},{3}}。

由于R不是等价关系,所以,等价类之间出现交集。

(完整版)北大数学系本科课程

(完整版)北大数学系本科课程

另外一个版本:北大数学科学学院本科生课程课程号 00130011 课程名数学分析(一)课程号 00130012 课程名数学分析(二)课程号 00130013 课程名数学分析(三)课程号 00130031 课程名高等代数(上)课程号 00130032 课程名高等代数(下)课程号 00130051 课程名解析几何课程号 00130061 课程名解析几何习题课课程号 00130072 课程名初等数论课程号 00130081 课程名常微分方程课程号 00130091 课程名计算机原理与算法语言课程号 0013010. 课程名计算机实习课程号 00130110 课程名复变函数课程号 00130120 课程名微分几何学课程号 00130130 课程名抽象代数(A)课程号 00130140 课程名实变函数论课程号 00130150 课程名偏微分方程课程号 00130161 课程名拓朴学(一)课程号 00130162 课程名拓朴学(二)课程号 00130170 课程名泛函分析课程号 00130180 课程名数学模型学课程号 00130190 课程名微分流形课程号 00130201 课程名高等数学(B)(一)课程号 00130202 课程名高等数学(B)(二)课程号 00130203 课程名高等数学(B)(三)课程号 00130221 课程名高等数学(C)(一)课程号 00130222 课程名高等数学(C)(二)课程号 00130241 课程名高等数学(D)(一)课程号 00130242 课程名高等数学(D)(二)课程号 00130250 课程名高等数学(E)课程号 00130260 课程名线性代数(B)课程号 00130270 课程名线性代数(C)课程号 00130280 课程名计算方法课程号 00130290 课程名汇编语言课程号 00130300 课程名数理逻辑及其在人工智能中的应用课程号 00130310 课程名数据结构课程号 00130320 课程名计算机图形学课程号 00130330 课程名数字信号处理课程号 00130340 课程名编译原理课程号 00130350 课程名抽象代数(B)课程号 00130360 课程名代数数论基础课程号 00130370 课程名有限群课程号 00130380 课程名代数选讲课程号 00130390 课程名图论课程号 00230010 课程名概率统计(A)课程号 00230020 课程名概率统计(B)课程号 00230030 课程名概率统计(C)课程号 00230040 课程名普通统计学课程号 00230050 课程名概率论课程号 00230060 课程名数理统计课程号 00230070 课程名测度论和概率论基础课程号 00230080 课程名应用多元统计分析课程号 00230090 课程名应用随机过程课程号 00230100 课程名应用时间序列分析课程号 00230110 课程名保险统计学课程号 00230120 课程名决策分析课程号 00230130 课程名抽样调查课程号 00230140 课程名试验设计课程号 00230150 课程名统计计算课程号 00230160 课程名算法分析与数据结构课程号 00230170 课程名图论( 离散数学 ) 课程号 00230180 课程名保险风险模型课程号 00230190 课程名运筹学课程号 00230200 课程名复变函数课程号 00230210 课程名 FORTRAN课程号 00230220 课程名热力学与统计物理。

离散数学PPT课件 7欧拉图与汉密尔顿图(ppt文档)

离散数学PPT课件 7欧拉图与汉密尔顿图(ppt文档)

00
0 1

1 0
11
此轮的设计:以两位二进制数
V={00,01,10,11}为结点,画带
权图(即边上标有数字--称为
边的权), 从任何a1∈V结点 画2条有向边,标权0(或1),
该边指向结点a2,于是构成 边a10, (或a11),这八条边分别 表示八个二进制数:
e0 =000
e1 =001 00 01 e5 =101 10
v2
v3
v4
v5
G2 v6
如何判定一个图中是否有 a
b
1
4
欧拉路,或有欧拉回路?
c
d
3
2
3.有欧拉路与有欧拉回路的判定: 定理8-5.1:无向图G具有欧拉路,当且仅当G是连通的,且有 零个或两个奇数度的结点. *证明:必要性, 设G有欧拉路.(自行尝试证明) 充分性,(证明的过程就是一个构造欧拉路的过程)
7. 欧拉图与汉密尔顿图
这里主要讨论图的遍历问题,一个是遍历过程中要求经过
的所有边都不同;一个是遍历过程中要求经过的所有结点
都不同.
欧拉在1736年发表了第一篇关于图论的论文, 就是就七
桥问题.
A
BDΒιβλιοθήκη CAe1 e2 e5
B e6 D
e3 e4
C
e7
一.欧拉图:
1.欧拉路:在无孤立结点的图G中,如果存在一条路,它经 过图中每条边一次且仅一次, 称此路为欧拉路.
e3 =011 e2 =010
11 1
e7 =111
000,001,010,011,100,101,110,111 从此图上取一个欧拉回路: e0e1e2e5 e3e7e6e4 将上述各边的末位数字写成序列:01011100, 于是就按照此序列将鼓轮进行加工,标0部分

北大离散数学演示文稿

北大离散数学演示文稿

定理1: 对任意集合A, A
证明: Ax(xxA)
x(0xA)1. #
推论: 空集是唯一的.
证明: 设1与2都是空集, 则 12 21 1=2 . #
全集
全集: 如果限定所讨论的集合都是某个集 合的子集,则称这个集合是全集,记作E
全集是相对的, 视情况而定, 因此不唯一. 例如, 讨论(a,b)区间里的实数性质时, 可 以选E=(a,b), E=[a,b), E=(a,b], E=[a,b], E=(a,+),E=(-,+)等
P1 (x): x是英文字母 A={x|P1 (x)}={x| x是英文字母} ={a,b,c,d,…,x,y,z}
P2 (x): x是十进制数字 B={x|P2(x)}= {x|x是ห้องสมุดไป่ตู้进制数字} ={0,1,2,3,4,5,6,7,8,9}
描述法(续)
两种表示法可以互相转化,例如 E={2,4,6,8,…}
北大离散数学演示文稿
集合论(set theory)
十九世纪数学最伟大成就之一 集合论体系
朴素(naive)集合论 公理(axiomatic)集合论
创始人康托(Cantor)
Georg Ferdinand Philip Cantor 1845 ~ 1918 德国数学家, 集合论创始人.
什么是集合(set)
幂集(power set)
幂集: A的全体子集组成的集合,称为A的 幂集,记作P(A)
P(A)={x|xA}
注意:
xP(A) xA
例子: A={a,b}, P(A)={,{a},{b},{a,b}}. #
n元集(n-set)
n元集: 含有n个元素的集合称为n元集 0元集: 1元集(或单元集),如{a}, {b}, {}, {{}},… |A|: 表示集合A中的元素个数,

第7章图论离散数学离散数学第四版清华出版社1

第7章图论离散数学离散数学第四版清华出版社1
若T上无重复出现的顶点,则T为基本通路。否则必 存在t<s,vt=vs,在T中去掉vt到vs的一段,所得通路 仍为u到v的通路,不妨仍记为T。若T上还有重复出 现的顶点,就做同样的处理,直到无重复出现的顶点
为止。最后得到的通路是u到v的基本通路,显然它 的长度应小于等于n-1。类似地可证定理的后半部分。
9/21/2019 4:36 AM
第四部分:图论(授课教师:向胜军)
23
例:
(1) 画出4个顶点3条边的所有可能非同构的 无向简单图。
(2) 画出3个顶点2条边的所有可能非同构的 有向简单图。
• (1)
(2)
9/21/2019 4:36 AM
第四部分:图论(授课教师:向胜军)
24
§2 通路、回路、图的连通性
证明思路:将图中顶点的度分类,再利用定理1。
9/21/2019 4:36 AM
第四部分:图论(授课教师:向胜军)
9
[定理3] 设有向图D=<V, E>有n个顶点,m 条边,则G中所有顶点的入度之和等于所 有顶点的出度之和,也等于m。
即:
n
n
d (vi ) d (vi ) m.
i 1
9/21/2019 4:36 AM
第四部分:图论(授课教师:向胜军)
8
[定理1 (握手定理Handshaking)] 设无向图
G=<V, E>有n个顶点,m条边,则G中所有
顶点的度之和等于m的两倍。即
n
d(vi ) 2m.
i 1
证明思路:利用数学归纳法。
[定理2] 无向图中度为奇数的顶点个数恰有 偶数个。
狼菜



空(成功)

离散数学第7章PPT课件

离散数学第7章PPT课件
3 v1e1v2e5v5e6v4e4v2e5v5e7v6
…………
初级通路 简单通路 复杂通路
第38页/共94页
例1、(2)
图(2)中过v2的回路 (从 v2 到 v2 )有:
1 v2e4v4e3v3e2v2
长度3
2 v2e5v5e6v4e3v3e2v2
长度4
3 v2e4v4e3v3e2v2e5v5e6v4e3v3e2v2 长度7
第34页/共94页
一、通路,回路。 2、简单通路,简单回路。 简单通路 (迹) 简单回路 (闭迹) 复杂通路 (回路)
第35页/共94页
一、通路,回路。 3、初级通路,初级回路。 初级通路 (路径) 初级回路 (圈)
初级通路 (回路) 简单通路 (回路),
但反之不真。
4、通路,回路的长度—— 中边的数目。
补图的概念, 5、图的同构的定义。
第4页/共94页
一、图的概念。 1、定义。
无序积 A & B (a,b) a A b B
无向图 G V , E
E V &V , E 中元素为无向边,简称边。
有向图 D V, E
E V V , E 中元素为有向边,简称边。
第5页/共94页
一、图的概念。 1、定义。
2、握手定理。
定理1: 设图 G V , E 为无向图或有向图,
V v1,v1,

,vn,E m ( m为边数),
n
d (vi ) 2m
i 1
第20页/共94页
n
2、握手定理 d (vi ) 2m i 1
推论:任何图中,度为奇数的顶点个数为偶数。
定理2: 设D V, E 为有向图,
第36页/共94页

离散数学北京大学出版社第二版配套PPT课件_屈婉玲_耿素云_张立昂ch

离散数学北京大学出版社第二版配套PPT课件_屈婉玲_耿素云_张立昂ch

离散数学北京大学出版社第二版配套PPT课件介绍本文档是北京大学出版社出版的《离散数学》第二版的配套PPT课件的简介。

透过课件,学生可以更好地理解和学习离散数学的概念和原理。

课件的作者包括屈婉玲、耿素云和张立昂等离散数学领域的专家,他们精心设计了课件的内容和布局,旨在帮助学生更好地理解离散数学的基础知识,并应用到实际问题中。

内容概述离散数学是计算机科学和信息技术中的一门基础课程,它研究离散的数学结构和离散对象之间的关系。

离散数学的理论和方法在计算机科学、密码学、人工智能等领域有着广泛的应用。

《离散数学》第二版的配套PPT课件涵盖了离散数学的主要内容,包括集合论、逻辑、关系、图论、计数原理等。

课件的设计旨在让学生通过图示、例子和练习等形式来理解和掌握离散数学的概念和方法。

课件还提供了一些附加材料和参考资料,供学生进一步学习和探索离散数学的相关内容。

课件特点1.系统性:课件内容有机地连接起来,形成一个完整的体系,学生可以从不同的章节中逐步深入学习离散数学的不同方面。

2.可视化:课件中使用了大量的图示和示例,帮助学生更直观地理解离散数学的概念和原理。

3.互动性:课件中设置了各种练习和思考题,鼓励学生积极参与和思考,提高学习效果。

4.实用性:课件中的例子和实际应用案例帮助学生将离散数学的理论应用到实际问题中,增强学习的实际效果。

使用指南学生可以使用任何支持Markdown文本格式的编辑器来打开和阅读本课件。

在阅读的同时,建议学生积极参与,思考课件中的问题,并完成相应的练习。

学生还可以根据自己的学习情况,有针对性地选择课件中的章节进行学习。

附加材料《离散数学》第二版的配套PPT课件还提供了一些附加材料,供学生进一步学习和探索离散数学的相关内容。

这些附加材料包括参考资料、习题解答和扩展阅读等。

学生可以根据自己的学习需要,选择适合自己的附加材料进行阅读。

结语《离散数学》第二版的配套PPT课件是学习离散数学的重要辅助工具,它通过图示、例子和练习等形式,帮助学生更好地理解和掌握离散数学的概念和方法。

离散数学教程-北大社

离散数学教程-北大社

内容简介本书共分五编。

第一编为集合论,其中包括集合的基本概念、二元关系、函数、自然数、基数、序数。

第二编为图论,其中包括图的基本概念、图的连通性、欧拉图与哈密顿图、树、平面图、图的着色、图的矩阵表示、覆盖集、独立集、匹配、带权图及其应用。

第三编为代数结构,其中包括代数系统的基本概念、几个重要的代数系统:半群、群、环、域、格与布尔代数。

第四编为组合数学,其中包括组合存在性、组合计数、组合设计与编码以及组合最优化。

第五编为数理逻辑,其中包括命题逻辑、一阶谓词逻辑、Herbrand定理和直觉逻辑。

本书体系严谨、内容丰富、配有大量的例题和习题,并与计算机科学的理论与实践密切结合。

本书不仅适用于计算机及相关专业的本科生或研究生,也可供计算机专业的科技人员使用或参考。

目录第一编集合论第一章集合(1)1.1 预备知识(1)1.2 集合的概念及集合之间的关系(7)1.3 集合的运算(10)1.4 基本的集合恒等式(13)1.5 集合列的极限(17)习题一(20)第二章二元关系(23)2.1 有序对与卡氏积(23)2.2 二元关系(26)2.3 关系矩阵和关系图(32)2.4 关系的性质(34)2.5 二元关系的幂运算(37)2.6 关系的闭包(39)2.7 等价关系和划分(45)2.8 序关系(49)习题二(53)第三章函数(58)3.1 函数的基本概念(58)3.2 函数的性质(59)3.3 函数的合成(62)3.4 反函数(64)习题三(68)第四章自然数(70)4.1 自然数的定义(70)4.2 传递集合(74)4.3 自然数的运算(76)4.4 N上的序关系(78)习题四(80)第五章基数(势)(81)5.1 集合的等势(81)5.2 有穷集合与无穷集合(83)5.3 基数(84)5.4 基数的比较(85)5.5 基数运算(89)习题五(93)第六章序数(95)6.1 关于序关系的进一步讨论(95) 6.2 超限递归定理(97)6.3 序数(99)6.4 关于基数的进一步讨论(105)习题六(105)第二编图论第七章图(107)7.1 图的基本概念(107)7.2 通路与回路(119)7.3 无向图的连通性(121)7.4 无向图的连通度(123)7.5 有向图的连通性(129)习题七(130)第八章欧拉图与哈密顿图(132)8.1 欧拉图(132)8.2 哈密顿图(137)习题八(142)第九章树(144)9.1 无向树的定义及性质(144)9.2 生成树(146)9.3 环路空间(149)9.4 断集空间(151)9.5 根树(153)习题九(154)第十章图的矩阵表示(156)10.1 关联矩阵(156)10.2 邻接矩阵与相邻矩阵(159)习题十(163)第十一章平面图(165)11.1 平面图的基本概念(165)11.2 欧拉公式(168)11.3 平面图的判断(170)11.4 平面图的对偶图(172)11.5 外平面图(175)11.6 平面图与哈密顿图(177)习题十一(179)第十二章图的着色(180)12.1 点着色(180)12.2 色多项式(181)12.3 地图的着色与平面图的点着色(185)12.4 边着色(187)习题十二(189)第十三章支配集、覆盖集、独立集与匹配(190)13.1 支配集、点覆盖集、点独立集(190)13.2 边覆盖集与匹配(193)13.3 二部图中的匹配(198)习题十三(199)第十四章带权图及其应用(201)14.1 最短路径问题(201)14.2 关键路径问题(204)14.3 中国邮递员问题(206)14.4 最小生成树(208)14.5 最优树(213)14.6 货郎担问题(216)习题十四(220)第三编代数结构第十五章代数系统(222)15.1 二元运算及其性质(222)15.2 代数系统、子代数和积代数(227) 15.3 代数系统的同态与同构(230)15.4 同余关系和商代数(233)15.5 Σ代数(236)习题十五(237)第十六章半群与独异点(240)16.1 半群与独异点(240)16.2 有穷自动机(242)习题十六(247)第十七章群(249)17.1 群的定义和性质(249)17.2 子群(253)17.3 循环群(255)17.4 变换群和置换群(257)17.5 群的分解(263)17.6 正规子群和商群(269)17.7 群的同态与同构(272)17.8 群的直积(278)习题十七(281)第十八章环与域(285)18.1 环的定义和性质(285)18.2 子环、理想、商环和环同态(289) 18.3 有限域上的多项式环(294)习题十八(296)第十九章格与布尔代数(299)19.1 格的定义和性质(299)19.2 子格、格同态和格的直积(303)19.3 模格、分配格和有补格(307)19.4 布尔代数(311)习题十九(318)第四编组合数学第二十章组合存在性定理(322)20.1 鸽巢原理和Ramsey定理(322)20.2 相异代表系(331)习题二十(335)第二十一章基本的计数公式(337)21.1 两个计数原则(337)21.2 排列和组合(338)21.3 二项式定理与组合恒等式 (343)21.4 多项式定理(347)习题二十一(349)第二十二章组合计数方法(352)22.1 递推方程的公式解法(352)22.2 递推方程的其他解法(361)22.3 生成函数的定义和性质(370)22.4 生成函数与组合计数(375)22.5 指数生成函数与多重集的排列问题(384) 22.6 Catalan数与Stirling数(388)习题二十二(394)第二十三章组合计数定理(398)23.1 包含排斥原理(398)23.2 对称筛公式及应用(403)23.3 Burnside引理(410)23.4 Polya定理(414)习题二十三(420)第二十四章组合设计与编码(422)24.1 拉丁方(422)24.2 t设计(427)24.3 编码(436)24.4 编码与设计(446)习题二十四(449)第二十五章组合最优化问题(450)25.1 组合优化问题的一般概念 (450)25.2 网络的最大流问题(452)习题二十五(457)第五编数理逻辑第二十六章命题逻辑(458)26.1 形式系统(458)26.2 命题和联结词(461)26.3 命题形式和真值表(464)26.4 联结词的完全集(468)26.5 推理形式(471)26.6 命题演算的自然推理形式系统N(473)26.7 命题演算形式系统P(486)26.8 N与P的等价性(494)26.9 赋值(496)26.10 可靠性、和谐性与完备性 (505)习题二十六(507)第二十七章一阶谓词演算(511)27.1 一阶谓词演算的符号化(511)27.2 一阶语言(515)27.3 一阶谓词演算的自然推演形式系统N L(519) 27.4 一阶谓词演算的形式系统K L(530)27.5 N L与K L的等价性(534)27.6 K L的解释与赋值(536)27.7 K L的可靠性与和谐性(547)27.8 K L的完全性(551)习题二十七(558)第二十八章消解原理(562)28.1 命题公式的消解(562)28.2 Herbrand定理(567)28.3 代换与合一代换(572)28.4 一阶谓词公式的消解(576)习题二十八(581)第二十九章直觉主义逻辑(583)29.1 直觉主义逻辑的直观介绍(583)29.2 直觉主义的一阶谓词演算的自然推演形式系统(58 5)29.3 直觉主义一阶谓词演算形式系统IK L(594)29.4 直觉主义逻辑的克里普克(Kripke)语义(597)29.5 直觉主义逻辑的完备性(602)习题二十九(607)附录1 第一编与第二编符号注释与术语索引(608)附录2 第三编与第四编符号注释与术语索引(614)附录3 第五编符号注释与术语索引(620)参考书目和文献(624)05668本书共分4大部分,数理逻辑部分包括命题逻辑的基本概念、等值演算、范式与推理理论,一阶逻辑的基本概念、前束范式以及推理理论。

离散数学形考任务07答案

离散数学形考任务07答案

离散数学作业7离散数学图论部分形成性考核书面作业本课程形成性考核书面作业共3次,内容主要分别是图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。

本次形考书面作业是第二次作业,大家要认真及时地完成图论部分的综合练习作业。

要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成并上交任课教师(不收电子稿)。

并在07任务界面下方点击“保存”和“交卷”按钮,以便教师评分。

一、单项选择题1.设图G 的邻接矩阵为⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡0101010010000011100000100,则G 的边数为( D ).A .5B .6C .3D .4 2.设图G =<V ,E >,则下列结论成立的是 ( C ). A .deg(V )=2∣E ∣ B .deg(V )=∣E ∣ C .E v Vv 2)deg(=∑∈ D .E v Vv =∑∈)deg(3.设有向图(a )、(b )、(c )与(d )如下图所示,则下列结论成立的是( D ).A .(a )是强连通的B .(b )是强连通的C .(c )是强连通的D .(d )是强连通的 4.给定无向图G 如右图所示,下面给出的结 点集子集中,不是点割集的为( B ).A .{b , d }B .{d }姓 名: 学 号: 得 分: 教师签名:a b dc eο ο ο ο ο 4题图C .{a , c }D .{b , e }5.图G 如右图所示,以下说法正确的是 ( C ) . A .{(a , c )}是割边 B .{(a , c )}是边割集 C .{(b , c )}是边割集 D .{(a, c ) ,(b, c )}是边割集6.无向图G 存在欧拉通路,当且仅当(D ). A .G 中所有结点的度数全为偶数 B .G 中至多有两个奇数度结点 C .G 连通且所有结点的度数全为偶数 D .G 连通且至多有两个奇数度结点7.若G 是一个欧拉图,则G 一定是( C ).A .平面图B .汉密尔顿图C .连通图D .对偶图8.设G 是连通平面图,有v 个结点,e 条边,r 个面,则r = ( A ). A .e -v +2 B .v +e -2 C .e -v -2 D .e +v +29.设G 是有n 个结点,m 条边的连通图,必须删去G 的( A )条边,才能确定G 的一棵生成树.A .1m n -+B .m n -C .1m n ++D .1n m -+ 10.已知一棵无向树T 中有8个结点,4度,3度,2度的分支点各一个,T 的树叶数为(D ).A .8B .5C .4D .3二、填空题1.已知图G 中有1个1度结点,2个2度结点,3个3度结点,4个4度结点,则G 的边数是 15 .2.设给定图G (如右由图所示),则图G 的点割集是 {f,c} .3.设G 是一个图,结点集合为V ,边集合为E ,则 G 的结点 度数 等于边数的两倍.4.设有向图D 为欧拉图,则图D 中每个结点的入度 等于出度 . 5.设G=<V ,E >是具有n 个结点的简单图,若在G 中每一对结点度数之和大于等于 n-1 ,则在G 中存在一条汉密尔顿路.6.设无向图G =<V ,E >是汉密尔顿图,则V 的任意非空子集V 1,都有 W(G-V1) ≤∣V 1∣.7.设完全图K n 有n 个结点(n ≥2),m 条边,当 当m=2n 时,K n 中存在欧拉回路.ο a οο οο b cde 5题图8.设图G=<V,E>,其中|V|=n,|E|=m.则图G是树当且仅当G是连通的,且m=2V-2 .9.连通无向图G有6个顶点9条边,从G中删去4 条边才有可能得到G的一棵生成树T.10.设正则5叉树的树叶数为17,则分支数为i = 4 .三、判断说明题(判断下列各题,并说明理由.)1.(1) 如果图G是无向图,且其结点度数均为偶数,则图G存在一条欧拉回路..(2) 图G1,(如下图所示) 是欧拉图.解:(1)错,图G是无向图,当且仅当G是连通的,且所有结点度数均为偶数,这里不能确定G图是否是连通的。

离散数学第七章第八节

离散数学第七章第八节
15
第7-8讲 作业
P337 5a
16
12
4、前缀码(3)
定理8 任意一个前缀码对应一棵二叉树。 证:设h是某个前缀码中最长序列的长度。作一棵高为h的 正则二叉树,将每个分枝点的左、右枝分别标以0和1,则 每片树叶对应一个0和1组成的序列,该序列是从树根到该 树叶的通路上各边标号组成的。因此,长度不超过h的每个 0和1组成的序列必对应一个结点。 将对应于前缀码中的每个序列的结点给予一个标记,并 删去标记结点的后裔及由它们射出的边。再删去未加标记的 树叶,得到一棵新的二叉树,其树叶就对应给定的前缀码。
9
3、最优树(3)
例2 假定字母a,b,c,d,e的使用频率为10%,17%,20%,23%,30%, 设计带该权数序列的最优树,并给出其二进制编码(哈夫曼编 码)。
编码:a:100, b:101, c:00, d:01, e:11
10
4、前缀码(1)
在远距离通信中,常以0和1组成的字符串来传送英文字母。 例如,可以用长度为5的0、1组成的字符串来表示大小写英文 字母和标点符号。但等长编码无法实现最高的效率。统计表 明,有些字母使用频率高,有的则低。用较短的字符串来表 示使用频率高的字母可以提高效率。 问题是如何进行编码?前面的例子已经演示了应用最优树 实现最优编码的可行性。然而,这种编码是唯一的吗?前例 对字母a,b,c,d,e的编码是{100,101,00,01,11},可否采 用编码{001,010,00,01,10}呢?假如用这个编码发送 “bd”,则相应编码是“01001”。然而接受方译码时,将得出 两个可能的结果:“010-01”和“01-001”,即“bd”和“da”。 产生二义性的原因是由于d的编码“01”是b的编码“010”的 前缀造成的。用前例的编码就不会出现这种二义性。

离散数学习题解答北京大学出版社

离散数学习题解答北京大学出版社

习题一1.下列句子中,哪些是命题?在是命题的句子中,哪些是简单命题?哪些是真命题?哪些命题的真值现在还不知道?(1)中国有四大发明.答:此命题是简单命题,其真值为1.(2)5是无理数.答:此命题是简单命题,其真值为1.(3)3是素数或4是素数.答:是命题,但不是简单命题,其真值为1.x+<(4)235答:不是命题.(5)你去图书馆吗?答:不是命题.(6)2与3是偶数.答:是命题,但不是简单命题,其真值为0.(7)刘红与魏新是同学.答:此命题是简单命题,其真值还不知道.(8)这朵玫瑰花多美丽呀!答:不是命题.(9)吸烟请到吸烟室去!答:不是命题.(10)圆的面积等于半径的平方乘以π.答:此命题是简单命题,其真值为1.(11)只有6是偶数,3才能是2的倍数.答:是命题,但不是简单命题,其真值为0.(12)8是偶数的充分必要条件是8能被3整除.答:是命题,但不是简单命题,其真值为0.(13)2008年元旦下大雪.答:此命题是简单命题,其真值还不知道.2.将上题中是简单命题的命题符号化.解:(1)p:中国有四大发明.(2)p:是无理数.(7)p:刘红与魏新是同学.(10)p:圆的面积等于半径的平方乘以π.(13)p:2008年元旦下大雪.3.写出下列各命题的否定式,并将原命题及其否定式都符号化,最后指出各否定式的真值.(15是有理数.5.p5.q5.其否定式q的真值为1.(225不是无理数.答:是有理数. p 不是无理数. q 是有理数. 其否定式q 的真值为1.(3)是自然数.答:否定式:不是自然数. p :是自然数. q :不是自然数. 其否定式q 的真值为1. (4)ln1是整数.答:否定式:ln1不是整数. p :ln1是整数. q :ln1不是整数. 其否定式q 的真值为1.4.将下列命题符号化,并指出真值. (1)2与5都是素数答:p :2是素数,q :5是素数,符号化为p q ∧,其真值为1.(2)不但π是无理数,而且自然对数的底e 也是无理数.答:p :π是无理数,q :自然对数的底e 是无理数,符号化为p q ∧,其真值为1. (3)虽然2是最小的素数,但2不是最小的自然数.答:p :2是最小的素数,q :2是最小的自然数,符号化为p q ∧⌝,其真值为1. (4)3是偶素数.答:p :3是素数,q :3是偶数,符号化为p q ∧,其真值为0. (5)4既不是素数,也不是偶数.答:p :4是素数,q :4是偶数,符号化为p q ⌝∧⌝,其真值为0. 5.将下列命题符号化,并指出真值. (1)2或3是偶数. (2)2或4是偶数. (3)3或5是偶数.(4)3不是偶数或4不是偶数. (5)3不是素数或4不是偶数.答: p :2是偶数,q :3是偶数,r :3是素数,s :4是偶数, t :5是偶数 (1) 符号化: p q ∨,其真值为1. (2) 符号化:p r ∨,其真值为1. (3) 符号化:r t ∨,其真值为0. (4) 符号化:q s ⌝∨⌝,其真值为1.(5) 符号化:r s ⌝∨⌝,其真值为0. 6.将下列命题符号化.(1)小丽只能从筐里拿一个苹果或一个梨.答:p :小丽从筐里拿一个苹果,q :小丽从筐里拿一个梨,符号化为: p q ∨. (2)这学期,刘晓月只能选学英语或日语中的一门外语课.答:p :刘晓月选学英语,q :刘晓月选学日语,符号化为: ()()p q p q ⌝∧∨∧⌝. 7.设p :王冬生于1971年,q :王冬生于1972年,说明命题“王冬生于1971年或1972年”既可以化1 1 0 1根据真值表,可以判断出,只有当p与q同时为真时两种符号化的表示才会有不同的真值,但结合命题可以发现,p与q不可能同时为真,故上述命题有两种符号化方式.8.将下列命题符号化,并指出真值.(1)只要,就有;(2)如果,则;(3)只有,才有;(4)除非,才有;(5)除非,否则;(6)仅当.答:设p:,则:;设q:,则:.符号化真值(1) 1(2) 1(3)0(4)0(5)0(6) 19.设p:俄罗斯位于南半球,q:亚洲人口最多,将下面命题用自然语言表述,并指出其真值:(1);(2);;(3);(4);(5);(6);(7).自然语言真值(1)只要俄罗斯位于南半球,亚洲人口就最多 1(2)只要亚洲人口最多,俄罗斯就位于南半球0(3)只要俄罗斯不位于南半球,亚洲人口就最多 1(4)只要俄罗斯位于南半球,亚洲人口就不是最多 1(5)只要亚洲人口不是最多,俄罗斯就位于南半球 1(6)只要俄罗斯不位于南半球,亚洲人口就不是最多0(7)只要亚洲人口不是最多,俄罗斯就不位于南半球 1 10.设p:9是3的倍数,q:英国与土耳其相邻,将下面命题用自然语言表述,并指出真值:(1);(2);(3);(4).答:根据题意,p为真命题,q为假命题.自然语言真值(1)9是3的倍数当且仅当英语与土耳其相邻0(2)9是3的倍数当且仅当英语与土耳其不相邻 1(3)9不是3的倍数当且仅当英语与土耳其相邻 1(4)9不是3的倍数当且仅当英语与土耳其不相邻011.将下列命题符号化,并给出各命题的真值:(1)若2+2=4,则地球是静止不动的;(2)若2+2=4,则地球是运动不止的;(3)若地球上没有树木,则人类不能生存;(4)若地球上没有水,则是无理数.答:命题1 命题2 符号化真值(1)p:2+2=4 q:地球是静止不动的0 (2)p:2+2=4 q:地球是静止不动的 1 (3)p:地球上有树木q:人类能生存 1 (4)p:地球上有树木q:人类能生存 1(1)2+2=4当且仅当3+3=6;(2)2+2=4的充要条件是3+36;(3)2+24与3+3=6互为充要条件;(4)若2+24,则3+36,反之亦然.答:设p:2+2=4,q:3+3=6.符号化真值(1) 113.将下列命题符号化,并讨论各命题的真值:(1)若今天是星期一,则明天是星期二;(2)只有今天是星期一,明天才是星期二;(3)今天是星期一当且仅当明天是星期二;(4)若今天是星期一,则明天是星期三.答:设p:今天是星期一,q:明天是星期二,r:明天是星期三.14.将下列命题符号化:(1)刘晓月跑得快,跳得高;(2)老王是山东人或者河北人;(3)因为天气冷,所以我穿了羽绒服;(4)王欢与李乐组成一个小组;(5)李欣与李末是兄弟;(6)王强与刘威都学过法语;(7)他一面吃饭,一面听音乐;(8)如果天下大雨,他就乘班车上班;(9)只有天下大雨,他才乘班车上班;(10)除非天下大雨,否则他不乘班车上班;(11)下雪路滑,他迟到了;(12)2与4都是素数,这是不对的;(13)“2或4是素数,这是不对的”是不对的.(12) p:2是素数q:4是素数-(13) p:2是素数q:4是素数-15.设p:2+3=5.q:大熊猫产在中国.r:太阳从西方升起.求下列符合命题的真值:(1)(2)(3)(4)解:p真值为1,q真值为1,r真值为0.(1)0,(2)0,(3)0,(4)116.当p,q的真值为0,r,s的真值为1时,求下列各命题公式的真值:(1)(2)(3)(4)解:(1)0,(2)0,(3)0,(4)117.判断下面一段论述是否为真:“是无理数.并且,如果3是无理数,则也是无理数.另外,只有6能被2整除,6才能被4整除.”解:p:是无理数q: 3是无理数r:是无理数s: 6能被2整除t:6能被4整除符号化为:,该式为重言式,所以论述为真。

北京大学 离散数学 2007下学期期中考试试卷

北京大学 离散数学 2007下学期期中考试试卷

2007下学期期中考试试卷姓名___________________学号 _____________________三总分一二(15) (16.1) (16.2) (17)(18)(19)(20)(21)(22)(23)一 选择题(20%):将所选择的答案填入下面表格中。

(1) (2) (3) (4) (5) (6) (7) (8) (9) (10)(1) 下面“p→q”的等价说法,不正确的是( ):(A) p是q的充分条件;(B) q是p的必要条件;(C) q仅当p;(D) 只有q才p。

(2) 下面不是命题的是:(A) ∀xP(x) (B) x∈{x}∪{{x}} (C) A-B=∅⇔A=B (D) ∀x(P(x)∨P(y))(3) 谓词公式∀x∃yP(x,y)的否定式为( ):(A) ∀x∃y(¬P(x,y)) (B) ∀x∀y(¬P(x,y)) (C) ∃x∀y(¬P(x,y)) (D) ∃x∃y(¬P(x,y))(4) 下面是一些运算的分配性表达式,不成立是( )(A) A∩(B⊕C) = (A∩B)⊕ (A∩C) (B) A∪ (B⊕C) = (A∪B)⊕ (A∪C)(C) (A⊕B)×C = (A×C)⊕(B×C) (D) (A-B)×C = (A×C)-(B×C)(5) 有关关系的逆关系的说法不正确的是( ):等价关系和相容关系的逆关系就是其本身;(A)(B) 偏序关系的逆关系仍然是偏序关系;全序关系的逆关系仍然是全序关系;(C)(D) 良序关系的逆关系仍然是良序关系;(6) 下面推理中,不正确的是(A) p⇒ p∨q (B) q⇒p→q (C) ¬q∧( p→q) ⇒q (D) ¬(p→q) ⇒¬q(7) 命题公式(p→q) ∨( p→q)的成真赋值有___个:(A) 1 (B) 2 (C) 3 (D) 4(8) 下列集合运算中( )是正确的。

北京大学计算机成教离散数学 逻辑学部分(板书)

北京大学计算机成教离散数学 逻辑学部分(板书)

第三部分逻辑学第六章命题逻辑第一节命题演算6-1-1 命题1.什麽叫命题其结果能判断真假,但不能既真又假的陈述句,称为命题。

作为判断使用的句子都是陈述句。

2.作为命题的陈述句,不能分成更简单的陈述句,这样的命题叫原子命题。

即简单命题。

3.什麽叫命题的真值作为命题的陈述句的判断结果,即正确(对应着真命题)或错误(对应着假命题)的两个值。

4.为了研究方便,我们把简单命题符号化。

每一个简单命题用一个小写英文字母表示。

而命题真值也要符号化。

用 1 表示命题的结果是真,即真命题;用 0 表示命题的结果是假,即假命题。

联结词与复合命题及其真值1.我们称用联结词联结在一起的简单命题为复合命题。

(1)否定联结词与命题否定式:“﹁”是否定联结词。

通过他可以构成命题否定式。

例如:用 p 表示“4是素数”。

p 的真值显然是假,即真值为 0;¬ p 表示假命题 p 的否定式,¬ p 的真值自然为真,即为 1。

(2)合取联结词与命题的合取式:“∧”是合取联结词。

通过他可以构成命题的合取式。

例如:p∧q,即 p 与 q 同时为真,复合命题的值才为真,即0 ∧ 0 = 0;0 ∧ 1 = 0;1 ∧ 0 = 0;1 ∧ 1 = 1。

所以,在p,q取不同真值的4种情况下,命题的合取式只有一个真值。

(3)析取联结词与命题析取式:“∨”是析取联结词。

通过他可以构成命题的析取式。

例如:p∨q,只要 p 、q 中至少一个真值为真,其值便为真,即0 ∨ 0 = 0;0 ∨ 1 = 1;1 ∨ 0 = 1;1 ∨ 1 = 1。

所以,在 4 种情况下,只有一个情况是假命题,即简单命题同时为假时命题析取式真值为 0。

(4)蕴涵联结词与命题蕴涵式:“如果... 则...”被称为蕴涵联结词,采用蕴涵符号“→”。

在这类句型中,q 是 p 的必要条件;p 是 q 的充分条件;蕴涵式 p→q 只有一个假值,即p为真,q 为假时蕴涵式命题的真值为 0。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
第7讲 关系幂运算与关系闭包 北京大学
内容提要 • 关系幂(power)运算 • 关系闭包(closure)
2020/10/4
《集合论与图论》第7讲
1
• n次幂的定义 • 指数律 • 幂指数的化简
关系的幂运算
2020/10/4
《集合论与图论》第7讲
2
关系的n次幂
• 关系的n次幂(nth power): 设RAA, nN, 则 (1) R0 = IA; (2) Rn+1 = Rn○R, (n1).

• Rn表示的关系, 是R的关系图中长度为n的有向路径的起点与终点的关系.
Rn RRR
n个R
1 2020/10/4
2
《集合论与图论n》-第17讲 n
3
关系幂运算(举例)
• 例: 设A={a,b,c}, RAA, R={<a,b>,<b,a>,<a,c>}, 求R的各次幂. • 解:
b
b
a
c
G( R )
• 又名抽屉原则(Dirichlet drawer principle),
(Peter Gustav Lejeune Dirichlet,1805~18 59)
• 推广形式: 若把m件物品装进k只抽屉, 则至少有一只抽屉装 • 1.8=2, 1.8=1, -1.8=-1, -1.8=-2.
只以上的物品.

个集合中, 必有两个是相同的.
所以 s,tN, 并且 使得 Rs = Rt. #
2n2
,
R2n2
2n2 1
0 s t 2n2
2020/10/4
《集合论与图论》第7讲
12
鸽巢原理(pigeonhole principle)
• 鸽巢原理(pigeonhole principle): 若把n+1只鸽子装进n只鸽巢, 则至少有一只 鸽巢装2只以上的鸽子.
10
R0,R1,R2,R3,…是否互不相等?
R0 R1 R2 R3 R4 R5 R6 R7 R8
R0 R1 R2 R3 R4 R5=R19=R33=R47=…
R6=R20=R34=R48=…
R7=R21=R35=R49=…
R17
R8=R22=R36
R16
=…
R9
R15
2020/10/4
R14
R10
2020/10/4
《集合论与图论》第7讲
14
定理18(说明)
s
泵(pumping):
Rs+kp+i = Rs+i
i p
2020/10/4
《集合论与图论》第7讲
15
定理18 (证明(1)(3))
• (1) Rs+k = Rt+k ; (3) 令S={R0,R1,…,Rt-1}, 则qN, RqS.
《集合论与图论》G第(7讲R
6
3)
关系幂运算(举例,续3)
• 解(续): R4 = R3○R = R1○R = R2,
R5 = R4○R = R2○R = R3 = R1,
一般地, R2k+1=R1=R, k=0,1,2,…,
R2k=R2,
k=1,2,…,. #
b
b
b
a
c
G( R ) 2020/10/4
m k
2020/10/4
《集合论与图论》第7讲
13
定理18
• 定理18: 设 RAA, 若 s,tN (s<t),使得Rs = Rt, 则 (1) Rs+k = Rt+k ; (2) Rs+kp+i = Rs+i, 其中k,iN, p=t-s; (3) 令S={R0,R1,…,Rt-1}, 则qN, RqS.
R-n = (R-1)n = (Rn)-1 ?
2020/10/4
《集合论与图论》第7讲
8
定理17
• 定理17: 设 RAA, m,nN, 则
(1)
Rm○Rn = Rm+n ;
(2)
(Rm)n = Rmn.
• 说明: 可让 m,nZ, 只需IAdomRranR (此时IA=R○R-1=R-1○R)并且定义
5
2)
关系幂运算(举例,续2)
• 解(续): R0 = IA, R1 = R0○R = R = {<a,b>,<b,a>,<a,c>}, R2 = R1○R = {<a,a>,<b,b>,<b,c>}, R3 = R2○R = {<a,b>,<a,b>,<a,c>} = R1,
b
b
a
c
a
c
2G02(0/10R/4 )
a
ca
G《(集R合论与图论》第7讲
4)
c
7
G( R 5)
关系幂运算是否有指数律?
• 指数律:
(1) Rm○Rn = Rm+n ;
(2) (Rm)n = Rmn.
• 说明: 对实数R来说, m,nN,Z,Q,R.
对一般关系R来说, m,nN.
对满足IAR且AdomRranR的关系R来说, m,nN,Z, 例如R2○R-5=R-3,因为可以定义
Rm○Rn = Rm○R0 = Rm○IA = Rm = Rm+0. 假设 Rm○Rn = Rm+n, 则 Rm○Rn+1 = Rm○(Rn ○R1) = (Rm○Rn)○R1 = Rm+n○R = R(m+n)+1 = Rm+(n+1). • (2) 同样对n归纳. #
2020/10/4
《集合论与图论》第7讲
R-n = (R-1)n = (Rn)-1.
• 回忆: (F○G)-1=G-1○F-1
(R2)-1=(R○R)-1=R-1○R-1=(R-1)2
2020/10/4
《集合论与图论》第7讲
9
定理17(证明(1))
• (1) Rm○Rn = Rm+n ; • 证明: (1) 给定m, 对n归纳. n=0时,
《集合论与图论》第7讲
R11
11
定理16
• 定理16: 设 |A|=n, RAA, 则 s,tN,P(AA)对幂运算是封闭的n, 2即 R, RP(AA) RkP(AA), (kN).
|P(AA)| =
, 在R0,R1,R2,…,
a
c
G( R 0)
2020/10/4
《集合论与图论》第7讲
4
关系幂运算(举例,续)
• 解(续): R0 = IA, R1 = R0○R = R = {<a,b>,<b,a>,<a,c>}, R2 = R1○R = {<a,a>,<b,b>,<b,c>},
b
b
a
c
a
c
20G20(/10R/4 )
《集合论与图论》G第(7讲R
• 证明: (1) Rs+k = Rs○Rk = Rt○Rk = Rt+k; (3) 若 q>t-1s, 则令 q=s+kp+i, 其中 k,iN, p=t-s, s+i<t; 于是 Rq = Rs+kp+i = Rs+iS.
相关文档
最新文档