离散数学-图论.pptVIP

离 散 数 学 计算机学院 软件与理论教研室（313） 第五章 图论 图是一类非常广泛的数学模型. 现实生活中： 电网络问题. 交通网络问题. 运输的优化. 社会学中某类关系的研究. 图论 图是一类非常广泛的数学模型. 计算机科学领域： 开关理论与逻辑设计. 人工智能. 形式语言. 计算机图形学. 操作系统. 编译程序. 信息检索. 5.1 无向图与有向图 无序对和有序对: 设V是集合,u,v是V的元素,称元素u,v 是V 的一个有序对;称子集合{u,v}是V 的一个无序对,记为(u,v). 定义5.1.1 一个无向图G是一个三元组V,E,?,其中: V和E是互无公共元素的集合而且V非空. ?称为关联函数,是E到V 的无序对集上的一个映射. V称为G的顶点集,其元素称为G的顶点. E称为G的边集,其元素称为G的边. 如果e=(u,v),则 称边e连接顶点u和v，称u和v 为e的端点并称u, v关于边e相邻. 续 例5.1.1设G=V,E,? V={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条边的无向图. 续 如例5.1.1所示，把无向图G在平面上或三维空间里形象地 描绘出来,称之为G 的图形： 顶点用小圆圈表示. 边用连接两个顶点的一条线段表示. 按如此规定绘制的图形,能否实现非顶点处边不相交？ 同无向图一样,也可以定义并画出有向图D的图形. 从u到v的弧用从u到v的一条带有箭头的有向线段来表示. 续 定义5.1.2 一个有向图D是一个三元组V,A,?. 其中: V,A是互无公共元素的集合且V非空. ?称为关联函数,是A到V的有序对集合上的映射. V称为D的顶点集,其元素称为顶点. A称为D的弧集,其元素称为D的弧. 如果?(a)=u,v,则称u为弧a的起点,v为弧a的终点. 并称a是从u到v的弧. 续 例5.1.2. 设D=V,A,?. V={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. 定向图与基础图 我们将无向图与有向图通称为图(统一记作G). 在很多情况下,图都是以图形的方式给出的,用图形描 述图,具有直观,清晰,简明的特点. 定义5.1.3①设G=V,E,?是无向图,对每个e?E, ?(e)=(u,v),定义映射?’(e)=u,v(或v,u), 则称有向图D=V,E,?’是G的一个定向图. ②设D=V,A,?是一个有向图,对每个a?A, ?(a)=u,v,定义映射?’(a)=(u,v),则称无向 图G=V,A,?’是D的基础图. 赋权图 定义5.1.4 设G=V,E(A),?是一个无向图,W是定义在E(A)上的一个实函数, 则4元组V,E(A),?,W称为一个赋权无(有)向图,W(e)(W(e))称为边e的权. 赋权图也可以用图形表示. 在赋权图的图形中,将边或弧的权标在它所对应的线段或有向线段旁. 示例： 图中的一些术语 不产生歧义时: 简记G=V,E,?和D=V,A,?为G=V,E和D=V,A. 边和弧:简记?(e)=(u,v)和?(a)=u,v为e=(u,v),a=u,v. 在无向图的图形中边(u,v)无方向. 在有向图的图形中弧u,v有方向,方向的箭头从u指向v. 顶点集与边集或顶点集与弧集都是有限集的图,称为有限图,本章只讨论有限图. 续 如果图的顶点集的元素个数|V|=n,那么称G是n阶图. 若图的边集E=?或弧集A=?,此时若|V|=n,则称图是n阶空图; 一阶空图又称平凡图. 对图的边e=(u,v)或弧a=u,v,若u=v,则分别称e和a为环和有向环. 若e1=(u,v),e2=(u,v),则称e1,e2互为重边.如果以u,v为端点的边总数为k,则称有k重边连接u和v. 若a1=u,v,a2=u,v,则称a1,a2互为重弧.如果以u为始点,v为终点的弧共有k条, 则称从u到v有k重弧相连. 续 若一个无