对于给定的无向图G=（V，E），设计具有判断图是否存在环功能的深度优先算法。