连通图G的生成树是一个包含G的所有n个顶点和n-1条边的子图。