基环树的定义

　　在一个有向图中，每一个点都有唯一的一个出边，那么这个图就是一棵基环树。

　　因为每个点都有一个出边，因此会一直指向下一个结点。又因为点数有限，因此不可能一直指下去，因此必然存在一个结点会指向之前已经存在过的结点（抽屉原理），所以就一定会形成一个环。又因为这个点只有一条出边，因此它不会再指向其他的结点，环上就会形成一个循环。当然基环树可能存在多个分支，因此基环树就是一个环上挂着一堆树。

　　如果是无向图的话，具有$n$个点$n$条边的连通图，一定是一棵基环树。

　　因为$n$个点$n-1$条边的图一定是一棵树，因此再加一条边必然会形成一个环。