论文部分内容阅读
称图G是非正常的(d1，d2,…，dk)-着色，或(d1，d2,…，dk)-着色，如果G中的点集可以被划分成k个子集V1，V2,…，Vk，使得Vi导出的子图G[Vi]中最大的度不超过di，1≤i≤k.令Ω表示所有不含相邻三角形和6圈的平面图的集合，1976年，Steinberg提出了著名的三色猜想:每个不含4圈和5圈的平面图是(0，0，0)-可着色的.根据此猜想，Borodin和Raspaud猜想每个不含相邻三角形和5圈的平面图是(0，0，0)-可着色的.本文在此基础上将证明每个不含相邻三角形和6圈的平面图是(3，1，0)-可着色的.