7 图与网分析.pptVIP

图与网络分析 §1 图的基本概念 § 2 树 § 3 最短路 § 4 中国邮递员问题 § 5 网络最大流问题 § 6 最小费用最大流 § 7 网络计划 图论（Graph Theory） 图论﹝Graph Theory﹞是数学的一个分支。它以图为研究对象。图论中的图是由若干给定的点及连接两点的线所构成的图形，这种图形通常用来描述某些事物之间的某种特定关系，用点代表事物，用连接两点的线表示相应两个事物间具有这种关系。 图论本身是应用数学的一部份，因此，历史上图论曾经被好多位数学家各自独立地建立过。关于图论的文字记载最早出现在欧拉1736年的论着中，他所考虑的原始问题有很强的实际背景。 图论与网络分析 起源 哥尼斯堡城中有一条河叫普雷格尔河，该河中有两个岛，河上有七座桥。 问题是要从这四块陆地中任何一块开始，通过每一座桥正好一次，再回到起点。然而无数次的尝试都没有成功。 哥尼斯堡七桥问题 欧拉在1736年发表图论方面的第一篇论文，解决了著名的哥尼斯堡七桥问题。 从任何一点出发，能否通过每条边一次且仅一次回到出发点。 欧拉在1736年解决了这个问题，他用抽象分析法将这个问题化为第一个图论问题：即把每一块陆地用一个点来代替，将每一座桥用联接相应的两个点的一条线来代替，从而相当于得到一个「图」。欧拉证明了这个问题没有解，并且推广了这个问题，给出了对于一个给定的图可以某种方式走遍的判定法则。这项工作使欧拉成为图论﹝及拓扑学﹞的创始人。 实例 例：有六支甲A足球队：上海申花队，北京国安队，广东宏远队，大连万达队，广州太阳神队．济南泰山队。这六支球队1996年甲A联赛前六轮的比赛是： 济南泰山队——广州大阳神队(第一轮) 济南泰山队——大连万达队(第二轮) 广州太阳神队——广东宏远队（第三轮) 广东宏远队——济南泰山队(第四轮） 广州太阳神队—— 上海申花队（第五轮) 济南泰山队——北京国安队(第五轮) 北京国安队——广州太阳神队(第六轮) 广东宏远队——大连万达队(第六轮) 匹配(matching)问题 设G是一个图，M是E(G)的一个非空子集。如果M中的边都是连杆且任意两边都不相邻，则称M为G的一个匹配。 M饱和点：若v与M中的边相关联。 完美匹配：匹配M的边数等于图G顶点数的一半。 实际背景 在组织生产中，为完成某项生产任务，各工序之间怎样衔接，才能使生产任务完成得既快又好。 一个邮递员送信，要走完他负责投递的全部街道，完成任务后回到邮局，应该按照怎样的路线走，所走的路线最短。 各种通信网络的合理架设 交通网络的合理分布等问题 基本概念 图论(Graph Theory)：研究图的理论 图：一个有序的三元组（V(G)，E(G)，ψG），这里V(G)和E(G)是互无公共元素的集合且V(G)非空， ψG 称为关联函数，它使E(G)中的每一个元素对应于V(G)中元素的无序偶（偶中的元素可能相同） V(G)称为图G的顶点集，其中的元素称为图G的顶点 E(G）称为图图G的边集，其中的元素称为图G的边 基本概念 若边e＝[u , v] ∈E，则称u，v是边e的端点，也称u，v是相邻的；称e是点u（及点v）的关联边。 若图G中，某个边的两个端点相同，则称e是环（loop）； 若两个点之间有多于一条的边，则称这些边为多重边。 基本概念 度（degree）：以点v为端点的边的个数称为点v的度，记为d(v) 悬挂点：度为1的点 悬挂边：悬挂点的关联边 孤立点：度为0的点 基本概念 空图(empty graph)：没有任何边的图 平凡图(trivial graph):只有一个顶点的图 简单图：无环、无多重边的图 完全图：图中的任何一对顶点均有边相连。 二分图：图的顶点可分为两个集合，其中各集合内部的点之间均无边相连。 点与边的基本定理 定理1：图G=(V,E)中，所有点的度之和是边数的两倍，即 定理2：任一个图中，奇点的个数是偶数。 基本概念 给定一个图G=(V,E)，一个点、边交错序列 如果满足 ，则称为一条联结 和 的链，记为 圈(cycle)；初等链（路，path)；初等圈；简单圈 基本概念 图G中，若任何两个点之间，至少有一条链，则称G为连通图，否则称为不连通图。 若G是不连通图，它的每个连通的部分称为G的一个连通分图 基本概念 给定一个图G=(V,E)，如果图G’=(V’,E’)，使得V=V’及 ，则称G’是G的一个支撑子图 设v∈V(G)，用G－v表示从图G中去掉点v及v的关联边后得到的一个图。 有向图的实例 例：有六支甲A足球队：上海申花队，北京国安队，广东宏远队，大连万达队，广州太阳