棋盘问题详解(DFS)

棋盘问题(DFS)

在一个给定形状的棋盘（形状可能是不规则的）上面摆放棋子，棋子没有区别。要求摆放时任意的两个棋子不能放在棋盘中的同一行或者同一列，请编程求解对于给定形状和大小的棋盘，摆放k个棋子的所有可行的摆放方案C。

Input

输入含有多组测试数据。
每组数据的第一行是两个正整数，n k，用一个空格隔开，表示了将在一个n*n的矩阵内描述棋盘，以及摆放棋子的数目。 n <= 8 , k <= n
当为-1 -1时表示输入结束。
随后的n行描述了棋盘的形状：每行有n个字符，其中 # 表示棋盘区域， . 表示空白区域（数据保证不出现多余的空白行或者空白列）。

Output

对于每一组数据，给出一行输出，输出摆放的方案数目C （数据保证C<2^31）。

Sample Input

2 1
#.
.#
4 4
…#
…#.
.#…
#…
-1 -1

Sample Output

2
1

#include<iostream>
using namespace std;
char a[10][10]; //= { {'.','#','.'},{'#','#','#'},{',' , ',' , ','} };
int vis[10];//↑上面是我为了用分步调试时用的案例，可以分步调试看看程序步骤
//有助于理解
int n, k, ans = 0;//cnt=1,n=3,k=2
void dfs(int line,int num)
{
	if (num == k)
	{
		ans++;
		return;
	}
	if (line >= n)
		return;
	for (int i = 0; i < n; i++)
	{
		if (a[line][i] == '#' && vis[i] == 0)
		{
			//cout << "1" << endl;
			vis[i] = 1;
			dfs(line + 1, num + 1);
			vis[i] = 0;
		}
	}
	dfs(line + 1, num);
	return;
}
int main()
{
	while (scanf("%d %d", &n, &k))//cnt--)
	{
		if (n == -1 && k == -1)
			break;
		ans = 0;
		memset(a, 0, sizeof(a));
		memset(vis, 0, sizeof(vis));
		for (int i = 0; i < n; i++)
		{
			for (int j = 0; j < n; j++)
			{
				cin >> a[i][j];
			}
		}
		dfs(0, 0);
		cout << ans << endl;

	}
}

可以自己输入一些样例试一试，我是靠分步调试才理解递归的步骤以及递归后各参数的变化。
以下时需要注意的几点：

• num值的增加会使得行数增加，从而保证了一行内不会有两个棋子
• 回溯后各参数的值会复原到执行dfs()前的值
• 由于v[i]是在调用dfs（）前标记的，所以进入dfs()后v[i]仍是标记的。原因是v[i]是全局变量，不受函数调用的影响，而只受相应的操作影响（所以回溯后要v[i]=0使得该列仍可以用）。因此，v[i]=1保证了棋子不会排到同一列。
• dfs()退出条件的两个if:前面说到了，(该行的)num的值增加会使行的值也同样增加。所以在进入满足条件后的dfs()语句时num的值实际上是上一行的值，所以先判断num是否满足条件，然后退出，再判断行数是否超过界限。否则，当该行是最后一行时，会少算一种情况。