P1219 [USACO1.5]八皇后 Checker Challenge

😊😊 😊😊
不求点赞，只求耐心看完，指出您的疑惑和写的不好的地方，谢谢您。本人会及时更正感谢。希望看完后能帮助您理解算法的本质
😊😊 😊😊

题目描述：

[USACO1.5]八皇后 Checker Challenge

题目描述

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

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

行号 $123456$

列号 $246135$

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

输入格式

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

输出格式

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

样例 #1

样例输入 #1

6

样例输出 #1

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

提示

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

题目翻译来自NOCOW。

USACO Training Section 1.5

小白到进阶各种解法：

一、暴搜：😊

思路：

1. 题意分析：最终的答案就是每一行上一个皇后，这 $n$ 行的皇后都必须满足不冲突原则。

2. 既然是每一行上放置一个皇后，那么本题的本质就是一个递归实现排列型枚举问题。由样例也可以观察出来：
   
   其实很多枚举型题目都是基于排列型枚举，组合型枚举，指数型枚举的，只是看你怎么分析了，只要确定了是哪种类型的枚举，然后再在该类型枚举的壳子上，披上题目给定的条件即可。

3. 本题的排列型枚举特征：n行，n个皇后，暂时不考虑什么行列对角线的冲突问题，n个皇后看作n个数，n行看作n个位置，这不就变成了全排列问题了吗？按理来说：全排列问题应该有：$n!$种方案，而这里只有4种方案，是因为题目添加了行列冲突的限制条件，我们要从 $n!$ 种方案中选出满足题目要求的方案！递归实现指数型枚举代码在下面。

4. 那么回到本题来看，本题还额外增加了 列，上对角线，下对角线冲突的限制，所以我们在放数的时候，要加个 $if(判断是否有冲突)$，即可。

5. 另外本题还要求我们统计合法的方案数，还只能输出前3种方案。哎心累😔，对于方案数是比较好统计的，可是如何只输出前三种方案？其实这里既要求输出方案数，又限制你只能输出前3种方案，其实就是在暗示我们了，也就是说方案数要统计，即所有方案都要枚举完，而输出前三种方案的话，就当方案数大于3的时候，就不再执行输出方案即可，只统计方案数就行了！(我最开始是这样想的：即统计方案数一个变量，然后当这个变量大于三的时候直接 $return$) 现在想来还是慢慢思考好一点😕！

递归实现排列型枚举的代码：

#include<iostream>

using namespace std;

int path[11];
bool used[11];
int n;

void dfs(int u)
{
    if (u == n+1)
    {
        for (int i=1; i <= n; i ++)
            cout << path[i] << " ";
        puts("");
        return;
    }
    
    for (int i=1; i <= n; i ++) //第一个数:n种选择，第二个数:n-1种选择...
    {
        if (!used[i])
        {
            used[i] = true;
            path[u] = i;
            dfs (u + 1);
            used[i] = false;
            path[u] = 0;
        }
    }
}

int main()
{
    cin >> n;
    dfs (1);
    
    return 0;
}

本题AC代码：

#include<iostream>
#include<cstring>
#include<algorithm>

using namespace std;

const int N = 20;
int g[N][N];
int n;
int path[N];
int col[N], updg[N], lowdg[N];
int cnt=0;

void dfs(int u)
{
	if (u > n)
	{
		cnt ++;
		if (cnt <= 3)
		{
			for (int i=1; i <= n; i ++)	//输出方案！
				cout << path[i] << " ";
			puts(""); 
		}
		return ;
	}
	
	for (int i=1; i <= n; i ++)	//循环枚举的是列！ 
	{
		if (!col[i] && !updg[u+i] && !lowdg[n-u+i] && g[u][i]==0)
		{
			col[i] = updg[u+i] = lowdg[n-u+i] = true;
			g[u][i] = 1;
			path[u] = i;
			
			dfs(u+1);
			
			g[u][i] = 0;
			col[i] = updg[u+i] = lowdg[n-u+i] = false;
			path[u] = 0;
		}
	}
}

int main()
{
	cin >> n;
	dfs(1);
	cout << cnt;
	return 0;
}

二、记忆化搜索：待更新😊

代码：

三、本题考察算法：😊

代码：