Tutte子图方法及应用.pdf

摘要 摘要 哈密顿圈问题是数学和计算机科学中最重要的问题之一，它也与著名的 ofMathematics))中发 四色定理有着密切联系。1931年，Whitney在《Annals 表文章证明了每一个4连通平面三角剖分图都含有哈密顿圈(因此，也是4面 后Thomassen在1983年对此作了进一步拓展。这些证明是借助于某些特殊的路 和圈的存在性加以归纳而得到的(后来称这些特殊的路和圈为Tutte子图)。 Tutte子图方法如今已经被广泛应用到证明可嵌入各种曲面的图中长路和 个4连通平面图都是哈密顿连通的，Thomas和郁星星解决了多面体领域的权 想一所有(定向和非定向)曲面上的5连通“局部平面’’三角剖分图都含有哈 密顿圈，等等。 在本文中，通过运用Tutte子图方法，我们主要得到两个结果。第一个是关 不含三角形的平面图中的最大二部子图问题(第三章)。 在第一章中，我们主要介绍在本文中用到的一些基本定义和记号，并给出 关于Tutte子图方法的一个简要概述。 在第二章中，我们考虑Malkevitch提出的猜想一如果一个仇个项点的4连通 平面图含有长度为4的圈，那么它一定含有长度为k的圈，其中k∈n，n一 1…．，3’。已有的结果证明了每一个n个顶点的4连通平面图都含有长度为尼的 圈，其中k∈{佗，竹一1…．，几一6)且k≥3。通过运用Tutte子图和可收缩子图 的方法，我们证明每一个n个顶点(礼≥9)的4连通平面图总是含有不包含某 定理)，我们进一步证明每一个n个顶点(佗≥10)的4连通平面图都含有长度 为n一7的圈。 在第三章中，我们研究3连通3正则不含三角形的平面图中的最大二部子图 问题。最近，Thomassen证明了每一个3连通3正则不含三角形的平面图G中都 摘要 含有一个至少有婴掣一丢条边的二部子图，改进了已知的(3正则不含三角 形的图的)下界掣。很容易可以看出，如果s是平面图G的一个边子集合 使得G—S是一个二部图，则在G的对偶图中删除S所对应的边后得到的图是 价结果：每一个最小度至少为4的平面三角剖分图G都含有一个至多有掣条 边的边子集合使得在G中删除这些边后得到的图是一个偶图。我们通过拓 、 展Thomassen在Tutte圈上的, 9iV(G)I．一百9，这表明每一个3连 通3正则不含三角形的平面图G中都含有一个至少有型等型一杀条边的二部子 图。 关键词：Tutte子图，可收缩子图，平面图，二部子图，三角剖分图 Abstract Abstract ‘l’heHamiltonProblemiSoneofthemost inMath- Cycle importantproblems ematicsand Science．ItisalsorelatedtothefamousFourColorTheo- Computer rem．In that 4-connected hasa 1931，Whitneyprovedevery planartriangulation Hamilton Whit— cycle(andhence，is 1956，Tuttegeneralized 4-face-colorable)．In result that 4-connected a ney’S by