回溯法

1.首先要定义好解空间,即选择一种数学方法来描述问题的解以及解的所有可能的情况。
  因为在编程中解还是要用数据结构来表示。
  解空间是一个集合，每一个元素表示一个可能的解(不一定正确)，对于0-1背包问题，其解空间为长度n的0-1vector组成，即所有可能的0-1排列的集合，当n为3时，解空间的cardinal为2^3=8.
2.然后将解空间中的元素组合成树或者图的形式。

解空间树和解空间的关系：注意，解空间树的节点不是解，即不是解空间的元素，节点只是表示解决问题的中间状态。从根到叶子的路径才表示一个解,解空间树上的节点没有实际意义，也不会有实际的存储结构来存储，而只是一种问题求解的状态，如果硬要说啥意义，就是反映进程的stack里procedure的堆积情况。

例如：对于n=3的0-1背包问题，可以用以个完全二叉树（第i个物品装入则选择左边支路，否则即不装入选择右边支路）来表示其解空间，树的node的名字可以任意取。因此走到叶子节点即完成了一次01排列，即一个解的candidate.


图的遍历过程中生成树和解空间树的区别：与图的遍历相同的地方在于 dfs的过程会形成树，遍历图生成的树称为生成树，每个树的节点表示图的顶点，而回溯过程中产生的树称为解空间树，树的节点表示问题的一种状态(例如问题解决到了哪一步)节点表示问题的解决程度或者状态，给定一个解决问题的步骤，走完所有层次的状态也即解决程度递增就得到一个问题的解。



解空间树的分类：子集树和排列树
子集树：0-1背包这样从集合里选取满足条件的元素
排列树：旅行售货员问题这样选择对某个array的正确排序

3. 递归过程中应该采用对称的操作，例如
currentnum++;
backtrack(i,firstChild);
currentnum--;// 到这一步说明firstchild对应的节点已经回溯上来了，因此应该回到初始状态即回滚currentnum再进入本层的另一中情况
backtrack(i,nextSibling);