题目链接:https://www.luogu.org/problemnew/show/P4244
解题思路:
不懂基环树的可以先做这个:https://blog.csdn.net/a1214034447/article/details/88318541
对于仙人掌图可以看做基环树中环的节点为根的树还是个基环树的多个“嵌套”。所以做法是大同小异。
但这里要求最小距离的最大,而且边长度都是1,所以在做环的单调队列的时候可以只维护环上点的个数的一半的范围就可以了。
这样就保证了两两间求和他们环上是最短距离。
个人错误案例:
for(int v:g[u]){
if(fa[v]!=u&&fa[u]!=v&&dfn[v]<dfn[u])
Loop(v,u);
}
这样维护是错的,在处理u节点的时候去更新v节点,环上的点的“点值”还可能不是最大的,所以不能这样更新。
#include <bits/stdc++.h>
using namespace std;
const int mx = 1e5 + 10;
int n,m,ans;
vector <int> g[mx];
int dp[mx<<1],dfn[mx],id[mx],sum[mx<<1];
int fa[mx],siz,st[mx],last,q[mx<<1];
void Loop(int u,int v)
{
last = 0;
for(int i=v;i!=fa[u];i=fa[i]) st[last++] = dp[i];
for(int i=last;i<2*last;i++) st[i] = st[i-last];
int lim = last>>1;
int l = 0,r = 0;
for(int i=0;i<2*last;i++){
if(l!=r) ans = max(ans,st[i]+i+st[q[l]]-q[l]);
while(l!=r&&st[i]-i>=st[q[r-1]]-q[r-1]) r--;
q[r++] = i;
while(l!=r&&i>=lim+q[l]) l++;
}
for(int i=0;i<last;i++) dp[u] = max(dp[u],st[i]+min(i+1,last-i-1));
}
void tarjan(int u)
{
dfn[u] = id[u] = ++siz;
for(int v:g[u]){
if(v==fa[u]) continue;
if(!dfn[v]){
fa[v] = u;
tarjan(v);
id[u] = min(id[u],id[v]);
}else id[u] = min(id[u],dfn[v]);
if(id[v]>dfn[u]){
ans = max(ans,dp[u]+dp[v]+1);
dp[u] = max(dp[u],dp[v]+1);
}
}
for(int v:g[u]){
if(fa[v]!=u&&dfn[v]>dfn[u])
Loop(u,v);
}
}
int main()
{
scanf("%d%d",&n,&m);
int k,x,y;
while(m--){
scanf("%d%d",&k,&x);
while(--k){
scanf("%d",&y);
g[x].push_back(y);
g[y].push_back(x);
x = y;
}
}
tarjan(1);
printf("%d\n",ans);
return 0;
}