剪枝 之 奇偶剪枝 zoj 2110

今天学了下剪枝，简单来说一下剪枝是什么，在深搜过程中，如果标记其点，会生成一颗搜索树，但是有一些“枝”是无效的，所以可将其“剪去”。

奇偶剪枝

转载自
http://blog.csdn.net/chyshnu/article/details/6171758/
什么是奇偶剪枝？
把矩阵看成如下形式：
0 1 0 1 0 1
1 0 1 0 1 0
0 1 0 1 0 1
1 0 1 0 1 0
0 1 0 1 0 1
从为 0 的格子走一步，必然走向为 1 的格子 。
从为 1 的格子走一步，必然走向为 0 的格子 。
即：
从 0 走向 1 必然是奇数步，从 0 走向 0 必然是偶数步。
所以当遇到从 0 走向 0 但是要求时间是奇数的或者 从 1 走向 0 但是要求时间是偶数的，都可以直接判断不可达！

S...
....
....
....
...D

要求从S点到达D点，此时，从S到D的最短距离为s = abs ( dx - sx ) + abs ( dy - sy )。
如果地图中出现了不能经过的障碍物：

S..X
XX.X
...X
.XXX
...D

此时的最短距离s’ = s + 4，为了绕开障碍，不管偏移几个点，偏移的距离都是最短距离s加上一个偶数距离。
就如同上面说的矩阵，要求你从0走到0，无论你怎么绕，永远都是最短距离(偶数步)加上某个偶数步；要求你从1走到0，永远只能是最短距离(奇数步)加上某个偶数步
简单总结一下就是从当前点到目标点的最小曼哈顿路是个奇数 或 偶数，只有偏离路是偶数时才可以有机会到达目标点。
附zoj 2110

    #include<cstdio>
    #include<iostream>
    #include<cstring>
    #include<cmath>
    using namespace std;
    char _map[9][9];
    int n,m,t;
    int a,b;
    bool flag;
    int f[4][2] = {1,0,0,1,0,-1,-1,0};
    void dfs(int x,int y,int cnt)
    {
        if(x >= 1 && x <= n && y >= 1 && y <= m)
        {
            if(x == a && y == b && t == cnt)
            {
                flag = 1;
                return ;
            }
            int temp = (t - cnt) - (abs(a - x) + abs(b - y));
            if(temp < 0 || temp % 2) // 奇偶剪枝 + 路径剪枝
            {
                  return ;
            }
            for(int i = 0;i <= 3;++i)
            {
                if(_map[x + f[i][0]][y + f[i][1]] != 'X')
                {
                    _map[x + f[i][0]][y + f[i][1]] = 'X';
                    dfs(x + f[i][0],y + f[i][1],cnt + 1);
                    if(flag) return ;
                   _map[x + f[i][0]][y + f[i][1]] = '.';
                }
            }
        }
        return ;
    }
    using namespace std;
    int main()
    {
        while(cin >> n >> m >> t && n && m && t)
        {
            int x,y;
            flag = 0;
            for(int i = 1; i <= n;++i)
                for(int j = 1; j <= m; ++j)
            {
                cin >> _map[i][j];
                if(_map[i][j] == 'D')
                {
                    a = i; b = j;
                }
                if(_map[i][j] == 'S')
                {
                    x = i; y = j;
                }
            }
            _map[x][y] = 'X';
            dfs(x,y,0);
            if(flag)
                cout << "YES" << endl;
            else
                cout << "NO" << endl;
        }
        return 0;
    }