离散数学图论课件.pptVIP

7-1 图的基本概念 图的术语 度数 完全图 子图 补图 图的同构 一、图的术语  定义 一个图是一个三元组V(G),E(G),φG,简记为G＝V,E，其中： V＝{v1,v2,v3,…,vn}是一个非空集合,vi(i＝1,2,3,…,n)称为结点,简称点,V为结点集； E＝{e1,e2,e3,…,em}是一个有限集，ei(i＝1,2,3,…,m)称为边,E为边集，E中的每个元素都有V中的结点对（有序偶或无序偶）与之对应。 图的术语 续： 例： (a) 例： (e) 例： (i) 例： (m) 二、度数 定义 在无向图G＝V，E中，与结点v(v?V)关联的边的条数，称为该结点的度数，记为deg(v)； 定义 在有向图G＝V，E中，以结点v(v?V)为始点引出的边的条数，称为该结点的引出度数,简称出度,记为deg+(v)；以结点v(v?V)为终点引入的边的条数，称为该结点的引入度数，简称入度,记为deg-(v)；而结点的出度和入度之和称为该结点的度数，记为deg(v)，即 deg(v)＝deg+(v)+deg-(v)； δ(G)最小度，Δ(G)最大度 定义 在图G＝V，E中，对任意结点v?V，若度数deg(v)为奇数，则称此结点为奇度数结点，若度数deg(v)为偶数，则称此结点为偶度数结点。 例： 例： deg(v1)＝3，deg+(v1)＝2，deg-(v1)＝1； deg(v2)＝3，deg+(v2)＝2，deg-(v2)＝1； deg(v3)＝5，deg+(v3)＝2，deg-(v3)＝3； deg(v4)＝deg+(v4)＝deg-(v4)＝0； deg(v5)＝1，deg+(v5)＝0，deg-(v5)＝1； 定理 1.在无向图G＝V，E中，所有结点的度数的总和等于边数的两倍，即： 定理  三、完全图 定义 在图G＝V，E中，若所有结点的度数均有相同度数d，则称此图为d次正则图。 定义 一个(n，m)(n?2)的简单无向图，若它为n-1次正则图，则称该(n，m)图为无向简单完全图，简称完全图,记为Kn。 有向完全图 定理 设无向完全图G有n个顶点，则G有n(n-1)/2条边。 例： 例：如图 (a)、(b)、(c)、(d)所示，它们分别是无向的简单完全图K3，K4，K5和有向的简单完全图K3。 四、子图 定义 设有图G＝V，E和图G1＝V1，E1，若G和G1满足： 若V1?V，E1?E，则称G1是G的子图，记为G1?G； 若G1?G，且G1?G(即V1?V或E1?E)，则称G1是G的真子图，记为G1?G； 定义 若V1＝V，E1?E，则称G1是G的生成子图； 定义 若V2?V，V2?Φ，以V2为结点集，以两个端点均在V2中的边的全体为边集的G的子图称为V2导出的子图，简称G的导出子图。 例： 例：在下图中，给出了图G以及它的真子图G’和生成子图G’’。G’是结点集{v1，v2，v4，v5，v6}的导出子图。 例： 例：在下图 (a)、(b)、(c)、(d)中，(a)与(b)是互为补图；(c)和(d)是互为补图。 六、图的同构 例:如下图所示，图(a)、图(b)、图(c)和图(d)所表示的图形实际上都是一样的。 定义 例： 例：如图(a)、(b)所示的两个图G＝V,E和G1＝V1,E1，证明G≌G1。 必要条件 两个图同构的必要条件： 结点数目相同； 边数相同； 度数相同的结点数相同。 离散数学 离散数学 若边e与结点无序偶(u，v)相对应，则称边e为无向边,记为e＝(u，v)，这时称u，v是边e的两个端点； 若边e与结点有序偶u，v相对应，则称边e为有向边(或弧)，记为e＝u，v，这时称u是边e的始点(或弧尾)，v是边e的终点(或弧头)，统称为e的端点； 在一个图中，关联结点vi和vj的边e，无论是有向的还是无向的，均称边e与结点vi和vj相关联，而vi和vj称为邻接点，否则称为不邻接的； 关联于同一个结点的两条边称为邻接边； 图中关联同一个结点的边称为自回路(或环)； 图中不与任何结点相邻接的结点称为孤立结点； 仅由孤立结点组成的图称为零图； 仅含一个结点的零图称为平凡图； 含有n个结点、m条边的图称为(n，m)图； 每条边都是无向边的图称为无向图； 每条边都是有向边的图称为有向图； 有些边是无向边，而另一些是有向边的图称为混合图。 在有向图中，两个结点间(包括结点自身间)若有同始点和同终点的几条边，则这几条边称为平行边，在无向图中，两个结点间(包括结点自身间)若有几条边，则这几条边称为平行边，两结点vi，vj间相互平行的边的条数称为边(vi，vj)或vi，vj的重数； 含有平行边的图称为多重图。非多重图称为线图；无自回路的线图称为简单图。 赋权图G是一个三元组V,E,g或四