回溯法是很重要的一种算法,在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));
		}
	}
}