第十二章图的基本概念与算法初步.pptVIP

数学实验第十二章 图的基本概念与算法初步 云南大学信息学院通信工程系 宗容 第十二章 图的基本概念与算法初步 §12.1 问题提出 §12.2 图的概念和术语 §12.3 图的矩阵表述方法 §12.4 常见的应用网络图模型 §12.5 算法 实验题 §12.1 问题提出 图的研究对象——网络，网络优化 可见网——河道网、灌溉网、公路网、铁路网、电话线网、计算机通讯网、输电线网 不可见网——各种关系网，如各种状态转移关系、事物的相互冲突关系、工序的时间先后顺序 基本的网络优化问题： 最短路径、最小生成树、最大流、最小费用流 解决方法：线性规划、网络分析 本实验目的： 掌握如何建立图模型 了解图存储结构，学会图的表示与矩阵表示之间的的转化 对算法及其复杂性建立初步认识，并树立算法有效性观点 §12.1.1 七桥问题 18世纪东普鲁士哥尼斯堡被普利格尔河分为四块，通过七座桥连接。 问题：一个散步者怎样才能从某块陆地出发，经每座桥一次且仅一次回到出发点 结果：没有人能够做到 七桥问题 该问题是欧几里德几何学没有研究过的问题。这里引出的图形、线段的长短、曲直、顶点的准确位置都无关紧要，重要的是点线之间的连接关系。 欧拉指出：一个线图中存在通过每边一次且仅一次回到出发点的路线的充要条件是： 1）图要是连通的； 2）与图中每一顶点相连的边必须是偶数条 结论：七桥问题无解 §12.1.2 古典过河问题 问题：设有n个正常人和n个精神病患者要过一条河。现只有一条能容纳C（C2n）人的小船，为防止患者伤害正常人，要求无论在河岸的哪一边正常人的个数不得少于患者的个数（除非正常人个数为0）。又设每个人都会划船，试设计一个过河的最佳方案（小船来回次数最少）。 问题复杂，先构造出相应的数学模型。 解：用三元组(x,y,t)表示渡河过程中的某个状态 x——起始岸上正常人的个数 y——起始岸上患者的个数 t——小船的位置 古典过河问题 构造一个图 图中的每一个顶点代表一个合法的状态，不难得出合法状态下，(x,y,t)必须满足：x=0，or x=n，or x=y 图中的边则表示该边所依附的两个顶点（即两个合法状态）间可由一次划船而相互转换 例，当n=2,C＝2时，各合法状态及其转换如图所示 (0,2,0) (0,2,1) (2,2,1) (2,0,0) (2,1,1) (0,1,0) (0,0,0) (1,1,0) (1,1,1) (2,1,0) 古典过河问题 可见，通路的最佳方案不唯一 上面过河方案的求解就转换成一个图的搜索问题，及搜索一个图，找出从起始顶点(n,n,1)到目的顶点(0,0,0)的一条包含边数最少的通路，若无，则给出无解的信息。 与上述两个问题有关的更实际的问题是“中国邮路问题”，它是由中国数学家管梅谷教授首先提出而得名。设邮递员从邮局出发，遍历它所管辖的每一条街，将信件送出后返回邮局所走的路径最短。若他所管辖的街道构成回路，则这条回路便是所求的路径。如若不是，则必然有些街道需走多于一遍，这时需寻求最短路径。 又如1998年全国大学生数学模型竞赛B题“最佳灾情巡视路线问题”，也属于最短路径问题，即最佳推销员回路问题。 §12.2 图的概念和术语 1、图：图G由集合V(G)和E(G)组成，记为G=(V,E) V(G)——顶点(图中结点)的非空有穷集合 E(G)——边的有穷集合(相关顶点的偶对称为边) 图的概念和术语 2.有向图(directed graph) ：图中的边是顶点的有序对 有向边，又称为弧，用尖括号表示 vi,vj——从vi到vj的一条弧 Vi—边的始点(尾顶点) Vj——边的终点(头顶点) 3.无向图(undirected graph) ： 图中的边是顶点的无序对 无向边，用圆括号表示 （vi,vj）——顶点vi与vj相连的一条边 图中顶点a,b,c,d和边的端点对为： e1=(a,b)，e2= (a,c)，e3= (a,d)，e4= (b,c)，e5= (b,c)，e6= (b,d)，e7= (b,d) 图的概念和术语 4.子图：图G=(V,E)， G’=(V’,E’)， 若V(G’) V(G)，且E(G’) E(G)，则称G’是G的子图 简单图：无重边，无环的图 完全图：任意两顶点都有边相连的图 顶点与边的术语 5.顶点的度TD(vi)：与该顶点相关联的边的数目 对有向图，把以顶点v为