[CF1527D] MEX Tree （lca）

题面

给你一棵 $n$ 个结点的树，对于所有的 $k\in [0,n]$ ，求出 $\mathrm{M}\mathrm{E}\mathrm{X}=k$ 的路径数量。

一条路径的 $\mathrm{M}\mathrm{E}\mathrm{X}$ 定义为该路径上没出现的最小结点编号（编号从 $0$ 到 $n-1$）。

$1\le n\le 2e5$，多组数据。

题解

一条路径的 $\mathrm{M}\mathrm{E}\mathrm{X}$ 恰好等于 $k$ 的充要条件是

• 结点 $0$ 到 $k-1$ 都出现在路径上。
• 结点 $k$ 没有出现在路径上。

我们先想想怎么求 $0$ 到 $i$ 都出现在路径上的路径个数，令其为 $f(i)$。

如果这 $i+1$ 个点在树上没办法由一条路径经过（形成的虚树不是一条链）那么答案一定为 0，并且 $f(i+1)$ 直到 $f(n)$ 的值也都是 0 。在这之前，如果包含它们的最短路径两端是 $A$ 和 $B$（不妨令它们没有祖先关系），那么 $f(i)$ 就为 $A$ 端子树大小 × $B$ 端子树大小。

$\mathrm{M}\mathrm{E}\mathrm{X}$ 等于 $k$ 的答案不难发现可以用一个小容斥算出：$f(k-1)-f(k)$ 。

然后，难点就剩计算 $f(i)$ 了。首先不妨令 $f(-1)=\frac{n\ast (n-1)}{2}$

接着我们发现，如果把 0 当作根的话，一切都变得明朗。从 $0$ 到 $i$ 形成的虚树一定都经过根，那么我们用 $A$ 和 $B$ 两个变量存路径的两端就足够了（初始为 0）。从小到大依次加入点，如果出现加入的点 $x$ 分别与 $A$ 或 $B$ 的最近公共祖先不是 $1,A,B,x$ 中任何一个的话，那当前的 $f(i)$ 以及后面的都是 0 了，就不用继续算了。否则的话，就讨论讨论，看怎么更新 $A$ 和 $B$ 。

计算 $f(i)$ 的时候，如果 $A$ 和 $B$ 都是 0，那么就是经过 0 的路径数，提前处理一下即可；如果 $A$ 和 $B$ 其中一个是 0（假设是 $A$），那么先求出 $B$ 往上走刚好走到 0 的儿子的那个点 $B^{\prime }$，答案就是 $(n-siz[B^{\prime }])\times siz[B]$；如果 $A$ 和 $B$ 都大于 0 的话，答案自然是 $siz[A]\times siz[B]$。

具体实现有点细节多。复杂度 $O(n\log n)$。

CODE

#include<cstdio>
#include<vector>
#include<cmath>
#include<map>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
#define MAXN 300005
#define DB double
#define LL long long
#define ENDL putchar('\n')
#define lowbit(x) ((-x) & (x))
LL read() {
	LL f=1,x=0;char s = getchar();
	while(s < '0' || s > '9') {if(s=='-')f = -f;s = getchar();}
	while(s >= '0' && s <= '9') {x=x*10+(s-'0');s = getchar();}
	return f * x;
}
int n,m,i,j,s,o,k;
LL as[MAXN];
vector<int> g[MAXN];
int d[MAXN],dfn[MAXN],rr[MAXN],tim,siz[MAXN];
LL dp[MAXN];
int A,B,FLAG,f[MAXN][21];//18
void dfs(int x,int ff) {
	d[x] = d[f[x][0] = ff] + 1;dp[x] = 0;siz[x] = 1;
	dfn[x] = ++ tim;
	for(int i = 1;i <= 18;i ++) f[x][i] = f[f[x][i-1]][i-1];
	for(int i = 0;i < (int)g[x].size();i ++) {
		int y = g[x][i];
		if(y != ff) {
			dfs(y,x);
			dp[x] += siz[x] *1ll* siz[y];
			siz[x] += siz[y];
		}
	}rr[x] = tim;
	return ;
}
int lca(int a,int b) {
	if(d[a] < d[b]) swap(a,b);
	if(d[a] > d[b]) {
		for(int i = 18;i >= 0;i --) {
			if(d[f[a][i]] >= d[b]) a = f[a][i];
		}
	}if(a == b) return a;
	for(int i = 18;i >= 0;i --) {
		if(f[a][i] != f[b][i]) {
			a = f[a][i]; b = f[b][i];
		}
	}return f[a][0];
}
LL cal() {
	if(!FLAG) return 0;
	if(A > B) swap(A,B);
	if(A == 1 && B == 1) return dp[1];
	if(A == 1) {
		int ft = B;
		for(int i = 18;i >= 0;i --) {
			if(d[f[ft][i]] > d[A]) ft = f[ft][i];
		}
		int nm1 = n - (rr[ft]-dfn[ft]+1);
		return (rr[B]-dfn[B]+1) *1ll* nm1;
	}
	return (rr[B]-dfn[B]+1) *1ll* (rr[A]-dfn[A]+1);
}
void addp(int x) {
	if(!FLAG) return ;
	if(A > B) swap(A,B);
	if(A == 1 && B == 1) B = x;
	else if(A == 1) {
		int lc = lca(x,B);
		if(lc == 1) A = x;
		else if(lc == B) B = x;
		else if(lc != x) FLAG = 0;
	}
	else {
		int lc1 = lca(A,x),lc2 = lca(B,x);
		if(lc1 == A) A = x;
		else if(lc2 == B) B = x;
		else if((lc1 == x) || (lc2 == x)) return ;
		else FLAG = 0;
	}return ;
}
int main() {
	int T = read();
	while(T --) {
		n = read();
		tim = 0;A = B = FLAG = 1;
		for(int i = 1;i <= n+1;i ++) {
			g[i].clear(); as[i] = 0;
			memset(f[i],0,sizeof(f[i]));
		}
		for(int i = 1;i < n;i ++) {
			s = read()+1;o = read()+1;
			g[s].push_back(o);
			g[o].push_back(s);
		}
		dfs(1,0);
		as[1] = n*1ll*(n-1)/2ll;
		for(int i = 2;i <= n;i ++) {
			LL ass = cal();
			as[i-1] -= ass;
			as[i] = ass;
			addp(i);
		}
		LL ass = cal();
		as[n] -= ass; as[n+1] = ass;
		for(int i = 1;i <= n+1;i ++) {
			printf("%lld ",as[i]);
		}ENDL;
	}
	return 0;
}