一个无向连通图的生成树是图的极小的连通子图。