传送门：
HDU:http://acm.hdu.edu.cn/showproblem.php?pid=1010
ZOJ:http://acm.zju.edu.cn/onlinejudge/showProblem.do?problemId=1110
题目大意:
一只狗陷入了迷宫，他每秒必须走一步，并且不能重复走已经走过的地方，给定一个出口，要求在恰好为T的时间到达，如果可以，输出YES否则NO
不断的TLE，然后搜了下题解。
这题最漂亮的剪枝就在于奇偶的判断上。Orz
DFS过程中，设终点的坐标为door_x,door_y。当前的坐标为x,y，目标时间为target,当前时间为step
那么如果他能敲好在target-step的时间到达，那么 target - step 和 abs(door_x - x) + abs(door_y - y) 奇偶性相同。
即 （ target - step ） % 2== （ abs(door_x - x) + abs(door_y - y) ） % 2
根据奇-奇=偶，偶-偶=偶 ，可以直接写成
remain=target- (step + abs(door_x - x) + abs(door_y - y))
remain & 1 （为1的话说明remain最后一位为1，显然奇偶性不同）
其他两个剪枝看代码吧
#include<cstdio>
#include<queue>
#include<cmath>
using namespace std;
const int MAXN=10;
char maze[MAXN][MAXN];
const int dx[]={1 ,-1, 0 , 0};
const int dy[]={0 , 0 ,1 ,-1};
int start_x,start_y,door_x,door_y; bool dfs(int x,int y,int step,int target)
{
if(step>target) //剪枝1
return false; int remain=target- (step + abs(door_x - x) + abs(door_y - y));//当前和终点的距离
if(remain < 0 || remain & 1 ) //剪枝2，如果当前距离更大那么答案显然不存在
return false; //如果奇偶性不同也不行,奇-奇=偶，偶-偶=偶
//Orz想出来的人 for(int i=0;i<4;i++)
{
int nx=x + dx[i];
int ny=y + dy[i];
if(maze[nx][ny]=='.')
{
maze[nx][ny]='X';
if(dfs(nx,ny,step+1,target))
return true;
maze[nx][ny]='.';
}
else if(maze[nx][ny]=='D' && step+1==target)
return true; }
return false;
} int main()
{
int n,m,t;
while(scanf("%d%d%d",&n,&m,&t),n||m||t)
{
int empty=0;
for(int i=1;i<=n;i++)
{
scanf("%s",maze[i]+1); //一开始WA不断就是因为输入
for(int j=1;j<=m;j++)
{
if(maze[i][j]=='S')
start_x=i,start_y=j;
else if(maze[i][j]=='D')
door_x=i,door_y=j;
if(maze[i][j]=='.')
empty++;
}
} if(empty +1 < t) //剪枝3，如果可走的少于出现出口的时间，显然无解。
{
printf("NO\n");
continue;
} for(int i=0;i<=n+1;i++) //最外层直接包上X，省了等下判断越界问题。
maze[i][0]=maze[i][m+1]='X';
for(int i=0;i<=m+1;i++)
maze[0][i]=maze[n+1][i]='X'; printf("%s\n",dfs(start_x,start_y,0,t)==true? "YES":"NO");
}
}