例题5.7 等价性证明 LA4287

1.题目描述：点击打开链接

2.解题思路：本题对应的图论模型是：给定一个有向图，添加尽量少的边，使得整个图强连通。可以考虑缩点法。将所有的强连通分量看做一个点，这样便得到了一张DAG，然后寻找这个DAG中有多少点的入度为0，有多少点的出度为0，假设分别是a,b，这样答案就是max{a,b}。不过不要忘记特判！当DAG本来就是强连通的时候，答案是0。

3.代码：

#include<iostream>
#include<algorithm>
#include<cassert>
#include<string>
#include<sstream>
#include<set>
#include<bitset>
#include<vector>
#include<stack>
#include<map>
#include<queue>
#include<deque>
#include<cstdlib>
#include<cstdio>
#include<cstring>
#include<cmath>
#include<ctime>
#include<cctype>
#include<list>
#include<complex>
#include<functional>
using namespace std;

#define me(s)  memset