不含4-圈和9-圈的平面图是(2,0,0)-可染的

设d_1,d_2,...d_k为尼个非负整数.若图G的顶点集V可划分成k个子集合V_1,V_2…,V_k,使得对于任意的i∈{1,2,...,k},由V_i导出的子图G[V_i]的最大度至多为d_i,则称图G是(d_1,d_2,...,d_k)-可染的.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)-可染的.