图论论文
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
课程名称图论入门
论文题目图论在物流
物配送上的应用指导教师刘颖
学院管理学院
姓名郭凤午
学号2011030284
图论在物流货物配送中的应用
摘要:
最短路径问题对于节约人们的时间成本具有重要意义。最短路问题是图论理论的一个经典问题。寻找最短路径就是在指定网络中两结点间找一条距离最小的路。最短路不仅仅指一般地理意义上的距离最短,还可以引申到其它的度量,如时间、费用、线路容量等。它可被用来解决厂区布局、管路铺设、线路安装等实际问题。本文介绍了图论的起源和发展、最短路径问题及其算法,并应用图论最短路径问题的分析方法解决物流货物配送中问题。
1 引言
数学是一门古老的学科,它已经有了几千年的历史。然而,图论作为数学的一个分支,却只有200多年的历史,但是其发展十分迅速。图论是以图为研究对象,图形中我们用点表示对象,两点之间的连线表示对象之间的某种特定的关系。事实上,任何一个包含了某种二元关系的系统都可以用图形来模拟,而且它具有形象直观的特点,在图中点的位置和线的长短曲直无关紧要[1]。图论的发展大力地推进了科学文明的进步,解决了很多实际应用问题。图论是数学领域中发
展最快的分支之一,它以图为研究对象。图论中的图是有若干给定的点及连接两点的线所构成的图形,这种图形常用来描述某些事物之间的某种特定关系,用来代表事物,用连接两点的线表示相应两个事物间具有这种关系。图论本身是应用数学的一部分,因此,历史上图论曾经被好多位数学家各自独立的建立过。关于图论的文字记载最早出现在欧拉1736年的论文中,他所考虑的原始问题有很强的实际背景。数学史上著名的七桥问题欧拉只用了一步就证明了不重复地通过7座桥的路线是根本不存在的!这是拓扑学研究的先声。图的染色问题一直是图论研究的焦点问题。数学家赫伍德成功地运用肯普的方法证明了五色定理,即一张地图能够用五种或者更少的颜色染色。美国伊利诺斯大学的黑肯和阿佩尔,经过四年的艰苦工作.终于完成了四色猜想的证明。正是上述那些似乎没有多大意义的游戏的抽象与论证的方法,开创了图论科学的研究。
2 图论的起源与发展。
第一阶段是从1736年到19世纪中叶。1736年是图论的历史元年,当时的图论问题是盛行的迷宫问题和游戏问题。最有代表性的工作是著名数学家
L.Euler于1736年解决的哥尼斯堡七桥问题。东普鲁士的哥尼斯堡城(现今是俄罗斯的加里宁格勒,在波罗的海南岸)位于普雷格尔河的两岸,河中有一个岛,于是城市被河的分支和岛分成了四个部分,各部分通过7座桥彼此相通。如同德国其他城市的居民一样,该城的居民喜欢在星期日绕城散步。于是产生了这样一个问题:从四部分陆地任一块出发,按什么样的路线能做到每座桥经过一次且仅一次返回出发点。这就是有名的哥尼斯堡七桥问题。哥尼斯堡七桥问题看起来不复杂,因此立刻吸引所有人的注意,但是实际上很难解决。瑞士数学家(Leonhard Euler)在1736年发表的“哥尼斯堡七桥问题”的文章中解决了这个问题。这篇论文被公认为是图论历史上的第一篇论文,Euler也因此被誉为图论之父。欧拉把七桥问题抽象成数学问题---一笔画问题,并给出一笔画问题的判别准则,从而判定七桥问题不存在解。Euler是这样解决这个问题的:将四块陆地表示成四个点,桥看成是对应结点之间的连线,则哥尼斯堡七桥问题就变成了:从A,B,C,D任一点出发,通过每边一次且仅一次返回原出发点的路线(回路)是否存在?Euler证明这样的回路是不存在的。
第二阶段是从19世纪中叶到1936年。图论主要研究一些游戏问题:迷宫问题、博弈问题、棋盘上马的行走线路问题。一些图论中的著名问题如四色问题(1852年)和Hamilton环游世界问题(1856年)也大量出现。同时出现了以图为工具去解决其它领域中一些问题的成果。1847年德国的克希霍夫将树的概念和理论应用于工程技术的电网络方程组的研究。1857年英国的凯莱也独立地提出
了树的概念,并应用于有机化合物的分子结构的研究中。1936年匈牙利的数学家哥尼格写出了第一本图论专著《有限图与无限图的理论》。标志着图论作为一门独立学科。
第三阶段是1936年以后。由于生产管理、军事、交通运输、计算机和通讯网络等方面的大量问题的出现,大大促进了图论的发展。特别是电子计算机的大量应用,使大规模问题的求解成为可能。实际问题如电网络、交通网络、电路设计、数据结构以及社会科学中的问题所涉及到的图形都是很复杂的,需要计算机的帮助才有可能进行分析和解决。目前图论在物理、化学、运筹学、计算机科学、电子学、信息论、控制论、网络理论、社会科学及经济管理等几乎所有学科领域都有应用。进入20世纪以来, 科学家们对四色猜想的证明基本上是按照肯普的想法在进进行。电子计算机问世以后,由于演算速度迅速提高,加之人机对话的出现,大大加快了对四色猜想证明的过程。1976年,美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,做了100亿判断,终于完成了四色定理的证明。不过不少数学家并不满足与计算机取得的成就,他们认为应该有一种简捷明快的书面证明方法。我们看到,正是上述那些似乎没有多大意义的游戏的抽象与论证的方法,开创了图论科学的研究。遗憾的是,由于当时社会生产落后,对图论知识的要求甚寡,这一学科的发展颇为迟缓,甚至处于停滞状态。此后的一百多年,图论经历了一场爆炸性的发展,终于成长为数学科学中一门独立的学科。它的主要分支有图论、超图理论、极值图论、算法图论、网络图论和随机图论等。近几十年来,图论在科学界可以说是异军突起,活跃非常。
3 图论基本概念
3. 1 图的定义
有序三元组G = < V(G),E(G),ϕ(G) >称为一个图,其中:
(1)V(G)={v1,v2,…,v n}是有穷非空集,称为顶点集,其元素叫做图的顶点;
(2)E(G)={e1,e2,…,e n}称为边集,其元素叫做图的边;
(3)ϕ(G);E→V⨯V是从边集E到顶点集V的有序或者无序对集合的影射,称为关联函数。
3. 2 图的分类
在图G中,与V中的有序偶(v i,v j)对应的边e称为图的有向边(或弧),