递归/动规问题中的边界条件：以滑雪为例

采用递归方法时务必注意边界条件的确定，否则非常容易发生越界等错误。以滑雪为例：
来源：OJ

滑雪

描述
Michael喜欢滑雪这并不奇怪， 因为滑雪的确很刺激。可是为了获得速度，滑的区域必须向下倾斜，而且当你滑到坡底，你不得不再次走上坡或者等待升降机来载你。Michael想知道载一个区域中最长的滑坡。区域由一个二维数组给出。数组的每个数字代表点的高度。下面是一个例子:

1 2 3 4 5
16 17 18 19 6
15 24 25 20 7
14 23 22 21 8
13 12 11 10 9

一个人可以从某个点滑向上下左右相邻四个点之一，当且仅当高度减小。在上面的例子中，一条可滑行的滑坡为24-17-16-1。当然25-24-23-…-3-2-1更长。事实上，这是最长的一条。
输入
输入的第一行表示区域的行数R和列数C(1 <= R,C <= 100)。下面是R行，每行有C个整数，代表高度h，0<=h<=10000。
输出
输出最长区域的长度。
样例输入

5 5
1 2 3 4 5
16 17 18 19 6
15 24 25 20 7
14 23 22 21 8
13 12 11 10 9

样例输出

25

题目本身不难，笔者没想太多就直接写了：

#include<iostream>

using namespace std;

int R, C;
int height[100][100], method[100][100];
int cal(const int i,const int j);

int main() {
	cin >> R >> C;

	for(int i = 0; i < R; ++i)for(int j = 0; j < C; ++j) {
		cin >> height[i][j];
		method[i][j] = 0;
	}

	int opt = 1;
	for(int i = 0; i < R; ++i)for(int j = 0; j < C; ++j) {
		if(opt < cal(i,j))opt = method[i][j];
	}
	cout << opt;
	return 0;
}

int cal(const int i,const int j)
{
	if(method[i][j])return method[i][j];
	else if(i < 0 || i >= R || j < 0 || j >= C)return 0;
	
	int res[4] = { 0,0,0,0 };
	const int _h_ = height[i][j];

	res[0] = (_h_<height[i-1][j])?cal(i - 1, j):0;
	res[1] = (_h_<height[i][j+1])?cal(i, j + 1):0;
	res[2] = (_h_<height[i+1][j])?cal(i + 1, j):0;
	res[3] = (_h_<height[i][j-1])?cal(i, j - 1):0;

	int m = 0;
	for(int s = 0; s < 4; ++s) {
		if(m < res[s])m = res[s];
	}
	method[i][j] = m + 1;
	return method[i][j];
}

结果一直WA，后来把数组开成int height[101][101], method[101][101]才通过。检查发现，WA的原因是cal(i,j)函数没有首先判断i和j的取值而直接返回method[i][j]。这样在R=C=100时，计算cal(R-1,C-1)涉及到cal(R,C-1)和cal(R-1,C)的值，于是访问method[R][C-1]和method[R-1][C]，发生数组越界。

解决：交换两层判断的顺序即可：

int cal(const int i,const int j)
{
	if(i < 0 || i >= R || j < 0 || j >= C)return 0;//在前
	if(method[i][j])return method[i][j];//在后
	
	int res[4] = { 0,0,0,0 };
	const int _h_ = height[i][j];

	res[0] = (_h_<height[i-1][j])?cal(i - 1, j):0;
	res[1] = (_h_<height[i][j+1])?cal(i, j + 1):0;
	res[2] = (_h_<height[i+1][j])?cal(i + 1, j):0;
	res[3] = (_h_<height[i][j-1])?cal(i, j - 1):0;

	int m = 0;
	for(int s = 0; s < 4; ++s) {
		if(m < res[s])m = res[s];
	}
	method[i][j] = m + 1;
	return method[i][j];
}