八皇后问题的深入剖析

问题描述

在 8×8 格的国际象棋上摆放八个皇后，使其不能互相攻击，即任意两个皇后都不能处于同一行、同一列或同一斜线上，问有多少种摆法？

问题分析

解决该问题的关键在于当我们放置一个皇后后,如何表示占领了当前行，当前列，当前斜线（正斜线，反斜线）。对于行,我们可以从第一行开始依次向后放置皇后,形成一个"天然"不会发生冲突的过程。对于列，我们可以设置一个状态数组stateCol[8]表示当前列是否被占领（0表示未占领，1表示占领）。对于斜线的占领就相对显得比较复杂了。首先我们看正斜线，对于每一正斜线，其行号减去列号的值相等（row - col），范围是 -7到7,一共用15中情况,我们可以设置一个状态数组stateZx[15]来表示当前正斜线是否被占领，需要注意的值，由于数组的下标没有负数，所以在占领某一正斜线是我们需要将其整体的值加7，即row-col+7.同理，对于反斜线，我们观察可得，每一反斜线的row+col的值相等，范围是0到17，一共15种状态，我们可以设置一个状态数组stateFx[15]来表示当前反斜线是否被占领。结合一下图示，对于以上分析的理解可能会相对更加容易。

代码

public class Main{

   static int[] stateCol = new int[8];  //记录列的状态
   static int[] stateZx = new int[15];  //记录正斜线状态
   static int[] stateFx = new int[15];  //记录反斜线的状态
   static int sumOfResult = 0;     //记录结果的个数
   
   public static void main(String[] args){
       eightQueens(0);
       System.out.println(sumOfResult);
   }

   //八皇后求解函数
   public static void eightQueens(int row){
      for(int col=0;col<8;col++){
         if(stateCol[col]!=1 && stateZx[row-col+7]!=1 && stateFx[row+col]!=1){
             //占领领地
             stateCol[col] = 1;
             stateZx[row-col+7] = 1;
             stateFx[row+col] = 1;
             //判断是否到达终点
             if(row<7){
                eightQueens(row+1);
             } else {
                sumOfResult++;
             }
             
             //回溯
             stateCol[col] = 0;
             stateZx[row-col+7] = 0;
             stateFx[row+col] = 0;
         }
      }
   }
}

代码分析

如果要求出问题的所有解，就必须对棋盘的所有位置进行试探，其时间复杂度为O(8^8)，当我们放置皇后时，实际上每次放置的操作都一样，故我们可以进行递归调用，递归的出口为 row> 7。由于要求出所有解，当找到一个解后,就必须回溯，取消占领状态，而后在for循环的引导下对下一列位置进行判断，对行row是否大于7进行判断，当for循环结束后，函数返回，又再次重复上述的过程。最后函数结束时必定是最先开始的for循环结束，即eightQueens(0)的col=8.结合以下图示将会对这个过程有更加清晰的认识。

以上即是对八皇后问题的简单分析。