离散数学 第7章解析.ppt

 Lecturer： 王振宏 Email: wdwzhong@126.com mobile: Office Address： 北7-1203D 第四篇 图论 现代数学中的三大数学结构：序结构、代数结构和拓扑结构。 拓扑问题的例子：下面图形一样吗？ 第四篇 图论 图论是近年来发展迅速而又应用广泛的一门新兴学科，属于拓扑学的范畴。 它最早起源于一些数学游戏的难题研究，如1736年欧拉（L.Euler)所解决的哥尼斯堡七桥问题。以及在民间广为流传的一些游戏问题：例如　迷宫问题、棋盘上马的行走路线问题等等。这些古老的问题当时吸引了许多学者的注意，从而在这些问题研究的基础上，又提出了著名的四色猜想和环游世界各国的问题。 人们常称1736年是图论历史元年，因为在这一年瑞士数学家欧拉（Euler）发表了图论的首篇论文——《哥尼斯堡七桥问题无解》，所以人们普遍认为欧拉是图论的创始人。 第四篇 图论 目前，图论已成为解决许多实际问题的基本工具之一，在计算机科学的许多领域，如运筹学，信息论，控制论，博奕论，开关理论与逻辑设计、数据结构、形式语言、操作系统以及计算机网络等均起着重要的作用。 对于这样一门应用广泛的学科，其包含的内容是丰富的，本篇我们只准备介绍基本的概念和定理，为今后有关学科及课程的学习和研究提供方便。 第七章 图论 §1图的基本概念 §2路与回路 §3图的矩阵表示 §4欧拉图和汉密尔顿图 §5平面图 §6对偶图与着色 §7树与生成树 §8根树及其应用 第七章 重点问题 1掌握有关图的基本概念，理解完全图、子图、图的同构等概念。 2熟练掌握握手定理并会运用该定理进行有关问题求解。 3掌握路与回路的有关概念。 4理解简单无向图连通分支的概念，并会求简单无向图的连通分支。 5理解简单有向图连通性，会判断简单有向图的单侧连通、强连通和弱连通。 6会求简单无向图的邻接矩阵和简单有向图的可达性矩阵。 7会判别欧拉图、汉密尔顿图和平面图。 8熟练掌握树的概念及性质，树的边数和结点数的关系、生成子树的概念及其应用 9熟练掌握根树的概念、性质及应用 §1图的基本概念 1.基本名词和定义 《定义》一个图G是一个三元组V(G),E(G), ΦG, 其中V(G)为有限非空结点（或叫顶点）集合, E(G)是边的集合， ΦG是从边集E到结点偶对集合上的函数。 讨论定义： (1). V(G) ={V1，V2，…，Vn}为有限非空集合, Vi称为结点,简称V是点集。 (2). E(G)={e1，…，em}为有限的边集合,ei称为边， 每个ei都有V中的结点对与之相对应,称E为边集。 即每条边是连结V中的某两个点的。 §1图的基本概念 (3).若Ｇ中每一条边e与有序偶对vi,vj或无序偶对(vi,vj)相关联，则可说边e连接结点vi和vj (4).可用e＝ vi,vj或e＝ (vi,vj)，以结点来表示图的边，这样可把图简化成：Ｇ＝Ｖ，Ｅ。 例：有图如下，试写成定义表达式 Ｇ＝〈Ｖ，Ｅ〉， 其中Ｖ＝{v1,v2,v3,v4,v5} Ｅ＝{x1,x2,x3,x4,x5,x6} §1图的基本概念 例：对有向图可表示为： Ｇ＝〈Ｖ、Ｅ〉， 其中Ｖ＝｛a、b、c、d｝ Ｅ＝｛a,b,b,a,b,d,d,a, d,d,c,c｝ §1图的基本概念 (2)有向边：在图中对应有序偶对的边（或者：在图中带有箭头方向的边或弧线）起始结点，终止结点 (3)有向图：在Ｇ中每一条边均为有向边 (4)无向图：每一条边均为无向边的图 (5)混合图：既有有向边，又有无向边的图 (6)邻接结点：由一条边（有向或无向） 连接起来的结点偶对。 §1图的基本概念 (7)（ｎ，ｅ）图：具有ｎ个结点（顶点），ｅ条边的图 (8)孤立结点：不与任何结点相连接的结点 (9)零图：仅包含孤立结点的图，又称（ｎ，０）图 (10)平凡图：只有一个结点的图（1，0）图 §1图的基本概念 (11)闭路（自回路）：图中起始且终止于同一结点的边(闭路的箭头方向是没有意义的 ) §1图的基本概念 (13)多重图：含有多重边的图称为多重图，非多重图称为线图。 (14)简单图：无自回路的线图称为简单图。由定义可见，简单图是没有自回路和多重边的图。 例： §1图的基本概念 (15) 完全图：每两个结点之间均有一条边相连的简单图。n个结点的完全图的边数为： 例：　 §1图的基本概念 (16)无向完全图： n个结点的完全图 Kn (17)有向完全图： (18)互相邻接的边： 连接于同一结点的二条（或若干条）边 例： §1图的基本概念 (19)有权图（赋权图）Ｇ是一个三元 组〈Ｖ、Ｅ、ｇ〉或四元组〈Ｖ、Ｅ