树上一条路径上边权的异或,显然相当于两个到根的异或再异或起来。
这样,相当于我们每次都知道到根的异或值。
这样我们就可以并查集处理了,记录到根的异或值,每次判断一下就好了。
#include<bits/stdc++.h>
#define N 500000
using namespace std;
int T,n,m,x,y,f[N+5],w[N+5],z,flg;
int u[N+5],v[N+5];
inline char nc()
{
static char buf[100000],*p1=buf,*p2=buf;
return p1==p2&&(p2=(p1=buf)+fread(buf,1,100000,stdin),p1==p2)?EOF:*p1++;
}
inline int read()
{
int x=0,b=1;
char c=nc();
for(;!(c<='9'&&c>='0');c=nc())if(c=='-')b=-1;
for(;c<='9'&&c>='0';c=nc())x=x*10+c-'0';
return x*b;
}
inline int find(int x)
{
if(x==f[x])return x;
int fa=find(f[x]);
w[x]^=w[f[x]];
return f[x]=fa;
}
int main()
{
freopen("in.txt","r",stdin);
T=read();
while(T--)
{
n=read(),m=read();
for(int i=1;i<=n;i++)f[i]=i,w[i]=0;
for(int i=1;i<n;i++)u[i]=read(),v[i]=read();
flg=true;
for(int i=1;i<=m;i++)
{
x=read(),y=read(),z=read();
int fx=find(x),fy=find(y);
if(fx!=fy){
f[fx]=fy;
w[fx]=w[x]^w[y]^z;
}else{
if(z^w[x]^w[y])flg=false;
}
}
if(!flg)puts("Impossible");
else
{
int tmp=find(1),k=true;
for(int i=1;i<=n;i++)if(find(i)!=tmp){
puts("No");
k=false;
break;
}
if(!k)continue;
int mn=~0u>>1,mx=0;
for(int i=1;i<n;i++)
{
int tmp=w[u[i]]^w[v[i]];
mn=min(mn,tmp),mx=max(mx,tmp);
}
printf("%d %d\n",mn,mx);
}
}
return 0;
}