14管理系统工程第十八章 图与网络(精品·公开课件).ppt

第十八章 图与网络1.哥尼斯堡七桥问题 德国古城—哥尼斯堡—普雷格尔河—七桥问题：从任一桥头出发，依次走过每一座桥，每座桥只走一次，最后回到出发点。 ——一笔画问题 2. 中国邮递员问题 邮递员送信送报要走完全部所负责的街道，最后回到邮局，如何走路程最短？ 第一节 图的基本概念一、图的概念定义 图是由点与边组成的集合，记为G=(V，E)，其中V表示图G中点的集合，是一个非空集合，记为V（G），这些点称为顶点，E表示图G中边的集合，记为E（G）。例18—1 图18—4中的图可表示为G=（V，E），其中 定义 设G=（V，E）（1）图G中含顶点的个数，记为p（G），称 为图G的阶；图G中含边的条数，记为 q（G），称为图的边数。（2）若e=[u，v]∈E，则称u，v是边e的端 点，称e为u，v的关联边。（3）若u和v是同一条边相关联，则称u和v 是相邻的，若边ei、ej有公共的端点， 称边ei和ej是相邻的。 （4）若e的两个端点重合，则称e为环。（5）若两点之间多于一条边，称之为多重边。（6）含多重边的图，称为多重图，无环也无多 重边的图，称为简单图。（7）以顶点v为端点的边的条数，称为点v的 次（或称度），记为d（v）。（8）若d（v）=1，则称v为悬挂点，与悬挂点 相关联的边称为悬挂边。（9）若d（v）=0，则称v为孤立点。（10）若d（v）=奇数，则称v为奇点，若 d（v）=偶数，则称v为偶点。 定理1 在图G中，所有顶点次的和，等于边数的两倍。即这是显然的，因为在计算各点的次时，每条边都用过两次，所以，所有顶点次的和等于边数的两倍。定理2 在任一图中，奇点的个数必为偶数。 二、图的同构定义 设是两个图，如果顶点集合V1与V2之间以及边的集合E1与E2之间都建立了一一对应关系，并且图形的两顶点之间的边对应于另一图形对应顶点的边，则称图G1与图G2是同构的。 同构的图被认为是相同的。 三、子图定义 设 ，如果 ，则称G1是G2的子图。应当指出，从图G2的顶点集合V2中任选一些顶点，从图G2的边集合E2中任选一些边，不一定就能组成G2的子图G1而只有当所有被选入G1的边的端点也都被选入G1时，G1才是G2的子图。并且：（1）若 ,则称G1是G2的一个部分图，例如图18—6（b）就是图18—6（a）的一个部分图。（2）若 ，则称G1是G2的真子图。例如图18—6（c）就是图18—6（a）的一个真子图。 第二节 连通图定义 设是一个图，Q为G中一个由部分顶点和边交错组成的非空有限序列其中 则称Q为从到的一条链，如果Q中，而且与重合，则称Q为圈（或称闭链）。如果链（圈）Q中含的边均不相同，则称Q为简单链（圈）。如果链（圈）Q中含的边与顶点均不相同，则称Q为初等链（圈）。 定义 如果在图中的任何两个顶点之间都至少有一条连接这两个顶点的链，则称图G为连通图，否则，称G为非连通图。 一笔画问题欧拉链：给定一个连通图G,若存在一条链，过每边一次且仅一次，则称这条链为欧拉链。欧拉圈：若存在一个简单圈，过每边一次，则称这个圈为欧拉圈。欧拉图：有欧拉圈的图称为欧拉图。 能一笔画的图一定是欧拉圈或含有欧拉链。定理：连通的多重图G是欧拉图的充要条件是G中无奇点。推论：连通的多重图G有欧拉链的充要条件是G中恰有两个奇点。 第三节 树一、树的概念及性质 定义 如果图G是一个无圈的连通图，则称G为树。关于树T，具有下列性质：1．在树T中，任意两个顶点之间必有一条且仅有一条链。2．在树T中去掉任意一条边，则T成为非连通图。3．在树T中不相邻的两个顶点之间添上一条边，恰好构成一个圈。4．树的边数恰等于树的顶点数减1。 二、图的部分树定义 如果图的部分图是树，其中，则称T为G的一个部分树（或生成树）。T中的边称为树枝。 由这个定义，显然可以得到：若图G有部分树，则G必定是连通图。反之，若图G是连通图，则G必有部分树。 用丢边破圈法，可找出连通图G的部分树。 所谓丢边破圈法，就是取图G中任意一个圈，丢去圈上任意一边，然后重复这一步骤，直到图中无圈为止，则剩下的图为无圈的连通图，就是G的一棵部分树。 也可以用避圈法找G的部分树。 所谓避圈法，就是在连通图G中任意取