题解:
想了半天看了一眼数据范围。。 直接最大独立集。
#include <bits/stdc++.h>
using namespace std;
typedef long long LL;
const int RLEN=1<<18|1;
inline char nc() {
static char ibuf[RLEN],*ib,*ob;
(ib==ob) && (ob=(ib=ibuf)+fread(ibuf,1,RLEN,stdin));
return (ib==ob) ? -1 : *ib++;
}
inline int rd() {
char ch=nc(); int i=0,f=1;
while(!isdigit(ch)) {if(ch=='-')f=-1; ch=nc();}
while(isdigit(ch)) {i=(i<<1)+(i<<3)+ch-'0'; ch=nc();}
return i*f;
}
const int N=1e5+50, M=1e7+50;
int n,m1,m2,sze[N],son[N],dep[N],top[N],fa[N],dfn[N],ind;
struct chain {int x,y,l;} c1[N],c2[N];
vector <int> e[N];
inline void dfs(int x,int f) {
fa[x]=f; dep[x]=dep[f]+1; sze[x]=1;
for(auto v:e[x]) if(v^f) {
dfs(v,x); sze[x]+=sze[v];
if(sze[son[x]]<sze[v]) son[x]=v;
}
}
inline void Dfs(int x,int f) {
top[x]=f; dfn[x]=++ind;
if(son[x]) Dfs(son[x],f);
for(auto v:e[x]) if(v^fa[x] && v^son[x]) Dfs(v,v);
}
inline int lca(int x,int y) {
while(top[x]^top[y]) (dep[top[x]]>dep[top[y]]) ? (x=fa[top[x]]) : (y=fa[top[y]]);
return (dep[x]>dep[y]) ? y : x;
}
inline bool in(int x,int y) {return (dfn[x]>=dfn[y]) && (dfn[x]<dfn[y]+sze[y]);}
inline bool in(int a,int b,int c) {return in(b,a) && in(c,b);}
namespace mcmf {
int g[N],nt[M],vt[M],c[M],ec=1;
int cur[N],lev[N],q[N],src,des;
inline void add(int x,int y,int cc) {
nt[++ec]=g[x]; g[x]=ec; vt[ec]=y; c[ec]=cc;
nt[++ec]=g[y]; g[y]=ec; vt[ec]=x; c[ec]=0;
}
inline bool bfs() {
for(int i=1;i<=des;i++) lev[i]=0;
int r; q[r=1]=src; lev[src]=1;
for(int i=1;i<=r;i++) {
int u=q[i];
for(int e=g[u];e;e=nt[e]) if(c[e] && (!lev[vt[e]])) {
lev[vt[e]]=lev[u]+1; q[++r]=vt[e];
if(vt[e]==des) return true;
}
} return false;
}
inline int dinic(int x,int f) {
if(x==des) return f;
int rs=0;
for(int &e=cur[x];e;e=nt[e]) if(c[e] && (lev[vt[e]]==lev[x]+1)) {
int o=dinic(vt[e],min(f-rs,c[e]));
rs+=o; c[e]-=o; c[e^1]+=o;
if(rs==f) return rs;
} return lev[x]=0, rs;
}
inline int maxflow() {
int rs=0;
while(bfs()) {
int t=0; memcpy(cur+1,g+1,sizeof(int)*des);
while((t=dinic(src,2e9))) rs+=t, memcpy(cur+1,g+1,sizeof(int)*des);
} return rs;
}
}
int ans;
int main() {
n=rd(); m1=rd(); m2=rd();
for(int i=1;i<n;i++) {
int x=rd(), y=rd();
e[x].push_back(y);
e[y].push_back(x);
} dfs(1,0); Dfs(1,1);
mcmf::src=m1+m2+1;
mcmf::des=m1+m2+2;
for(int i=1;i<=m1;i++) {
c1[i].x=rd(), c1[i].y=rd(), c1[i].l=lca(c1[i].x,c1[i].y);
int v=rd(); ans+=v;
mcmf::add(mcmf::src,i,v);
}
for(int i=1;i<=m2;i++) {
c2[i].x=rd(), c2[i].y=rd(), c2[i].l=lca(c2[i].x,c2[i].y);
int v=rd(); ans+=v;
mcmf::add(i+m1,mcmf::des,v);
}
for(int i=1;i<=m1;i++) for(int j=1;j<=m2;j++)
if(in(c1[i].l,c2[j].l,c1[i].x) || in(c1[i].l,c2[j].l,c1[i].y) || in(c2[j].l,c1[i].l,c2[j].x) || in(c2[j].l,c1[i].l,c2[j].y))
mcmf::add(i,j+m1,2e9);
ans-=mcmf::maxflow(); cout<<ans<<'\n';
}