题解：P14411 [JOISC 2015] 道路建设 / Road Development

#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define V vector
#define FOR(i,a,b) for(int i=(int)(a);i<=(int)(b);i++)
#define pb push_back
const int INF=1e9+10,N=5e5+10;
struct SegTree{
	struct node{
		int l,r,w,tag;
	};
	V<node>a;
	SegTree(int _n):a(_n*4+2){}
	#define ls(x) (x<<1)
	#define rs(x) (x<<1|1)
	#define mid ((a[x].l+a[x].r)>>1)
	#define push_up(x) (a[(x)].w=a[ls((x))].w+a[rs((x))].w)
	void build(int x,int l,int r){
		a[x].l=l;a[x].r=r;a[x].tag=INF;
		if(l==r)return;
		build(ls(x),l,mid);
		build(rs(x),mid+1,r);
		push_up(x);
	}
	void addtag(int x,int w){
		a[x].tag=w;
		a[x].w=(a[x].r-a[x].l+1)*w;
	}
	void push_down(int x){
		if(a[x].tag!=INF){
			addtag(ls(x),a[x].tag);
			addtag(rs(x),a[x].tag);
			a[x].tag=INF;
		}
	}
	void update(int x,int L,int R,int w){
		if(a[x].l>=L&&a[x].r<=R){
			addtag(x,w);
			return;
		}
		push_down(x);
		if(L<=mid) update(ls(x),L,R,w);
		if(R>mid) update(rs(x),L,R,w);
		push_up(x);
	}
	int query(int x,int L,int R){
		if(a[x].l>=L&&a[x].r<=R) return a[x].w;
		push_down(x);
		if(R<=mid) return query(ls(x),L,R);
		else if(L>mid) return query(rs(x),L,R);
		else return query(ls(x),L,R)+query(rs(x),L,R);
	}
	#undef ls
	#undef rs
	#undef mid
	#undef push_up
};
struct DSU{
	V<int>fa;
	DSU(int _n):fa(_n+2){
		iota(fa.begin(),fa.end(),0);
	}
	int fin(int x){
		while(x^fa[x]) x=fa[x]=fa[fa[x]];
		return x;
	}
	bool is_same(int u,int v){
		return fin(u)==fin(v);
	}
	void merge(int u,int v){
		u=fin(u);v=fin(v);
		if(u==v) return;
		fa[u]=v;
	}
};
V<int>e[N];
int dep[N],siz[N],son[N],fa[N],top[N],id[N];
int num=0;
void dfs1(int u,int fat){
	fa[u]=fat;siz[u]=1;
	dep[u]=dep[fat]+1;
	for(auto v:e[u]){
		if(v==fat)continue;
		dfs1(v,u);
		siz[u]+=siz[v];
		if(!son[u]||siz[son[u]]<siz[v]) son[u]=v;
	}
}
void dfs2(int u,int tp){
	top[u]=tp;id[u]=++num;
	if(!son[u]) return;
	dfs2(son[u],tp);
	for(auto v:e[u]){
		if(v!=son[u]&&v!=fa[u]) dfs2(v,v);
	}
}
void update(SegTree &lls,int u,int v,int w){
	while(top[u]!=top[v]){
		if(dep[top[u]]<dep[top[v]]) swap(u,v);
		lls.update(1,id[top[u]],id[u],w);
		u=fa[top[u]];
	}
	if(dep[u]>dep[v]) swap(u,v);
	if(u!=v) lls.update(1,id[u]+1,id[v],w);
}
int query(SegTree &lls,int u,int v){
	int ans=0;
	while(top[u]!=top[v]){
		if(dep[top[u]]<dep[top[v]]) swap(u,v);
		ans+=lls.query(1,id[top[u]],id[u]);
		u=fa[top[u]];
	}
	if(dep[u]>dep[v]) swap(u,v);
	if(u!=v) ans+=lls.query(1,id[u]+1,id[v]);
	return ans;
}
struct QUE{
	int op,u,v,val,ans;
};
signed main(){
	ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);
	int n,q;cin>>n>>q;
	V<QUE>que(q+1);
	SegTree lls(n+1);lls.build(1,1,n);
	DSU bcj(n+1); 
	FOR(i,1,q){
		int &op=que[i].op,&u=que[i].u,&v=que[i].v;
		cin>>op>>u>>v;
		if(op&1){
			if(!bcj.is_same(u,v)){
				bcj.merge(u,v);
				e[u].pb(v);e[v].pb(u);
				que[i].val=1;
			}
		}else{
			if(!bcj.is_same(u,v)){
				que[i].ans=-1;
			}
		}
	}
	FOR(i,1,n){
		if(!id[i]) dfs1(i,0),dfs2(i,i);
	}
	FOR(i,1,q){
		int op=que[i].op,u=que[i].u,v=que[i].v,ans=que[i].ans,val=que[i].val;
		if(op&1) update(lls,u,v,val);
		else{
			if(ans==-1) cout<<ans<<"\n";
			else cout<<query(lls,u,v)<<"\n";
		}
	}
	return 0;
}