图中是否有环的判断

有向图判断方法：对图进行拓扑排序，如果能够拓扑排序那么就是无环，否则有环

无向图判断方式：递归依次删除度数为1的节点，如果最后仍然存在未删除的那么图中有环

具体的证明可以自己去试试看去