图论及其算法数模.ppt

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