消圈数与图的嵌入

摘要

设▽(G)表示最少的点数,这些点去掉后图中无圈(即森林).称这个数▽(G)为图G的消圈数.通常,确定图的消圈数是NP完全的.Bau和Beineke曾提出以下问题:哪些阶数为n的3正则图G的消圈数满足▽(G)=[n+2/4]?本文回答了这个问题:阶数为n的3正则图G的消圈数满足▽(G)=[n+2/4]当且仅当G是上嵌入的(即以最多两个面嵌入在可定向曲面上).其次,对于一般3正则图,得出其消圈数的计算公式为▽(G)=γM(G)+ξ(G),这里γM(G)表示图的最大亏格,ξ(G)表示图G的Betti亏数.由此可知,3正则图的最大亏格的计算的多项式算法是存在的,所以3正则图的消圈数的计算也是多项式可解的.