DFS

DFS

搜索的基本概念

• 搜索：搜索的本质也是一种枚举，是一种**“高级”**的枚举，搜索算法本身的特性决定了它的效率比直接的暴力枚举更高

• 深度优先搜索（DFS）：总是以“深度”为第一关键词，不碰到“死胡同”绝不回头，从而遍历所有情况地搜素算法，实现上一般采用递归实现，本质上依赖于栈来实现

• 回溯：当碰到“死胡同”， 无路可走时，返回上一个“岔路口”地过程称为回溯

• 剪枝：通过一些手段（如加入题目条件限制，记忆化等），从而减少搜索次数，优化时间复杂度的技巧称为剪枝

  回溯，剪枝往往与搜索有机结合，成为搜索算法不可或缺的部分，

DFS伪代码描述（模板）

int g[MAXN];  // 记录状态的数组，可能是多个或者多维的
int ans = 初始情况
void dfs(根据题意传入合适的搜索参数) {
  if (遍历完成) //这个if语句只是一个形式，实际程序中未必有if
      return;  // 或记录解，视情况而定
  if (到达目的地) //这个if语句只是一个形式，实际程序中未必有if
      ans = 从当前解与已有解中选最优;  // 或输出解，视情况而定
  for (遍历边界内的所有情况)
    if (解合法) {
      进行操作;
      dfs(继续下去);
      撤回操作;
      //这就是回溯，当到达“死胡同”时，for循环内的dfs调用无法进入for循环，无法递归，只能执行撤回语句，一直回溯到能走下去为止
    }
}

关键点

使用DFS时，务必明确以下几个问题

1.我要搜索的东西是什么，它是怎么得到的，要求解的问题是什么？

要搜索的东西，也就是我们要枚举的东西

要求解的问题，就是题目的问题，通过我们搜索到的东西得到

从而确定传入搜索的参数

例如在“八皇后”中，要搜索的东西是一个合法的棋盘布局，合法的棋盘布局通过合法地放置棋子得到，于是我们的DFS参数就是将要放置棋子的横坐标，要求解的问题是解的总个数，在“单词接龙”中，我们要搜索的东西是一条“龙”， 通过拼接单词得到，于是参数就是将要接上去的单词的编号（也可以是要接上去的单词本身，但是使用C++引用的话本质上和编号没有差异），要求解的问题是龙的最大长度。

2. 边界问题

什么时候到达边界？如何判断？

在“八皇后”问题中，所有行遍历完成即到达边界

经典例题

1. 洛谷P1219 [USACO1.5]八皇后 Checker Challenge

题目描述

一个如下的 $6\times 6$的跳棋棋盘，有六个棋子被放置在棋盘上，使得每行、每列有且只有一个，每条对角线（包括两条主对角线的所有平行线）上至多有一个棋子。

上面的布局可以用序列 $246135$来描述，第 $i$个数字表示在第 $i$行的相应位置有一个棋子，如：

行号 1 2 3 4 5 6

列号 2 4 6 1 3 5

这只是棋子放置的一个解。请编一个程序找出所有棋子放置的解。
并把它们以上面的序列方法输出，解按字典顺序排列。
请输出前 3 个解。最后一行是解的总个数。

输入格式

一行一个正整数