題解:AT_abc298_h [ABC298Ex] Sum of Min of Length

harmis_yz發表於2024-05-03

分析

模擬賽簽到題。

考慮分討。分兩種情況:

  1. \(L=R\)
  2. \(L \ne R\)

對於第 \(1\) 種情況,用換根 DP 求一個 \(i\) 為根時所有點的深度和就行。

對於第 \(2\) 種情況,欽定 $dep_R \ge dep_L $。

很顯然,\(R\) 為根的子樹中所有點都是離 \(R\) 更近。假設在 \(L\)\(R\) 的路徑上,除開 \(L,R\) 的某個點為 \(K\)。那麼 \(K\) 的任何一個不在路徑上的兒子 \(W\) 為根的子樹中的所有點的貢獻都是 \(dist_{i \to W}+dist_{W \to K}+\min(dist_{K\to L},dist_{K\to R})\)。前面兩項是定值,而後面一項選擇的分界點一定是在 \(L\)\(R\) 的路徑上的中點。

那麼就很顯然了。令中點為 \(M\),則 \(M\) 為根的子樹中所有點的貢獻都為 \(dist_{i \to R}\),其餘所有點都為 \(dist_{i\to L}\)

定義 \(dsum_i\) 表示 \(i\) 為根時所有點的深度和,\(sum_i\) 表示 \(i\) 為根子樹中所有點到 \(i\) 的距離和,\(siz_i\) 表示 \(i\) 為根子樹的大小。

根據容斥,\(dsum_R-(dsum_M-sum_M+(dep_R-dep_M)\times(n-siz_M))\) 就可以求出來 \(M\) 為根的子樹中所有點到 \(R\) 的距離和。\(dsum_M-sum_M\) 將除 \(M\) 為根子樹外所有點到 \(M\) 的距離,而 \(dsum_R\) 中也有這個,但每一個不在 \(M\) 子樹中的點距 \(R\) 的距離都會比距 \(M\) 的距離多 \(dep_R-dep_M\),所以 \(dsum_M-sum_M+(dep_R-dep_M)\times(n-siz_M)\) 減掉了 \(M\) 為根子樹外的點到 \(R\) 的距離和。

然後距離 \(L\) 更近的那些點,和 \(R\) 的情況差不多。透過 \(dsum_L,sum_M,siz_M\) 容斥即可。結果是:\(dsum_L-(sum_M+siz_M\times dist_{M\to L})\)

複雜度 \(O(n \log n)\)

程式碼

#include<bits/stdc++.h>
using namespace std;
#define int long long
#define re register
#define il inline
#define pii pair<int,int>
#define x first
#define y second
#define gc getchar()
#define rd read()
#define debug() puts("------------")

namespace yzqwq{
	il int read(){
		int x=0,f=1;char ch=gc;
		while(ch<'0'||ch>'9'){if(ch=='-') f=-1;ch=gc;}
		while(ch>='0'&&ch<='9') x=(x<<1)+(x<<3)+(ch^48),ch=gc;
		return x*f;
	}
	il int qmi(int a,int b,int p){
		int ans=1;
		while(b){
			if(b&1) ans=ans*a%p;
			a=a*a%p,b>>=1;
		}
		return ans;
	}
	il auto max(auto a,auto b){return (a>b?a:b);}
	il auto min(auto a,auto b){return (a<b?a:b);}
	il int gcd(int a,int b){
		if(!b) return a;
		return gcd(b,a%b);
	}
	il int lcm(int a,int b){
		return a/gcd(a,b)*b;
	}
	il void exgcd(int a,int b,int &x,int &y){
		if(!b) return x=1,y=0,void(0);
		exgcd(b,a%b,x,y);
		int t=x;
		x=y,y=t-a/b*x;
		return ;
	}
	mt19937 rnd(time(0));
}
using namespace yzqwq;
#define D(x,y) ((dep[x]+dep[y]-2*dep[lca(x,y)]))

const int N=2e5+10,M=20;
int n,m;
int ne[N<<1],e[N<<1],h[N],idx;
int dep[N],f[N][M],siz[N];
int sum[N];//i子樹中與i的距離和
int dsum[N];//i為根時的距離和 

il void add(int a,int b){
	ne[++idx]=h[a],e[idx]=b,h[a]=idx;
	ne[++idx]=h[b],e[idx]=a,h[b]=idx;
}
il void dfs(int now,int fa){
	dep[now]=dep[fa]+1,siz[now]=1,f[now][0]=fa;
	for(re int i=1;i<M;++i) f[now][i]=f[f[now][i-1]][i-1];
	for(re int i=h[now];i;i=ne[i]){
		int j=e[i];if(j==fa) continue;
		dfs(j,now);
		siz[now]+=siz[j];
		sum[now]+=sum[j]+siz[j];
	}
	return ;
}
il void dfs2(int now,int fa){
	for(re int i=h[now];i;i=ne[i]){
		int j=e[i];if(j==fa) continue;
		dsum[j]=dsum[now]-siz[j]+(n-siz[j]);
		dfs2(j,now);
	}
	return ;
}
il int lca(int x,int y){
	if(dep[x]<dep[y]) swap(x,y);
	for(re int i=19;i>=0;--i) if(dep[f[x][i]]>=dep[y]) x=f[x][i];
	if(x==y) return x;
	for(re int i=19;i>=0;--i) if(f[x][i]!=f[y][i]) x=f[x][i],y=f[y][i];
	return f[x][0];
}
il int up(int x,int y){
	int now=0;
	while(y){
		if(y&1) x=f[x][now];
		y>>=1,++now;
	}
	return x;
}

il void solve(){
	n=rd;
	for(re int i=1,a,b;i<n;++i)
		a=rd,b=rd,add(a,b);
	dfs(1,0),dsum[1]=sum[1],dfs2(1,0);
	m=rd;
	for(re int i=1;i<=m;++i){
		int l=rd,r=rd;
		if(dep[l]>dep[r]) swap(l,r);
		if(l==r) printf("%lld\n",dsum[l]);
		else{
			int ans=0,dis=D(l,r)-1;
			int m_=up(r,dis/2);//中點 
			ans+=dsum[r]-(dsum[m_]-sum[m_]+(dep[r]-dep[m_])*(n-siz[m_]));//離R近的 
			ans+=dsum[l]-(sum[m_]-siz[m_]*D(m_,l));//離L近的 
			printf("%lld\n",ans);
		}
	}
	return ;
}

signed main(){
// 	freopen("sum.in","r",stdin);
// 	freopen("sum.out","w",stdout);
	int t=1;while(t--)
	solve();
	return 0;
}

相關文章