使用递归DFS实现无向图环检测时返回语句不生效问题求解

1. 递归返回值完全未向上传递 #

核心bug：你代码中触发递归调用的部分没有接收、判断子调用的返回结果：

# 原代码递归逻辑片段
for vertex in G[current_vertex]:
    if vertex not in visited:
        # 调用后没有接住返回值，就算子层找到环返回True，当前层直接丢弃
        wrapped_dfs_recursive(G, current_vertex=vertex, parent=current_vertex, visited=visited)

哪怕递归最深处已经检测到环、打印了提示并返回True，当前函数层会直接忽略这个返回值，继续执行后续逻辑，最终走到函数末尾的return False，把所有子层的检测结果覆盖为假。

2. 检测到环后没有全局终止机制 #

因为上述返回值传递缺失，整个DFS流程不会因为找到环就停止，所有还在遍历邻居的递归分支都会继续执行环检测逻辑。这就是你看到两次打印"Found cycle"的直接原因——上层递归流程没有被终止，会继续遍历所有邻接顶点，多次命中同一个环的检测条件，直到所有遍历流程走完才会终止。

3. 现有遍历逻辑的顺序缺陷 #

你把环检测的循环放在了visited.append(current_vertex)之前，不符合无向图DFS环检测的标准流程，容易导致遍历路径混乱、重复命中检测条件。同时代码没有对visited参数做初始化，一旦调用时没有手动传入列表，就会触发访问错误。

1. 递归调用时必须判断返回值，只要子层返回True，就立刻向上层传递True，终止后续遍历
2. 调整遍历顺序：先将当前节点标记为已访问，再遍历所有邻接节点做环检测
3. 补充visited参数的初始化逻辑，避免可变默认参数的经典问题

from typing import Dict, List

def wrapped_dfs_recursive(G: Dict[int, List[int]], current_vertex: int, parent: int, visited: List[int] = None):
    # 初始化已访问列表
    if visited is None:
        visited = []
    
    # 先标记当前节点为已访问
    visited.append(current_vertex)

    for neighbour in G[current_vertex]:
        # 未访问过的邻居，递归深入检测
        if neighbour not in visited:
            if wrapped_dfs_recursive(G, current_vertex=neighbour, parent=current_vertex, visited=visited):
                # 子层检测到环，立刻向上传递True，终止遍历
                return True
        # 已访问的邻居且不是父节点，说明找到环
        elif neighbour != parent:
            print("Found cycle")
            return True
    # 所有邻居遍历完都没找到环，返回False
    return False

修正后的代码在检测到环后会立刻沿着递归栈把True逐层返回，不会触发重复打印，最终也能正确返回检测结果。

内容的提问来源于stack exchange，提问作者SzyM0