摘要:
设d1,d2,…,dk为k个非负整数.若图G的顶点集V可划分成k个子集合V1,V2,…,Vk,使得对于任意的i∈{1,2,…,k),由V1导出的子图G[Vi]的最大度至多为di,则称图G是(d1,d2,,…,dk)-可染的.1976年,Steinberg猜想:不含4-圈和5-圈的平面图是(0,0,0)-可染的.在Steinberg猜想的驱动下,人们证明了以下三个结论:(1)对每一个i∈{5,6,7,8,9),不含4-圈和i-圈的平面图是列表(1,1,1)-可染的;(2)对每一个i∈{5,6,7,8,9),不含4-圈和i-圈的平面图是(1,1,0)-可染的;(3)对每一个i∈{5,6,7,8),不含4-圈和i-圈的平面图是(2,0,0)-可染的.为使结论(3)更加完整,本文证明不含4-圈和9-圈的平面图是(2,0,0)-可染的.