C++ dfs 的状态表示（五十一）【第十一篇】

今天我们接着学习dfs（状态表示）。

1.抽象形式的dfs

前面用到的 DFS 算法都是比较容易想象出搜索过程的，接下来我们看一些不那么容易想象搜索过程的 DFS 过程，这些问题我们称为抽象形式的 DFS。

来回顾一下上节课遇到的一个问题：

给定 
n 个整数，要求选出 K 个数，使得选出来的 K 个数的和为 sum。

我们依然借助 DFS 来解决这个问题。对于每一个数，枚举选或者不选两种情况，我们可以用 DFS 思想来完成这样的枚举过程。

我们在搜索的过程中，用 
S 来记录当前选择的数值总和，
k 来记录选择的数的个数，deep 表示当前正在枚举第几个数是否选择。

在第一层 DFS 的时候，我们可以枚举是否选第一个数，如果选第一个数则让 
S 加上第一个数且 
k 加一，DFS 进入到下一层；否则 DFS 直接进入到下一层。当然，这里我们还需要借助全局变量、参数或修改数组中元素的值等方式来标识出当前的层数，为了减少篇幅，在下文中就直接忽略掉了。

在第二层，对第二个数做同样的处理，DFS 的过程中记录已经选取的数的个数，如果已经选取了 k 个数，判断 
S 值是否等于sum。对于每一层，我们都有两个选择——选和不选。不同的选择，都会使得搜索进入完全不同的分支继续搜索。

下图是这个搜索过程对应的 搜索树，搜索树上的每一个结点都是一个 状态，一个状态包含两个值 S 和 k也就是一个状态对应当前的数值总和，以及选的数的个数。