离散数学(图论篇).ppt

离散数学（图论篇） Discrete Mathematics （Graph Theory） 第六章 图论 图是一类非常广泛的数学模型，在现实中的许多问题，如电网络问题，交通网络问题，运输的优化问题，社会学中某类关系的研究，都可以用这类数学模型研究和处理。在计算机科学的许多领域中,如开关理论与逻辑设计,人工智能,形式语言,计算机图形,操作系统,编译程序,信息检索等方面图和图的理论也有很多重要的应用。 6.1 无向图与有向图 设Ｖ是集合，称元素u,v是Ｖ的一个有序对，称子集合是Ｖ的一个无序对,并将其记为(u,v). 定义6.1.1 一个无向图G是一个三元组V,E,?，其中Ｖ和E是互无公共元素的集合且Ｖ非空. ?称为关联函数, 是E到Ｖ的无序对集上的一个映射.Ｖ称为G的顶点集,其元素称为G的顶点(Vertex). E称为Ｇ的边集,其元素称为G的边(Edge). 如果, 则称边e连接顶点u和v，并称u和v为e的端点. 6.1 无向图与有向图 例１.设G=V,E,?,Ｖ={u, v, w, x}, E={e1,e2,e3,e4,e5,e6}, 且: ?(e1)=(u,v),?(e2)=(u,v), ?(e3)=(u,w),?(e4)=(v,w), ?(e5)=(x,w), ?(e6)=(w,w) 则G是一个有4个顶点, 6条边的图。 6.1 无向图与有向图 可以把无向图G在平面上或三维空间里形象地描绘出来。顶点用小圆圈表示，边用连接两个顶点的一条线段表示(见图1),称之为G的图形。 6.1 无向图与有向图 定义 6.1.2 (有向图 Directed Graph)一个有向图D是一个三元组V,A,?,其中Ｖ,A是互无公共元素的集合且Ｖ非空,称为关联函数, 是A到Ｖ的有序对集合上的一个映射.Ｖ称为D的顶点集,其元素称为顶点.A称为D的弧集,其元素称为D的弧.如果?(a)=u,v,则称u为弧a的起点,v为弧a的终点.并称a是从u到v的弧. 6.1 无向图与有向图 例2. 设D=Ｖ,A,?,Ｖ={u,v,w}, A={a1,a2,a3,a4,a5,a6}, 且: ?(a1)=u,u,?(a2)=v,u, ?(a3)=v,u,?(a4)=u,w, ?(a5)=w,u, ?(a6)=v,w 则D是一个具有3个顶点, 6条弧的有向图. 6.1 无向图与有向图 象无向图一样也可以画出有向图D的图形(见图2). 在有向图的图形中, 从u到v的弧是用从u到v的一条带有箭头的线段来表示的. 我们将无向图与有向图通称为图.在很多情况下,图都是以图形的方式给出的,用图形描述图,具有直观,清晰,简明的特点. 6.1 无向图与有向图 定义 6.1.3 (定向图和基础图) 1.(定向图)设G=V,E,是无向图, 对每个e?E, ?(e)=(u,v)，定义映射?’(e)=u,v(或v,u),则称有向图D=V,E,?’是D的一个定向图. 2.(基础图)设D=V,A,是一个有向图,对每个a?A, ?(a)=u,v, 定义映射?’(a)=(u,v)，则称无向图G=V,A,?’是D的基础图. 显然，在G的图形的每条边上任意加上一个箭头, 可以得到G的一个定向图的图形; 而D的基础图的图形, 可以从D的图形去掉每一条弧上的箭头所得到。 6.1 无向图与有向图 定义6.1.4 (赋权图 Weighted Graph) (赋权无向图)设G=V,E,?是一个无向图,W是定义在E上称为权的实函数, 则4元组V,E, ?,W称为一个赋权无向图, W(e)称为边e的权. (赋权有向图)设D=V,A,是一个有向图,W是定义在A上的一个实函数,则4元组V,A,?,W称为一个赋权有向图,W(a)称为弧a的权. 6.1 无向图与有向图 赋权图也可以用图形表示。在赋权图的图形中,将边或弧的权要标在它所对应的线段或有向线段旁。图3就是一个赋权无向图。 6.1 无向图与有向图 图论用的符号和术语较为繁杂, 对下述概念我们作如下约定: 在不至产生歧义时，简记G=V,E,?和D=V, A,?为G=V,E和D=V,A;简记?(e)=(u,v)和?(a)=u, v为e=(u,v)和a=u,v; 并将赋权无向图与有向图分别简记为G=V,E,W与D=V,A,W. 6.1 无向图与有向图 1.在无向图的图形中边(u,v)无方向，在有向图的图形中弧u,v有方向，方向的箭头从u指向v. 2.顶点集与边集或顶点集与弧集都是有限集的图，称为有限图，本书只讨论有限图. 3.若图的顶点集的元素个数|V|=n，则称G是n阶图. 4.若图的边集E=?或弧集A=?, 此时若|V|=n, 则称图是n阶空图; 一阶空图又称平凡图. 6.1 无向图与有向图 5.对图的