2015年4月27日。
hdoj1010，題目大意給你N * M（1 < N, M < 7）的迷宮，從S到達D，問能否完成在T(T < 50)步內完成，能則YES，否則NO， ‘.’表示能走，‘X’表示不能走。多組數據0 0 0 時輸入結束。 明顯的搜索，而且是深搜。但如果你不加剪枝估計是過不了。這個題有幾個堪稱神奇的剪枝。
剪枝1：如果‘.’個數比T小，那S一定不能到達D;
剪枝2：可以通過S，D（S是指深搜的過程中當前的位置）的位置算出S到D需要奇數步還是偶數步。假設S（i1,j1），D(i2,j2)，那麼abs(i1 - i2) + abs(j1 - j2)爲奇數數，S到D一定是奇數步（不論你怎麼繞，讀者可以畫圖試一試），反之S到D一定是偶數步。若還需要的步數T- step加上這個奇數步或者偶數步爲奇數，則此路徑是行不通的。
剪枝3：如果當前搜搜的步數step大於T，則此條路徑以後不論怎麼走，總步數一定大於T，這條路徑直接返回false。
剪枝4：若深搜的過程中當前位置等於D，則判斷step步數是否等於T，若等於則返回true，否則這條路徑以後不論怎麼走，步數又會超過T，此時就直接返回false即可。
貼下代碼供大家參考。
/*
* Author : Roye_Bao
* Time : 2015-4-4
* Id : Royecode
* Email:[email protected]
* Language : C / C++
*/
#include <iostream>
#include <cmath>
#define Pii pair <int, int>
using namespace std;
char maze[8][8];
int n, m, t;
int dir[4][2] = {-1, 0, 0, 1, 1, 0, 0, -1}; //四個方向
bool dfs(Pii S, Pii D, int step, int cnt)
{
if(S == D) return step == t; //剪枝4
if(step > t) return false; //剪枝3
if(cnt < t - step) return false; //剪枝1
if((abs(S.first - D.first) + abs(S.second - D.second) + t - step) % 2) return false; //剪枝2
for(int i = 0; i < 4; ++i)
{
int dx = S.first + dir[i][0], dy = S.second + dir[i][1];
if(dx >= 0 && dx < n && dy >= 0 && dy < m && maze[dx][dy] != 'X' && maze[dx][dy] != 'S')
{
maze[dx][dy] = 'X';
if(dfs(Pii(dx, dy), D, step + 1, cnt - 1)) return true;
maze[dx][dy] = '.';
}
}
return false;
}
int main()
{
while(~scanf("%d%d%d", &n, &m, &t), n, m, t)
{
Pii S, D;
int cnt = 1;
getchar();
for(int i = 0; i < n; ++i)
{
for(int j = 0; j < m; ++j)
{
maze[i][j] = getchar();
if(maze[i][j] == 'S') S = Pii(i, j);
else if(maze[i][j] == 'D') D = Pii(i, j);
else if(maze[i][j] == '.') cnt++;
}
getchar();
}
printf(dfs(S, D, 0, cnt)? "YES\n": "NO\n");
}
return 0;
}