离散数学 第2版 作者 王元元 离散第17讲 图的基础知识.ppt

第17讲 图的基础知识 图的基础知识 引言 图论是一门很有实用价值的学科，在自然科学，社会科学等各个领域中均有广泛的应用 图论是一门古老而又年轻的学科 古老：18世纪已经被用来解决问题 年轻：20世纪中、后期随着计算机科学的发展，图的理论研究和应用研究才得到迅速广泛的重视 起源于1736年的一个数学游戏，瑞士数学家欧拉（Euler）通过解决哥尼斯堡七桥问题创立了图论这一数学分支 数学家欧拉 科学家简介 列昂哈德·欧拉(1707-1783） 欧拉是瑞士巴塞尔一位牧师之子，13岁进入巴塞尔大学，开始神学生涯。在大学里受伯努利影响转向数学，16岁取得哲学硕士学位。1727年加入圣彼得堡的科学院，1741年到柏林科学院，1766年回到圣彼得堡直到去世。 欧拉在数学许多领域做出贡献，包括数论、组合以及分析在诸如音乐和造船上的应用等。他写的书籍和文章数量在1100部以上，另外还有非常多的生前未能发表的著作，以至去世后用了47年才发表完。他的全集的出版工作由瑞士自然科学协会负责，目前还在进行中，预期将超过75卷。 拓扑图 由节点和联结节点的边组成 只关心节点和节点之间的关联关系 图形中节点的位置、边的长短、形状无关紧要 图的表示方法 序组表示： V(G), E(G)或 V，E 如{v1, v2, v3}, {{v1, v3}, {v1, v2}} 图示：用点和线来表示 图例 图的同构 本讲小结 主要内容 图的基本知识：图的定义和相关术语、结点的度的定义和相关性质、图运算、图的同构 重点：掌握并理解图的定义和相关术语、结点的度的定义和相关性质 作业 P126 3、4、6、10(1)(2)、11(1) * 理工大学指挥自动化学院 计算机专业基础课程 授课人：王元元 单位：计算机理论教研室 理工大学指挥自动化学院 在线教务辅导网： 教材其余课件及动画素材请查阅在线教务辅导网 QQ:349134187 或者直接输入下面地址： PowerPoint Template_Sub 1 图的基础知识 2 路径、回路及连通性 3 欧拉图与哈密顿图 4 图的矩阵表示 《离散数学》第17讲 Page 108 to 112 18世纪普鲁士的哥尼斯堡镇（现名加里宁格勒）被普雷格尔河支流分成四部分，由七座桥连接起来。镇上的居民在周日喜欢长距离散步，他们提问：能否从镇里某个地方出发不重复地经过所有桥并且返回出发点？ 欧拉解决了这个问题，解答发表于1736年，这也许是人们第1次使用图论，被认为是图论的起源。 b1 b2 b6 B b4 b7 D A b5 C b3 哥尼斯堡七桥问题 科学家简介 B A C D A B C D A B C D 图(Graph)的定义 图G由两个部分所组成: 非空集合V(G)，称为图G的节点集，其成员称为节点或顶点(nodes or vertices)。节点用拉丁字母或希腊字母来表示。 多重集合E(G)，称为图G的边集，其成员称为边(edges)。边用节点的序偶或节点的两元素多重集表示。节点序偶表示的边称为有向边(directed edges)，两元素多重集表示的边称为无向边(indirected edges)。 V(G)={A,B,C,D} E(G)={{A,C}, {A,C}, {A,D}, {A,D}, {A,B}, {C,B}, {D,B}} 当图的边均为有向边（用序偶表示）时，称该图为有向图；当图的边均为无向边（用两元素多重集）时，称该图为无向图。 有向图与无向图 G1={v1, v2, v3, v4}, {v1, v2, v1, v3, v2, v3} G2={v1, v2, v3, v4}, {{v1, v2}, {v1, v3}, {v2, v3}} v1 v2 v3 v4 G1 v1 v2 v3 v4 G2 边e = u,v时，称边e关联端点u, v，并称u为e 的起点，v为e 的终点。边e = {u,v}时，称边e关联节点u，v,并称u，v为e 的端点，这时u，v为相邻(接)的节点。当u = v时，u,v和{u,v}均称为环。 图G常用二元组 V(G)，E(G) ,或 V，E 来表示。 有向图与无向图 { v1, v2, v3, v4 ,v5, v6}, { v1,v1， v2,v3， v3,v2， v3,v4， v1,v4， v5,v5} v1 v2 v3 设图G为V，E。 (1)当V和E为有限集时，称G为有限图，否则称G为无限图。只讨论有限图。 (2)当边集合中至少有一个元素的重数不小于2时，称G为重图，否则称G为单