第7章 图论II.pptVIP

第八章 几类重要的图 8.1 欧拉图与哈密尔顿图 8.2 二部图  8.3 树  8.4 平面图 8.1 欧拉图与哈密尔顿图 1736年瑞士数学家欧拉发表了图论的第一篇著名论文“哥尼斯堡七桥问题”(下称七桥问题)。这个问题是这样的：哥尼斯堡城有一条横贯全城的普雷格尔河，城的各部分用七桥联结，每逢节假日，有些城市居民进行环城周游，于是便产生了能否“从某地出发，通过每桥恰好一次，在走遍了七桥后又返回到原处”的问题。 在图11.1.1画出了哥尼斯堡城图，城的四块陆地部分以A，B，C，和D标记。欧拉巧妙地把哥尼斯堡城图化为图11.1.2所示图G，他把陆地设为图G中的结点，把桥画成相应地联结陆地即结点的边。于是，通过哥尼斯堡城中每座桥恰好一次问题，等价于在图G中从某一结点出发找出一条链，它通过每条边恰好一次后回到原出发结点，亦即等价于在图G中寻找一个圈，它通过G中每一条边恰好一次。 图 11.1.1 欧拉在这篇论文中提出了一条简单准则，确定七桥问题是不能解的。下面就来讨论这个问题。 定义8.1.1 图G中的存在一个回路，若它通过G中的每一条边(或弧)恰好一次，则称该回路为欧拉回路(欧拉环游，Euler tour)，具有这种回路的图称为欧拉图。欧拉回路是一个闭迹。 定理8.1.1 给定连通无向图G，G有欧拉回路?G中每个结点都是偶度结点。 Proof . The degree condition is clearly necessary: a vertex appearing k times in an Euler tour (or k +1 times, if it is the starting and finishing vertex and as such counted twice) must have degree 2k. Conversely, let G be a connected graph with all degrees even, and let W = v0e0 . . . el-1vl be a longest walk in G using no edge more than once. Since W cannot be extended, it already contains all the edges at vl. By assumption, the number of such edges is even. Hence vl= v0, so W is a closed walk. Suppose W is not an Euler tour. Then G has an edge e outside W but incident with a vertex of W, say e = uvi. Here we use the connectedness of G,then the walk ueviei . . . el-1vl e0 . . . ei-1vi is longer than W, a contradiction. 由定义11.1.1可知，具有欧拉回路的图是欧拉图，故图G为欧拉图?G中每个结点都是偶度结点。 由于七桥问题所对应的图中每个结点都是奇度结点，根据上述定理可知，七桥问题无解。 定义8.1.2 图G中的一条通道，若它通过G中的每条边恰好一次，则称该通道为欧拉迹。 定理8.1.2 给定连通无向图G=V，E，u，v∈V且u≠v，u与v间存在欧拉迹?G中仅有u和v为奇度点。 (补证)。 定理8.1.3 给定弱连通有向图G，G有欧拉回路?G中的每个结点的入度等于出度。 定理8.1.4 给定弱连通有向图G=V，E，u，v∈V且u≠v，u与v之间存在欧拉迹?G中唯有u和v的入度不等于出度，且u的入度比其出度大于1和v的出度比其入度小于1(或者反之)。 这两个定理的证明，可以看作是关于无向图的欧拉回路和欧拉迹的推广。因为对于有向图的任意一个结点来说，如果入度与出度相等，则该结点为偶度结点；如果入度与出度之差为1时，该结点必是奇度结点，所以定理11.1.3和14.1.4与前面两个定理的证明类似。 与欧拉回路和迹非常类似的问题是哈密尔顿圈和哈密尔顿圈路的问题。 1859年，爱尔兰数学家哈密尔顿(W.R.Hamilton)首先提出“环球周游”问题。他用一个正十二面体的20个顶点代表世界上20个大城市(见图11.1.4(a))，这个正十二面体同构于一个平面图(见图11.1.4(b)，平面图的定义稍后给出)，要求旅游者能否找到沿着正