BASIC-27 / Tsinsen 1085 2n皇后问题（java）

问题描述

　　给定一个n*n的棋盘，棋盘中有一些位置不能放皇后。现在要向棋盘中放入n个黑皇后和n个白皇后，使任意的两个黑皇后都不在同一行、同一列或同一条对角线上，任意的两个白皇后都不在同一行、同一列或同一条对角线上。问总共有多少种放法？n小于等于8。

输入格式

　　输入的第一行为一个整数n，表示棋盘的大小。
　　接下来n行，每行n个0或1的整数，如果一个整数为1，表示对应的位置可以放皇后，如果一个整数为0，表示对应的位置不可以放皇后。

输出格式

　　输出一个整数，表示总共有多少种放法。

样例输入

4
1 1 1 1
1 1 1 1
1 1 1 1
1 1 1 1

样例输出

2

样例输入

4
1 0 1 1
1 1 1 1
1 1 1 1
1 1 1 1

样例输出

0

题目分析：八皇后问题扩展，搜索，递归，回溯

算法分析：

 1、基本解题思路是递归回溯。一个白皇后和一个黑皇后看成是一组，给一个白皇后找到位置后，立刻给对应的黑皇后找位置，一组皇后中任何一个找不到位置就回溯。
    2、有了基本的解题思路，接下来要考虑的问题就是判断矩阵中 (i,j) 位置能否放皇后：我们利用两个一维数组 white 和 black 来记录第 i 个白皇后所在的位置 ( i , white[i] ) 和第 i 个黑皇后所在的位置 ( i , black[i] ) ，这样自然而然的就消除了行冲突；列冲突可以通过 white[i] ( black[i] ) 和列标j比较判定。

    此外，关于对角线的判定，有这么一个规律，假设两个位置 (a,b) (c,d)，如果它们在某一对角线上，它们将会满足abs(a-c) = abs(b-d)，利用这点也可以轻而易举的解决对角线冲突。

算法设计：

import java.util.*;

public class Main {
	public static int n;// 皇后的组数(一白一黑为一组)
	public static int[] white;// white[i]: 表示第i个白皇后在第i行第white[i]列
	public static int[] black;// black[i]: 表示第i个黑皇后在第i行第black[i]列
	public static int[][] arr;
	public static int result = 0;

	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		n = sc.nextInt();
		white = new int[n];
		black = new int[n];
		arr = new int[n][n];
		for (int i = 0; i < n; i++) {
			for (int j = 0; j < n; j++) {
				arr[i][j] = sc.nextInt();
			}
		}
		sc.close();
		
		dfs(0);
		System.out.println(result);
		//result = 0;
	}

	private static void dfs(int i) {
		if (i > n - 1) {
			result++;
			return;
		}

		int x;// 处理第i个白皇后
		for (x = 0; x < n; x++) {
			if (checkWhite(i, x)) {
				white[i] = x;
				arr[i][x] = 0;

				int y;// 处理第i个黑皇后(第i个白皇后有位置放时，才考虑第i个黑皇后)
				for (y = 0; y < n; y++) {
					if (checkBlack(i, y)) {
						black[i] = y;
						arr[i][y] = 0;

						dfs(i + 1);// 递归
                        //一组皇后中任何一个找不到位置就回溯
						arr[i][y] = 1;// 回溯
					}
				}
				arr[i][x] = 1;// 回溯
			}
		}
	}

	private static boolean checkWhite(int i, int x) {
		if (arr[i][x] == 0) {
			return false;
		}

		for (int k = 0; k < i; k++) {
			if (x == white[k] || Math.abs(i - k) == Math.abs(x - white[k])) {
				return false;
                //假设两个位置 (a,b) (c,d)，如果它们在某一对角线上，它们将会满足abs(a-c) = abs(b-d)
			}
		}
		return true;
	}

	private static boolean checkBlack(int i, int y) {
		if (arr[i][y] == 0) {
			return false;
		}
		for (int k = 0; k < i; k++) {
			if (y == black[k] || Math.abs(i - k) == Math.abs(y - black[k])) {
				return false;
                //假设两个位置 (a,b) (c,d)，如果它们在某一对角线上，它们将会满足abs(a-c) = abs(b-d)
			}
		}
		return true;
	}
}