一. 简单概述
该方法首先暂时放弃关于问题规模大小的限制,并将问题的候选解按某种顺序逐一枚举和检验。当发现当前候选解不可能是解时,就选择下一个候选解;倘若当前候选键除了不满足问题规模要求外,满足所有其他要求,继续扩大当前候选解的规模,并继续试探。如果当前候选解满足包括问题规模在内的所有要求,该候选键就是问题的一个解。在回溯法中,放弃当前候选解,寻找下一个候选解的过程被称为回溯;扩大当前候选解的规模,以继续试探的过程称为向前试探,回溯法以深度优先的方式搜索解空间树。
二.例题(皇后问题)
n皇后问题:在n*n格的国际象棋上摆放n个皇后,使其不能互相攻击,即任意两个皇后都不能处于同一行、同一列或同一斜线上,问有多少种摆法。
/**
* 验证第k个皇后当前位置是否可行
*
* @param pos
* @param k
* @return true--可行 ; false--不可行
*/
public static boolean isPlace(int[] pos, int k) {
for (int i = 1; i < k; i++) {
if (pos[i] == pos[k] || (Math.abs(i - k) == Math.abs(pos[i] - pos[k]))) {
return false;
}
}
return true;
}
public static void main(String[] arg) {
//方案数
int count = 1;
//皇后个数
int n = 4;
//位置数组;pos[i]表示第i个皇后位置,默认全为0
int[] pos = new int[n + 1];
int i = 1;
//结束条件为回溯至第0个皇后
while (i > 0) {
//从1开始;回溯时加1
pos[i]++;
while (pos[i] <= n && !isPlace(pos, i)) {
pos[i]++;
}
//打印可行方案
if (pos[i] <= n && i == n) {
System.out.println("方案" + count++);
for (int j = 1; j < pos.length; j++) {
System.out.print(pos[j] + " ");
}
System.out.println("\r");
}
//下探或回溯
if (pos[i] <= n && i < n) {
i++;
} else {
pos[i] = 0;
i--;
}
}
}