图的子图序列和图的子林分解

在文献[1]里,Michael.O.Albertson和David Berman对任意图G定义了一个函数f(G): 他们猜想当G是平面图时,f(G)的下界至少是1/2。如果这个猜想成立,则可以利用这结果,而不用四色定理来解决Erds-Vising问题.(在文献[2],251页,问题36).同时他们提出了对于其它类型图G,f(G)的下界问题.本文首先引进了子图序列概念,并用它作为工具来估计f(G)的下界.主要给出了在亏格大于零的定向曲面上图G的f(G)下确界。