如果包含n个顶点的连通图G的一个子图G'的边数大于n-1,则G'中一定有。
若连通图G的顶点个数为n,则G的生成树的边数为n-1。如果包含n个顶点的连通图G的一个子图G'的边数大于n-1,则G'中一定有环
。。