题目链接:http://acm.split.hdu.edu.cn/showproblem.php?pid=2767
题意:给出一个有向图,问至少再连几条边可以使得该图强连通。
(最下方有强连通定义。)
分析:将一个强连通分量看成一个点(这就是所谓的缩点?),并且继承之前不同分量所相连的边,若要该图强连通,则需要每个分量的出入度都不为0。(这个可以自己想一下证明。虽然让我主动想可能想不出。。。然而证明还是可以的。)
所以要让一个图强连通,就需要让所有点的出入度都不为0,最少的就是让出度为0和入度为0的边连起来,然后再让多出来的度为0的边连接其他的边,所以需要的最少的边就是max(出度为0的边数,入度为0的边数)。
代码:
#include<bits/stdc++.h>
using namespace std;
const int N=2e4+5;
vector<int>p[N];
int vis[N],dfn[N],low[N],tot,pre[N],in[N]={0},to[N]={0};
stack<int>s;
void dfs(int x,int hx)
{
dfn[x]=low[x]=hx;
s.push(x);
int n=p[x].size(),id;
for(int i=0;i<n;i++)
{
id=p[x][i];
if(vis[id])
continue;
if(dfn[id]==0)
dfs(id,hx+1);
low[x]=min(low[x],low[id]);
}
if(dfn[x]==low[x])
{
tot++;
while(!s.empty())
{
id=s.top();
s.pop();
vis[id]=tot;
if(id==x)
break;
}
}
}
int main()
{
int t;
scanf("%d",&t);
while(t--)
{
tot=0;
while(!s.empty())
s.pop();
int n,m,a,b;
scanf("%d%d",&n,&m);
for(int i=1;i<=n;i++)
{
p[i].clear();
vis[i]=0;
low[i]=0;
dfn[i]=0;
}
for(int i=1;i<=m;i++)
{
scanf("%d%d",&a,&b);
p[a].push_back(b);
}
for(int i=1;i<=n;i++)
{
if(vis[i]==0)
dfs(i,1);
}
for(int i=1;i<=tot;i++)
{
pre[i]=i;in[i]=to[i]=0;
}
int ans=0;
for(int i=1;i<=n;i++)
{
int len=p[i].size(),id;
for(int j=0;j<len;j++)
{
id=p[i][j];
if(vis[i]!=vis[id])
{
in[vis[i]]++;
to[vis[id]]++;
}
}
}
int s1=0,s2=0;
for(int i=1;i<=tot;i++)
{
if(in[i]==0)
s1++;
if(to[i]==0)
s2++;
}
ans=max(s2,s1);
if(tot==1)
ans=0;
printf("%d\n",ans);
}
}
强连通定义: 如果一个无向图中每个顶点从所有其他顶点都是可达的,则称该图是连通的。如果一个有向图中任意两个顶点互相可达,则该有向图是强连通的。(黑书上的定义。)
如果一张图的一个子图之间顶点互相可达,就成改为这张图的强连通分量,若一张图只有一个强连通分量,则该图强连通。(这是我自己的理解,可能有些表述不当,也许是最大的?)
关于强连通的算法,我昨天去学习了一下(其实就是先在书上看了一下定义,然后百度上胡乱看了几个强连通的算法的伪码。)今天发现了这一题,就顺手做一下,没想到,,。还是看了题解才做出的。
算法名字叫 : Tarjan
貌似还有一个算法,还没看过。
下面讲解Tarjan山寨版。
大致套路就是 利用dfs,建dfn和low数组,建一个栈,搜到这个点的时候将该点入栈,dfn表示搜索到这个点的时间,low表示这个点的相关串的第一个点的时间(把图看成一棵树,就是发现这颗子树的根节点的时间,感觉有点像dfs序。)然后更新,就是判断所有跟这个点相连的点,如果没搜过,就搜一下,然后比较一下他们的low数组,更新当前点的low为当前low和相连点的low的较小值(就是该次搜索中的根节点(最高的点)。) 该点更新完毕之后,若发现该点的dfn和low相同,就将栈中的在这个点前的点和该点推出,标记这些点为一个强连通分量。然后继续搜索其他没有搜过的点。直至全部搜索完毕。