P1002 [NOIP2002 普及组] 过河卒题目分析（DFS深度优先搜索+DP动态规划）

题目描述

棋盘上 A 点有一个过河卒，需要走到目标 B 点。卒行走的规则：可以向下、或者向右。同时在棋盘上 C 点有一个对方的马，该马所在的点和所有跳跃一步可达的点称为对方马的控制点。因此称之为“马拦过河卒”。

棋盘用坐标表示，A 点 (0,0)、B 点 (n,m)，同样马的位置坐标是需要给出的。

现在要求你计算出卒从 A 点能够到达 B 点的路径的条数，假设马的位置是固定不动的，并不是卒走一步马走一步。

输入格式

一行四个正整数，分别表示 B 点坐标和马的坐标。

输出格式

一个整数，表示所有的路径条数。

输入输出样例

输入 

6 6 3 3

输出 

6s

首先想到的是DFS(深度优先搜索），即穷举出从A——B的所有路径条数，排除掉不符合的，但是实际上时间复杂度太大了。最多假设从(0,0)到(20，20)有40！/20！^2种方法，必定会运行超时。

代码及运行结果如下：

#include<iostream>
using namespace std;
int ans = 0;//记录路径条数
int n, m, x, y;
bool index[24][24] = { 0 };//将所有坐标初始化为0(在递归时0是有作用的）
void dfs(int x, int y)
{
	if (x == n && y == m)
	{
		ans++;
		return;
	}
	if (index[x][y] == 1 || x > n || y > m)
	{
		return;
	}
	dfs(x + 1, y);//下
	dfs(x, y + 1);//右
}
int main()
{
	cin >> n >> m >> x >> y;//B点和马的坐标
	x += 2, y += 2, n += 2, m += 2;//这一步很重要，因为下面index最小为x-2，若保持没有负数加2即可
	index[x][y] = 1;
	index[x - 2][y - 1] = 1;
	index[x - 2][y + 1] = 1;
	index[x + 2][y - 1] = 1;
	index[x + 2][y + 1] = 1;
	index[x - 1][y + 2] = 1;
	index[x - 1][y - 2] = 1;
	index[x + 1][y + 2] = 1;
	index[x + 1][y - 2] = 1;//标记马以及初始坐标
	dfs(2,2);//原点平移到(2,2)
	cout << ans;
	return 0;
}

很明显，有两个测试点运行超时。这时我们就应该想到DP(动态规划）来以空间换时间，其实DP在数学上的公式有点像递归，而本题就是二维形式的"小明上台阶"(一道经典的DP题目，如：小明要上10阶，一次只能走1阶或2阶，问有多少种上法。此时想到最后一阶只能由8，9阶上去，换算为递归公式即为：f[10]=f[8]+f[9],f[9]=f[8]+f[7],f[8]=f[7]+[6]……)那么本题的递归公式显而易见，即：f[x][y]=f[x-1][y]+f[x][y-1](状态转移方程）

代码及运行结果如下：

#include<iostream>
using namespace std;
int n, m, x, y;
bool index[24][24] = { 0 };//将所有坐标初始化为0(在递归时0是有作用的）
long long int f[24][24] = {0};
int main()
{
	cin >> n >> m >> x >> y;//B点和马的坐标
	x += 2, y += 2, n += 2, m += 2;//这一步很重要，因为下面index最小为x-2，若保持没有负数加2即可
	index[x][y] = 1;
	index[x - 2][y - 1] = 1;
	index[x - 2][y + 1] = 1;
	index[x + 2][y - 1] = 1;
	index[x + 2][y + 1] = 1;
	index[x - 1][y + 2] = 1;
	index[x - 1][y - 2] = 1;
	index[x + 1][y + 2] = 1;
	index[x + 1][y - 2] = 1;//标记马以及初始坐标
	f[2][2] = 1;
	for (int x = 2; x <= n; x++)
	{
		for (int y = 2; y <= m; y++)
		{
			if (index[x][y] == 1 || x == 2 && y == 2)continue;
				f[x][y] = f[x - 1][y] + f[x][y - 1];
		}
	}
	cout << f[n][m];
	return 0;
}