一定相等。生成子图的顶点数和原图需要一定相等，但是边可以取原图中边的任意子集。生成子图（spanningsubgraph）是1993年公布的数学名词。