【二分+双指针】LGP3771[CTSC2017]网络

【题目】
原题地址
给定一棵带边权树，加上一条长度为$L$的边，使得点对距离中的最大值最小，求这个最小值。

【解题思路】
首先我们一定可以得到一个结论：新建的边一定连接树直径上的两个点，否则往直径移动一定可以更优。
接着，答案满足可二分性。
那么我们现在要做的就是单独将直径取出来考虑如何判定答案是否可行。

现在令直径上有$x$个点，第$i$个点为$p_i$，$p_i$与$p_{i-1}$之间的边长为$le{n}_i$，$di{s}_i={\sum }_{j=2}^{i}le{n}_j$,从$p_i$出发不经过直径的最长路径为$d_i$。

我们假设最终连边为$a\Rightarrow b(a<b)$，当前二分答案为$mid$，经过分析，我们可以得到，对于两点$p_i,p_j(i<j)$，满足答案合法性当且仅当：

• $d_i+d_j+di{s}_j-di{s}_i\le mid$
• $d_i+d_j+|di{s}_i-di{s}_a|+|di{s}_j-di{s}_b|+L\le mid$

这两个条件中有至少一个满足。（以下分别称为条件1和条件2）

那么接下来的做法就变得比较显然了：
我们将条件2绝对值去掉，可以得到四个不带绝对值的限制。

• $d_i+di{s}_i+d_j+di{s}_j+L-mid\le di{s}_a+di{s}_b$
• $d_i-di{s}_i+d_j+di{s}_j+L-mid\le -di{s}_a+di{s}_b$
• $d_i+di{s}_i+d_j-di{s}_j+L-mid\le di{s}_a-di{s}_b$
• $d_i-di{s}_i+d_j-di{s}_j+L-mid\le -di{s}_a-di{s}_b$

对$p_i$分别按照$d_i+di{s}_i,d_i-di{s}_i$排序，在前者中枚举$j$，对应满足条件1的一定是后者的一个前缀，首先忽略这一部分的$(i,j)$。

对于剩余的$(i,j)$我们要求出现过的最紧限制$li{m}_1,li{m}_2,li{m}_3,lim{e}_4$（分别对应上面四条）。这一步我们可以直接对数组进行排序后取最大的两个。

那么接下来的问题可以转化为判断是否存在$(a,b)$，满足：

• $li{m}_1\le di{s}_a+di{s}_b$
• $li{m}_2\le -di{s}_a+di{s}_b$
• $li{m}_3\le di{s}_a-di{s}_b$
• $li{m}_4\le -di{s}_a-di{s}_b$

这一步我们从小到大枚举$a$，那么对应可行的$b$一定是一段前缀或一段后缀，判断这四个区间是否有交即可。这个区间满足单调性，可以直接双指针扫，当然懒一点上$lower\_bound$也不会影响复杂度

最后总的复杂度就是$O(n\log n\log S)$，其中$S$是树的直径。

【参考代码】

#include<bits/stdc++.h>
using namespace std;

typedef long long ll;
const int N=1e5+10;
const ll INF=(ll)0x3f3f3f3f3f3f3f3f;
int n,cnt,tot,rt,A,B,L;
int head[N],on[N],a[N],b[N],q[N],f[N];
ll tmp,ans,al,ar,bl,br,amx,bmi;
ll dis[N],d[N],dp[N];

int read()
{
	int ret=0;char c=getchar();
	while(!isdigit(c)) c=getchar();
	while(isdigit(c)) ret=ret*10+(c^48),c=getchar();
	return ret;
}

struct Tway{int v,w,nex;}e[N<<1];
void add(int u,int v,int w)
{
	e[++tot]=(Tway){v,w,head[u]};head[u]=tot;
	e[++tot]=(Tway){u,w,head[v]};head[v]=tot;
}

bool cmp1(int x,int y){return d[x]+dis[x]<d[y]+dis[y];}
bool cmp2(int x,int y){return d[x]-dis[x]<d[y]-dis[y];}

void dfs(int x,int y,ll z)
{
	//printf("%d %d %lld\n",x,y,z);
	dp[x]=z;f[x]=y;
	if(z>dp[rt]) rt=x;
	for(int i=head[x];i;i=e[i].nex) if(y^e[i].v) dfs(e[i].v,x,z+e[i].w);
}

void dfs2(int x,int y,ll z)
{
	if(z>tmp) tmp=z;
	for(int i=head[x];i;i=e[i].nex) if(y^e[i].v && !on[e[i].v]) dfs2(e[i].v,x,z+e[i].w);
}

void gmax(ll &x,ll y){if(y>x)x=y;}
void gmin(ll &x,ll y){if(y<x)x=y;}

bool check(ll mid)
{
	al=bl=amx=-INF;ar=br=bmi=INF;
	for(int i=1,j=1;i<=cnt;++i)
	{
		while(j<=cnt && d[a[i]]+dis[a[i]]-d[b[j]]+dis[b[j]]>mid)
		{
			gmax(amx,d[b[j]]+dis[b[j]]);gmin(bmi,d[b[j]]-dis[b[j]]);
			++j;
		}
		if(j>1)
		{
			gmax(al,d[a[i]]+dis[a[i]]+amx);gmin(ar,d[a[i]]-dis[a[i]]+bmi);
			gmax(bl,d[a[i]]+dis[a[i]]-bmi);gmin(br,d[a[i]]-dis[a[i]]-amx);
		}
	}
	al+=L-mid;ar+=mid-L;bl+=L-mid;br+=mid-L;
	if(al>ar || bl>br) return 0;
	for(int i=1,j=1,k=1,x=cnt,y=cnt;i<=cnt;++i)
	{
		while(j<=cnt && d[i]-d[j]>=bl) ++j;
		while(k<=cnt && d[i]-d[k]>br) ++k;
		while(x && d[i]+d[x]>=al) --x;
		while(y && d[i]+d[y]>ar) --y;
		if(max(k,x+1)<=min(j-1,y)) return 1;
	}
	return 0;
}

void reset()
{
	tot=cnt=0;
	for(int i=1;i<=n;++i) head[i]=on[i]=0;
}

void init()
{
	for(int i=1;i<n;++i) 
	{
		int u=read(),v=read(),w=read();
		add(u,v,w);
	}
	dfs(rt=1,0,0);dfs(A=rt,0,0);B=rt;
	for(int i=B;i^A;i=f[i]) on[q[++cnt]=i]=1;
	on[q[++cnt]=A]=1;
	//printf("%d %d %d\n",cnt,A,B);
	reverse(q+1,q+cnt+1);
}

void solve()
{
	for(int i=1;i<=cnt;++i)
	{
		tmp=0;
		dfs2(q[i],0,0);
		d[i]=dp[q[i]];dis[i]=tmp;a[i]=b[i]=i;
	}
	sort(a+1,a+cnt+1,cmp1);sort(b+1,b+cnt+1,cmp2);
	ll l=0,r=d[cnt];ans=r;
	while(l<=r)
	{
		ll mid=(l+r)>>1;
		if(check(mid)) ans=mid,r=mid-1;
		else l=mid+1;
	}
	printf("%lld\n",ans);
}

int main()
{
#ifndef ONLINE_JUDGE
	freopen("LGP3771.in","r",stdin);
	freopen("LGP3771.out","w",stdout);
#endif
	for(;;)
	{
		n=read();L=read(); if(!n && !L) break;
		reset();init();solve();
	}

	return 0;
}

【总结】
思路上不是很难，但是写起来细节很多。