洛谷 P1219 [USACO1.5] 八皇后 Checker Challenge C语言

题目：
https://www.luogu.com.cn/problem/P1219

题目描述

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

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

行号 1 2 3 4 5 6

列号 2 4 6 1 3 5

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

输入格式

一行一个正整数 n，表示棋盘是 n×n 大小的。

输出格式

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

输入输出样例

输入 #1

6

输出 #1

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

说明/提示

【数据范围】
对于 100% 的数据，6≤n≤13。

题目翻译来自NOCOW。

USACO Training Section 1.5

思路：

八皇后我们都知道可以走八个方向，行，列，对角线。我使用四个数组

int num[15];//每行选的数字 
bool list[15];//列
bool pd[35];//正对角线
bool nd[35];//负对角线 

分别存储这四个数据。用数组分明状态是很常见的做法，每一个值都可以对应设置的状态，相当于我们把一个复杂的问题，拆成了四个简单的问题。

1.行，由于我们一行只选择一个，选完这个数就进行递归了，递归参数也就是行，所以我们不需要开一个储存行的数组。

2.列，用一个一维数组储存列的状态。

3.正对角线，在一个二维数组图中，画一个正对角线，这个线的横坐标和纵坐标相加的值是一样的，所以x+y就可以认定为一个状态，经过（x,y）的点正对角线的点都满足x+y相等的值。

4..负对角线，在一个二维数组图中，画一个负对角线，这个线的横坐标和纵坐标相减的值是一样的，但是会出现负数的存在，我们可以加一个n，使得下标偏移不会出现小于0的情况，并且负对角线下标都会偏移，所以对应的状态也是一样的（x-y+n）.

5.临时数组num[30],储存列号解.

代码如下：

#include<iostream>
using namespace std;
int n;//棋盘n*n大小
int num[15];//每行选的数字 
bool list[15];//列
bool pd[35];//正对角线
bool nd[35];//负对角线 
int cnt = 0;//记录解的总数 
void set_number(int x,int y,int state)
{
	num[x] = y;//第x行存入y次数
	list[y] = state;//列状态
	pd[x + y] = state;//正对角线状态
	nd[x - y + n] = state;//负对角线状态 
}
void dfs(int x)
{
	if(x > n)//填完八皇后 
	{
		cnt++;//次数增加 
		if(cnt <= 3)
		{
			for(int i = 1 ; i <= n ; i++)
			{
				cout << num[i] << " ";	
			} 
			cout << endl;
		}
		return;
	}
	
	for(int y = 1 ; y <= n ; y++)//y相当于当前行选的列1~n的位置都试过去 
	{
		if(list[y] || pd[x + y] || nd[x - y + n]) //列，对角线的状态 
		continue;
		
		set_number(x,y,true);//填的是当前行，当前行填入y下标，填入状态 
		dfs(x+1);
		set_number(x,y,false);//回溯 
	}
 } 
int main(void)
{
	cin >> n;
	dfs(1);//递归参数是搜索到第x行
	cout << cnt << endl; 
	return 0;
 }