-图论课件完整版.ppt

第七章图论;图论是近年来发展迅速而又应用广泛的一门新兴学科。它最早起源于一些数学游戏的难题研究，如1736年欧拉(L.Euler)所解决的哥尼斯堡(Konigsberg)七桥问题，以及在民间广泛流传的一些游戏难题，如迷宫问题，匿门博奕问题，棋盘上马的行走路线问题等。这些古老的难题，当时吸引了很多学者的注意，在这些问题研究的基础上又继续提出了著名的四色猜想，汉密尔顿(环游世界)数学难题。

????1847年，克希霍夫(Kirchhoff)用图论分析电路网络，这是图论最早应用于工程科学，以后随着科学的发展，图论在解决运筹学，网络理论，信息论，控制论，博奕论以及计算机科学等各个领域的问题时，显示出越来越大的效果。图论在各种物理学科，工程领域，社会科学和经济问题的广泛应用，使它受到数学和工程界的特别重视。对于这样一门应用广泛的学科，其包含的内容当然是浩瀚如海，我们这里只准备介绍一些基本概念和定理，以及一些典型的应用实例，目的是在今后对计算机有关学科的学习研究时，可以图论的基本知识作为工具。;

;

;定理7-1.2

在任何图中，度数为奇数的结点必定是偶数个。

证明：设V1和V2分别是G中奇数度数和偶数度数的结点集，则由定理7-1.1，有

由于是偶数之和，必为偶数，而2|E|是偶数，故得是偶数，即|V1|是偶数。

;定义7-1.3

在有向图中，射入一个结点的边数称为该结点的入度，由一个结点射出的边数称为该结点的出度。结点的出度与入度之和就是该结点的度数。

定理7-1.3

在任何有向图中，所有结点的入度之和等于所有结点的出度之和。

证明：因为每一条有向边必对应一个入度和一个出度，若一个结点具有一个入度或出度，则必关联一条有向边，所以，有向图中各结点入度之和等于边数，各结点出度之和也等于边数，因此，任何有向图中，入度之和等于出度之和。;定义7-1.4

含有平行边的任何一个图形称为多重图。我们把不含有平行边和环的图称作简单图。

例如图7-1.5所示的均为多重图。在图7-1.5(a)中结点a和b之间有两条平行边，结点b和c之间有三条平行边，在结点b有两个平行的环。结点a的度数为3，结点c的度数为4，结点b的度数为9。在图7-1.5(b)中，只有结点和之间有两条平行边。这是因为该有向图中，V1，V2与V2,V1认为是不同的结点对。

今后我们把不含有平行边和环的图称作简单图。

;定义7-1.5

简单图G=V,E中，若每一对结点间都有边相连，则称该图为完全图,有n个结点的无向完全图记作Kn。

定理7-1.4

n个结点的无向完全图Kn的边数为n(n-1)/2。

证明：在Kn中，任意两点间都有边相连，n个结点中任取两点组合数为：

故Kn的边数为：|E|=n(n-1)/2：

如果在Kn中，对每条边任意确定一个方向，就称该图为n个结点的有向完全图。显然，它的边数也为n(n-1)/2。;定义7-1.6

设G=(V,E)是n个顶点的任意简单图,从完全图Kn中删去G的所有边,但保留顶点V所得到的图称为G的补图,记为,简称为G的补。;定义7-1.7

设有图G=(V,E),若有图G‘=(V’,E‘)，V’?V,E‘?E,则称G’为G的子图。

若V=V,E?E,则子图G=(V,E)称为图G的一个生成子图。;如图7-1.7中(b)和(c)都是(a)的子图。

如图7-1.8中(b)和(c)都是(a)的生成子图。;定义7-1.9

设G=(V,E)和G=(V,E)是两个有向图,若存在双射g:V→V‘,使得对任何u,v?V,(u,v)?E,有(u,v)=(g(u),g(v)),称G和G是同构的,记为G?G。;综上所述，可以得到两图同构的一些必要条件：

????1．结点数目相同，

????2．边数相等；

????3．度数相同的结点数目相等。

????需要指出的是这几个条件不是两个图同构的充分条件，例如图7-1.10中(a)和(b)满足上述三个条件，但此两个图并不同构。

;7.2路与回路;例如图中(v2,e6,v5,e7,v2,e8,v4,e4,v5,e7,v2,e1,v1)是一条v2到v1的路;

(v2,e6,v5,e7,v2,e1,v1)是一条v2到v1的路，由于边不重复，所以是迹;

(v2,e8,v4,e4,v5,e5,v1)是一条v2到v1的路，边不重复，所以是链，又因为点也不重复，所以是一条通路。;定理7-2.1

在一个具有n个结点的图中，如果从结点vj到结点vk存在一条路，则存在不多于n-1条边的路。

证明：

如果从结点vj到结点vk存在一条路，该路上的结点序列是vj·