我正在连接一个函数来检查图是否包含循环。
它表示为每个节点连接到的所有节点索引的列表。节点从1枚举(任务要求)。
当检查图时,程序正确地进入第一个列出的节点,但是在第二次迭代中,假设[[2, 3], [], [4], []]是值3的adjlist[node-1]而不是数组(或者至少int
我错过了什么?
代码:

def is_acyclic(adjlist: List, visited: List, path: List) -> bool:
    '''
    :param adjlist: list representation of a graph; eg: [[2, 3], [], [4], []]
    :param visited: visited nodes
    :param path: visited nodes in current iteration
    :return: the graph does not contain a cycle
    '''

    for node in range(1, len(adjlist)+1):
        if node not in visited:
            visited.append(node)
            path.append(node)

            for child in adjlist[node-1]:
                if child in path:
                        return False
                elif child not in visited:
                    if is_acyclic(adjlist[node-1], visited, path) is False:
                        return False

            path.remove(node)
            return True

最佳答案

这是因为函数是递归调用的。代码的这一部分一直在修剪图形邻接列表:

        elif child not in visited:
            if is_acyclic(adjlist[node-1], visited, path, level=level + 1) is False:
                return False

第一次相邻列表是:
[[2, 3], [], [4], []]

adjlist[node-1]就是[2, 3]
第二次环绕邻接列表是:
[2, 3]

adjlist[node-1]就是3
因为2已经在访问中,所以节点实际上会增加到2。因此,您可以看到:
 adjlist[node-1] == adjlist[2-1] == adjlist[1] == 3

10-04 22:23