JAVA数据结构：递归（八皇后问题）

递归：八皇后问题(回溯算法)

八皇后问题介绍

八皇后问题，是一个古老而著名的问题，是回溯算法的典型案例。该问题是国际西洋棋棋手马克斯·贝瑟尔于1848年提出：在8×8格的国际象棋上摆放八个皇后，使其不能互相攻击，即：任意两个皇后都不能处于同一行、同一列或同一斜线上，问有多少种摆法（92种）。

八皇后问题算法思路分析

1. 第一个皇后先放第一行第一列
2. 第二个皇后放在第二行第一列，然后判断是否OK
   1. 如果不OK，继续放在第二列、第三列、依次把所有列都放完
   2. 找到一个合适
3. 继续第三个皇后，还是第一列、第二列……直到第8个皇后也能放在一个不冲突的位置，算是找到了一个正确解
4. 当得到一个正确解时，在栈回退到上一个栈时，就会开始回溯，即将第一个皇后，放到第一列的所有正确解，全部得到.
5. 然后回头继续第一个皇后放第二列，后面继续循环执行 1,2,3,4的步骤

代码实现

理论上应该创建一个二维数组来表示棋盘，但是实际上可以通过算法，用一个一维数组即可解决问题.

• arr[8] = {0 , 4, 7, 5, 2, 6, 1, 3}
• arr 下标表示第几行，即第几个皇后：arr[i] = val , val 表示第i+1个皇后，放在第i+1行的第val+1列

判断位置是否冲突

• 判断是否同列：array[i] == array[n]，表示判断第n个皇后是否和前面的n-1个皇后在同一列
• 判断是否同斜线：Math.abs(n - i) == Math.abs(array[n] - array[i]),表示判断第n个皇后是否和第i个皇后是否在同一斜线。即列距等于行距，则在同一直线上。
• 判断是否同行：因为所选数据表达方式，n在递增，不必判断。

/**
     * 查看当我们放置第n个皇后时，就去检测该皇后是否和前面已经摆放的皇后冲突
     *
     * @param n 表示第n个皇后
     * @return
     */
    private boolean judge(int n) {
        //记录判断的次数
        judgeCount++;
        for (int i = 0; i < n; i++) {
            /*
            1. array[i] == array[n]，表示判断第n个皇后是否和前面的n-1个皇后在同一列
            2.Math.abs(n - i) == Math.abs(array[n] - array[i]),表示判断第n个皇后是否和第i个皇后是否在同一斜线
             */
            if (array[i] == array[n] || Math.abs(n - i) == Math.abs(array[n] - array[i])) {
                return false;
            }
        }
        return true;
    }

放置皇后的位置

1. 首先判断n == max来确定退出语句
2. 将第n皇后依次放到第n行的各列，判断当前的位置是否与前面 n-1个皇后的位置冲突：judge(n)
3. 接着放第n+1个皇后的位置check(n+1)
4. 直到n == max，退出。

 /**
     * 放置第n个皇后,并且判断是否冲突
     * check 是每一次递归时，都会有for(int i =0;i< max ; i++)，因此会有回溯
     *
     * @param n
     */
    private void check(int n) {
        if (n == max) {
            //n=8，则八个皇后都放置好了，则打印当前的解法
            print();
            return;
        }
        //依次放入皇后，判断是否冲突
        for (int i = 0; i < max; i++) {
            //先把当前这个皇后放在该行的第i列
            array[n] = i;
            //判断当放置第n个皇后到i列时，检测前n-1个皇后是否与当前的位置冲突
            if (judge(n)) {
                //说明不冲突，接着放第n+1个
                check(n + 1);
            }
            //如果冲突，则继续执行array[n]=i;
            //即将第n个皇后放置在本行的后移的一个位置。
        }

    }

打印皇后的位置

/**
     * 打印皇后摆放位置
     *
     * @return void
     */
    private void print() {
        count++;
        for (int i = 0; i < array.length; i++) {
            System.out.print(array[i] + " ");
        }
        System.out.println();
    }

完整代码

• 定义一些公共的变量

/**
 * Copyright (C), 2020-2020, 人生无限公司
 * FileName: EightQueens
 * Description: 八皇后问题
 *
 * @create: 2020/9/8 8:44
 * @author Reanon
 * @version JDK 1.8.0_251
 */
package recursion;

public class EightQueens {
    /**
     * 定义一个max,表示共有多少个皇后
     */
    int max = 8;
    /**
     * 定义数组array,保存皇后放置的位置，比如arr={0 , 4, 7, 5, 2, 6, 1, 3}
     */
    int[] array = new int[max];
    /**
     * 记录总共的解法数
     */
    static int count = 0;
    /**
     * 记录执行的判断次数
     */
    static int judgeCount = 0;


    public static void main(String[] args) {
        //测试
        EightQueens eightQueens = new EightQueens();
        //从摆放第一个皇后开始，直到最后一个皇后结束
        eightQueens.check(0);
        System.out.printf("一共有%d解法\n", count);
        System.out.printf("一共判断冲突%d次", judgeCount);
    }

    /**
     * 放置第n个皇后,并且判断是否冲突
     * check 是每一次递归时，都会有for(int i =0;i< max ; i++)，因此会有回溯
     *
     * @param n
     */
    private void check(int n) {
        if (n == max) {
            //n=8，则八个皇后都放置好了，则打印当前的解法
            print();
            return;
        }
        //依次放入皇后，判断是否冲突
        for (int i = 0; i < max; i++) {
            //先把当前这个皇后放在该行的第i列
            array[n] = i;
            //判断当放置第n个皇后到i列时，检测前n-1个皇后是否与当前的位置冲突
            if (judge(n)) {
                //说明不冲突，接着放第n+1个
                check(n + 1);
            }
            //如果冲突，则继续执行array[n]=i;
            //即将第n个皇后放置在本行的后移的一个位置。
        }

    }

    /**
     * 查看当我们放置第n个皇后时，就去检测该皇后是否和前面已经摆放的皇后冲突
     *
     * @param n 表示第n个皇后
     * @return
     */
    private boolean judge(int n) {
        //记录判断的次数
        judgeCount++;
        for (int i = 0; i < n; i++) {
            /*
            1. array[i] == array[n]，表示判断第n个皇后是否和前面的n-1个皇后在同一列
            2.Math.abs(n - i) == Math.abs(array[n] - array[i]),表示判断第n个皇后是否和第i个皇后是否在同一斜线
             */
            if (array[i] == array[n] || Math.abs(n - i) == Math.abs(array[n] - array[i])) {
                return false;
            }
        }
        return true;
    }

    /**
     * 打印皇后摆放位置
     *
     * @return void
     */
    private void print() {
        count++;
        for (int i = 0; i < array.length; i++) {
            System.out.print(array[i] + " ");
        }
        System.out.println();
    }
}

输出结果

0 4 7 5 2 6 1 3 
0 5 7 2 6 3 1 4 
0 6 3 5 7 1 4 2 
...
7 1 4 2 0 6 3 5 
7 2 0 5 1 4 6 3 
7 3 0 2 5 1 6 4 
一共有92解法
一共判断冲突15720次