关于Mobius梯的细分图的亲切性

一个简单图G(V,E)被称为是亲切的(Corida)l,若存在映射f:V(G)→{0,1},使得导出映射f*(u,v)→|f(u)-f(v)|,满足:|vf(0)-vf(1)|≤1且|Ef(0)-Ef(1)|≤1。设G是简单图,在G的每相邻两顶点之间加入一个顶点后所得到的图称为G的细分图,文章证明了Mobius梯的细分图是亲切的。