24图论的一些简单的应用.docVIP

2.4 图论的一些简单的应用 引言 生活中许多实际的问题往往都要用到图论和算法理论的思想去解决．所以一些图论的简单的知识已经陆续地进入到不同层次的中学教材中，例如俄罗斯的高中选修课教材中就介绍了一些图论的知识，在我国最近制定的新大纲(高中)中把组合数学(图论)初步知识放在任意选择的选修课中．在高中、初中的数学竞赛和数学知识应用竞赛中需要运用图论知识解决的问题也日渐增多，无论是中学教师还是中学生都应该注意到这种趋势．另外掌握基本的图论知识也不是一件难事，何况掌握它们对思考生活中的数学问题的确是很有用的．这一节我们将用很少的篇幅结合一些实际问题介绍图论的初步知识和思想． 1．从哥尼斯堡七桥问题到一笔画 在18世纪哥尼斯堡是位于东普鲁士的一座城市，现在属于立陶宛共和国，并更名为加里宁格勒．在通过哥尼斯堡的皮格尔河(pregel)上架有七座桥，如图4－1所示把城市分为四个部分A、B、C、D．很久以前当地居民热衷于一个难题：是否能一次走遍七座桥，每座桥只允许走一次，最后回到原出发点． 这样的问题通常称做一笔画问题．例如以下图形是否可以用笔把所有边画出来而不允许笔离开纸呢？ 看起来哥尼斯堡七桥问题与后面图形一笔画的问题有些不同，但是如果我们对哥尼斯堡七桥问题稍加改进，就会发现它们是完全相同的，七座桥连接着四块土地，A、B、C和D，我们不妨把它们看做平面上的四个点，把连接这些不同土地的桥看做连接不同点的边，这样哥尼斯堡的七座桥就变成了如图4—3的图形(N)．显然，图形Ⅳ与图形Ⅰ、Ⅱ和Ⅲ就很相像了．我们通常可以用一个抽象的模型把这些图形的共性刻画出来．它们都是由一些顶点和一些连接某些顶点的边组成，例如Ⅰ中，顶点集V＝{A，B，C，D，E}，边集E＝{a，b，c，d，e，f，g，h}，图Ⅳ中，顶点集V＝{A，B，C，D}，边集E＝{a，b，c，d，e，f，g}．从图中可以看出每一条边是连接哪两个顶点的，一般每条边可以附加上被它连接的顶点，例如图Ⅳ中，a(C， D)， b(C， B)，等等．并且边连接的顶点是没有顺序的，即无起点和终点之分． 如果我们用G表示上述的图，顶点集V和边集E是其两个组成部分，可以表示为G＝(V，E)，而E中的每个元素对应着两个顶点，不妨表示为e∈E，e＝(A，B)或e(A，B)，其中A、B是V中的元素．给定一个图，每一边与顶的关系也就被确定了．与一个顶点连接的边数通常称做这个顶点的度．而我们把由顶点、边、顶点、边…、边、顶点组成的序列，称做道路，当然，道路序列的起点和终点都是顶点，道路序列的每一顶点都是与其相邻的边的顶点，并且顶点与边是交替出现在道路序列中．如果道路序列的起点与终点是同一个顶点，则称这条道路为回路．如果一条道路通过一个图的每一条边，且仅通过一次，则称这种道路为欧拉道路，如果一条欧拉道路又是一个回路，则称这样的回路为欧拉回路． 这样哥尼斯堡七桥问题实际上变成问图Ⅳ是否存在欧拉回路．而一笔画问题则变成是否存在欧拉道路的问题．我们所以起名欧拉道路和欧拉回路就是为纪念这位伟大的数学家在18世纪时已经圆满地解决了这个问题．在我们叙述欧拉对这些问题的解答之前，再引入一个连通图的概念，如果一个图的任意两个顶点都可以用一条道路把这两个点连接，并做为道路的起点和终点，则这样的图称为连通图． 欧拉对这两个问题的回答是： 结论(1) 一个图有欧拉回路的充分必要条件是这个图是连通的且每一个顶点的度是偶数． 结论(2) 一个图有欧拉道路的充分必要条件是这个图是连通的且仅有两个顶点的度是奇数． 在中学我们所见到的数学命题的证明大体上可以分为两类．一类是逻辑演绎和归纳类的证明，即或从已知条件出发，利用所学过的其他事实，推导结论的正确性，或从所需证明的问题出发，逐步分析，看是否可以归纳为已知条件和学过的事实；等等．这类证明都可作为逻辑推理能力的一种训练．另外一类是构造性的，即可从已知条件和事实把结论或结论的要求通过确定的做法“将其构造出来”．例如：一元二次方程ax2＋bx＋c＝0，当b2－4ac≥0时方程一定有实根．就是用构造的方法(配方法)把该方程的实根具体地构造出来．后一类“构造式”证明方式在中学生的学习中是强调不够的，或者说没有给予足够的注意．而在现实生活中的很多情况下，仅仅知道事实的存在是远远不够的，更为关心的是“实现”出来．这里简单介绍的算法思想可以看做“构造式证明”的一种． 先从一个实例出发．在欧拉的结论(1)中，我们要证明这样的事实，如果一个连通图每一个顶点的度是偶数，则一定存在欧拉回路．事实上，这个结论蕴含着这样的结果：从每一顶点出发都可以产生一个欧拉回路．当然，如果我们可以确定出一系列做法，确保从每一顶点出发都可以构造出一个欧拉回路，证明自然就完成了． 我们可以按以下步骤完成欧拉回路的构造． 第一步：任意选