离散数学基础第六章图论课程.ppt

第六章 图 《离散数学基础》——谢胜利 第1节 图的基本概念 6.1　图的基本概念 6.1 图的起源 一、哥尼斯堡七桥问题 18世纪的东普鲁士有个哥尼斯堡城，在横贯全城的普雷格尔河两岸和两个岛之间架设了7座桥，它们把河的两岸和两个岛连接起来。从河岸或小岛出发，七座桥每座桥恰好通过一次，再回到原地，是否可能？ 数学大师欧拉对七桥问题给出否定回答，并给出严格的证明(Euler图)。 1736年，欧拉对七桥问题的抽象和论证思想，开创了图论的研究，这一年可以看成是图论的元年。 二、Hamilton环球旅行游戏 1895年，Hamilton设计一个“环球旅行”游戏： 在一个正12面体的20个顶点上各标志一个城市，如果从一城市出发，沿正12面体的棱行走，每个城市恰好经过一次，再回到出发点，则算旅行成功。 一、图的概念 有限图：图中仅有有限个顶点。 （无限图：图中有无限个顶点。） N阶图：具有n个顶点的有限图。 零图：只有顶点而没有边的图 平行边：两顶点之间有多条边（若为有向图则方向也相同）。 边的重数：两顶点间平行边的条数。 多重图：含有平行边的多重图。 自环（自回路）：两个端点重合的边 简单图：不含平行边且不含自环的图。 二、 图中顶点的度数 1、无向图中顶点的度数 【定义】在图（无向图或有向图）中，若顶点a和b是边e的两个端点，则称顶点a和b是邻接的，并称边e关联于顶点a和b。 【定义】设图G是无向图，v是图G中的顶点，与v关联的边的条数称为顶点v的度数，记作deg(v)。 孤立点：度数为零的顶点 悬挂点：度数为1的顶点 悬挂边：与悬挂点关联的边 K度点：度数为k的顶点 【定理】（握手定理） 任一图中，顶点的度数的总和等于边数的二倍，即 【例】下列各组数中，哪些可以构成无向图的度数列： （1） 1，1，1，2，2 （2） 2，2，2，2，3 （3）2，3，3，3，3 （4）2，2，2，2，2 【例】 求解下列各题: (1) 图G的度数列为2，2，3，5，6，则边数m为多少? 解：由握手定理： 2m=∑deg(v)=2+2+3+5+6=18，知m=9。 (2) 图G有12条边，度数为3的顶点有6个，余者度数均小于3，问G至少有几个顶点？ 解：由握手定理∑deg(v)=2m=24，度数为3的顶点有6个占去18度，还有6度由其余顶点占有; 而由题意，其余顶点的度数可为0，1，2; 当均为2时所用顶点数最少，所以应有3个顶点占有此6度，即G中至少有9个顶点。 【例】 证明: 在n（n≥2）个人的团体中，必有两个人有相同个数的朋友。 解：以顶点代表人，二人如果是朋友，则在代表他们的顶点间连上一条边，这样可得简单无向图G，每个人的朋友数即图中代表它的顶点的度数，于是问题转化为： n阶简单无向图G中必有两个顶点的度数相同。 （2）有向图中顶点的度数 【定义】设图G是有向图，v是G的顶点，以v为始点的有向边的条数称为v的出度，称为deg+(v), 以v为终点的有向边的条数称为v的入度，称为deg-(v)。 三、特殊图 【定义】设图G为无向简单图，如果图G中各个顶点的度数都为k，则称G为k度正则图，记为k-正则图 三、特殊图 【定义】在n阶无向简单图中，如果任意两个不同的顶点之间都有一条边关联，则称此无向简单图为无向完全图，记作Kn。 【定义】在n阶有向图中，如果任意两个不同的顶点之间都有两条方向相反的有向边关联，且每一个顶点都有自回路，则称此有向图为有向完全图。 四、 子图 【定义】在图G中删去一些边或顶点后所得的图称为图G的子图。 删边：删去图中某一条边，但仍保留这条边的两个端点。 删点：删去图中某一点以及与这个点关联的所有边。 【定义】由图G中删去一些边后所得到的子图称为图G的生成子图。 【定义】在图G中仅删去一个顶点后所得的子图称为图G的主子图。 子图示例: 五、图的同构 由于在画图的图形时，顶点的位置和边的几何形状是无关紧要的，因此表面上完全不同的图形可能表示的是同一个图。　　 直观理解: G1 ? G2是指其中一个图仅经过下列两种变换可以变为另一个图: (a) 挪动结点的位置； (b) 伸缩边的长短。 两个图同构的必要条件: （1）结点数目相同； （2）边数相同； （3）度数相同的结点数相同。 例： 例： 【例】证明下图中，G与G’不同构。 在图的集合上定义二元关系R： 对于图G1、G2，G1RG2当且仅当G