【洛谷】P1219 八皇后 题解

原题地址：https://www.luogu.org/problem/P1219

题目描述

检查一个如下的6 x 6的跳棋棋盘，有六个棋子被放置在棋盘上，使得每行、每列有且只有一个，每条对角线(包括两条主对角线的所有平行线)上至多有一个棋子。

上面的布局可以用序列2 4 6 1 3 5来描述，第i个数字表示在第i行的相应位置有一个棋子，如下：

行号 1 2 3 4 5 6

列号 2 4 6 1 3 5

这只是跳棋放置的一个解。请编一个程序找出所有跳棋放置的解。并把它们以上面的序列方法输出。解按字典顺序排列。请输出前3个解。最后一行是解的总个数。

//以下的话来自usaco官方，不代表洛谷观点

特别注意: 对于更大的N(棋盘大小N x N)你的程序应当改进得更有效。不要事先计算出所有解然后只输出(或是找到一个关于它的公式），这是作弊。如果你坚持作弊，那么你登陆USACO Training的帐号删除并且不能参加USACO的任何竞赛。我警告过你了！

输入输出格式

输入格式：

一个数字N (6 <= N <= 13) 表示棋盘是N x N大小的。

输出格式：

前三行为前三个解，每个解的两个数字之间用一个空格隔开。第四行只有一个数字，表示解的总数。

输入输出样例

输入样例#1：

6

输出样例#1：

2 4 6 1 3 5
3 6 2 5 1 4
4 1 5 2 6 3
4

说明

时空限制： 1000ms/128MB

题目翻译来自NOCOW。

USACO Training Section 1.5

思路：
1、八皇后，dfs经典题目。

2、因为左下–右上对角线上每个点的横纵坐标之和相等，并且对角线不同其和也不同，所以数组c[m+i]作为标记条件之一；因为左上–右下对角线上每个点的横纵坐标之差相等，但为了防止出现负数，要加上n，所以数组c[m-i+n]作为另一标记条件。

3、按照行的顺序输出前三个解在哪些列上，所以要顺着行的顺序去搜，直到搜满，具体见代码注释。


代码如下：

#include <bits/stdc++.h>
using namespace std;
int n,sum;	//n表示输入的数，sum表示方案总数 
//a[i]表示第i个皇后所占的列、b[i]表示第i列有没有被占
//c[i]表示左下到右上的对角线有没有被占、d[i]表示左上到右下的对角线有没有被占 
int a[15],b[15],c[32],d[32];
void dfs(int m)	//深搜，当前正在放置第m个皇后 
{
	if(m==n+1)	//如果放置的皇后超出了n个，说明已放完了n个，方案数要+1 
	{
		sum++;	//sum既是总数也是前三个排列的判断 
		if(sum<=3)	//只输出前三个解，如果解超出三个就不再输出 
		{
			for(int i=1;i<=n;i++)
				printf("%d ",a[i]);
			printf("\n");
		}
		return;
	}
	for(int i=1;i<=n;i++)
	{
		if(!b[i]&&!c[m+i]&&!d[m-i+n])	//如果该列和两条对角线都没有被占领，放置皇后 
		{
			a[m]=i;			//第x个皇后占了第i列 
			b[i]=1;			//标记占领了第i列
			c[m+i]=1;		//标记占领左下--右上对角线
			d[m-i+n]=1;		//标记占领左上--右下对角线
			dfs(m+1);		//深搜放置下一个皇后 
			b[i]=0;			//回溯，清除标记 
			c[m+i]=0;
			d[m-i+n]=0;
		}
	}
}	
int main() 
{
	scanf("%d",&n);
	dfs(1);	//从第一个皇后开始放 
	printf("%d\n",sum);	//输出总方案数 
	return 0;
}