设G，H为简单图，称G为H-free图，如果G不含与H同构的导出子图。L.Gargano等证明了：如果G为K1，3-free图，并且σk+3(G)≥n-k-2，那么G含至多有......