思路:把命题看成结点,推导看作有向边,转换为n个顶点m条有向边的图至少添加多少条边使得这个图强连通
首先找出强连通分量,然后把每个强连通分量缩成一个点,得到一个DAG,设有a个结点的入度为0,b个结点的出度为0,那么答案就是max(a,b)。
注意有一种情况为若原图已经强连通了那么输出0
#include <cstdio>
#include <queue>
#include <cstring>
#include <iostream>
#include <cstdlib>
#include <algorithm>
#include <vector>
#include <map>
#include <string>
#include <set>
#include <ctime>
#include <cmath>
#include <cctype>
#include <stack>
using namespace std;
#define maxn 20000+100
#define LL long long
int cas=1,T;
vector<int>G[maxn];
int pre[maxn];
int lowlink[maxn];
int sccno[maxn];
int dfs_clock,scc_cnt;
int n,m;
stack<int>S;
void dfs(int u)
{
pre[u]=lowlink[u]=++dfs_clock;
S.push(u);
for (int i = 0;i<G[u].size();i++)
{
int v = G[u][i];
if (!pre[v])
{
dfs(v);
lowlink[u] = min(lowlink[u],lowlink[v]);
}
else if (!sccno[v])
{
lowlink[u] = min (lowlink[u],pre[v]);
}
}
if (lowlink[u] == pre[u])
{
scc_cnt++;
for (;;)
{
int x = S.top();S.pop();
sccno[x] = scc_cnt;
if (x==u)
break;
}
}
}
void find_scc(int n)
{
dfs_clock=scc_cnt=0;
memset(sccno,0,sizeof(sccno));
memset(pre,0,sizeof(pre));
for (int i = 1;i<=n;i++)
if (!pre[i])
dfs(i);
}
int in[maxn];
int out[maxn];
int main()
{
//freopen("in","r",stdin);
scanf("%d",&T);
while (T--)
{
scanf("%d%d",&n,&m);
for (int i = 0;i<=n;i++)
G[i].clear();
memset(in,0,sizeof(in));
memset(out,0,sizeof(out));
for (int i = 1;i<=m;i++)
{
int u,v;
scanf("%d%d",&u,&v);
G[u].push_back(v);
}
find_scc(n);
for (int i = 1;i<=scc_cnt;i++)
{
in[i]=out[i]=1;
}
for (int u = 1;u<=n;u++)
for (int i =0;i<G[u].size();i++)
{
int v = G[u][i];
if (sccno[u] != sccno[v])
in[sccno[v]]=out[sccno[u]]=0;
}
int a=0,b=0;
for (int i = 1;i<=scc_cnt;i++)
{
if (in[i])
a++;
if (out[i])
b++;
}
if (scc_cnt !=1)
printf("%d\n",max(a,b));
else
printf("0\n");
}
return 0;
}