第十一章ppt-西安邮电大学计算机学院.ppt

第十一章 几类重要的图;11.1 欧拉图与哈密尔顿图;在图11.1.1画出了哥尼斯堡城图，城的四块陆地部分以A，B，C，和D标记。欧拉巧妙地把哥尼斯堡城图化为图11.1.2所示图G，他把陆地设为图G中的结点，把桥画成相应地联结陆地即结点的边。于是，通过哥尼斯堡城中每座桥恰好一次问题，等价于在图G中从某一结点出发找出一条链，它通过每条边恰好一次后回到原出发结点，亦即等价于在图G中寻找一个圈，它通过G中每一条边恰好一次。;图 11.1.1;图 11.1.2;欧拉在这篇论文中提出了一条简单准则，确定七桥问题是不能解的。下面就来讨论这个问题。 定义11.1.1 图G中的一圈(或回路)，若它通G中的每一条边(或弧)恰好一次，则称该圈(或回路)为欧拉圈(或回路)，具有这种圈(或回路)的图称为欧拉无向(或有向)图。 定理11.1.1 给定连通无向图G，G有欧拉圈?G中每个结点都是偶度结点。;由定义11.1.1可知，具有欧拉圈的图是欧拉图，故图G为欧拉图?G中每个结点都是偶度结点。 由于七桥问题所对应的图中每个结点都是奇度结点，根据上述定理可知，七桥问题无解。;定义11.1.2 图G中的一条链(或路)，若它通过G中的每条边(或弧)恰好一次，则称该链(或路)为欧拉链(或路)。 定理11.1.2 给定连通无向图G=V，E，u，v∈V且u≠v，u与v间存在欧拉链?G中仅有u和v为奇度结点。;定理11.1.3 给定弱连通有向图G，G有欧拉回路?G中的每个结点的入度等于出度。 定理11.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)，平面图的定义稍后给出)，要求旅游者能否找到沿着正十二面体的棱，从某个顶点(即城市)出发，经过每个顶点(即每座城市)恰好一次，然后回到出发顶点?这便是著名的哈密尔顿问题。;图 11.1.4;按图11.1.4(c)中所给的编号进行旅游，便是哈密尔顿问题的解。 对于任何连通图也有类似的问题。;图 11.1.4;定义11.1.3 图G中的一圈(或回路)，若它通过G中每个结点恰好一次，则该圈(或回路)称为哈密尔顿圈(或回路)，具有哈密尔顿圈(或回路)的图称为哈密尔顿无向(或有向)图。 由该定义可知，完全图必是哈密尔顿图。;定义11.1.4 图G中的一链(或路)，若它通过G中的每个结点恰好一次，则该链(或路)称为哈密尔顿链(或路)。 哈密尔顿图尽管在形式上与欧拉图极其相似，但其结论上却有很大不同，至今还没有得到关于哈密尔顿图的非平凡的充要条件，这是图论尚未解决的主要问题之一。然而，还是有不少重要成果，下面给出几个必要和充分条件的定理。;定理11.1.5 若连通图G=V，E是哈密尔顿图，S是V的任意真子集，则ω(G-S)≤|S|。 本定理给出是哈密尔顿图的一个必要条件，但这个条件又不便于使用，因为它要求对G的结点集合的所有真子集进行验证。尽管如此，利用它还可以证明某些图不是哈密尔顿图。;下面给出图G是哈密尔顿图的充分条件，这个结果是于1952年G.A.Dirac研究得到的。 定理11.1.6 给定简单图G=V，E，|V|=n，若n≥3和δ≥n/2，则G是哈密尔顿图。 请注意，本定理给出的仅是充分条件。例如，十多边形显然是哈密尔顿图，但δ=2≥ =5。;Bondy和Chvatol于1969年证明了更强的充分条件。他们的方法是建立下面两个引理之上的。 引理11.1.1 给定图G=V，E，|V|=n≥3。若u，v∈V，u与v不邻接且d(u)+d(v)≥n，则G是哈密尔顿图?G+〔u，v〕是哈尔密顿图。 受引理11.1.1启示，可以定义图的闭包概念。;定义11.1.4 给定图G=V，E，|V|=n。图G的闭包是由G通过相继地用边连接两个其度之和至少为n的不邻接结点，直到不能如此进行为止而得到的图。用C(G)表示图G的闭包。 引理11.1.2 C(G)是唯一确定的。;下面定理是引理11.1.1的直接结果： 定理11.1.7 简单无向图G是哈密尔顿图?C(