设G是一个图，具有顶点集V（G）和边集E（G）．设g和f是定义在V（G）上的整数值函数且对每个x∈y（G）有g（x）≤f（x）．本文证明了如下的结果：若G是一个（mg＋kr，mf-kr......