一棵无向连通图的生成树是其极大的连通子图
出自:计算机科学