八皇后问题,是一个古老而著名的问题,是回溯算法的典型案例。该问题是国际西洋棋棋手马克斯·贝瑟尔于1848年提出:在8×8格的国际象棋上摆放八个皇后,使其不能互相攻击,即任意两个皇后都不能处于同一行、同一列或同一斜线上,问有多少种摆法。 高斯认为有76种方案。1854年在柏林的象棋杂志上不同的作者发表了40种不同的解,后来有人用图论的方法解出92种结果。
最近在学习数据结构,老师讲解了8皇后问题的简单算法,学之前对于8皇后问题一脸懵逼,无从下手,学完发现也不过如此。
下面是8皇后问题的递归回溯算法
/**
* 八皇后问题,是一个古老而著名的问题,是回溯算法的典型案例。
* 该问题是国际西洋棋棋手马克斯·贝瑟尔于1848年提出:在8×8格的国际象棋上摆放八个皇后,
* 使其不能互相攻击,即任意两个皇后都不能处于同一行、同一列或同一斜线上,问有多少种摆法。
* 高斯认为有76种方案。1854年在柏林的象棋杂志上不同的作者发表了40种不同的解,
* 后来有人用图论的方法解出92种结果
* @author ts
*
*/
public class Queen8Demo {
//表示皇后最大个数
static int max = 8;
//创建一个以为数据表示地图,数组的索引表示第几行,数组的具体值表示第几列
//例如arr[0] = 1表示第0行第1列那个位置摆放了一个皇后
static int[] arr = new int[max];
//记录总共由多少种解法
static int count = 0;
public static void main(String[] args) {
putQueen(0);
System.out.printf("一共又%d种解法",count);
}
//打印数组
public static void print() {
count++;
for (int i = 0; i < arr.length; i++) {
System.out.print(arr[i] + " ");
}
System.out.println();
}
/**
* 当拜访第n个皇后时,分别判断与前面的摆放的皇后是否冲突
* @param n 表示当前摆放的是第几个皇后
*/
public static boolean juge(int n) {
for (int i = 0; i < n; i++) {
//当arr[i] == arr[n]成立时,说明摆放的皇后与前面已经摆放好的皇后位于同一列
//当Math.abs(i-n) == Math.abs(arr[i] - arr[n])成立时,说明摆放的皇后与前面已经摆放好的皇后位于同一斜线
if (arr[i] == arr[n] || Math.abs(i-n) == Math.abs(arr[i] - arr[n])) {
return false;
}
}
//当循环完毕即摆放的位置符合条件,返回true
return true;
}
/**
* 递归摆放皇后,找到8皇后所有解
* 核心思路:每次递归都会执行一次完整的for循环,这样就可以找到所有的解。
* 例如:假设第0行0列摆放第一个皇后,此时摆放第1行皇后于第0列即arr[1] = i = 0,与第一行皇后冲突,
* if(juge(n))为false,执行下一次for循环,arr[1] = i =1,又冲突,继续循环arr[1] = i = 2,
* 不冲突,if(juge(n))为true,进行递归。
* 当找出一种正确方案时,例如(0,4,7,5,2,6,1,3),执行if(n == max),打印结果输出并return结束,
* 回溯返回上一次递归调用,即原arr[6] = 1变为arr[6] = 2,再次重复之前的判断。
* 如此反复即可找到所有正确解
* @param n 摆放第几个皇后
*/
public static void putQueen(int n) {
//判断当前是否找到一种解决方案,找到就输出
if(n == max) { //当摆放的皇后与最大皇后数相等,即找到一种正确的解决方案
print();
return;
}
//循环从第一列开始摆放皇后
for (int i = 0; i < arr.length; i++) {
arr[n] = i;
//判断摆放位置是否与前面已经摆放好的冲突
if(juge(n)) {
//递归向下摆放
putQueen(n+1);
}
}
}
}
代码运行结果也符合92种解法的结论。随便取其中一种解法上实践模拟一下也是正确的
这里只是其中一部分解法,可以看到结果打印顺序是按照先第0列全部解再第1列全部解,以此类推
简单的递归回溯算法,如有不明白或者我说的有错的地方,欢迎评论区指出