数模最短路和最优问题.ppt

1.图论问题的起源 18世纪东普鲁士哥尼斯堡被普列戈尔河分为四块,它们通过七座桥相互连接,如下图.当时该城的市民热衷于这样一个游戏:“一个散步者怎样才能从某块陆地出发，经每座桥一次且仅一次回到出发点？” 七桥问题的分析 七桥问题看起来不难，很多人都想试一试，但没有人找到答案 .后来有人写信告诉了当时的著名数学家欧拉.千百人的失败使欧拉猜想,也许那样的走法根本不可能.1876年,他证明了自己的猜想. Euler把南北两岸和四个岛抽象成四个点,将连接这些陆地的桥用连接相应两点的一条线来表示,就得到如下一个简图: 欧拉的结论 欧拉指出:一个线图中存在通过每边一次仅一次回到出发点的路线的充要条件是: 1 图是连通的,即任意两点可由图中的一些边连接起来; 2 与图中每一顶点相连的边必须是偶数. 由此得出结论:七桥问题无解. 欧拉由七桥问题所引发的研究论文是图论的开篇之作,因此称欧拉为图论之父. 4.图的作用 图是一种表示工具.改变问题的描述方式,往 往是创造性的启发式解决问题的手段.一种描述 方式就好比我们站在一个位置和角度观察目标, 有的东西被遮挡住了,但如果换一个位置和角度, 原来隐藏着的东西就可能被发现.采用一种新的 描述方式,可能会产生新思想.图论中的图提供 了一种直观,清晰表达已知信息的方式.它有时 就像小学数学应用题中的线段图一样,能使我们 用语言描述时未显示的或不易观察到的特征、 关系,直观地呈现在我们面前,帮助我们分析和 思考问题,激发我们的灵感. 5.图的广泛应用 图的应用是非常广泛的,在工农业生产、交通运输、通讯和电力领域经常都能看到许多网络,如河道网、灌溉网、管道网、公路网、铁路网、电话线网、计算机通讯网、输电线网等等.还有许多看不见的网络,如各种关系网,像状态转移关系、事物的相互冲突关系、工序的时间先后次序关系等等,这些网络都可以归结为图论的研究对象——图.其中存在大量的网络优化问题需要我们解决.还有象生产计划、投资计划、设备更新等问题也可以转化为网络优化的问题. 6.基本的网络优化问题 基本的网络优化问题有:最短路径问题、最小生成树问题、最大流问题和最小费用问题.图论作为数学的一个分支,已经有有效的算法来解决这些问题.当然这当中的有些问题也可以建立线性规划的模型,但有时若变量特别多,约束也特别多,用线性规划的方法求解效率不高甚至不能在可忍受的时间内解决.而根据这些问题的特点,采用网络分析的方法去求解可能会非常有效. 例如,在1978年,美国财政部的税务分析部门在对卡特尔税制改革做评估的过程中,就有一个100,000个约束以上,25,000,000个变量的问题,若用普通的线性规划求解,预计要花7个月的时间.他们利用网络分析的方法,将其分解成6个子问题,利用特殊的网络计算机程序,花了大约7个小时问题就得到了解决. 匹配 匹配问题是运筹学的重要问题之一,也是图论研究的重点内容,它提供了解决“人员分配问题”和“最优分配问题”一种新的思想. 定义1.设G V,E 是无环图,M?E G ,M??,若M中任意两条边都不相邻,则称M是图G的一个匹配.若对图G的任何匹配M’ ,均有?M’? ?M?,则称M是图G的最大匹配,记作?’ G . 定义2.设M是图G的匹配,G中与M中的边关联的顶点称为M饱和点.若图G的顶点都是M饱和,则称为G的完美匹配. 说明: 1 完美匹配是最大匹配,反之未然; 2 匹配的定义与边的方向无关,故匹配是针对无向图而言. 3 图G的边不交匹配的最小数目即为G的边色数. 定义3. 可增广路 :设M是图G的匹配,P是G的一条路,且在P中,M的边和E G -M的边交替出现,则称P是G的一条交错路.若M交错路P的两个端点为M非饱和点,则称P为M可增广路. 例1.求下图G的一条交错路和一条可增广路. 匹配的几个性质定理 定理1.设M1和M2是图G的两个不同匹配,由M1?M2导出的G 的边导出子图记作H,则H的任意连通分支是下列情况之 一: 1 边在M1和M2中交错出现的偶圈. 2 边在M1和M2中交错出现的路. 证明:记H M1?M2,因为H是边导出子图,所以? H ≥1.由 于M1和M2是图G的两个不同匹配,所以H的任意顶点x至多 与一条M1的边关联,同时也至多与一条M2的边关联,所以 Deg x ≤2,所以? ≤2,故H的每个连通分支或者是一条路 或者是一个圈.据匹配的定义,H的任意两条邻接边一定分 别属于不同的匹配M1和M2,从而每条路或者圈的边交错 地属于M1和M2且每个圈是偶圈. 定理2.M是图G的最大匹配,当且仅当G中不存在M可增广路. 证明: ? 假设存在M可增广路P,则M’ M?P是G的一个新的匹配,且|M’|＝|M|＋1 |M|,矛盾. ? 若M不是G的最大匹配,则存在匹配M