是否有“官方”，甚至任何正确的 DFS 实施？

Question

在此question 中提供了 DFS 的伪代码：

DFS(source):
  s <- new stack
  visited <- {} // empty set
  s.push(source)
  while (s is not empty):
    current <- s.pop()
    if (current is in visited):
        continue
    visited.add(current)
    // do something with current
    for each node v such that (current,v) is an edge:
        s.push(v)

然而，它有一个非常明显的细节——同一个节点可以——而且经常会——被推入堆栈两次！！！！！！

               1
               | \
               |  2
               | /
               3

按 1

流行音乐 1

添加1到访问

按 2、3

流行音乐 2

添加 2 到访问

再次按 1 堆叠

...

...

当然，这不可能吧？？

Answer 1

你说得对，节点1 将再次被压入堆栈。不过这没关系：在下一遍基本会被忽略，因为已经被标记为“visited”了：

if (current is in visited):
    continue

或者，您只能将尚未访问的节点添加到堆栈中：

for each node v such that (current,v) is an edge:
    if (v is NOT in visited) s.push(v)

您不太可能在实际实现中添加此检查。但是代码是伪代码，并且通常以非常通用的形式编写，只要算法是正确的，为了紧凑和通用而省略了这种“优化”或“改进”。在这里，差异不会影响正确性：在这两种情况下，那部分都说

// do something with current

只会对每个节点执行一次。