运筹学 图与网络(新)经典教程.ppt

运 筹 帷 幄 之 中;引言 图论是专门研究图的理论的一门数学分支，属于离散数学范畴，与运筹学有交叉，它有200多年历史，大体可划分为三个阶段：第一阶段是从十八世纪中叶到十九世纪中叶，处于萌芽阶段，多数问题围游戏而产生，最有代表性的工作是所谓的Euler七桥问题，即一笔画问题。;; 1736年瑞士科学家欧拉发表了关于图论方面的第一篇科学论文，解决了著名的哥尼斯堡七座桥问题。;第二阶段是从十九世纪中叶到二十世纪中叶，图论问题大量出现，如Hamilton问题等，把树应用于化学领域、电网领域的研究等。;例12-2：有7个人围桌而坐，如果要求每次相邻的人都与以前完全不同，试问不同的就座方案共有多少种？;;;;;;;;;;;;;;;;;;;;;;;;;;例12-3：一个班级的学生共计选修A、B、C、D、E、F六门课程，其中一部分人同时选修D、C、A，一部分人同时选修B、C、F，一部分人同时选修B、E，还有一部分人同时选修A、B，期终考试要求每天考一门课，六天内考完，为了减轻学生负担，要求每人都不会连续参加考试，试设计一个考试日程表。;解：以每门课程为一个顶点，共同被选修的课程之间用边相连。相邻顶点对应课程不能连续考试，不相邻顶点对应课程允许连续考试，因此，作图的补图。;;;;;;;;;第一节 图的基本概念; 图论是专门研究图的理论的一门数学分支，主要研究点和线之间的几何关系。一般来说，通常用点表示研究对象、用点与点之间的线表示研究对象之间的特定关系。 ; 通常把点与点之间不带箭头的线叫做边，带箭头的线叫做弧。 如果一个图是由点和边所构成的，那么，称为为无向图，记作G =(V，E)，其中V表示图G的点集合，E表示图G的边集合。连接点vi,vj?V的边记作[vi,vj]，或者[vj,vi]。 如果一个图是由点和弧所构成的，那么称为它为有向图，记作D =(V,A)，其中V 表示有向图D的点集合，A表示有向图D的弧集合。一条方向从vi指向vj的弧，记作(vi,vj)。;例如.图1是一个无向图G=（V，E）;图2是一个有向图D=（V，A）;(一)一些常用的名词;如果两个端点之间有两条以上的边，那么称为它们为多重边； 一个无环，无多重边的图为简单图； 一个无环，有多??边的图称为多重图； 每一对顶点间都有边相连的无向简单图称为完全图。; 以点v为端点的边的个数称为点v 的次(度)，记作d(v)。 次为零的点称为弧立点，次为1的点称为悬挂点。悬挂点的边称为悬挂边。 次为奇数的点称为奇点，次为偶数的点称为偶点。;定理1 所有顶点次数之和等于所有边数的2倍。;图的连通性： 链:由两两相邻的点及其相关联的边构成的点边序列;; 无向图G中，连结 v0 ，vn 的一条链，当v0 ，vn 是同一个点时，称此链为圈。 既无重复点也无重复边者为初等圈。 圈中只有重复点而无重复边者为简单圈。;图中任意两点之间均至少有一条链，则称此图为连通图，否则称为不连通图。 ;设 G1=（ V1 , E1 ），G2 =（ V2 ,E2 ）如果 V2 ?V1 , E2 ?E1 称 G2 是G1 的子图；如果 V2 = V1 , E2 ?E1 称 G2 是 G1 的支撑子图。 ; 对于有向图可以类似于无向图定义链和圈，此时不考虑边的方向。; 对于网络（赋权图）G=（V，E），其中边 有权 ，构造矩阵 ，其中： 称矩阵A为网络G的权矩阵。;权矩阵为：;一、树及其性质;树的一些重要性质：;从以上定理，不难得出以下结论： （1）从一个树中任意去掉一条边，那么剩下的图不是连通图，亦即，在点集合相同的图中，树是含边数最少的连通图。; 二、图的支撑树 定义2 设图T=(V,E’)是图G=(V,E)的一支撑子图,如果图T=(V,E’)是一个树,那么称T是G的一个支撑树。; 显然,如果图T=(V,E’)是图G=(V,E)的一个支撑树,那么T的边数是p(G)-1；G中不属于支撑树T的边构成T的余树，其边数是q(G)-p(G)+1。;证明: 必要性显然； 充分性: 设图G是连通的，若G不含圈，则G是一个树，从而G是自身的一个支撑树。 若G含圈，则任取G的一个圈，从该圈中任意去掉一条边，得到图G的一支撑子图G1。若G1不含圈，则G1是G的一个支撑树。若G1仍然含圈，则任取G1的一个圈，再从圈中任意去掉一条边，得到图G的一支撑子图G2。依此类推，可以得到图G的一个支撑子图GK，且不含圈，从而GK是一个支撑树。; 以上充分性的证明，提供了一个寻找连通图支撑树的方法叫做“破圈法”。就是从图中任取一个圈，去掉一条边。再对剩下的图重复以上步骤，直到不含圈时为止，