/*
hdu 4612 Warm up - 双连通 + 树形DP
题意很简单
通过双连通缩图,构成一棵树,然后求最长链,连接首尾即可。剩下的连通块就是所求
https://www.byvoid.com/blog/biconnect
该算法是R.Tarjan发明的。对图深度优先搜索,定义DFS(u)为u在搜索树(以下简称为树)中被遍历到的次序号。定义Low(u)为u或u的子树中能通过非父子边追溯到的最早的节点,即DFS序号最小的节点。根据定义,则有:
Low(u)=Min { DFS(u) DFS(v) (u,v)为后向边(返祖边) 等价于 DFS(v)<DFS(u)且v不为u的父亲节点 Low(v) (u,v)为树枝边(父子边) }
一个顶点u是割点,当且仅当满足(1)或(2) (1) u为树根,且u有多于一个子树。 (2) u不为树根,且满足存在(u,v)为树枝边(或称父子边,即u为v在搜索树中的父亲),使得DFS(u)<=Low(v)。
一条无向边(u,v)是桥,当且仅当(u,v)为树枝边,且满足DFS(u)<Low(v)。
*/
#pragma comment(linker,"/STACK:102400000,102400000")
#include<stdio.h>
#include<string.h>
const int N=200000+10,M=1000000+10;
int head[N],low[N],fang[N],du[N];
struct node
{
int v,next;
}e[M*2];//这地儿老郁闷了,没有注意到无向图存边需要的是边数量的2倍,之前老是WA
int yong,n,r,m,dp[N][2],result;
bool visit[M];
int min(int a,int b)
{
if(a<b)
return a;
return b;
}
void tarjan(int u) //之前的通过传递父节点来规避直接走回去的情况存在漏洞,当1-2,2-3,3-4,4-2时,4-2-1就退回去了
{
int i,j;
fang[u]=low[u]=yong++;
dp[u][0] = dp[u][1] = 0;
for(i=head[u];i!=-1;i=e[i].next)
{
j=e[i].v;
if(!visit[i >> 1])
{
visit[i >> 1] = true;
if(fang[j]==0)//跟强连通一样这往下
{
tarjan(j);
result += fang[u] < low[j];//统计连通块,比实际数目少一个,就是回溯的时候的最后一个
int temp = dp[j][0] + (fang[u] < low[j]);//dp[i][0]第i个节点的子树中最长的链,dp[i][1]第i个节点的子树中第二长的链,
if(temp > dp[u][0]){
dp[u][1] = dp[u][0];
dp[u][0] = temp;
}else if(temp > dp[u][1]){
dp[u][1] = temp;
}
low[u]=min(low[u],low[j]);
}else low[u]=min(low[u],fang[j]);
}
}
}
void adde(int u,int v)
{
e[yong].v=v;
e[yong].next=head[u];
head[u]=yong++;
}
inline int max(int a,int b)
{
if(a>b) return a;
return b;
}
int main()
{
int i,a,b;
while(scanf("%d%d",&n,&m),n+m)
{
yong=0;
result=0;
memset(fang,0,sizeof(fang));
memset(low,0,sizeof(low));
memset(head,-1,sizeof(head));
for(i=0;i<m;++i)
{
scanf("%d%d",&a,&b);
adde(a,b);
adde(b,a);
}
yong=1;
memset(visit, 0, sizeof(visit));
tarjan(1);
int temp = 0;
for(i = 1; i <=n; ++ i){
temp = max(temp, dp[i][0] + dp[i][1]);//+的时候没有算当前点所在的块,同时因为result也少算一个,扯平了
}
printf("%d\n", result - temp);
}
return 0;
}
hdu 4612 Warm up - 双连通 + 树形DP
最新推荐文章于 2019-08-14 21:54:19 发布