Description
给定两棵树，第一颗树边都为蓝色，在这棵树你可以进行若干次以下操作：选择一条只包含蓝色边的路径，删除路径上一条边，然后路径的两个端点连一条红色的边。问是否能使得第一棵树与第二棵树完全相同（形态相同且点的编号互相对应）。
Solution
考虑最后删除的一定是两棵树同时出现的边，于是我们把这些边的两个端点缩成一个点，表示这些边不能先删除。于是我们发现新树变成了一个同样的问题，同样把最后删除的边的两个端点缩起来。最终，如果我们发现最后变成一个点，则说明可行，否则就不可行。
具体的话可以把两棵树的边都加入，每次选择有两条边相连的两个点，启发式合并一下。
Code
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
#include<map>
#include<set>
#include<queue>
#define fo(i,j,k) for(int i=j;i<=k;++i)
#define fd(i,j,k) for(int i=j;i>=k;--i)
using namespace std;
const int N=1e5+10;
typedef pair<int,int> pr;
map<pr,int> mp;
multiset<int> b[N];
queue<pr> q;
typedef multiset<int>::iterator it;
int f[N];
int find(int x){return !f[x]?x:f[x]=find(f[x]);
}
void link(int x,int y){b[x].insert(y),b[y].insert(x);
}
pr mkpr(int x,int y){if(x>y) swap(x,y);return make_pair(x,y);
}
int main()
{int n;scanf("%d",&n);fo(i,1,n*2-2){int x,y;scanf("%d %d",&x,&y);link(x,y);pr t=mkpr(x,y);++mp[t];if(mp[t]==2) q.push(t);if(mp[t]>2) return printf("NO"),0;}fo(ch,2,n){if(q.empty()) return printf("NO"),0;int x=0,y=0;for(;x==y;x=find(q.front().first),y=find(q.front().second),q.pop());if(b[x].size()>b[y].size()) swap(x,y);f[x]=y;for(it i=b[x].begin();i!=b[x].end();i++){int v=find(*i);b[v].erase(b[v].find(x));if(v==y) continue;link(v,y);pr t=mkpr(v,y);++mp[t];if(mp[t]==2) q.push(t);}b[x].clear();}printf("YES");
}