题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=3836
这道题目和HDOJ上的那道Proving Equivalences可谓是一样的(可能唯一的区别就是一道要输入多组数据,一道不用……),这题的题意是说问我们最少再加多少边可以让这张图成为一个强连通图,上来我们仍然先缩点,建立DAG图,再统计每一个DAG点的入度与出度,再统计入度为0的点和出度为0的点的个数,这里采取的贪心策略是看入度为0的点多还是出度为0的点多,我们要加的最少的边就是这个最大值了。
#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
const int VM=20010;
const int EM=50010;
const int INF=0x3f3f3f3f;
struct Edge
{
int to,nxt;
}edge[EM<<1];
int n,m,cnt,head[VM];
int dep,top,num;
int dfn[VM],low[VM],vis[VM],stack[VM],belong[VM],indeg[VM],outdeg[VM];
void addedge(int cu,int cv)
{
edge[cnt].to=cv;
edge[cnt].nxt=head[cu];
head[cu]=cnt++;
}
void Tarjan(int u)
{
dfn[u]=low[u]=++dep;
stack[top++]=u;
vis[u]=1;
for(int i=head[u];i!=-1;i=edge[i].nxt)
{
int v=edge[i].to;
if(!dfn[v])
{
Tarjan(v);
low[u] = min(low[u],low[v]);
}
else if(vis[v])
low[u] = min(low[u],dfn[v]);
}
int v;
if(dfn[u]==low[u])
{
num++;
do
{
v = stack[--top];
belong[v] = num;
vis[v] = 0;
}while(u != v);
}
}
void init()
{
cnt=0;
memset(head,-1,sizeof(head));
dep = top = num = 0;
memset(dfn,0,sizeof(dfn));
memset(low,0,sizeof(low));
memset(vis,0,sizeof(vis));
memset(belong,0,sizeof(belong));
memset(indeg,0,sizeof(indeg));
memset(outdeg,0,sizeof(outdeg));
}
int main()
{
while(scanf("%d%d",&n,&m)!=EOF)
{
if(n==1)
{
printf("0\n");
continue;
}
if(m==0)
{
printf("%d\n",n);
continue;
}
init();
int u,v;
while(m--)
{
scanf("%d%d",&u,&v);
addedge(u,v);
}
for(int i=1;i<=n;i++)
if(!dfn[i])
Tarjan(i);
if(num == 1)
{
printf("0\n");
continue;
}
for(int u=1;u<=n;u++)
for(int i=head[u];i!=-1;i=edge[i].nxt)
{
int v=edge[i].to;
if(belong[u]!=belong[v])
{
outdeg[belong[u]]++;
indeg[belong[v]]++;
}
}
int ans1=0,ans2=0;
for(int i=1; i<=num; i++)
{
if(indeg[i]==0)
ans1++;
if(outdeg[i]==0)
ans2++;
}
printf("%d\n",max(ans1,ans2));
}
return 0;
}