离散数学第四部分.ppt

第四部分 图 论 第七章 图 论 基 础 7.1 图的一些基本概念 一、图的概念 1、无序积 设A，B是两个集合，称 ｛｛a,b｝︱a∈A∧b ∈B ｝为A与B的无序积， 记成AB. 为方便，把无序积中的无序对｛a,b｝，记为 （a,b)，并允许a=b. 无论a,b是否相等，总有（a,b)=(b,a).因而AB=BA 2．无向图 　一个无向图是一个有序的二元组V，E, 记作G，其中（1）V是非空有限集合，称为顶点集，其元素称为G的顶点或结点。 （2）E是无序积VV的有穷多重子集，称为边集，其元素称为G的无向边，简称边。 说明:元素可以重复出现的集合叫多重集。 3.有向图 一个有向图是一个有序的二元组V，E， 记作D，其中 （1）V是非空有限集合，称为顶点集，其元素称为G的顶点或结点。（2）E是笛卡儿积V×V的有穷多重子集，称为边集，其元素称为G的有向边，简称边。 4.图的表示 　无向图和有向图也可用图形来表示，用小圆圈（或实心点）表示顶点，用顶点之间的连线表示无向边，用有方向的连线表示有向边。 P.128 例7.1 (1) 给定无向图G = V,E，其中 V={v1,v2,v3,v4,v5}， E={(v1,v1),(v1,v2),(v2,v3),(v2,v3),(v2,v5),(v1,v5),(v4,v5)}. (2) 给定有向图D = V,E，其中，V={a,b,c,d}，E={a,a,a,b,a,b,a,d,c,d,d,c,c,b}. 画出G与D的图形。 解 : G的图 二、与图有关的其它概念 1．平凡图——只有一个孤立点的图. 2.简单图——无环且无平行边的图. 3.完全图——任两个不同的结点都有边的简单无向图. 4. n 阶图 ——有n个顶点的图,即︱V ︳= n的图. 5.零图——一条边也没有的图，即E= ?的图. 6. 空图——顶点集为空集的图称为空图，记为?. 注：在图的定义中规定V≠ ?，但在图的运算中可能产生顶点集为空集的结果。 7、基础图——将有向图各有向边改为无向边后所得的无向图叫原有向图的基础图，或底图。 8、竞赛图——基础图为完全图的有向图称为相应的竞赛图. 9.有限图——结点集和边集都是有限集的图. 三、顶点的度数 1．顶点的度数 设G=V，E为一无向图， ? v∈V，v 作为边的端点次数之和称为v的度数，简称为度，记做 dG(v)，或d(v). 　　设D=V，E为有向图， ? v∈V，v 作为边的始点次数之和为称 v 的出度，记做 ，或d+(v). v 作为边的终点次数之和称为v的入度， 记做 或d-(v)， 称d+(v)+d-(v)为v的度数， 记做d(v). 　２．最大度和最小度 　　在图G中，称 △(G) = max{d(v)|v∈V(G)}和δ(G) = min{d(v)|v∈V(G)}，分别为G的最大度 和最小度。分别简记为△和δ. ３．悬挂点与悬挂边 　　称度数为1的顶点为悬挂顶点，与它关联的边称为悬挂边。 ４．奇度顶点与偶度顶点 　　度为偶数(奇数)的顶点称为偶度(奇度)顶点。 ５．相关定理 定理7.1 (握手定理) 每个图中，结点度数的总和等于边数的2倍 ，即 证明 : G中每条边(包括环)均有两个端点， 所以在计算G中各顶点度数之和时， 每条边均提供2度，因此m条边， 共提供2m度。 定理7.2 每个图中，度数为奇数的结点必定是偶数个。 证 明:设G = V，E为任意一图，令: V1={v | v∈V∧d(v)为奇数} V2={v |v∈V∧d(v)为偶数} 则V1∪V2=V，V1∩V2= ? ，由握手定理可知 定理7.3 在任何有向图中，所有结点的入度之和等于出度之和。 6、例 P.131 例7.2 求下面无向图中的顶点数： （1）16条边，每个 顶点都是2度顶点. (2) 21条边，3个4度顶点，其余的都是3度顶点. （3）24条边，各顶点的度数相同. P.131 例 7.3 证明：不存在具有奇数个面且每个面都具有奇数条棱的多面体. 证明： 反证法 若存在这样的多面体，作无向图 G=V,E， 其中V={v ︳v为多面体的面}， E={(u,v) ︳u,v∈V， u≠v且u,v有公共的棱} 依题意，对任意的v ∈V，d(v)表示面v的棱的数目 且为奇数，又︱V ︳为奇数，所以 P.131 例 7.4证明：在任何竞赛图中，所有结点的入度平方之和等于所有结点的出度平方之和.68 证明：对图G的阶数n用数学归纳法.