Maxflow


题目背景
给你一棵大小为 \(n\) 的树,每个节点上都有一个点权,初值为 0。

一共有 \(m\) 次操作,每次操作给定一个点对 $(s_i,t_i)#,表示对 \(s_i?>t_i\) 这条路径上的每个节点点权+1。

所有操作结束后,询问所有点的最大点权。

输入格式
第一行包括两个正整数 \(n,m\)

此后 \(n?1\) 行,每行两个正整数,描述着这颗树上的 \(n?1\) 条边。

再此后的 \(m\) 行,每行两个正整数 \(s_i,t_i\),描述一个操作的给定点对。

输出格式
输出一行一个正整数,表示操作后所有点的最大点权。

样例
input

5 10
3 4
1 5
4 2
5 4
5 4
5 4
3 5
4 3
4 3
1 3
3 5
5 4
1 5
3 4

output

9

数据范围
时间限制: 1s
空间限制: 256MB
对于 100% 的数据, \(n,m≤100,000\)

数据富含梯度,可以各种尝试。

树上差分的模板。

首先既然是差分,那么就以子树和为这个点的权值。首先两个点都增加1,到他们的LCA时差分值减1,LCA的父亲差分值也要减1.

用倍增\(O(nlogn)\),用Tarjan \(O(n)\)

#include
#include
using namespace std;
const int N=1e5+5;
int n,m,lg[N],dep[N],fa[N][30],hd[N],c[N],s,t,ans,k;
struct edge{
	int v,nxt;
}e[N<<1];
void add_edge(int z,int x,int y)
{
	e[z]=(edge){y,hd[x]};
	hd[x]=z;
}
void dfs(int x,int y)
{
	fa[x][0]=y,dep[x]=dep[y]+1;
	for(int i=1;i<=lg[dep[x]];i++)
		fa[x][i]=fa[fa[x][i-1]][i-1];
	for(int i=hd[x];i;i=e[i].nxt)
		if(e[i].v!=y)
			dfs(e[i].v,x);
}
int lca(int x,int y)
{
	while(dep[x]>dep[y])
		x=fa[x][lg[dep[x]-dep[y]]];
	while(dep[x]=0;i--)
		if(fa[x][i]!=fa[y][i])
			x=fa[x][i],y=fa[y][i];
	return fa[x][0];
}
int sou(int x)
{
	int s=0;
	for(int i=hd[x];i;i=e[i].nxt)
		if(e[i].v!=fa[x][0])
			s+=sou(e[i].v);
	s+=c[x];
	ans=max(ans,s);
	return s;
}
int main()
{
	scanf("%d%d",&n,&m);
	for(int i=1;i>1]+1;
	dfs(1,0);
	for(int i=1;i<=m;i++)
	{
		scanf("%d%d",&s,&t),k=lca(s,t);
		c[s]++,c[t]++,c[k]--,c[fa[k][0]]--;
	}
	sou(1);
	printf("%d",ans);
	return 0;
}