usaco Betsy's Tour

搜索好题！！！

思路：回溯

本题难想的主要是如何剪枝，以提高搜索效率

剪枝就是搜索进行时，对不满足条件的结果"剪掉"，停止往下搜索做不必要的耗时

对于一条合法的路径，除出发点和目标点外，每个中间点都必然有"一进一出"的过程

当搜索到某节点时，考虑与其相邻的节点，如果

（1）四周的节点K，如果只有一个与K相邻的未经过的点，则点K为 必经点

（2）当当前点周围有两个或以上的符合条件的必经点，则选择任何一条都不能得到解，走进死胡同

（3）当前点周围只有一个必经点，则必须走这个必经点

（4）没有必经点，则枚举每一个点，继续搜索

另一个剪枝主要从是否形成孤立的区域考虑，如果行走过程中把路一分为二，那么肯定有一部分再也走不到了，需要剪枝

有两种比较容易想的会出现孤立区域的情况：

（1）当前点左右都是已经点，而上下都是未经点

（2）当前点上下都是已经点，而左右都是未经点

可以这样想，对于（1），假如中间点是由左边相邻的点扩展而来，因为路径是连续的，所以左边点一定是由当前点有边的

点扩展而来，且会形成一个封闭的区域，那么上下的点一个在区域内，一个在区域外，不能同时达到。

参考：byvoid

/*
 ID: daijinq1
 PROB:betsy
 LANG: C++
 */
#include <iostream>
#include <cstdio>
using namespace std;

#define FOR(i,a,b) for(i = (a); i < (b); ++i)
#define FORE(i,a,b) for(i = (a); i <= (b); ++i)
#define FORD(i,a,b) for(i = (a); i > (b); --i)
#define FORDE(i,a,b) for(i = (a); i >= (b); --i)
#define CLR(a,b) memset(a,b,sizeof(a))

bool vis[12][12];
int n, cnt, N;
const int px[4] = {-1, 0, 1, 0}, py[4] = {0, 1, 0, -1};

int get_f(int x, int y) {
    int i, f = 0;

    FOR(i, 0, 4)
        if(!vis[x + px[i]][y + py[i]])
            ++f;
    return f;
}

void dfs(int x, int y, int step) {
    int i, tox, toy, tx, ty, cntf = 0;

    if(x == n && y == 1) {
        if(step == N)
            ++cnt;
        return ;
    }
    if((!vis[x - 1][y] && !vis[x + 1][y] && vis[x][y + 1] && vis[x][y - 1]) ||
       (vis[x - 1][y] && vis[x + 1][y] && !vis[x][y + 1] && !vis[x][y - 1]))
       return ;
    FOR(i, 0, 4) {
        tx = x + px[i];
        ty = y + py[i];
        if(vis[tx][ty] || (tx == n && ty == 1))
            continue;
        int f = get_f(tx, ty);
        if(f == 1) {
            ++cntf;
            tox = tx, toy = ty;
        }
        if(cntf > 1)
            return ;
    }
    if(cntf == 1) {
        vis[tox][toy] = true;
        dfs(tox, toy, step + 1);
        vis[tox][toy] = false;
    }
    else {
        FOR(i, 0, 4) {
            tx = x + px[i];
            ty = y + py[i];
            if(vis[tx][ty])
                continue;
            vis[tx][ty] = true;
            dfs(tx, ty, step + 1);
            vis[tx][ty] = false;
        }
    }
}

int main() {
    freopen("betsy.in", "r", stdin);
    freopen("betsy.out", "w", stdout);
    int i, j;

    scanf("%d", &n);
    N = n * n;
    vis[1][1] = true;
    FORE(i, 0, n + 1)
        vis[0][i] = vis[n + 1][i] = vis[i][0] = vis[i][n + 1] = true;
    dfs(1, 1, 1);
    cout<<cnt<<endl;
    return 0;
}
/*
Executing...
   Test 1: TEST OK [0.000 secs, 3052 KB]
   Test 2: TEST OK [0.000 secs, 3052 KB]
   Test 3: TEST OK [0.000 secs, 3052 KB]
   Test 4: TEST OK [0.000 secs, 3052 KB]
   Test 5: TEST OK [0.000 secs, 3052 KB]
   Test 6: TEST OK [0.011 secs, 3052 KB]
   Test 7: TEST OK [0.130 secs, 3052 KB]

All tests OK.
*/