数学建模图论模型幻灯片

《数学建模图论模型幻灯片》由会员分享，可在线阅读，更多相关《数学建模图论模型幻灯片（75页珍藏版）》请在金锄头文库上搜索。

1、数学建模图论模型(1),有图有真相，有你更精彩,数学与统计学院 李书选 2012/07/17,不积硅步，无以至千里 -荀子劝学,1. 几个引例,2. 基本概念,1. 基本概念,3. 最短路问题及算法,4. 简单应用,哥尼斯堡七桥示意图,问题1:七桥问题 能否从任一陆地出发通过每座桥恰好一次而回到出发点？,1. 几个引例,七桥问题模拟图,欧拉指出：如果每块陆地所连接的桥都是偶数座，则从任一陆地出发，必能通过每座桥恰好一次而回到出发地。,莱昂哈德欧拉(Leonhard Euler，1707.4.5-1783.9.18) 瑞士的数学家和物理学家。他被称为历史上最伟大的两位数学家之一（另一位是卡尔弗里

2、德里克高斯）。欧拉出生于瑞士，在那里受教育。他是一位数学神童。作为数学教授，他先后任教于圣彼得堡(1727-1741)和柏林，尔后再返圣彼得堡(1766)。 欧拉的一生很虔诚。然而，那个广泛流传的传说却不是真的。传说中说到，欧拉在叶卡捷琳娜二世的宫廷里，挑战德尼狄德罗：“先生，(a+b)n/n = x；所以上帝存在，这是回答！” 欧拉的离世也很特别：据说当时正是下午茶时间，正在逗孙儿玩的时候，被一块蛋糕卡在喉头窒息而死。 欧拉是第一个使用“函数”一词来描述包含各种参数的表达式的人，例如：y = F(x) (函数的定义由莱布尼兹在1694年给出)。他是把微积分应用于物理学的先驱者之一。欧拉是有史

3、以来最多产的数学家，他的全集共计75卷。欧拉实际上支配了18世纪的数学，对于当时新发明的微积分，他推导出了很多结果。在他生命的最后7年中，欧拉的双目完全失明，尽管如此，他还是以惊人的速度产出了生平一半的著作。 小行星欧拉2002是为了纪念欧拉而命名的。,莱昂哈德欧拉,问题2:哈密顿圈（环球旅行游戏） 十二面体的20个顶点代表世界上20个城市，能 否从某个城市出发在十二面体上依次经过每个 城市恰好一次最后回到出发点？,问题3:四色问题,对任何一张地图进行着色，两个共同边界的 国家染不同的颜色，则只需要四种颜色就够了。,德摩尔根致哈密顿的信（1852年10月23日） 我的一位学生今天请我解释一个我

4、过去不知道，现在仍不甚 了了的事实。他说如果任意划分一 个图形并给各部分着上颜色，使任 何具有公共边界的部分颜色不同， 那么需要且仅需要四种颜色就够了 。下图是需要四种颜色的例子 （图1）。 ,问题4(关键路径问题) 一项工程任务,大到建造一座大坝,一座体育中心,小至组装一台机床,一架电视机, 都要包括许多工序.这些工序相互约束,只有在某些工序完成之后, 一个工序才能开始. 即它们之间存在完成的先后次序关系,一般认为这些关系是预知的, 而且也能够预计完成每个工序所需要的时间. 这时工程领导人员迫切希望了解最少需要多少时间才能够完成整个工程项目, 影响工程进度的要害工序是哪几个？,2.图论的基本

5、概念,1) 图的概念,2) 赋权图与子图,3) 图的矩阵表示,4) 图的顶点度,5) 路和连通,1) 图的概念,定义 一个图G是指一个二元组(V(G),E(G)，其中:,其中元素称为图G的顶点.,组成的集合，即称为边集,其中元素称为边.,定义 图G的阶是指图的顶点数|V(G)|, 用,来表示；,2) E(G)是顶点集V(G)中的无序或有序的元素偶对,定义 若一个图的顶点集和边集都是有限集，则称,其为有限图. 只有一个顶点的图称为平凡图，其他的,所有图都称为非平凡图.,定义若图G中的边均为有序偶对,称G为有向,边 为无向边，称e连接 和 ，顶点 和 称,连接,，称 为e的尾，称 为e的头.,若图

6、G中的边均为无序偶对 ，称G为无向图.称,为e的端点.,既有无向边又有有向边的图称为混合图.,常用术语,1) 边和它的两端点称为互相关联.,2)与同一条边关联的两个端点称,为相邻的顶点，与同一个顶点,点关联的两条边称为相邻的边.,3) 端点重合为一点的边称为环，,端点不相同的边称为连杆.,4) 若一对顶点之间有两条以上的边联结，则这些边,称为重边,5) 既没有环也没有重边的图，称为简单图,常用术语,6) 任意两顶点都相邻的简单图,称为完全图. 记为Kv.,7) 若 ， ，且X 中任意两顶点不,，,相邻，Y 中任意两顶点不相邻，则称为二部图或,偶图；若X中每一顶点皆与Y 中一切顶点相邻,称为,完

7、全二部图或完全偶图,记为 (m=|X|,n=|Y|),8) 图 叫做星.,2) 赋权图与子图,定义 若图 的每一条边e 都赋以,一个实数w(e)，称w(e)为边e的权，G 连同边上的权,称为赋权图.,定义 设 和 是两个图.,1) 若 ,称 是 的一个子图,记,2) 若 ， ，则称 是 的生成子图.,3) 若 ，且 ，以 为顶点集，以两端点,均在 中的边的全体为边集的图 的子图，称,为 的由 导出的子图，记为 .,4) 若 ，且 ，以 为边集，以 的端点,集为顶点集的图 的子图，称为 的由 导出的,边导出的子图，记为 .,3) 若 ，且 ，以 为顶点集，以两端点,均在 中的边的全体为边集的图

8、的子图，称,4) 若 ，且 ，以 为边集，以 的端点,集为顶点集的图 的子图，称为 的由 导出的,边导出的子图，记为 .,为 的由 导出的子图，记为 .,3) 图的矩阵表示,邻接矩阵:,1) 对无向图 ，其邻接矩阵 ，其中：,(以下均假设图为简单图).,2) 对有向图 ,其邻接矩阵 ,其中：,其中：,3) 对有向赋权图 , 其邻接矩阵 ,对于无向赋权图的邻接矩阵可类似定义.,关联矩阵,1) 对无向图 ，其关联矩阵 ,其中：,2) 对有向图 ，其关联矩阵 ,其中：, 邻接矩阵 A = (aij )nn ,例 写出右图的邻接矩阵,解：,图的矩阵表示, 权矩阵A = (aij ) nn,例 写出右图

9、的权矩阵：,解：,图的矩阵表示,4) 图的顶点度,定义 1) 在无向图G中，与顶点v关联的边的数目(环,算两次),称为顶点v的度或次数，记为d(v)或 dG(v).,称度为奇数的顶点为奇点，度为偶数的顶点为偶点.,2) 在有向图中，从顶点v引出的边的数目称为顶点,v的出度，记为d+(v)，从顶点v引入的边的数目称为,v的入度，记为d -(v). 称d(v)= d+(v)+d -(v)为顶点v的,度或次数,定理,的个数为偶数,推论 任何图中奇点,5) 路和连通,定义1) 无向图G的一条途径（或通道或链）是指,一个有限非空序列 ，它的项交替,地为顶点和边，使得对 ， 的端点是 和 ,称W是从 到

10、的一条途径，或一条 途径. 整,数k称为W的长. 顶点 和 分别称为的起点和终点 ,而 称为W的内部顶点.,2) 若途径W的边互不相同但顶点可重复，则称W,为迹或简单链.,3) 若途径W的顶点和边均互不相同，则称W为路,或路径. 一条起点为 ,终点为 的路称为 路,记为,定义,1) 途径 中由相继项构成子序列,称为途径W的节.,2) 起点与终点重合的途径称为闭途径.,3) 起点与终点重合的的路称为圈(或回路)，长,为k的圈称为k阶圈，记为Ck.,4) 若在图G中存在(u,v)路，则称顶点u和v在图G,中连通.,5) 若在图G中顶点u和v是连通的，则顶点u和v之,之间的距离d(u,v)是指图G中

11、最短(u,v)路的长；若没,没有路连接u和v，则定义为无穷大.,6) 图G中任意两点皆连通的图称为连通图,7) 对于有向图G，若 ，且 有,类似地，可定义有向迹，有向路和有向圈.,头 和尾 ，则称W为有向途径.,例 在右图中：,途径或链：,迹或简单链：,路或路径：,圈或回路：,例 一摆渡人欲将一只狼，一头羊，一篮菜从 河西渡过河到河东，由于船小，一次只能带一物 过河，并且，狼与羊，羊与菜不能独处，给出渡 河方法。,解：,用四维0-1向量表示（人，狼，羊，菜）的在西岸 状态，（在西岸则分量取1，否则取0.）,共24=16种状态，,由题设，状态（0,1,1,0）,(0,0,1,1),(0,1,1,

12、1)是不 允许的，,从而对应状态（1,0,0,1），(1,1,0,0),(1,0,0,0)也是 不允许的，,图论的基本概念,人在河西：,（1,1,1,1）,（1,1,1,0）,（1,1,0,1）,（1,0,1,1）,（1,0,1,0）,（0,1,0,1）,（0,1,0,0）,（0,0,1,0）,（0,0,0,1）,（0,0,0,0）,人在河东：,以十个向量作为顶点，将可能互相转移的状态 连线，则得10个顶点的偶图。,问题：如何从状态（1,1,1,1）转移到（0,0,0,0）？,方法：从（1,1,1,1）开始，沿关联边到达没有到达 的相邻顶点，到（0,0,0,0）终止，得到有向图即是。,图论的基

13、本概念,3最短路问题及算法,最短路问题是图论应用的基本问题，很多实际,问题，如线路的布设、运输安排、运输网络最小费,用流等问题,都可通过建立最短路问题模型来求解.,最短路的定义,最短路问题的两种方法：Dijkstra和Floyd算法 .,1) 求赋权图中从给定点到其余顶点的最短路.,2) 求赋权图中任意两点间的最短路.,2) 在赋权图G中，从顶点u到顶点v的具有最小权,定义 1) 若H是赋权图G的一个子图，则称H的各,边的权和 为H的权. 类似地，若,称为路P的权,若P(u,v)是赋权图G中从u到v的路,称,的路P*(u,v)，称为u到v的最短路,3) 把赋权图G中一条路的权称为它的长，把(u

14、,v),路的最小权称为u和v之间的距离，并记作 d(u,v).,1) 赋权图中从给定点到其余顶点的最短路,假设G为赋权有向图或无向图，G边上的权均非,负若 ，则规定,最短路是一条路，且最短路的任一节也是最短路,求下面赋权图中顶点u0到其余顶点的最短路,Dijkstra算法: 求G中从顶点u0到其余顶点的最短路.,1) 置 ，对 ， ， 且 .,2) 对每个 ，用,代替 ，计算 ，并把达到这个最小值的,一个顶点记为 ，置,3) 若 ，则停止；若 ，则用 i+1 代,替i，并转2).,Dijkstra算法: 求G中从顶点u0到其余顶点的最短路.,1) 置 ，对 ， ， 且 .,2) 对每个 ，用,

15、代替 ，计算 ，并把达到这个最小值的,一个顶点记为 ，置,3) 若 ，则停止；若 ，则用 i+1 代,替i，并转2).,Dijkstra算法: 求G中从顶点u0到其余顶点的最短路.,1) 置 ，对 ， ， 且 .,2) 对每个 ，用,代替 ，计算 ，并把达到这个最小值的,一个顶点记为 ，置,3) 若 ，则停止；若 ，则用 i+1 代,替i，并转2).,Dijkstra算法: 求G中从顶点u0到其余顶点的最短路.,1) 置 ，对 ， ， 且 .,2) 对每个 ，用,代替 ，计算 ，并把达到这个最小值的,一个顶点记为 ，置,3) 若 ，则停止；若 ，则用 i+1 代,替i，并转2).,定义 根据顶点v的标号l(v)的取值途径，使 到v,的最短路中与v相邻的前一个顶点w，称为v的先驱,点，记为z(v), 即z(v)=w.,先驱点可用于追踪最短路径. 例5的标号过程也,可按如下方式进行