离散数学(第30讲习题课5)

合集下载

离散数学 (5)

离散数学 (5)

15
一阶逻辑中命题符号化( 一阶逻辑中命题符号化(续)
例3 在一阶逻辑中将下面命题符号化 (1) 正数都大于负数 (2) 有的无理数大于有的有理数 注意: 题目中没给个体域, 解 注意 题目中没给个体域 一律用全总个体域 (1) 令F(x): x为正数 G(y): y为负数 L(x,y): x>y 为正数, 为负数, 为正数 为负数 →y(G(y)→L(x,y))) 或 x(F(x)→ → → xy(F(x)∧G(y)→L(x,y)) ∧ → 两者等值 (2) 令F(x): x是无理数 G(y): y是有理数 是无理数, 是有理数, 是无理数 是有理数 L(x,y):x>y : ∧y(G(y)∧L(x,y))) x(F(x)∧ ∧ ∧ 或 xy(F(x)∧G(y)∧L(x,y)) ∧ ∧ 两者等值
6
谓词: 谓词 表示个体词的性质或相互之间关系的词 谓词常项: 谓词常项:表示具体性质或关系的谓词 F: …是人,F(a):a是人 是人, 是人 : 是人 是自然数, G: …是自然数, F(2):2是自然数 是自然数 : 是自然数 谓词变项: 谓词变项:表示抽象的或泛指的谓词 F: …具有性质 ,F(x):x具有性质 具有性质F, 具有性质具有性质 : 具有性质 元数: 元数:谓词中所包含的个体变项个数 一元谓词: 一元谓词 表示事物的性质 多元谓词(n元谓词 ≥ 元谓词, 多元谓词 元谓词 n≥2): 表示个体词之间的关系 有关系L, 如 L(x,y): x与y有关系 , L(x,y): x比y高2厘米 : 与 有关系 : 比 高 厘米 注意:多元谓词中, 注意:多元谓词中,个体变项的顺序不能随意改动
9
例1(续) 续
(2) 2 是无理数仅当 3 是有理数 2 在命题逻辑中, 是有理数. 在命题逻辑中 设 p: 2 是无理数,q: 33 : 2是无理数, : 是有理数 符号化为 q→p, 这是假命题 → 在一阶逻辑中, x是无理数 是无理数, x是有理 在一阶逻辑中, 设F(x): x是无理数, G(x): x是有理 数符号化为 F ( ( 22 ) → G (3 )3 ) F ) → G( (3) 如果 如果2>3,则3<4 , 在命题逻辑中, 在命题逻辑中 设 p:2>3,q:3<4. : , : 符号化为 p→q, 这是真命题 → 在一阶逻辑中, 在一阶逻辑中 设 F(x,y):x>y,G(x,y):x<y, : , : 符号化为 F(2,3)→G(3,4) →

离散数学课后习题答案

离散数学课后习题答案

1.3.1习题1.1解答1设S = {2,a,{3},4},R ={{a},3,4,1},指出下面的写法哪些是对的,哪些是错的?{a}∈S,{a}∈R,{a,4,{3}}⊆S,{{a},1,3,4}⊂R,R=S,{a}⊆S,{a}⊆R,φ⊆R,φ⊆{{a}}⊆R⊆E,{φ}⊆S,φ∈R,φ⊆{{3},4}。

解:{a}∈S ,{a}∈R ,{a,4,{3}} ⊆ S ,{{a},1,3,4 } ⊂ R ,R = S ,{a}⊆S ,{a}⊆ R ,φ⊆ R ,φ⊆ {{a}} ⊆ R ⊆ E ,{φ} ⊆ S ,φ∈R ,φ⊆ {{3},4 } 2写出下面集合的幂集合{a,{b}},{1,φ},{X,Y,Z}解:设A={a,{b}},则ρ(A)={ φ,{a},{{b}},{a,{b}}};设B={1,φ},则ρ(B)= { φ,{1},{φ},{1,φ}};设C={X,Y,Z},则ρ(C)= { φ,{X},{Y},{Z},{X,Y },{X,Z },{ Y,Z },{X,Y,Z}};3对任意集合A,B,证明:(1)A⊆B当且仅当ρ(A)⊆ρ(B);(2)ρ(A)⋃ρ(B)⊆ρ(A⋃B);(3)ρ(A)⋂ρ(B)=ρ(A⋂B);(4)ρ(A-B) ⊆(ρ(A)-ρ(B)) ⋃{φ}。

举例说明:ρ(A)∪ρ(B)≠ρ( A∪B)证明:(1)证明:必要性,任取x∈ρ(A),则x⊆A。

由于A⊆B,故x⊆B,从而x∈ρ(B),于是ρ(A)⊆ρ(B)。

充分性,任取x∈A,知{x}⊆A,于是有{x}∈ρ(A)。

由于ρ(A)⊆ρ(B),故{x}∈ρ(B),由此知x∈B,也就是A⊆B。

(2)证明:任取X∈ρ(A)∪ρ(B),则X∈ρ(A)或X∈ρ(B)∴X⊆A或X⊆B∴X⊆(A∪B)∴X∈ρ(A∪B)所以ρ(A)∪ρ(B) ⊆ρ( A∪B)(3)证明:先证ρ(A)∩ρ(B) ⊆ρ( A∩B)任取X∈ρ(A)∩ρ(B),则X∈ρ(A)且X∈ρ(B)∴X⊆A且X⊆B∴X⊆ A∩B∴X∈ρ( A∩B)所以ρ(A)∩ρ(B) ⊆ρ( A∩B)再证ρ( A∩B) ⊆ρ(A)∩ρ(B)任取Y∈ρ(A∩B),则Y⊆ A∩B∴Y⊆A且Y⊆B∴Y∈ρ(A)且Y∈ρ(B)∴Y∈ρ(A)∩ρ(B)所以ρ( A∩B) ⊆ρ(A)∩ρ(B)故ρ(A)∩ρ(B) = ρ( A∩B)得证。

离散数学课后习题答案

离散数学课后习题答案

离散数学课后习题答案(左孝凌版)1-1,1-2(1)解:a) 是命题,真值为T。

b) 不是命题。

c) 是命题,真值要根据具体情况确定。

d) 不是命题。

e) 是命题,真值为T。

f) 是命题,真值为T。

g) 是命题,真值为F。

h) 不是命题。

i) 不是命题。

(2)解:原子命题:我爱北京天安门。

复合命题:如果不是练健美操,我就出外旅游拉。

(3)解:a) (┓P ∧R)→Qb) Q→Rc) ┓Pd) P→┓Q(4)解:a)设Q:我将去参加舞会。

R:我有时间。

P:天下雨。

Q↔ (R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。

b)设R:我在看电视。

Q:我在吃苹果。

R∧Q:我在看电视边吃苹果。

c) 设Q:一个数是奇数。

R:一个数不能被2除。

(Q→R)∧(R→Q):一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。

(5) 解:a) 设P:王强身体很好。

Q:王强成绩很好。

P∧Qb) 设P:小李看书。

Q:小李听音乐。

P∧Qc) 设P:气候很好。

Q:气候很热。

P∨Qd) 设P:a和b是偶数。

Q:a+b是偶数。

P→Qe) 设P:四边形ABCD是平行四边形。

Q :四边形ABCD的对边平行。

P↔Qf) 设P:语法错误。

Q:程序错误。

R:停机。

(P∨Q)→R(6) 解:a) P:天气炎热。

Q:正在下雨。

P∧Qb) P:天气炎热。

R:湿度较低。

P∧Rc) R:天正在下雨。

S:湿度很高。

R∨Sd) A:刘英上山。

B:李进上山。

A∧Be) M:老王是革新者。

N:小李是革新者。

M∨Nf) L:你看电影。

M:我看电影。

┓L→┓Mg) P:我不看电视。

Q:我不外出。

R:我在睡觉。

P∧Q∧Rh) P:控制台打字机作输入设备。

Q:控制台打字机作输出设备。

P∧Q1-3(1)解:a) 不是合式公式,没有规定运算符次序(若规定运算符次序后亦可作为合式公式)b) 是合式公式c) 不是合式公式(括弧不配对)d) 不是合式公式(R和S之间缺少联结词)e) 是合式公式。

离散数学(第二版)最全课后习题答案详解

离散数学(第二版)最全课后习题答案详解
答:否定式: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.
若 p 为真,则真值为 0;若 p 为假,则真值为 1
14.将下列命题符号化:
(1) 刘晓月跑得快,跳得高;
(2) 老王是山东人或者河北人;
(3) 因为天气冷,所以我穿了羽绒服;
(4) 王欢与李乐组成一个小组;
(5) 李欣与李末是兄弟;
(6) 王强与刘威都学过法语;
(7) 他一面吃饭,一面听音乐;
(8) 如果天下大雨,他就乘班车上班;
1
0
1
0
1
0
0
1
1
1
0
0
0
0
1
0
1
0
1
1
1
1
0
0
1
0
1
0
1
0
0
1
1
1
此式为可满足式
20.求下列公式的成真赋值: (1)
(2)
(3)
(4)
p
q
解:
0
0
0
1
1
0
0
1
1
0
1
1
1
0
1
1
1
1
1
1
1
1
0
1
由真值表得:(1)的成真赋值是 01,10,11(2)的成真赋值是 00,10,11

离散数学上海课后习题答案

离散数学上海课后习题答案

离散数学上海课后习题答案离散数学是一门研究离散结构和离散对象的数学学科,其应用广泛,涉及到计算机科学、信息科学、电子工程等领域。

在学习离散数学的过程中,课后习题是巩固知识、提高能力的重要环节。

本文将为大家提供一些离散数学上海课后习题的答案,希望能够帮助大家更好地理解和掌握这门学科。

第一章命题逻辑1. 命题逻辑是研究命题之间关系的数学分支。

其中,命题是指可以判断真假的陈述句。

命题逻辑的基本运算有与、或、非、蕴含和等价等。

2. 真值表是用来表示命题逻辑中命题的真假取值的表格。

通过真值表,可以判断命题之间的逻辑关系。

3. 简化命题是指将复杂的命题通过逻辑运算简化为更简单的形式。

常用的简化方法有代入法、等价变换法和逻辑运算法则等。

4. 命题公式是由命题变量和逻辑运算符组成的表达式。

命题公式可以通过真值表来验证其真假。

第二章集合论1. 集合是由一些确定的对象组成的整体。

集合论是研究集合性质、集合间关系以及集合运算的数学理论。

2. 集合的基本运算有并、交、差和补运算。

并集是指将两个或多个集合中的元素合并在一起;交集是指两个或多个集合中共有的元素;差集是指一个集合中去掉与另一个集合中相同的元素;补集是指一个集合中不属于另一个集合的元素。

3. 集合的基数是指集合中元素的个数。

对于有限集合,可以通过数数的方式确定其基数;对于无限集合,可以通过一一对应的方式确定其基数。

4. 集合的运算律是指集合运算满足的一些基本性质。

常见的集合运算律有交换律、结合律、分配律等。

第三章关系与函数1. 关系是指集合之间元素之间的一种对应关系。

关系可以用集合的形式表示,也可以用矩阵的形式表示。

2. 函数是一种特殊的关系,它将一个集合中的每个元素映射到另一个集合中的唯一元素。

函数可以用箭头图表示,也可以用公式表示。

3. 函数的性质有单射、满射和双射等。

单射是指函数中不同的输入对应不同的输出;满射是指函数的值域等于其陪域;双射是指函数既是单射又是满射。

离散数学习题课带答案

离散数学习题课带答案
等价变换p?qr?p??q?r??pqrp?q?r??pppqr?p?q?rqr?q?r?fpqr?p?q?rf?pqr?p?q?rp?qr?p??q?r??pqrp?q?r??pq?prp?qp?r??pqr?r?pq?qrp?qr?rpq?q?r??pqr?pq?r?pqr?p?qrp?qrp?q?rpq?rp?q?r??pqr?pq?r?p?qrp?qrp?q?rpq?r2abcd四个人中要派两个人出差按下述三个条件有几种派法
(P(Q∧R))∧(P(Q∧R)) (P∨(Q∧R))∧ (P∨(Q∧R)) (P∨Q)∧(P∨R))∧(P∨Q)∧(P∨R) (P∨Q∨(R∧R))∧(P∨(Q∧Q)∨R)) ∧(P∨Q∨(R∧R))∧(P∨(Q∧Q)∨R) (P∨Q∨R)∧ (P∨Q∨R))∧(P∨Q∨R) ∧ (P∨Q∨R)∧ (P∨Q∨R)∧ (P∨Q∨R)∧ (P∨Q∨R) ∧(P∨Q∨R) (P∨Q∨R)∧(P∨Q∨R))∧ (P∨Q∨R) ∧(P∨Q∨R)∧(P∨Q∨R)∧(P∨Q∨R)
(4)某些汽车比所有的火车都慢,但至少有一列火车比每辆 汽车快 C(x):x是汽车;H(x):x是火车;S(x,y): x比y慢 x(C(x)∧y(H(y)→S(x,y)))∧z(H(z)∧y(C(y) →S(y,z)))
(5)对任何整数x和y,x≤y且y≤x是x=y的充要条件 I(x):x是整数;E(x,y):x=y;G(x,y):x>y xy(I(x)∧I(y)→(G(x,y)∧G(y,x)↔ E(x,y))) (6)若m是奇数,则 2m 不是奇数 O(x):x是奇数; f(x,y)= x×y O(m) → O(f(2,m) (7)那位戴眼镜的用功的大学生在看这本大而厚的巨著 A(x):x是戴眼镜的,B(x):x是用功的,C(x):x是大学生,D(x):x是大 的,E(x):x是厚的,F(x):x是巨著, G(x,y):x在看y,a:那位,b:这本 A(a)∧B(a)∧C(a)∧D(b)∧E(b)∧F(b)∧G(a,b) (8)每个自然数都有唯一的后继数 N(x):x是自然数; L(x,y):x是y的后继数 x(N(x)→(y (N(y)∧L(y,x) ∧z (N(z)∧L(z,x)→ E(y,z)))))

大学_《离散数学》课后习题答案

大学_《离散数学》课后习题答案

《离散数学》课后习题答案《离散数学》简介1、集合论部分:集合及其运算、二元关系与函数、自然数及自然数集、集合的基数2、图论部分:图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用3、代数结构部分:代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数4、组合数学部分:组合存在性定理、基本的计数公式、组合计数方法、组合计数定理5、数理逻辑部分:命题逻辑、一阶谓词演算、消解原理离散数学被分成三门课程进行教学,即集合论与图论、代数结构与组合数学、数理逻辑。

教学方式以课堂讲授为主,课后有书面作业、通过学校网络教学平台发布课件并进行师生交流。

《离散数学》学科内容随着信息时代的到来,工业革命时代以微积分为代表的连续数学占主流的地位已经发生了变化,离散数学的重要性逐渐被人们认识。

离散数学课程所传授的思想和方法,广泛地体现在计算机科学技术及相关专业的诸领域,从科学计算到信息处理,从理论计算机科学到计算机应用技术,从计算机软件到计算机硬件,从人工智能到认知系统,无不与离散数学密切相关。

由于数字电子计算机是一个离散结构,它只能处理离散的或离散化了的数量关系,因此,无论计算机科学本身,还是与计算机科学及其应用密切相关的现代科学研究领域,都面临着如何对离散结构建立相应的数学模型;又如何将已用连续数量关系建立起来的数学模型离散化,从而可由计算机加以处理。

离散数学是传统的逻辑学,集合论(包括函数),数论基础,算法设计,组合分析,离散概率,关系理论,图论与树,抽象代数(包括代数系统,群、环、域等),布尔代数,计算模型(语言与自动机)等汇集起来的一门综合学科。

离散数学的应用遍及现代科学技术的诸多领域。

离散数学也可以说是计算机科学的基础核心学科,在离散数学中的有一个著名的典型例子-四色定理又称四色猜想,这是世界近代三大数学难题之一,它是在1852年,由英国的一名绘图员弗南西斯格思里提出的,他在进行地图着色时,发现了一个现象,“每幅地图都可以仅用四种颜色着色,并且共同边界的国家都可以被着上不同的颜色”。

《离散数学》(左孝凌 李为鉴 刘永才编著)课后习题答案 上海科学技术文献出版社

《离散数学》(左孝凌 李为鉴 刘永才编著)课后习题答案   上海科学技术文献出版社

1-1,1-2(1)解:a)是命题,真值为T。

b)不是命题。

c)是命题,真值要根据具体情况确定。

d)不是命题。

e)是命题,真值为T。

f)是命题,真值为T。

g)是命题,真值为F。

h)不是命题。

i)不是命题。

(2)解:原子命题:我爱北京天安门。

复合命题:如果不是练健美操,我就出外旅游拉。

(3)解:a)(┓P ∧R)→Qb)Q→Rc)┓Pd)P→┓Q(4)解:a)设Q:我将去参加舞会。

R:我有时间。

P:天下雨。

Q (R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。

b)设R:我在看电视。

Q:我在吃苹果。

R∧Q:我在看电视边吃苹果。

c) 设Q:一个数是奇数。

R:一个数不能被2除。

(Q→R)∧(R→Q):一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。

(5) 解:a)设P:王强身体很好。

Q:王强成绩很好。

P∧Qb)设P:小李看书。

Q:小李听音乐。

P∧Qc)设P:气候很好。

Q:气候很热。

P∨Qd)设P: a和b是偶数。

Q:a+b是偶数。

P→Qe)设P:四边形ABCD是平行四边形。

Q :四边形ABCD的对边平行。

P Qf)设P:语法错误。

Q:程序错误。

R:停机。

(P∨ Q)→ R(6) 解:a)P:天气炎热。

Q:正在下雨。

P∧Qb)P:天气炎热。

R:湿度较低。

P∧Rc)R:天正在下雨。

S:湿度很高。

R∨Sd)A:刘英上山。

B:李进上山。

A∧Be)M:老王是革新者。

N:小李是革新者。

M∨Nf)L:你看电影。

M:我看电影。

┓L→┓Mg)P:我不看电视。

Q:我不外出。

R:我在睡觉。

P∧Q∧Rh)P:控制台打字机作输入设备。

Q:控制台打字机作输出设备。

P∧Q1-3(1)解:a)不是合式公式,没有规定运算符次序(若规定运算符次序后亦可作为合式公式)b)是合式公式c)不是合式公式(括弧不配对)d)不是合式公式(R和S之间缺少联结词)e)是合式公式。

(2)解:a)A是合式公式,(A∨B)是合式公式,(A→(A∨B))是合式公式。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
2014-1-20 计算机学院 7
例二
有 6 个村庄 Vi , i=l,2,…,6 欲修 建道路使村村可通。现已有修建方案如下带权 无向图所示,其中边表示道路,边上的数字表 示修建该道路所需费用,问应选择修建哪些道 路可使得任二个村庄之间是可通的且总修建费 用最低 ? 要求写出求解过程,画出符合要求的 最低费用的道路网络图并计算其费用。
2014-1-20 计算机学院 17
习题十二
3、证:(反证法) 设 G=(n,m)和 G′=(n,m′)都是平面图 由G和G′的定义 m+m′=n(n-1)/2 由定理 12.5 m ≤3n-6, m′≤3n-6 ∴ m+m′=n(n-1)/2 ≤ 6n-12 整理上式有 n2-13n+24=(n-11)2+9n-97 ≤ 0 又∵( n-11)2 ≥0,n≥11 时,9n-97≥2 ∴ (n-11)2+9n-97≥2 与上式相矛盾, 故 G 与 G′至少有一个是非平面图
k 2
2014-1-20 计算机学院 13
i
13 、设简单连通图 G= ( V , E )的边集 E 恰好 可以分划为 G 的两个生成树的边集。证明: 如果 G 中恰有两个 4 度以下的结点 u 和 v, 则 uvE。 证:(反证法)设E=E1 ∪ E2 ,E1 ∩ E2= φ T(E1), T(E2)是 G 的两棵生成树。 如 uv∈E,则 uv∈E1 或 uv∈E2。 不妨设 uv∈E1,由于T(E1)是 G 的生成树, 则 u 或 v 必有其中一个同其它结点相邻,即 在T(E1)中,u和v的度数之和大于等于 3.
冯伟森
Email:fws365@
2014年1月20日星期一
主要内容
2014-1-20
计算机学院
2
第十一章
1. 深刻理解树(六个等价命题)及生成树、树 枝、树补的定义,掌握生成树的主要性质, 并能灵活应用它们; 2. 熟练地应用 Kruskal 算法求最小生成树; 3. 掌握根树、m叉树、完全m叉树、正则m叉树、 最优树的概念 , 熟练掌握 Huffman 算法,并 使用它求最优二叉树;
2014-1-20 计算机学院 23
(1)若 u, v 相邻, 则 d(u)+d(v) ≥(n-2)+2=n。 (2)若 u, v 不相邻, 则对w ∈ V-{u,v}, w 必与 u 和 v 都相邻。 否则, 比如u 和w 不 相邻, 则v, w 都不邻接u,于是u 和w 合起来 至多与其余的 n − 3 个人认识 , 与已知条件 不符. 因而 d(u)+ d(v) ≥ 2(n-2)。 1) 当 n ≥ 3 时 , 2(n-2) ≥ n-1, 因此无 论第 (1) 或 (2) 种情形, 都有 d(u) + d(v) ≥ n − 1,
2014-1-20 计算机学院 24
由定理 13.4 知 G 中有哈密顿道路、道 路上的人按在道路中的顺序排成一列 , 即满 足要求。 2 )当 n ≥ 4 时 , 2(n-2) ≥ n, 因此无论 第 (1) 或 (2) 种情形, 都有
d(u)+ d(v) ≥ n, 由定理13.5 知G 中有哈密顿圈, 所有的
vG vG { s ,t }
v ) de g(s ) de g(t ) de g(
2m
vG { s ,t }
v) n de g(
2014-1-20
计算机学院
26
因为G除结点s,t外的其余n-2结点之间最多 可以构成完全图,所以 2m<(n-2)(n-3)+n+n<n2-3n+6=(n-1)(n-2)+4 2 ( n 1)(n 2) 2 C n 从而 m 1 1 2 2 2 与已知 m Cn 矛盾,故结论成立。 1 2
2m d ( w )
wG w u、v
d ( w ) d ( u) d (v ) 4( n 2) 5
4(n-1) ≥ 4(n-2)+5,矛盾
所以 uv E 。
2014-1-20 计算机学院 15
16 、 证明: 在 完 全二叉树 中 , 边 的 数 目 等 于 2(t-1),式中t是叶的数目。 证明:设叶结点的个数为 t,分支数为 i,边 的数目为L, 由定理 11.5 (m-1)i=t-1 ∵ m=2 ∴ i=t-1 由完全二叉树的定义和握手定理, 2L=t+3i-1=t+3(t-1)-1=4t-4 ∴ L=2(t-1)
2014-1-20 计算机学院 22
13、 今有n个人, 已知他们中的任何二人合起 来认识其余的 n-2个人。 证明: 1 )当 n ≥ 3 时 , 这 n 个人能排成一列、使 得中间的任何人都认识两旁的人 , 而站在两 端的人认识左边 (或右边) 的人。 2)当 n ≥ 4 时, 这 n 个人能排成一个圆圈, 使得每个人都认识两旁的人。 证明:作 n 阶简单无向图 G= <V,E >, V= n 个 人 的 集 合 , E={(u,v)︱ u, v ∈ V ∧ u ≠ v ∧ u 与 v 认识}. u, v ∈ V,
1 2 2k
2014-1-20
计算机学院
21
∵ G的阶数为4k+1 ∴ v4k 1必与vi 1 , vi 1 ,, vi
1 2
2k
1中的一个点邻接,
(否则d(v4k+1)=4k-1-2k=2k-1 与d(v4k+1)=2k矛盾)
设 vit v4k 1 E
可构造 v1 ,vit 1 , v4k 1v4k ,, vit v1 即 为 G 的 一 个 Hamilton 圈 , 故 G 是 一 个 Hamilton图
2014-1-20
计算机学院
12
习题十一
1,解:设 L 是叶的数目, m 是树的边数 由握手定理
k 2

i
knk L 2m
由树的定义 i m nk L 1
k 2
knk L 2 nk 2 L 2
k 2 k 2
i
i
L ( k 2)nk 2 ( i k 2)
2014-1-20
计算机学院
3
第十二章
1. 深刻理解平面图、面、对偶图的定义; 2. 熟记欧拉公式和二个平面图的必要条件, 并能 使用它们来判断图的非平面性; 3. 了解库拉托夫斯基( Kuratowski )定理和细 分图的概念;
2014-1-20
计算机学院
4
第十三章
1. 深刻理解欧拉图和欧拉道路的定义,对于 给定的图能判断它是否为欧拉图或存在欧 拉道路; 2. 掌握 Fleury 算法并会用 Fleury 算法求 出欧拉图中的欧拉回路; 3. 理解中国邮递员问题算法并会用中国邮递 员算法求出无向图中的欧拉回路; 4. 深刻理解哈密顿道路及其哈密顿图、图的 闭包概念;
2014-1-20 计算机学院 16
21、 证明:正则二叉树必有奇数个结点。 证明: 由正则二叉树的定义,其叶结点的个 数必为偶数,设叶数为 t,分支数为 i 由定理 11.5 (m-1)i=t-1 ∵ m=2 ∴ i=t-1 即分支点数是奇数 故结点数 n=i+t= 奇数,且n=2t-1, 即 t=(n+1)/2
人按圈中的顺序排成一个圆圈 , 即满足要求。
2014-1-20
计算机学院
25
5、设G是(n, m)简单图。 2 若 m Cn1 2 ,证明G必是哈密顿图。
证:(反证法)假设G不是哈密尔顿图,则
s, t G , de g(s ) de g(t ) n 2m de g(v )
2014-1-20
计算机学院
11
而删去这两个点后 , 至多删去图 G 中的 5 条边。 由于图G是具有6个顶点, 12条边的无 向简单图, 删去顶点v1,v2后, 得到的子图为: 具有 4 个结点 , 至少 7 条边的无向简单图 , 但 这样的无向简单图不存在 (4 阶无向简单图最 多有6条边), 由此证明图 G中任意不同两点的 度数之和大于等于6, 图G是哈密顿图。
2014-1-20 计算机学院 20
习题十三
10 、 证明:4k+l阶的所有2k正则简单图都是哈密 顿图。 证: ∵ G是2k正则图, ∴ 对任意的u、v∈G,d(u)+d(v)=4k 由定理 13.4, 在 G 中存在一条 Hamilton 道 路,设为: v1v2,…,v4k+1 1)v1v4k+1∈E, 则v1v2,…,v4k+1v1构成一个Hamilton圈。 2)v1v4k+1E,则 vi , vi ,, vi 与v1邻接
2014-1-20
计算机学院
6
例一
证明当每个结点的度数大于等于 3 时, 不存在有 7 条边的连通简单平面图。 证明:(反证法) 设图的边数m=7 由题意,d(Vi) ≥3,Vi为结点 则由握手定理, 2m d (Vi ) i 则 14 2 7 d (Vi ) 3n n i 3 ∴结点的个数不超过4个,而结点个数为4的完全 图的边数为 6, 故应有环或平行边,不是简单连通平面图。
2014-1-20 计算机学院 14
而在 T(E2)中, u 和 v 分别同其它结点相邻, 且相关联的边∈ E2.故在 G 中, d(u)+d(v) ≥ 5. ∵ T(E1), T(E2)是 G 的两棵生成树 ∴ m(E1)+m(E2)=2(n-1) 2m(G)=2(m ( E1 )+ m ( E2 ) )=4(n-1) ,由握手定理,
2014-1-20
计算机学院
27
2014-1-20 计算机学院 5
5. 会用哈密顿图和含哈密顿道路的充分条件来 判断某些图是哈密顿图或是否含有哈密顿道 路; 6. 会用破坏哈密顿图的某些必要条件的方法判 断某些图不是哈密顿图 7. 严格区分哈密顿图的充分条件和必要条件 8. 理解判断哈密顿图的充分必要条件 9. 了解推销商问题的分枝定界求解方法
相关文档
最新文档