DFS(剪枝技巧)

在说这个之前，先看道题目：

Tempter of the Bone

HDU - 1010

暑假的时候，小明和朋友去迷宫中寻宝。然而，当他拿到宝贝时，迷宫开始剧烈震动，他感到地面正在下沉，他们意识到这是一个陷阱！他们想尽一切办法逃出去。
迷宫是一个大小为 N*M 的长方形，迷宫中有一扇门。一开始，门是关着的，他会在第 t 秒的时间打开。因为，小明和朋友必须在第 t 秒到大门口。每一秒，他都可以向上下左右四个方向移动一个点。一旦他移动了，他刚才所在的点就消失，（这意味着他不能回到他已经走过的点）。他不能在一个点上停留超过一秒，并且不能走障碍点。小明和朋友能安全的逃出吗？

Input

输入由多个测试用例组成。每个测试用例的第一行包含三个整数 N、M 和 T ( 1 < N , M < 7 ; 0 < T < 50 )，分别表示迷宫的大小和门打开的时间。接下来的N行给出迷宫布局，每一行包含M个字符。下列字母分别表示：

"X": 一堵墙，小明和朋友不能在上面停留
"S": 起点
"D": 门
".": 可以走的点

输入以 3 个 0 时结束。这个测试用例不需要处理。

Output

对于每组样例输出一行。
如果小明能够安全逃出，输出 "YES" ，否则输出 "NO"。

Sample Input

4 4 5
S.X.
..X.
..XD
....
3 4 5
S.X.
..X.
...D
0 0 0

Sample Output

NO
YES

题目大意就是这样，看看给出你一定的时间(步数)，看看以这个步数能不能走到终点,(这种题型真是没见过)，以前做过的都是些搜索可行的解(红与黑，油田搜索，数水洼)，这个题目无从下手，有点像BFS(还不是)，像DFS吧(也有点不像)。还是得请教大神的思路，递归与回溯，本次行不通的话下一个点，将时间回到上一个状态，将所有的情况全都搜索到当前走法不满足条件或者规定步数走不到，也会返回上一个状态。思路就是这样。由于时间为1秒，需要进行剪枝。下面看看剪枝是怎么剪的。

代码：

#include<stdio.h>
#include<string>
#include<string.h>
#include<algorithm>
using namespace std;
const int maxn=1005;
#include<iostream>
typedef long long ll;
int step,ox,oy,x1,y1,wall;
int m,n,time;

int a[]={0,0,1,-1};
int b[]={1,-1,0,0};
char maap[maxn][maxn];
int flag;
void dfs(int x,int y,int step)
{
	int i;
	if(x<0&&y<0&&x>=m&&y>=n)
		return ;
	if(x==ox&&y==oy&&time==step)
		{
			flag=1;
			return ;
		}
	int p=(time-step)-abs(x-ox)-abs(y-oy);
	if(p<0||p&1)
		return ;
	for(i=0;i<4;i++)
	{
		int xx=x+a[i];
		int yy=y+b[i];
		if(xx>=0&&yy>=0&&xx<m&&yy<n&&maap[xx][yy]!='X')
		{
			maap[xx][yy]='X';
			dfs(xx,yy,step+1);
			if(flag)
				return ;
			maap[xx][yy]='.';
		}	
	}
	
	
	return ;
}

int main()
{
	int i,j;
	while(cin>>m>>n>>time)
	{
		if(m==0&&n==0&&time==0)
			break;
		flag=0;
		wall=0;
		for(i=0;i<m;i++)
		{
			for(j=0;j<n;j++)
			{
				cin>>maap[i][j];
				if(maap[i][j]=='S')
				{
					x1=i;
					y1=j;
				}
				if(maap[i][j]=='D')
				{
					ox=i;
					oy=j;
				}
				if(maap[i][j]=='X')
					wall++;
			}	
		}
		if(m*n-wall<=time)
		{
			cout<<"NO"<<endl;
			continue;
		}
		maap[x1][y1]='X'; 
		dfs(x1,y1,0);
		if(flag)
			cout<<"YES"<<endl;
		else
			cout<<"NO"<<endl;
	}
	return 0;
}

第一步剪枝是全地图的可以走的点加起来都比规定的步数少，那肯定不能满足条件直接输出 NO 就可以直接判断达到剪枝。下面就是在DFS过程中进行剪枝。

每次只要到一个点都会有几个变量，一个是这个点 剩下的步数和这个点到终点的最短步数，也是同理，如果剩下步数小于最短的步数的时候，就不可能走到终点了，及时 return 掉。式子就是 zongbushu-step-abs(x-ox)-abs(y-oy)  要大于等于0 ，step 是每个点已经走的步数，abs(x-ox)+abs(y-oy)是理想上该点到终点的最短路径，需要满足这个条件，当然实际上地图里面肯定是有墙的，如果这个都满足不了，再加上墙，规定的步数是不变的，但是你走到终点的步数肯定是要大于或者等于这个最短路径的，所以只要不满足这个条件的，及时  return 掉  还有一个叫做奇偶剪枝，相关的原理就参照下面这个网址，讲解得挺详细的。关于上面的那个式子，是地图里面的每个点都会有一个状态(式子)，每次都要判断一次是否需要剪枝，就不用再递归进去判断，节约了很多的时间。
https://blog.csdn.net/xiaosi1524/article/details/81258300

奇偶剪枝 也是说的这个式子的，数学中的常识，奇数减去奇数是偶数，偶数减去偶数也是偶数，本题的一个剪枝用到这个技巧，就是，规定的步数与最短的步数 奇偶性相同的话，就可以规定的步数正好走到终点，

看图中的3种不同的路线，最短的路线为6，如果从S开始走，如果规定的步数是 6 的话，可以正好走到；规定的步数是7 9 11 ，等奇数的话，就到不了终点。如果从S的下一个点就开始往右偏离原来路线，在这个点时，最短步数是 5，所以你走5步，就可以到终点，7,9等步数都可以到达，而偶数步数就到大不了 终点。这个就是 奇偶剪枝，也是上面那个式子  zongbushu-step-abs(x-ox)-abs(y-oy) 这个数得是个偶数，再进行下面的判断，这会减少大量的时间。还有在找到答案后，要及时 return 掉，减少时间浪费。