深度优先搜索

概述

深度优先搜索，英文缩写为 DFS 即 Depth First Search，属于图算法的一种。其过程简要来说是对每一个可能的分支路径深入到不能再深入为止，而且每个节点只能访问一次。

举例

下图是一个无向图，如果我们从 A 点发起深度优先搜索，访问次序不是唯一的。则我们可能得到如下的一个访问过程：A -> B -> E（没路了，回溯到 A）-> C -> F -> H -> G -> D（没路了，回溯到 A，A 也没有未访问的相邻节点，本次搜索结束）。

特点

1、每次深度优先搜索的结果必然是图的一个连通分量。

2、深度优先搜索可以从多点发起。

3、如果将每个节点在深度优先搜索过程中的“结束时间”排序，则我们可以得到所谓的“拓扑排序”（topological sort）。

DFS 思路

深度优先遍历图的方法是，从图中某顶点 v 出发：

（1）访问顶点 v；

（2）依次从 v 的未被访问的邻接点出发，对图进行深度优先搜索；直至图中和v有路径相通的顶点都被访问；

（3）若此时图中尚有顶点未被访问，则从一个未被访问的顶点出发，重新进行深度优先搜索，直到图中所有顶点均被访问过为止。

DFS 实现

DFS 的实现一般有两种方法：递归法 DFS 和栈实现 DFS。相对来说递归法 DFS 比较常见，因为代码相对简单。

递归 DFS 基本模板

int check(参数) {
    if(满足条件) {
        return 1;
    } else {
        return 0;
    }
}
 
void dfs(int step) {
    判断边界 {
        相应操作
    }
    尝试每一种可能 {
        满足check条件
        标记状态
        继续下一步dfs(step+1)
        恢复初始状态（回溯的时候要用到）
    }
}

栈实现 DFS

使用堆栈来模拟递归。下面是栈实现 DFS 的伪代码。

问题举例

下面我们使用 DFS 最简单的问题，也就是全排列问题为例。

问题描述

输入一个整数 N，找到 1~N 的全排列。如输出 1~3 的全排列：(1,2,3)、(1,3,2)、(2,1,3)、(2,3,1)、(3,1,2)、(3,2,1)。

思路

1、N＝3，代表了有 1、2、3 个空位置和写有 A、B、C 的三张卡片，我们需要将卡片放到空位置上，并且每个位置只能放一张卡片，现在我们需要找出这3张卡片的所有不同摆放方法。

2、如在位置 1 的时候，我们手里有 A、B、C 三张卡片，需要考虑应该先放哪张卡片。但是既然是要找到所有的可能，所以可能性是 C(1,3)，3 种可能。我们可以约定一个先后顺序 A -> B -> C。

3、根据约定顺序可以放置卡片了，可以得到：A 放在 1 位置；B 放在 2 位置；C 放在 3 位置，这样就可以得到第一种全排列，即 (A, B, C)。现在我们实际上已经走到了一个并不存在的位置 4，但是我们排列并没有结束。

4、现在我们需要立即回到位置 3，取回卡片 C，然后尝试是否还能尝试放入其它卡片（当然是按照第一步我们的约定A->B->C顺序），结果显然是我们手里并没有其它可以放入的卡片。

5、我们需要继续回退一步来到位置 2，取出卡片 B，然后继续尝试是否能尝试放入其它卡片。这时我们发现可以放入卡片 C，即将 C 放在 2 位置。再将 B 放在 3 位置。这样就可以得到另外一种全排列，即 (A, C, B)。

6、重复上述的步骤，知道得到所有的全排列。

递归 DFS C++ 实现代码

#include <bits/stdc++.h>

using namespace std;

const int MAXN = 1e5+2;

int n;
int a[MAXN];//排列
bool mark[MAXN];//标记

void dfs(int step) {
    if (step==n) {
        //一个全排列完成
        for (int i=0; i<n; i++) {
            cout << a[i] << " ";
        }
        cout << endl;
        return;
    }

    for (int i=0; i<n; i++) {
        if (false==mark[i]) {    //该位置没有使用
            a[step] = i+1;
            mark[i] = true;
            dfs(step+1);
            mark[i] = false;
        }
    }
}

int main() {
    cin >> n;
    dfs(0);
    return 0;
}

代码说明

使用递归实现 DFS 的核心在于以下几个部分，伪代码类似为：

标记当前状态
递归调用DFS，注意步数加一
恢复当前状态

实际代码如下：

            mark[i] = true;
            dfs(step+1);
            mark[i] = false;