[CodeForces 487E]Tourists

Link

Description

\(n\)个点，\(m\)条边的无向连通图，每个点有点权。

有两种操作：

• 修改某个点的点权。
• 询问两点间所有简单路径上点权最小值。

Solution

建出圆方树。令方点点权为相邻圆点点权的最小值。那么现在询问就变成查询路径最小值，可以用树剖+线段树解决。

对于修改，如果修改某个点权值，那么它周围的所有方点权值都要修改，可以被卡成\(\text O(n)\)。

所以改一下思路，考虑到圆方树是一棵树，可以令方点点权为其儿子圆点点权的最小值。这样，修改一个圆点，只需要顺带修改其父亲方点的点权即可。

对于每方点，用一个multiset维护所有儿子圆点的权值。

值得注意的是，如果查询时两点lca是方点，那还要查询其父亲圆点的权值。

Code

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
inline int read(){//be careful for long long!
    register int x=0,f=1;register char ch=getchar();
    while(!isdigit(ch)){if(ch=='-')f=0;ch=getchar();}
    while(isdigit(ch)){x=x*10+(ch^'0');ch=getchar();}
    return f?x:-x;
}
 
const int N=1e5+10;
int n,m,q,w[N<<1],cnt,dfc,dfn[N<<1],low[N],stk[N],tp;
vector<int> re_E[N],E[N<<1];
#define pb(x) push_back(x)
 
inline void Tarjan(int nw){
    dfn[nw]=low[nw]=++dfc;stk[++tp]=nw;
    for(int to:re_E[nw])
	if(!dfn[to]){
	    Tarjan(to);
	    low[nw]=min(low[nw],low[to]);
	    if(low[to]==dfn[nw]){
		++cnt;
		for(int x=0;x^to;--tp){
		    x=stk[tp];
		    E[x].pb(cnt),E[cnt].pb(x);
		}
		E[nw].pb(cnt),E[cnt].pb(nw);
	    }
	}
	else low[nw]=min(low[nw],dfn[to]);
}
 
namespace TCP{
    const int _=2e5+10;
    int son[_],siz[_],fa[_],dep[_],tp[_],rol[_];
    multiset<int> W[_>>1];
    struct Segment_tree{
#define ls(p) p<<1
#define rs(p) p<<1|1
	int tr[_<<2];
	inline void update(int p){tr[p]=min(tr[ls(p)],tr[rs(p)]);return;}
	inline void Build(int p,int l,int r){
	    if(l==r){tr[p]=w[rol[l]];return;}
	    int mid=(l+r)>>1;
	    Build(ls(p),l,mid),Build(rs(p),mid+1,r);
	    update(p);
	}
	inline void Modify(int p,int l,int r,int pos,int val){
	    if(l==r){tr[p]=val;return;}
	    int mid=(l+r)>>1;
	    if(mid>=pos)Modify(ls(p),l,mid,pos,val);
	    else Modify(rs(p),mid+1,r,pos,val);
	    update(p);
	}
	inline int Query(int p,int l,int r,int L,int R){
	    if(L<=l&&r<=R)return tr[p];
	    int mid=(l+r)>>1,ans=2e9;
	    if(mid>=L)ans=min(ans,Query(ls(p),l,mid,L,R));
	    if(mid<R)ans=min(ans,Query(rs(p),mid+1,r,L,R));
	    return ans;
	}
    }T;
 
    inline void Dfs_o(int nw,int f=0){
	siz[nw]=1;dep[nw]=dep[fa[nw]]+1;
	for(int to:E[nw])
	    if(to^f){
		fa[to]=nw;Dfs_o(to,nw);siz[nw]+=siz[to];
		if(siz[to]>siz[son[nw]])son[nw]=to;
		if(nw>n)W[nw-n].insert(w[to]);
	    }
    }
    inline void Dfs_t(int nw){
	dfn[nw]=++dfc;rol[dfc]=nw;
	if(!tp[nw])tp[nw]=nw;
	if(son[nw]){tp[son[nw]]=tp[nw];Dfs_t(son[nw]);}
	for(int to:E[nw])
	    if(to^fa[nw]&&to^son[nw])
		Dfs_t(to);
    }
    inline int lca(int x,int y){
	int ans=0x7fffffff;
	while(tp[x]^tp[y]){
	    if(dep[tp[x]]>=dep[tp[y]])ans=min(ans,T.Query(1,1,dfc,dfn[tp[x]],dfn[x])),x=fa[tp[x]];
	    else ans=min(ans,T.Query(1,1,dfc,dfn[tp[y]],dfn[y])),y=fa[tp[y]];
	}
	if(dep[x]>dep[y])swap(x,y);
	ans=min(ans,T.Query(1,1,dfc,dfn[x],dfn[y]));
	if(x>n)ans=min(ans,w[fa[x]]);
	return ans;
    }
}using namespace TCP;
 
int main(){
    n=cnt=read(),m=read(),q=read();
    for(int i=1;i<=n;++i)w[i]=read();
    for(int i=1,u,v;i<=m;++i)u=read(),v=read(),re_E[u].pb(v),re_E[v].pb(u);
    Tarjan(1);memset(dfn,0,sizeof(dfn));dfc=0;
    Dfs_o(1),Dfs_t(1);
    for(int i=n+1;i<=dfc;++i)w[i]=(*W[i-n].begin());
    T.Build(1,1,dfc);
    while(q--){
	char ch=getchar();
	switch(ch){
	case 'C':{
	    int x=read();
	    if(x^1){
		W[fa[x]-n].erase(W[fa[x]-n].find(w[x]));
		W[fa[x]-n].insert(w[x]=read());
		T.Modify(1,1,dfc,dfn[fa[x]],(*W[fa[x]-n].begin()));
	    }
	    else w[x]=read();
	    T.Modify(1,1,dfc,dfn[x],w[x]);
	    break;
	}
	case 'A':{
	    int x=read(),y=read();
	    printf("%d\n",TCP::lca(x,y));
	    break;
	}
	}
    }
    return 0;
}