基本概念离散数学.PPTVIP

图论—基本概念 离散数学 图-基本概念1 图G是一个二元组(V(G),E(G)) 非空集合V(G)={Vi} V(G)中元素的偶对的集合E(G)={ek} V(G)中的元素Vi称为顶点；E(G)中的元素ek称为边； 有n个顶点、m条边的图常记为(n,m)图或n阶图； 图-基本概念2 如果组成边ek的顶点有始点和终点之分，称这样的边为有向边或称为弧，否则称为无向边 每条边都是有向边的图称为有向图 每条边都是无向边的图称为无向图 既有有向边又有无向边的图称为混合图 V(G)和E(G)都是有限集的图称为有限图；否则称为无限图 图-基本概念3 设边e=(a,b)，称顶点a,b是边e的端点，称边e关联于顶点a和b，并称a、b是邻接的 如果一条边的两端点重合，称为自回路或自环 两顶点间若有n条边(对于有向图则有n条同向边)称这些边为平行边 图-基本概念4 两顶点a、b间平行边的条数称为边(a,b)的重数 含有平行边的图称为多重图 不含平行边和自回路的图称为简单图 图-基本概念示例1 图-基本概念示例 2 图-基本概念5 无向图的一条无向边用一对方向相反的有向边替代，从而转化为一个有向图 如果对无向图G的每条无向边指定一个方向，由此而得到的有向图D，称为G的定向图 图-基本概念6 如果把一个有向图D的每条有向边的方向去掉，由此而得到无向图G，称为D的底图 把一个有向图D的每一条有向边反向，由此而得到的图称为D的逆图，记为~D。 ~(~D)=D 赋权图 赋权图G是一个三元组(V,E,g)或四元组(V,E,f,g)， 其中V是顶点集，E是边集，f是定义在V上的函数，g是定义在E上的函数 f(vi)和g(ej)分别称为顶点vi和边ej上的权。 赋权图例 图的邻接矩阵 设图G=(V,E)，V={v1,v2,···,vn}，令 图的邻接矩阵 度数 图G中，与顶点v关联的边数称为点v的度数，记作deg(v) 在有向图中，以v为始点的有向边数称为v的出度，记为deg+(v)；以v为终点的有向边数称为v的入度，记为deg-(v) 度数为零的顶点称为孤立点。度数为1的顶点称为悬挂点，与悬挂点关联的边称为悬挂边 定理5.1.1 设图G是具有n个顶点、m条边的无向图，其中点集V={v1,v2,···,vn}，则 定理5.1.2 设图G是具有n个顶点、m条边的无向图，其中点集V={v1,v2,···,vn}，则 完全图 在n阶无向图中 如果任何两点间都有一条边关联 则称此图为无向完全图 记作Kn 完全有向图 在n阶有向图中 如果任意两点都有两条方向相反的有向边关联 且每一个顶点都有自回路 则称此有向图为完全有向图 竞赛图 在n阶有向图中 如果其底图是无向完全图 则称此有向图为竞赛图 完全图边数 n阶有向完全图的边数为n2 n阶无向完全图的边数为n(n-1)/2　　　 图的操作 删边 删去图G中的某一条边，但仍保留边的端点 删点 删去图G中的某一点以及与这点所关联的所有边 图的操作-删边 图的操作-删点 子图 设G=(V,E)和G’=(V’,E’)都是图 如果V’?V； E’?E 则称G’是G的子图 生成子图 设G’=(V’,E’) 是G=(V,E)的子图 且V’=V 则称G’是G的生成子图 生成子图示例 (2)是(1) 的生成子图 边集E’导出的子图 设G’=(V’,E’) 是G=(V,E)的子图 且G’中没有孤立点 则称G’是由边集E’导出的子图 记作E’ 边集E’导出的子图示例 边集 E’={(a,b),(b,e),(a,e),(a,c)} 导出的子图 点集V’导出的子图 设G’是G的子图 且对G’中的任意两点vi和vj，当(vi,vj)∈E时，必有(vi,vj)∈E’， 则称G’为G的由点集V’导出的子图 点集V’导出的子图示例 点集V’={a,b,c,e}导出的子图 主子图 在图G中删去一点后所得的子图称为图G的主子图 主子图示例 (2)是(1)的主子图 图的同构 设图G=(V,E)和图G’=(V’,E’)中， 如果存在着从V到V’的双射映射f，使对任意的u,v∈V，(u,v)∈E，当且仅当(f(u),f(v))∈E’，则称图G和G’同构 记为G≌G’ 图的同构示例 补图 设G是n阶简单无向图 在G中添加一些边后，可使G成为n阶完全图 由这些添加边和G的n个顶点构成的图称为G的补图 记作~G ~(~G)=G 补图示例 b a c d e (1) b c d e (2) b a c d b a c d * 北京工业大学软件学院 张丽 离散数学 * (a)是无向多重图 (b)是有向多重图 (b) (a) (a)是有向简单图 (b)是无向简单图 (a) (b) 40 50 70 10 37 35 80 60 则称矩阵A=(aij)n