Question

我正在做一些带递归的练习练习并遇到了nQueens问题here。

我不确定我是否误解了递归发生了什么，但我不明白这个代码（下面）是如何打印问题的多个解决方案。

例如，如果我使用4皇后解决方案运行该程序，则打印出来：

* Q * * 
* * * Q 
Q * * * 
* * Q * 

* * Q * 
Q * * * 
* * * Q 
* Q * *

我也正在踩着它，我仍然不太明白。

以下是我的想法：
1. isConsistent 正在检查逻辑/是否可以安全地将女王放入当前位置 2. printQueens 正在打印板 3. 枚举（int [] q，int n）递归地将皇后放在一个解决方案上 4.（我猜想）枚举（int N）是通过多个板解决方案枚举的内容，但它只被调用一次。所以，这不可能是正确的。所以，我的下一个想法是它只是一个调用递归枚举方法的方法。但是，这意味着一旦递归完成，找到第一块板的解决方案，就应该停止。所以，我回到原来的问题：

如何/在何处计算电路板的多个解决方案？

我知道这可能很容易，但即使使用调试器，我也无法抓住正在发生的事情。如果有人能解释它开始计算董事会的第二个解决方案，我会很感激。

/******************************************************************************
 *  Compilation:  javac Queens.java
 *  Execution:    java Queens N
 *  
 *  Solve the 8 queens problem using recursion and backtracing.
 *  Prints out all solutions.
 *
 *  Limitations: works for N <= 25, but slows down considerably
 *  for larger N.
 *
 *  Remark: this program implicitly enumerates all N^N possible
 *  placements (instead of N!), but the backtracing prunes off
 *  most of them, so it's not necessarily worth the extra
 *  complication of enumerating only permutations.
 *
 *
 *  % java Queens 3
 *
 *  % java Queens 4
 *  * Q * * 
 *  * * * Q 
 *  Q * * * 
 *  * * Q * 
 *
 *  * * Q * 
 *  Q * * * 
 *  * * * Q 
 *  * Q * * 
 *
 *  % java Queens 8
 *  Q * * * * * * * 
 *  * * * * Q * * * 
 *  * * * * * * * Q 
 *  * * * * * Q * * 
 *  * * Q * * * * * 
 *  * * * * * * Q * 
 *  * Q * * * * * * 
 *  * * * Q * * * * 
 *
 *  ...
 *
 ******************************************************************************/

public class Queens {

   /***************************************************************************
    * Return true if queen placement q[n] does not conflict with
    * other queens q[0] through q[n-1]
    ***************************************************************************/
    public static boolean isConsistent(int[] q, int n) {
        for (int i = 0; i < n; i++) {
            if (q[i] == q[n])             return false;   // same column
            if ((q[i] - q[n]) == (n - i)) return false;   // same major diagonal
            if ((q[n] - q[i]) == (n - i)) return false;   // same minor diagonal
        }
        return true;
    }

   /***************************************************************************
    * Print out N-by-N placement of queens from permutation q in ASCII.
    ***************************************************************************/
    public static void printQueens(int[] q) {
        int N = q.length;
        for (int i = 0; i < N; i++) {
            for (int j = 0; j < N; j++) {
                if (q[i] == j) StdOut.print("Q ");
                else           StdOut.print("* ");
            }
            StdOut.println();
        }  
        StdOut.println();
    }


   /***************************************************************************
    *  Try all permutations using backtracking
    ***************************************************************************/
    public static void enumerate(int N) {
        int[] a = new int[N];
        enumerate(a, 0);
    }

    public static void enumerate(int[] q, int n) {
        int N = q.length;
        if (n == N) printQueens(q);
        else {
            for (int i = 0; i < N; i++) {
                q[n] = i;
                if (isConsistent(q, n)) enumerate(q, n+1);
            }
        }
    }  


    public static void main(String[] args) {
        int N = Integer.parseInt(args[0]);
        enumerate(N);
    }

}

Answer 1

重要的部分是enumerate方法。它持有一个整数数组，表示每行的列索引。

例如：

* Q * * 
* * * Q 
Q * * * 
* * Q *

q将如下所示：

q[0] = 1
q[1] = 3
q[2] = 0
q[3] = 2

它确实是递归的，但不只是一个解决方案。它将使用回溯而不是重新计算所有内容。

例如对于N=4，代码将运行等效于以下内容：

public static void enumerate(int[] q, int n) {
    for(int a0=0;a0<4;a0++){
        q[0]=a0;
        if(isConsistent(q, 0)){
            for(int a1=0;a1<4;a1++){
                q[1]=a1;
                if(isConsistent(q, 1)){
                    for(int a2=0;a2<4;a2++){
                        q[2]=a2;
                        if(isConsistent(q, 2)){
                            for(int a3=0;a3<4;a3++){
                                q[3]=a3;
                                if(isConsistent(q, 3)){
                                    printQueens(q);
                                }
                            }
                        }
                    }
                }
            }
        }
    }
}

它将尽可能地覆盖整个解决方案空间。这意味着它将从没有进一步解决方案的时刻开始打破，但它将继续到可能进一步发展的地方。

isConsistent方法确实检查当前板是否仍然有效。（对角线/列，行在递归中隐含）

当您遇到第N行时，会打印出当前的电路板。因为你的电路板仍然有效，每行都有一个女王。

查看this simulation以了解算法的步骤。

Java NQueens递归和枚举逻辑解释

1 个答案: