划分离散数学定义_离散数学-图的定义和分类.ppt

离散数学-图的定义和分类

计算机科学与工程学院 离散数学教研组 * 第12章图 12.1 图的基本概念 12.1.1 图的定义 无序积 定义12.1 设A,B为任意集合，称集合 A&B＝{(a,b)|a∈A，b∈B} 为A与B的无序积，(a,b)称为无序对。 图的定义 　　定义12.2一个图是一个序偶，记为 图的分类(按边的方向) 若边e与无序结点对(u，v)相对应，则称边e为无向边,记为e＝(u，v)，这时称u，v是边e的两个端点； 若边e与有序结点对相对应，则称边e为有向边(或弧)，记为e＝，这时称u是边e的始点(或弧尾).v是边e的终点(或弧头)，统称为e的端点； 每条边都是无向边的图称为无向图； 每条边都是有向边的图称为有向图； 有些边是无向边，而另一些是有向边的图称为混合图。 例12.2 　　设图G＝如右图所 示。这里 V＝{v1,v2,v3,v4,v5}， E＝{e1,e2,e3,e4,e5,e6}， 其中 例12.3 上图所示的三个图分别表示为： 几个概念 在一个图中，关联结点vi和vj的边e，无论是有向的还是无向的，均称边e与结点vI和vj相关联，而vi和vj称为邻接点，否则称为不邻接的； 图的分类(按边的重数) 在有向图中，两个结点间(包括结点自身间)若有同始点和同终点的几条边，则这几条边称为平行边， 在无向图中，两个结点间(包括结点自身间)若有几条边，则这几条边称为平行边； 两结点vi，vj间相互平行的边的条数称为边(vi，vj)或的重数； 含有平行边的图称为