HDU 5469 Antonidas（搜索剪枝）

题目：n个节点的一颗树，每个节点有个字母，给出目标字符串，问求是否存在点对u，v使得u到v的路径上的字母正好组成这个字符串。

思路：dfs搜索，感觉复杂度过不了，但是却过了。到达一个点时候判断还剩下没匹配的长度是不是小于这个点往外连接的最大长度。

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int maxn=1e4+10;
struct node{
    int v,nxt;
}edge[maxn<<1];
int first[maxn],tot;
void add(int u,int v)
{
    edge[++tot].v=v;
    edge[tot].nxt=first[u];
    first[u]=tot;
}
int t,n,dis[maxn],dep[maxn],len,fa[maxn];
char a[maxn],b[maxn];
void dfs(int u,int pre)
{
    fa[u]=pre;
    dis[u]=1;
    for(int i=first[u];i!=-1;i=edge[i].nxt)
    {
        int v=edge[i].v;
        if(v==pre) continue;
        dep[v]=dep[u]+1;
        dfs(v,u);
        dis[u]=max(dis[u],dis[v]+1);
    }
}
bool DFS(int u,int k,int pre)
{
    if(k==len) return true;
    for(int i=first[u];i!=-1;i=edge[i].nxt)
    {
        int v=edge[i].v;
        if(v==pre||v==fa[u]) continue;
        if(b[k+1]==a[v]&&dis[v]>=len-k)
        {
            if(DFS(v,k+1,u))
                return true;
        }
    }
    if(fa[u]!=pre&&b[k+1]==a[fa[u]]&&dep[fa[u]]+dis[1]>=len-k)
    {
        if(DFS(fa[u],k+1,u))
            return true;
    }
    return false;
}
int main()
{
    scanf("%d",&t);int cas=0;
    while(t--)
    {
        scanf("%d",&n);
        tot=0;
        for(int i=1;i<=n;i++)
            first[i]=-1;

        for(int i=1;i<n;i++)
        {
            int x,y;
            scanf("%d%d",&x,&y);
            add(x,y);
            add(y,x);
        }
        dep[1]=0;
        dfs(1,0);
        scanf("%s",a+1);
        scanf("%s",b+1);
        len=strlen(b+1);
        int flag=0;
        for(int i=1;i<=n;i++)
        if(b[1]==a[i])
        {
            if(DFS(i,1,0))
            {
                flag=1;
                break;
            }
        }
        printf("Case #%d: ",++cas);
        if(flag) puts("Find");
        else puts("Impossible");
    }
    return 0;
}