POJ 1321 棋盘问题 (DFS)

Description

在一个给定形状的棋盘（形状可能是不规则的）上面摆放棋子，棋子没有区别。要求摆放时任意的两个棋子不能放在棋盘中的同一行或者同一列，请编程求解对于给定形状和大小的棋盘，摆放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

虽然只是一道很简单的DFS，但是这应该算是我第一道真正意义上的DFS，大的框架是自己想出来的，但是代码的实现以及递归的一些细节却是参考解题报告的，自己的功力还是太弱。不过这道题也让自己对DFS递归有了更深的理解。ACM不易，且码且珍惜吧。

摘了网上的一段话：

“递归的主要问题应该是思维的跨度，初学递归时总是喜欢去想细节，甚至脑子里一步一步的跟踪，这对于初学时是不应该的，很多初学者在不相信思维跨度时，也就不相信递归求解是正确的。
我感觉学递归最大的问题是信任思维的跨度，直接将前n-1前移了，再去移第n个，一下子移n-1个，我感觉就相当于移1个，只是一种跨度而已。”

希望自己能有所感悟。

解题思路：

当一枚棋子落在棋盘上之后，这一行与同一列都不能再落子，去除这一行，这一列，剩下的相当是一个（n-1)*（n-1）的棋盘，落子规则与上次相同，所有每一步落子都有着相同的子结构，可以用递归结构来解决此问题。

思路很简单，只需从第一行第一个开始搜索，如果该位置该列没被标记且为棋盘，那么在这里放上棋子，并标记，因为每行每列不能冲突，所以搜索下一行，比并且棋子数加1。每次搜索之前先要判断是否棋子已经用完，如果用完，记录方案数加1，然后直接返回。直到所有搜索全部完成，此时已得到全部方案数。
此题还需注意标记数组仅仅标记某一列上是否有棋子，因为每次递归下一行，所以每一行不会有冲突，只需判断这一列上是否有其他棋子。还要注意修改标记后递归回来要及时复原。

这道题自己WA了三次。第一次是DFS函数里搜索的顺序错了。应该是从下一行开始搜索，我写成了从当前棋子的位置处开始搜索。第二次是判断落子的条件，应该是任意两个棋子都不在同一行或同一列，我写成了和当前棋子不在同一行或同一列。第三次是main函数里面每次循环找到第一个棋子落子的位置时没有将该列标记以及复原。

#include <iostream>
#include <cstring>
using namespace std;

int n,k,cnt;
char maze[10][10];
bool col[10];

void DFS(int a,int b,int c)
{
    if(c == k)
    {
        cnt ++ ;
        return;
    }

    for(int i = a+1;i < n;i++)
        for(int j = 0;j < n;j++)
            if(maze[i][j] == '#' && !col[j])
            {
                col[j] = true;
                DFS(i,j,c+1);
                col[j] = false;
            }
}

int main()
{
    while(cin >> n >> k)
    {
        if(n == -1 && k == -1)
            break;

        cnt = 0;
        for(int i = 0;i < n;i++)
            for(int j  = 0;j < n;j++)
                cin >> maze[i][j];

        memset(col,0,sizeof(col));
        for(int i = 0;i <= n-k;i++)
            for(int j = 0;j < n;j++)
                if(maze[i][j] == '#')
                {
                    col[j] = true;
                    DFS(i,j,1);
                    col[j] = false;
                }

        cout << cnt << endl;
    }
    return 0;
}

网上的做法普遍是按行递增来搜索，在DFS函数里两次调用DFS函数，感觉比我自己的要简洁一点。还有此题还可以进一步剪枝以提高效率，但是数据很小就偷懒没有剪枝了。