第9章 图论.docVIP

PAGE  PAGE 242 第九章 图论 图论是近几十年发展起来的一门应用十分广泛的运筹学分支，它已被广泛地应用于物理学、化学、控制论、信息论、管理科学、计算机等各个领域。由于其应用领域的广泛性，图论受到了社会各界的广泛重视。 图论思想的出现，可以追溯到1736年欧拉（Euler）发表的一篇关于哥尼斯堡（K?nigsberg）七桥问题的论文。为对图论思想的产生有一直观的认识，以对后续的学习有些帮助，在此先介绍几个在古典图论中具有重要影响的经典问题。 1．欧拉（Euler）回路问题 哥尼斯堡是东普鲁士的一座城市，第二次世界大战后划归苏联，也就是现在的加里宁格勒。Pregel河流经此城市，河中有两个孤岛，两岸与两岛之间有七座桥相连，如图9-1所示。当时那里的居民热衷于这样一个问题：从一个点出发，能否通过每座桥一次且仅一次，最后回到原来的出发点？ 这个问题的提出虽是出自游戏，但它的思想却有着重大的意义。由于EuIer率先解决了这一问题，故称其为Euler回路问题。EuIer把图9-1抽象为图9-2，用A、B、C、D四点分别表示两岸和两岛，两点间的连线表示沟通它们的桥梁；因此，问题转化为从A、B、C、D中任一点出发，通过每条边一次且仅一次，最后回到原出发点，问这样的路径是否存在？于是问题变得简洁多了。 D B C A Pregel 图9-1 图9-2 欧拉证明了这样的路径是不存在的，因为图9-2中的每一个点都只与奇数条线相关联，所以不可能不重复地一笔画出这个图。我们也可以这样来分析，对于开始的点，有一“去”就必然有一“回”，一去一回构成偶数条关联边；对于中间的点，有一“来”就必然有一“去”，一来一去也构成偶数条关联边；所以实现这样的路径要求图9-2中的每一个点都有偶数条关联边。显然，图9-2中的点不满足这样的要求，所以这样的路径不存在。 2．雷姆塞（Ramsey）问题 雷姆塞问题是这样的：任意6个人在一起，如果不存在单方认识，那么6人中要不是有3人彼此相互认识，必有3人互不相识；即二者必居其一。 用图的办法很容易给Ramsey问题以证明。设、、、、、分别代表这6个人。相互认识的两个人对应的顶点用实线相连，互不相识的两个人对应的顶点用虚线相连。因为两个人要么相互认识，要么互不相识，所以任意一点与其它5个点都有一线相连，或是实线或是虚线；这样问题便转化为在由此所得的6点图中，至少存在一个由实线或虚线所构成的三角形。 任意取一个点（），它与其它5个点的5条连线中至少有3条同为实线或同为虚线。不妨假设有3条同为实线，且另一端点分别为、和。如图9-3所示，如果、和这3个顶点形成的三角形一定是虚线三角形，那么问题得到证明；如果不然，那么由、和形成的三角形就至少有一条实线边，不妨设为，则由、和形成的三角形就一定是实线三角形，问题同样也得到证明。 图9-3 图9-4 3．哈米尔顿（Hamilton）回路问题 在图9-4中20个顶点分别表示世界的20个名城。两点之间的连线表示两城市间的航线，Hamilton回路问题要求从某一城市出发，遍历各城市一次且仅一次，最后返回原来的出发地。因Hamilton提出了这一有趣的问题，故称为Hamilton回路问题。Hamilton回路问题在运筹学中有着重要的意义，特别是Hamilton回路中总距离最短的问题，是著名的旅行商问题（货郎担问题）。 图9-4所示的图形是一个每个面都是五边形的十二面体。沿着十二面体的棱到达每一个顶点时，旅行者都面临着两条路线的选择：一是向左，记为L；另一是向右，记为R。L2R表示连续向左两步后再向右一步，其它依此类推。 R5＝1，即从某一点连续向右走五步，最终将回到原出发点；R2＝LR3L，即从某一点连续向右走两步，与先向左走一步、再连续向右走三步、最后再向左走一步等价。由此可得下述推导： 等式的左侧归1，右侧有20项，这说明按右侧的规律走20步，可回到原来的出发点。特别是由于右侧的部分项没有归1的可能，故从任意一点出发沿右侧的规律将遍历各点一次返回原地。 §1 图的基本概念 1.1图的概念 在日常生活和生产中，人们会经常碰到各种各样的图，如零件加工图、公路或铁路交通图、管网图等。图表明一些研究对象和这些对象之间的相互联系，如交通图是表明一些城镇之间的道路沟通情况。图论中的图是上述各种类型图的抽象和概括，它用点表示研究对象，用边表示这些对象之间的联系。 1．图（graph） 图是点和边的集合，记作。式中是点的集合，是边的集合。 如果和都是有限集合，则称为有限图；否则称为无限图；本书只限于研究有限图。 只有点没有边的图称为空图（empty graph），记为；只有一个点的图称为平凡图（trivial grap