曲面嵌入图子图结构及其在染色问题中应用.pdfVIP

中文摘要 本文研究嵌入图以及平面图的子图结构以及在着色上的应用一些问题．在文章 0)并且不包含 【88】中，Zhao考虑了一类可嵌入在可定向曲面(欧拉特征值口s 短圈的图．Zhao证明了任意的可嵌人在可定向曲面(欧拉特征值口S0)并且 不包含从4到1l一12a圈的图是可3一着色的并且提出一个问题能够保证不包 含从4到≈(∑)-圈的图是可3一着色的最小的整数七(∑)是多少?受到这个问题的 启发，我们考虑％(∑)=11—3a并且得到一个Lebesgue形式的定理．％表示可 嵌入在可定向盐面(欧拉特征值口≤O)并且不包含从4到1l一3口圈的图．我们 得到的以下主要结果t 定理2．1G是一个嵌入在可定向雎面(欧拉特征值盯SO)并且没有相邻的 三面．如果G不包含从4到11—3口的面，要么G包含一个2一一度点或者包含一 个的艇(12—3口)+一面． 作为子图的舭(12—3x，)+一面的应用，我们证明 定理2．2如果G∈鲧，那么Gis3一可着色的． 自然地，我们考虑了平面图的3一可着色．在1976，Steinberg给出一个猜想任 意不包含4一圈和5一圈的平面图是3一可着色的．而这个条件就必要的，因为已 经找到不可3一着色的平面图要么包含4一圈或者包含5一圈(见凰和【34】中 的例子【Fig．2】)．由于直接证明的困难性，许多人考虑了一些特殊的平面图．在这 里，我们考虑一类平面图不包含相邻三面并且不包含{5，6，9’一圈．我们得到—个 Lebcsgue形式的定理并验证这类平面图是可3一着色的． 定理3．1G是一个2．连通的平面图不包含相邻三面并且不包含{5，6，9}一圈 那么必有以下结论成立： (1)J(G)3； (2)G包含一个4一面； (3)G包含一个special10一面关联于十个3-度点并且与五个3一面相邻． 作为定理3．1的应用，我们得到下面的结论 定理3．2任何平面图不包含相邻三面并且不包含{5，6，9}一圈是可3一着色 的． 关于平面图，有一个猜想：是否任意的3一可着色的平面图的点荫度不超过 2．受到这个猜想和Steinberg猜想的启发，我们考虑了不包含短圈的平面图的点 荫度同胚．我们证明了一个Lebesgue形式的结构定理并把这个结论应用在不包含 4一圈的平面图上． 定理4．1G是一个不包含4一面并且不包含相邻三面的平面图．如果6(G)= 4，那么G包含一个谨导出子图． 应用定理4．1结果，我们给出了文章【46】的简短证明作为引理4．2并且得到不包含 4一圈的平面图的点荫度不超过2作为定理4．3． 引理4．2如果G是一个不包含4一圈的平面图，那么G是4一可选色性的． 定理4．3如果G尼一个不包含4一圈的平面图，那么B(G)≤2． 接着我们使用移权法和反证法完成了以下结论的证明； 定理4．4如果G是—个不包含3一圈的平面图，那么口(G)≤2． 定理4．5如果G是一个不包含5一圈的平面图，那么口(G)≤2． 定理4．3，4．4和4．5可视为对上面猜想的是否正确的一个正面支持． 关于平面图的平方图，在【76]，Wegner提出了以下猜想： 猜想5．11761对于一个平面图G， 舻，叱拿苫，1，讧；篡主71 受到Wegner猜想的启发，我们考虑了不包含3一圈的平面图的着色性．下面 是已知的关于平面图的平方图的着色性： 和McGuinness Salavatipour嘲把上界减到x(G2)S 1／+25如 r!垒3盟1t+78，并有x(G2)≤r!业3 果that 152]证明了对于不包含甄一圉子式的平 ZX(G)≥241．Lih，Wang和Zhu 面图G，x(G2)s △(63≥4． 我们用g表示不包含三角形的平面图的集合．在这一部分，我们证明了一个 Lebesgue形式的定理从而得到口的—个固定结构并且利用这个性质我们找到了这 类平面图的平方图的可选色性的一个上界，我们称一个4一面，足特殊的如果， 关联于两个2一度点并且称一个点口是大点如果是一个15+一度点．我们称一 邻的2