HDU 1010 Tempter of the Bone (ZOJ 2110) DFS+剪枝

传送门：

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");    }}