AcWing 1116 马走日

题目描述：

马在中国象棋以日字形规则移动。

请编写一段程序，给定 n∗m 大小的棋盘，以及马的初始位置 (x，y)，要求不能重复经过棋盘上的同一个点，计算马可以有多少途径遍历棋盘上的所有点。

输入格式

第一行为整数 T，表示测试数据组数。

每一组测试数据包含一行，为四个整数，分别为棋盘的大小以及初始位置坐标 n,m,x,y。

输出格式

每组测试数据包含一行，为一个整数，表示马能遍历棋盘的途径总数，若无法遍历棋盘上的所有点则输出 0。

数据范围

1≤T≤9,
1≤m,n≤9,
0≤x≤n−1,
0≤y≤m−1

输入样例：

1
5 4 0 0

输出样例：

32

  分析：

本题同样是DFS问题，只不过涉及的不仅仅是棋盘上一点到另一点的转移，而是一种状态到另一种状态的转换。求从某点出发，不重复经过点的情况下，以象棋中马的走法走遍棋盘上所有点的方案数。首先是递归基，搜索终止于所有格子都被搜过时，所以需要用已经搜索过的格子数目cnt作为一个形参，当cnt等于n * m时，本次搜索结束。dfs形参自然有当前搜索的坐标以及cnt，开始搜索时，如果cnt设置为0，表示搜到当前点之前还没搜过其他点，所以cnt == n*m-1时表示之前搜过n*m-1个点，当前是最后一个点；如果cnt开始设置为1，表示当前搜到的是第cnt个点，cnt == n*m+1时是递归基。dfs的返回值设置为int和void均可。我开始想写成记忆化搜索的形式，所以用的int作为返回值，表示从当前点出发搜完剩下点的方案数。

这里要注意的是与之前棋盘类dfs不同的是，本题的st数组需要恢复现场。之前求连通块的大小，每个点只会经过一次，到达每个点如果可行，就继续递归到递归基了，不会再有下次搜索到当前点的机会了，所以不用恢复现场。而本题需要找所有的走法方案数，比如走某条路径1 2 4 5，走到4时st[t] = true，这是为了不走回头路，走到5不会回过头在回到4，但是这条路径遍历完后递归回溯时想遍历另一条路径比如1 3 4 6，遍历到3时发现4遍历过，于是这条路径不能连通了，所以在遍历完4后面的路径后需要恢复现场，将st[4]重新置为false，下次再遍历到4才得以继续dfs。

#include <iostream>
#include <cstring>
using namespace std;
const int N = 10;
int n,m;
bool st[N][N];
int dx[] = {1,1,2,2,-1,-1,-2,-2};
int dy[] = {2,-2,1,-1,2,-2,1,-1};
int dfs(int x,int y,int cnt){
    if(cnt == n * m - 1)    return 1;
    int res = 0;
    st[x][y] = true;
    for(int i = 0;i < 8;i++){
        int nx = x + dx[i],ny = y + dy[i];
        if(nx < 0 || nx >= n || ny < 0 || ny >= m || st[nx][ny])  continue;
        res += dfs(nx,ny,cnt + 1);
    }
    st[x][y] = false;
    return res;
}
int main(){
    int T;
    cin>>T;
    while(T--){
        int x,y;
        cin>>n>>m>>x>>y;
        memset(st,false,sizeof st);
        cout<<dfs(x,y,0)<<endl;
    }
    return 0;
}

上面代码是int作为dfs返回值的暴搜代码，效率自然很低，因为本题数据量小才得以过掉，前面说了开始想写成记忆化搜索的形式才用int做返回值，但是为什么没有写成那样的形式呢？dfs有3个形参，很容易想到以f[x][y][cnt]作为状态的存储，表示遍历到（x，y）位置并且已经遍历cnt个位置的方案数，这样表示是不正确的，因为1 2 3和1 4 3同样是长度为3终点是3的路径，但是却不是同一种状态，后面需要遍历的位置不同，所以用cnt不能表示出已经遍历过哪些点 ，如果本题数据范围再小点，就可以用状态压缩表示状态了，f数组第三维表示已经访问过的状态，这样就可以避免重复搜索，提高效率，也可以改成动态规划的形式。但是本题最多有9*9个位置，2^81这个数有点大了，用状态压缩表示不可取。

当然用void做返回值效率要略高于int做返回值，因为不用做加法，但是效率低下的本质还是没有改变。

#include <iostream>
#include <cstring>
using namespace std;
const int N = 10;
int n,m,ans;
bool st[N][N];
int dx[] = {1,1,2,2,-1,-1,-2,-2};
int dy[] = {2,-2,1,-1,2,-2,1,-1};
void dfs(int x,int y,int cnt){
    if(cnt == n * m - 1){
        ans++;
        return;
    }
    st[x][y] = true;
    for(int i = 0;i < 8;i++){
        int nx = x + dx[i],ny = y + dy[i];
        if(nx < 0 || nx >= n || ny < 0 || ny >= m || st[nx][ny])  continue;
        dfs(nx,ny,cnt + 1);
    }
    st[x][y] = false;
}
int main(){
    int T;
    cin>>T;
    while(T--){
        int x,y;
        cin>>n>>m>>x>>y;
        memset(st,false,sizeof st);
        ans = 0;
        dfs(x,y,0);
        cout<<ans<<endl;
    }
    return 0;
}