回溯法是很重要的一种算法,在it企业笔试中经常会遇到。事实上,在各种编程题中,大家或多或少都会接触到这些题目,但是很多人没有对这类题目有个系统性的总结。接下来就对回溯法进行详尽,通俗易懂的分析。
回溯法有通用解法的美称,对于很多问题,如迷宫等都有很好的效果。回溯算法实际上一个类似枚举的深度优先搜索尝试过程,主要是在搜索尝试过程中寻找问题的解,当发现已不满足求解条件时,就“回溯”返回(也就是递归返回),尝试别的路径。许多复杂的,规模较大的问题都可以使用回溯法,有“通用解题方法”的美称。回溯法说白了就是穷举法。回溯法一般用递归来解决。
回溯法一般都用在要给出多个可以实现最终条件的解的最终形式。回溯法要求对解要添加一些约束条件。总的来说,如果要解决一个回溯法的问题,通常要确定三个元素:
1、选择。对于每个特定的解,肯定是由一步步构建而来的,而每一步怎么构建,肯定都是有限个选择,要怎么选择,这个要知道;同时,在编程时候要定下,优先或合法的每一步选择的顺序,一般是通过多个if或者for循环来排列。
2、条件。对于每个特定的解的某一步,他必然要符合某个解要求符合的条件,如果不符合条件,就要回溯,其实回溯也就是递归调用的返回。
3、结束。当到达一个特定结束条件时候,就认为这个一步步构建的解是符合要求的解了。把解存下来或者打印出来。对于这一步来说,有时候也可以另外写一个issolution函数来进行判断。注意,当到达第三步后,有时候还需要构建一个数据结构,把符合要求的解存起来,便于当得到所有解后,把解空间输出来。这个数据结构必须是全局的,作为参数之一传递给递归函数。
对于回溯法来说,每次递归调用,很重要的一点是把每次递归的不同信息传递给递归调用的函数。而这里最重要的要传递给递归调用函数的信息,就是把上一步做过的某些事情的这个选择排除,避免重复和无限递归。另外还有一个信息必须传递给递归函数,就是进行了每一步选择后,暂时还没构成完整的解,这个时候前面所有选择的汇总也要传递进去。而且一般情况下,都是能从传递给递归函数的参数处,得到结束条件的。
递归函数的参数的选择,要遵循四个原则:
1、必须要有一个临时变量(可以就直接传递一个字面量或者常量进去)传递不完整的解,因为每一步选择后,暂时还没构成完整的解,这个时候这个选择的不完整解,也要想办法传递给递归函数。也就是,把每次递归的不同情况传递给递归调用的函数。
2、可以有一个全局变量,用来存储完整的每个解,一般是个集合容器(也不一定要有这样一个变量,因为每次符合结束条件,不完整解就是完整解了,直接打印即可)。
3、最重要的一点,一定要在参数设计中,可以得到结束条件。一个选择是可以传递一个量n,也许是数组的长度,也许是数量,等等。
4、要保证递归函数返回后,状态可以恢复到递归前,以此达到真正回溯。
结合几个例题来分析。
一、给出n对括号,求括号排列的所有可能性。
这是一个很经典的回溯法问题,代码如下,结合代码,对上面总结出的特点进行分析。
public class BackTracking {
public static void main(String[] args) {
int n=3;
int leftnum=n,rightnum=n;//左括号和右括号都各有n个
ArrayList<String> results=new ArrayList<String>();//用于存放解空间
parentheses("", results, leftnum, rightnum);
for(String s:results)
System.out.println(s);
}
public static void parentheses(String sublist, ArrayList<String> results, int leftnum, int rightnum){
if(leftnum==0&&rightnum==0)//结束
results.add(sublist);
if(rightnum>leftnum)//选择和条件。对于不同的if顺序,输出的结果顺序是不一样的,但是构成一样的解空间
parentheses(sublist+")", results, leftnum, rightnum-1);
if(leftnum>0)
parentheses(sublist+"(", results, leftnum-1, rightnum);
}
}
输出如下:
()()()
()(())
(())()
(()())
((()))
对于回溯法来说,必须齐备的三要素:
1、选择。在这个例子中,解就是一个合法的括号组合形式,而选择无非是放入左括号,还是放入右括号;
2、条件。在这个例子中,选择是放入左括号,还是放入右括号,是有条件约束的,不是随便放的。而这个约束就是括号的数量。只有剩下的右括号比左括号多,才能放右括号。只有左括号数量大于0才能放入左括号。这里if的顺序会影响输出的顺序,但是不影响最终解;
3、结束。这里的结束条件很显然就是,左右括号都放完了。
回溯法中,参数的设计是一大难点,也是很重要的地方。而递归参数的设计要注意的四个点:
1、用了一个空字符串来作为临时变量存储不完整解;
2、用了一个ArrayList<String> results来存放符合要求的解。在后面可以看到,不一定要这样做,也可以直接打印结果;
3、把leftnum和rightnum传入给递归函数,这样可以用于判断结束条件;
4、这个例子不明显。但是事实上也符合这个条件。可以仔细观察代码,可以发现由于使用了两个if,所以当一次递归退出后,例如从第一个if退出,第二个递归直接递归的是leftnum-1和rightnum,这其实是已经恢复状态了(如果没有恢复状态,那就是leftnum, rightnum-1)。因此不需要人为让他恢复状态。但是恢复状态这点是很重要的,因为回溯法,顾名思义要回溯,不恢复状态,怎么回溯呢。
if(rightnum>leftnum)//选择和条件。对于不同的if顺序,输出的结果顺序是不一样的,但是构成一样的解空间
parentheses(sublist+")", results, leftnum, rightnum-1);
if(leftnum>0)
parentheses(sublist+"(", results, leftnum-1, rightnum);
从后面的例子可以看出,对于一些题,是必须要恢复递归前状态的。
二、给出一个不重复大于0数字的数组和一个目标,求数组中数的组合的和得到该目标(数字不同组合顺序当做一个解)。
public class BackTracking {
public static void main(String[] args){
int[] num=new int[]{2,3,7,6};
int target=9;
find(num, target, "");
}
public static void find(int[] num, int target, String temp){
if(issolution(temp,target)){
System.out.println(temp);
return;
}
for(int i=0;i<num.length;i++){
if(num[i]!=-1){//如果取过这个数字了,就置为-1
int k=num[i];
num[i]=-1;
find(num, target, temp+k);
num[i]=k;
}
}
}
public static boolean issolution(String temp, int target){
boolean result=false;
int count=0;
for(int i=0;i<temp.length();i++){
count=count+Integer.valueOf(temp.charAt(i)+"");
}
if(count==target)
result=true;
return result;
}
}
这题不同的是,它在递归后,必须把数组恢复。这也是参数的特征的第四点所说的内容。
三、给一个字符串,给出他的所有排列
public class BackTracking {
public static void main(String[] args){
String s="abc";
pailie(s,"");
}
public static void pailie(String s, String temp){//参数设计地尽量地简洁
if(s.length()==0){
System.out.println(temp);
return;
}
for(int i=0;i<s.length();i++){
String news=s.substring(0, i)+s.substring(i+1,s.length());//去掉String中的某个字母
pailie(news, temp+s.charAt(i));
}
}
}