bzoj 1023 [SHOI2008]cactus仙人掌图
作者：互联网
LINK：cactus仙人掌图
求仙人掌图的直径。
每条边最多属于一个环中 那么每条边要么是割边要么是环中边。
求直径,考虑直径由某个点发出 套用树形dp求直径。f[x]表示从x出发的最长链。
发现带环很难搞 对于某个环 我们能够找到其由于点双的存在如果发现没有割点的存在那么一定有环了(自环也算.
考虑在求点双的时候把环搞出来。
对于环 此时我们让每个点都得到环上的贡献 且此时更新全局答案 也同时更新f[x]的答案。
可以发现答案所在这样可以dp出来。
对于环上的贡献破环成链后 采用单调队列优化转移即可。
最后还是觉得这个做法的正确性没有很好的说明。
考虑直径所在 必然由两个点之间的距离加两个点所能延伸的不重合的最长距离得到。
在dp的过程中 可以保证f[x] f[tn]的不重合性。
考虑在树上时我们都是直接合并的 考虑出现了环 且环和环之间没有重边 这意味着f[x] f[tn]也存在不重合性。
考虑在环上怎么办 儿子仍然是儿子 但是整个环可能可以作为答案 所以我们任选换上两点进行更新答案。
外部的不用管。所以可以发现这样做是正确的。
//#include<bits\stdc++.h>
#include<iostream>
#include<iomanip>
#include<cstdio>
#include<cstring>
#include<string>
#include<ctime>
#include<cmath>
#include<cctype>
#include<cstdlib>
#include<queue>
#include<deque>
#include<stack>
#include<vector>
#include<algorithm>
#include<utility>
#include<bitset>
#include<set>
#include<map>
#define ll long long
#define db double
#define INF 1000000000
#define ldb long double
#define pb push_back
#define get(x) x=read()
#define gt(x) scanf("%d",&x)
#define put(x) printf("%d\n",x)
#define putl(x) printf("%lld\n",x)
#define gc(a) scanf("%s",a+1)
#define rep(p,n,i) for(RE int i=p;i<=n;++i)
#define go(x) for(int i=lin[x],tn=ver[i];i;tn=ver[i=nex[i]])
#define fep(n,p,i) for(RE int i=n;i>=p;--i)
#define pii pair<int,int>
#define F first
#define S second
#define mk make_pair
#define mod 998244353
#define RE register
#define gf(x) scanf("%lf",&x)
#define pf(x) ((x)*(x))
#define ull unsigned long long
#define P 1000000000000000ll
using namespace std;
char buf[1<<15],*fs,*ft;
inline char getc()
{
return (fs==ft&&(ft=(fs=buf)+fread(buf,1,1<<15,stdin),fs==ft))?0:*fs++;
}
inline int read()
{
RE int x=0,f=1;char ch=getc();
while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getc();}
while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getc();}
return x*f;
}
const int MAXN=50010;
int n,m,len,cnt,top,sum,l,r,ans;
int f[MAXN],dfn[MAXN],a[MAXN],low[MAXN],s[MAXN],q[MAXN<<1];
int lin[MAXN],ver[MAXN*10],nex[MAXN*10];
inline void add(int x,int y)
{
ver[++len]=y;
nex[len]=lin[x];
lin[x]=len;
}
inline void solve(int x)
{
l=1;r=0;
int ww=sum;
rep(1,sum,i)a[i+sum]=a[i];
rep(1,sum*2,i)
{
while(l<=r&&i-q[l]>ww/2)++l;
if(l<=r)ans=max(ans,f[a[i]]+f[a[q[l]]]+i-q[l]);
while(l<=r&&f[a[q[r]]]-q[r]<=f[a[i]]-i)--r;
q[++r]=i;
}
rep(2,sum,i)f[x]=max(f[x],f[a[i]]+min(i-1,sum-i+1));
}
inline void dfs(int x)
{
dfn[x]=low[x]=++cnt;
s[++top]=x;
go(x)
{
if(!dfn[tn])
{
dfs(tn);
low[x]=min(low[x],low[tn]);
if(low[tn]>=dfn[x])
{
sum=0;int y=0;
a[++sum]=x;
do
{
y=s[top--];
a[++sum]=y;
}while(y!=tn);
solve(x);
}
}else low[x]=min(low[x],dfn[tn]);
}
}
int main()
{
freopen("1.in","r",stdin);
get(n);get(m);
rep(1,m,i)
{
int x,y;
get(x);get(y);
rep(2,x,j){int get(z);add(y,z);add(z,y);y=z;}
}
dfs(1);put(ans);return 0;
}
标签：include,1023,get,int,long,tn,SHOI2008,cactus,define 来源： https://www.cnblogs.com/chdy/p/12607517.html