题意：
给一棵n节点的树图，每个点都是一个小写字母，要求找到两个点(a,b)，从a->b的路径上形成了一个字符串为s。给出s，问是否存在这样的点对。
思路：
考虑一个点，要么从该点出发，要么在该点结束，要么它作为一个中间点将左右两个串连起来成为s。叶子只能是起点或者终点。在每个点中需要保存两个队列，表示有点可以从正or反向走到这个点的长度（即前缀与后缀，但只需记录当前点是排在第几）。对于在本节点连接的情况，枚举一下哪些孩子可能在本节点连接就行了。
2s多
1 #include <bits/stdc++.h> 2 #define pii pair<int,int> 3 #define max(x,y) ((x)>(y)?(x):(y)) 4 #define min(x,y) ((x)<(y)?(x):(y)) 5 #define abs(x) ((x)<0?-(x):(x)) 6 #define INF 0x3f3f3f3f 7 #define LL long long 8 using namespace std; 9 const double PI = acos(-1.0); 10 const int N=10010; 11 struct node 12 { 13 int from, to, next; 14 node(){}; 15 node(int from,int to,int next):from(from),to(to),next(next){}; 16 }edge[N*2]; 17 18 int head[N], edge_cnt, n, m; 19 char c[N], s[N]; 20 void add_node(int from,int to) 21 { 22 edge[edge_cnt]=node(from,to,head[from]); 23 head[from]=edge_cnt++; 24 } 25 26 bitset<10005> mapp[N], mapp2[N]; 27 deque<int> que1[N], que2[N]; 28 bool ans; 29 void DFS(int t,int far) 30 { 31 node e; 32 for(int i=head[t]; i!=-1 && ans==false; i=e.next) 33 { 34 e=edge[i]; 35 if(e.to==far) continue; 36 DFS(e.to, t); 37 38 int siz=que1[e.to].size(); 39 for(int j=0; j<siz; j++) //将que1装进来先 40 { 41 int r=que1[e.to].front(); 42 que1[e.to].pop_front(); 43 que1[e.to].push_back(r); //que1[e.to]并没有删除 44 if( c[t]==s[r+1] ) 45 { 46 if(mapp[t][r+1]) mapp2[t][r+1]=1; //增加1个位表示是否有两个孩子能连到此点 47 else if(!mapp[t][r+1]) mapp[t][r+1]=1,que1[t].push_back(r+1); 48 if(r+1==m) 49 { 50 ans=true; 51 return ; 52 } 53 } 54 } 55 } 56 57 for(int i=head[t]; i!=-1 && ans==false; i=e.next) //考虑每个孩子 58 { 59 e=edge[i];if(e.to==far) continue; 60 61 int siz=que1[e.to].size(); //先把此孩子的左，从mapp中全部去掉 62 for(int j=0; j<siz; j++) 63 { 64 int r=que1[e.to].front(); 65 que1[e.to].pop_front(); 66 que1[e.to].push_back(r); 67 if( c[t]==s[r+1] && !mapp2[t][r+1] ) mapp[t][r+1]=0; 68 } 69 70 siz=que2[e.to].size(); //判断是否在此点链接 71 for(int i=0; i<siz; i++) 72 { 73 int r=que2[e.to].front(); 74 que2[e.to].pop_front(); 75 que2[e.to].push_back(r); //que2还没有删 76 if( mapp[t][r-1]==1 ){ ans=true; return ;} //找到了另一半 77 } 78 79 while( !que2[e.to].empty() ) //找不到时，再将que2装进去 80 { 81 int r=que2[e.to].front();que2[e.to].pop_front(); 82 if( c[t]==s[r-1] ) //刚好相同 83 { 84 que2[t].push_back( r-1 ); 85 if(r-1==1) //以此点为终点 86 { 87 ans=true; 88 return ; 89 } 90 } 91 } 92 93 while( !que1[e.to].empty() ) //将此孩子的que1装回去 94 { 95 int r=que1[e.to].front(); 96 que1[e.to].pop_front(); 97 if( c[t]==s[r+1] ) 98 { 99 if( !mapp[t][r+1] ) mapp[t][r+1]=1; 100 } 101 } 102 } 103 if(c[t]==s[1]) que1[t].push_back(1); //起点或终点 104 if(c[t]==s[m]) que2[t].push_back(m); 105 } 106 107 108 109 110 bool test() //s的长度为1的情况 111 { 112 for(int i=1; i<=n; i++) 113 if(c[i]==s[1]) return true; 114 return false; 115 } 116 117 void init() 118 { 119 edge_cnt=0; 120 ans=false; 121 memset(head,-1,sizeof(head)); 122 for(int i=0; i<=n; i++) 123 mapp[i].reset(), 124 mapp2[i].reset(), 125 que1[i].clear(), 126 que2[i].clear(); 127 } 128 129 130 int main() 131 { 132 //freopen("input.txt", "r", stdin); 133 int t, a, b, Case=0; 134 cin>>t; 135 while(t--) 136 { 137 scanf("%d",&n); 138 init(); 139 for(int i=1; i<n; i++) 140 { 141 scanf("%d%d",&a,&b); 142 add_node(a,b); 143 add_node(b,a); 144 } 145 scanf("%s", c+1); 146 scanf("%s", s+1); 147 m=strlen(s+1); 148 149 DFS(1,-1); 150 if(m==1) 151 { 152 if( test() ) printf("Case #%d: Find ", ++Case); 153 else printf("Case #%d: Impossible ", ++Case); 154 } 155 else if(m<=n&&ans==true)printf("Case #%d: Find ", ++Case); 156 else printf("Case #%d: Impossible ", ++Case); 157 } 158 return 0; 159 }