围长至少是7的平面图的均匀染色理论数学专业论文设计.docxVIP

围长至少是7的平面图的均匀染色 目录 TOC \o 1-2 \h \z \u 摘要 1 Abstract 1 一、引言 2 （一）基本概念与符号 2 （二）图的均匀染色问题的研究现状 3 （三）本文的主要内容与结果 5 二、权转移方法 6 三、平面图的均匀染色问题 7 （一）基本引理 7 （二）极小反例的结构特点 10 （三）定理2.1.1的证明 23 四、可进一步研究的问题 26 参考文献 27 致谢 29 PAGE 1 围长至少是7的平面图的均匀染色 摘要 设G=(V,E)，图的正常点染色是指对图G上所有的点进行染色，使得相邻两个点所染的颜色不同。图的均匀点染色是指对图G的一个正常点染色，使得每种颜色所对应的点的数目至多相差1。图G是m-均匀可染的是指存在一个映射f:VG→{1,2,…,m}，使得当uv∈E(G)时f(u)≠f(v)，并且满足V1≤V2≤…≤Vm≤V1+1。图G的均匀色数阈值Xeq* 关键词：平面图；均匀染色；权转移 Equitable coloring of planar graphs with girth at least 7 Xinjie Wang Abstract Given a graph G=(V,E), a proper vertex coloring of G is a coloring of vertices of G such that the colors of the two adjacent vertices are different. An equitable vertex coloring of G is a proper vertex coloring such that the sizes of color classes differ by at most one. If G is m-equitable coloring, then there is a mapping f:VG→{1,2,…,m} such that f(u)≠f(v) if uv∈E(G), and V1≤V2≤…≤Vm≤V1+1. The equitable chromatic threshold Xeq*(G) of G is the smallest integer m such that G Keywords: planar graphs; equitable coloring; discharging 一、引言 图论是数学领域中实用价值很高的学科之一，起源于哥尼斯堡七桥问题，而图的染色问题作为图论的一个重要分支，最早可以追溯到1852年四色猜想问题的提出。关于这个猜想的正确性，许多图论专家都进行了探索，但都没有找到一种较好的证明方法。后来美国数学家Appel和Haken利用计算机经过长时间的运算解决了这一问题，证明出了四色猜想的正确性，但是这种方法显然是十分耗时的，因此，科学家们对利用经典方法证明四色定理的研究仍在继续，在这个研究过程中，许多数学理论也随之诞生。设G=(V,E)，图的一个正常m-点染色是指一个映射f:VG→{1,2,…,m}，使得当uv∈E(G)时f(u)≠f(v) （一）基本概念与符号 我们通常用一个有序对G=(V(G),E(G))来表示图，其中V(G)是由图G中的顶点组成的集合，E(G)是由图G中的边组成的集合，用|VG|表示图G的顶点数，用|EG|表示图G的边数。如果点u,v∈V(G)，且边uv∈E(G)，那么点u和点v是边uv的端点，并且称点u和点v相邻，点 设点x∈V(G)，与x相关联的边的条数称为x的度数，记为d(x)。如果dx=k，则称x为一个k-点，如果dx≥k(dx≤k)，则称x为一个k+-点(k--点)。通常用δ(G)表示图G的最小度，用?(G)表示图G的最大度。图G中的一条k-线是指一个有限非空序列P=v0v1v2…vkvk+1，vi(1≤i≤k)均为2-点，v0与vk+1为3+-点，使得当0≤i≤k时，vi与vi+1相邻，v0与vk+1称为这条线的端点。设v是G中一条线的端点，u为这条线上的另一个点，如果在这条线中，u和v之间的距离为l+1，则称u和v是松l-相邻的。图G中的一条途径是指一个有限非空序列W=v0e1v （二）图的均匀染色问题的研究现状 设图G=(V,E)，图G是k-可染的是指存在一个映射f:VG→{1,2,…,k}，使得当uv∈E(G)时f(u)≠f(v)。图G是k-均匀可染的是指存在一个映射f:VG→{1,2,…,k}，使得当uv∈E(G)时f(u)≠f(v)，并且V1≤V2≤…≤Vk≤V1+1。图G的色数X(G)是指一个最小的整数k，使