loj6157 A ^ BProblem (并查集)

设s[x][i]表示从根到x的异或和在第i位上的值（0/1)，(a,b,i)表示a到b的异或和在第i位上的值
那么就有(a,b,i)=(s[a][i]^s[b][i]^s[lca][i]^s[lca][i])=(s[a][i]^s[b][i])
也就是说，能搞出来s[a][i]和s[b][i]的相同或不同关系
用一个并查集，把每个点拆成x和x'，分别表示与x相同和与x不同
若中间出现了矛盾，就是Impossible
若最后同一侧的连通块数>2，就说明答案不唯一
然后对于每一条树上的边(a,b)，如果a和b相同，这个边在第i位上就是0，否则就是1

#include<bits/stdc++.h>
#define pa pair<int,int>
#define CLR(a,x) memset(a,x,sizeof(a))
using namespace std;
typedef long long ll;
const int maxn=1e5+10,maxm=2e5+10;

inline ll rd(){
    ll x=0;char c=getchar();int neg=1;
    while(c<'0'||c>'9'){if(c=='-') neg=-1;c=getchar();}
    while(c>='0'&&c<='9') x=x*10+c-'0',c=getchar();
    return x*neg;
}

int eg[maxn][2],id[maxn][20][2],pct;
int fa[maxn*40],N,M;
int flag[maxn*40];

inline int getf(int x){return x==fa[x]?x:fa[x]=getf(fa[x]);}

inline void add(int a,int b){
    int x=getf(a),y=getf(b);
    if(x!=y) fa[x]=y;
}

int main(){
    //freopen("","r",stdin);
    int i,j,k;
    for(int T=rd();T;T--){
        N=rd(),M=rd();
        bool ans=1;pct=0;
        for(i=1;i<=N;i++){
            for(j=1;j<=16;j++)
                id[i][j][0]=++pct,fa[pct]=pct,id[i][j][1]=++pct,fa[pct]=pct;
        }
        for(i=1;i<N;i++)
            eg[i][0]=rd(),eg[i][1]=rd();
        for(i=1;i<=M;i++){
            int a=rd(),b=rd(),w=rd();
            for(j=1;j<=16;j++){
                if((w>>(j-1))&1){
                    if(getf(id[a][j][0])==getf(id[b][j][0])) ans=0;
                    add(id[a][j][0],id[b][j][1]);
                    add(id[a][j][1],id[b][j][0]);
                }else{
                    if(getf(id[a][j][0])==getf(id[b][j][1])) ans=0;
                    add(id[a][j][0],id[b][j][0]);
                    add(id[a][j][1],id[b][j][1]);
                }
            }
        }
        if(!ans){
            printf("Impossible
");
            continue;
        }
        CLR(flag,0);
        for(i=1;i<=16;i++){
            int cnt=0;
            for(j=1;j<=N;j++){
                if(!flag[getf(id[j][i][0])])
                    flag[getf(id[j][i][0])]=++cnt;
            }
            if(cnt>2){ans=0;break;}
        }
        if(!ans){
            printf("No
");
            continue;
        }
        int mi=1e9,ma=0;
        for(i=1;i<N;i++){
            int a=eg[i][0],b=eg[i][1],x=0;
            for(j=1;j<=16;j++){
                if(getf(id[a][j][0])!=getf(id[b][j][0]))
                    x|=1<<(j-1);
            }
            mi=min(mi,x),ma=max(ma,x);
        }
        printf("%d %d
",mi,ma);
    }
    
    return 0;
}