运筹学-13图论概念和最小树.pptVIP

第六章 图与网络分析 图与网络规划是近几年发展迅速、应用广泛的运筹学分支，它可以用来处理一些离散的数学模型； 首先介绍图与网络的一些基本概念，讨论图与网络规划中的三个基本问题：最小支撑树问题、最短路问题、最大流问题 图论的基本思想起源 在哥尼斯堡有一条普雷尔河流过城市中心，普雷尔河的中央有一大一小两座岛屿，河岸和两座岛屿建有七座桥相连接。于是居民每天散步的时候产生了一项非常有趣的消遣活动：作一次走过所有七座桥的散步，每座桥只能经过一次而且起点与终点必须是同一地点。 七座桥如图所示: 1736年Euler 1736年欧拉图论论文第一篇 “哥尼斯堡七桥问题” 岛和岸为点，桥为线. 抽象成“一笔画”问题 偶点：偶数条线相连 奇点：奇数条线相连 能同时成为起点和终点的点只能是偶点 全是偶点组成的图能够一笔画出 第一节 图的基本概念与模型 在生产和日常生活中，我们经常碰到各种各样的图： 市政建设部门要在新区铺设煤气主干线管道，新区的主干线准备从旧区主干线的一个预留口开始，贯通新区的10个主要区域；预留口与各主要区域以及各主要区域之间可能的铺设路线、铺设距离如图3-1所示。 如果已知主干线铺设的煤气管道采用同一规格的管材，那么，这项工程至少需要多少千米管材？应该如何铺设？ 第一节 图的基本概念与模型 两军隔河对峙，河的中间有很多岛屿，修建了很多桥梁，详细情况见这个地区的地形图。问至少要炸断几座桥梁，才能阻止对方部队过河？ 第一节 图的基本概念与模型 配送中心的某一辆车需要为7个用户送货，这7个用户的相对位置以及走每段路所需的时间见图3-6，请你帮配送中心的工作人员设计一条送货路线，使这辆车用尽可能短的时间送完货物，回到中心。 第一节 图的基本概念与模型 以上这些问题表面上看来好象根本不相干，事实上它们都可以用图的知识来解决，本章会介绍如何用图来解决这些问题。 如果用点表示研究的对象，用边表示这些对象之间的联系，则图G可以定义为点和边的集合， 记作： G = {V , E } 式中 V 是点的集合，E是边的集合 注意：图论中图G与几何中的图有区别： 几何学中，图中点的位置，线的长度和斜度都十分重要； 图论中只关心多少个点以及哪些点之间有线联系。 如果图中点和边赋以具体的含义和权数，如距离、费用、容量等，把这样的图称为网络图 第一节 图的基本概念与模型 图： 仅有点和连接点的线组成的图形 图A，图B为上述定义的图；图C不是“图” 第一节 图的基本概念与模型 第一节 图的基本概念与模型 第一节 图的基本概念与模型 第一节 图的基本概念与模型 第一节 图的基本概念与模型 第一节 图的基本概念与模型 一个简单图中任意两点之间有边相连，称这样的图为完全图。 其边数有 第一节 图的基本概念与模型 第一节 图的基本概念与模型 要对研究的问题确定具体对象及这些对象间的性质联系，并用图形式表示出来，这就是对研究的问题建立图的模型，用建立图的模型的方法往往能帮助我们解决一些其它方法难以解决的问题。 例1有甲、乙、丙、丁、戊、己六名运动员报名参加A, B, C, D, E, F六各项目的比赛， 第一节 图的基本概念与模型 把比赛项目作为研究对象，用点表示，如果两个项目有同一名运动员参加，在代表这两个项目的点之间连一条线。 第二节 树图和图的最小部分树 树图（简称树，记作T(V,E)）简单而有用的图 定义：无圈的连通图称为树。 2-2 树的性质： 性质1：任何树中必存在次为1的点； 性质2：具有个n顶点的树的边数恰好为n-1条； 性质3：任何具有n个点， n-1条边的连通图是树图。 说明1：树图上只要任意再加上一条边，必定会出现圈； 说明2：由于树图是无圈的连通图，即树图上任意两点之间有一条且仅有一条惟一通路。是最脆弱的连通图。 第二节 树图和图的最小部分树 2-3 图的最小部分树 如果G1是G2的部分图，又是树图，则称G1是G2的部分树（或称支撑树） 树图的各条边称为树枝（假定各边均有权重） 一般图G2含有多个部分树，其中树枝总长最小的部分树，称为该图的最小部分树（也称最小支撑树）(minimum spanning tree) 定理1：图中任一点i，若 j是相邻点中距离最近的，则边[i,j]一定必含在该图的最小树内。 推论：把图的所有点分成V和 2-3 避圈法求最小部分树 图代表村镇及他们之间的交通情况。现要求沿图中道路架电线，使上述村镇全部通上电，应如何架设使总的线路长度为最短。 2-3 破圈法求最小部分树 课堂练习 作 业 求下图的最小值支撑树： * 世界公认，第一篇图论论文。 e1 =[ v1 , v1] e3 =[ v1 , v3] e3 =[ v3 , v1]