图论建模作业.docVIP

图论介绍及应用 图论是运筹学的一个分支，广泛应用于物理学、现代控制理论、信息论、管理科学、计算机技术等诸多领域。利用图论的理论和方法能够提供有力的数学模型是问题得到解决。图论中的图是由若干给定的点及连接两点的线所构成的图形，这种图形通常用来描述某些事物之间的某种特定关系，用点代表事物，用连接两点的线表示相应两个事物间具有这种关系。　　图论起源于著名的柯尼斯堡七桥问题。在柯尼斯堡的普莱格尔河上有七座桥将河中的岛及岛与河岸联结起来，如下图所示，A、B、C，D表示陆地。 问题是要从这四块陆地中任何一块开始，通过每一座桥正好一次，再回到起点。然而无数次的尝试都没有成功。欧拉在1736年解决了这个问题，他用抽象分析法将这个问题化为第一个图论问题：即把每一块陆地用一个点来代替，将每一座桥用联接相应的两个点的一条线来代替，从而相当于得到一个「图」（如下图）。 　　….vm），边集E （e1，e2,…,en）以及各个顶点和各边之间确定的关联关系Ψ组成的一种结构，记作图G （V, E,Ψ）,一般也记作G V, E 。显然这里的图不是几何意义上的图，只要保持V, E,Ψ不变，顶点的位置，边的长短曲直都可以任意选择。 如果各条边都加上方向，称为有向图，否者称为无向图。既有无向边又有有向边的图称为混合图. 如果图的两顶点间最多有一条边，且每条边的两个顶点都不重合的图，则称为简单图。 如果图的两顶点间有边相连，则称顶点相邻 ，每一对顶点都相邻的图称为完全图，否则称为非完全图，完全图记为K 。 若 ， ， ， 且X 中任意两顶点不相邻，Y 中任意两顶点不相邻，则称为二分图；若X中每一顶点皆与Y 中一切顶点相邻,称为完全二分图记为 m |X|,n |Y| 。 奇数的顶点称为奇点，否则称为偶点。 定理 1 G为二分图的充要条件是G中无长为奇数的圈。 定义 1 在无向图G中，与顶点v关联的边的数目 环算两次 ,称为顶点v的度或次数，记为d v 或 dG v .。称度为奇数的顶点为奇点，度为偶数的顶点为偶点. 在图中，一个顶点的度就是与该顶点相关联的边的数目，顶点v的度记为D（v）。若G为有向图，则把以顶点v为终点的边的数目称为顶点v的入度，记为ID（v）；把以顶点v为始点的边的数目称为v的出度，记为OD（v）， 路径长度是该路径上边或弧的数目。在无向图G中，若从顶点vi到顶点vj有路径，则称vi与vj是连通的。若V（G）中任意两个不同的顶点vi和vj都连通（即有路径），则称G为连通图。 有时在图的每条边上附上相关的数值，这种与图的边相关的数值叫权。 §2 树的基本概念 定义 1 一个无圈的连通图称为树。 下面介绍树的一些重要性质。 定理 2 设图 G V, E 是一个树, p G ≥2 ,则 G中至少有两个悬挂点。 定理 3 图 G V, E 是一个树的充分必要条件是 G不含圈, 且恰有 p - 1 条边。 定理 4 图 G V, E 是一个树的充分必要条件是 G是连通图,并且q G p G – 1。 定理5 图 G是树的充分必要条件是任意两个顶点之间恰有一条链。 §3 图论矩阵 1 边和它的两端点称为互相关联. 2 与同一条边关联的两个端点称为相邻的顶点，与同一个顶点点关联的两条边称为相邻的边。3 端点重合为一点的边称为环，端点不相同的边称为连杆。4 若一对顶点之间有两条以上的边联结，则这些边称为重边。5 既没有环也没有重边的图，称为简单图。6 任意两顶点都相邻的简单图,称为完全图. 记为Kv. 图还可以用两种矩阵表示： 邻接矩阵表示法：是一个的矩阵，即 ， 关联矩阵表示法是一个的矩阵，即 ， 带权图的最短路与关键路 定义 若图 的每一条边e 都赋以一个实数w e ，称w e 为边e的权，G 连同边上的权，称为赋权图。 规定: u,v∈V, 边 u,v 的权记作 w u,v 1 w u,u 0 2 如果结点u与v之间的边相连,则 w u,v ∞ §4 关于最短路径的问题 设有给定连接若干城市的公路网，寻求从指定城市到各城市去的最短路线。如图 解决这一问题可以引用著名的Dijkstra算法。 Dijkstra 算法步骤： §5 最佳路线的选择问题 下面结合具体的实例说明一下图论在实际问题中的应用。 98年全国大学生数学建模竞赛B题“最佳灾情巡视路线”中的前两个问题是这样的： 问题 今年 1998年 夏天某县遭受水灾. 为考察灾情、组织自救，县领导决定，带领有关部门负责人到全县各乡（镇）、村巡视. 巡视路线指从县政府所在地出发，走遍各乡（镇）、村，又回到县政府所在地的路线. 若分三组（路）巡视，试设计总路程最短且各组尽可能均衡的巡视路线. 短且各组尽可能均衡的巡