Tarjan算法_缩点

我们这一篇是在已经了解Tarjan算法的基础之上开始写的，如果不了解的话，请先看大牛们关于Tarjan算法的博客。

首先我们先看一下一个问题：一个有向图，有n个点以及m条边，我们至少应该添加几条边才能使整个图变成强连通图。或者是一个无向图至少添加几条边变成连通图。

首先我们对于一个有向无环的图（DAG），至少添加几条边才能使它变为强连通图？我们很容易根据有向无环图的性质得到，我们计算入度为零的点数为a，出度为零的点数为b，那么我们至少需要添加的边数为max(a,b)，如果只有一个点的话，我们不需要添加任何边。

那么我们怎么把一个图转换为DAG呢，因为上面给出的图可能存在环，那么我们就会想到把已经组成全连通的子图转换成一个点来看，那么我们最终的图就不会包含环了。

好了，解决这类问题的思路已经想好了，下面我们来进行求解：

        我们使用Tarjan算法求解出强连通分量之后，我们使用一个belong数组将同一个连通分量的点分配相同的数值，存放在belong数组中，然后我们再次遍历一遍点，然后这次操作的是belong数组中对应的数值，只有把不属于同于个连通分量的边添加到新的图中，并且根据这些边来计算每个缩点的入度以及出度。

//不怕别人比你聪明，就怕别人比你聪明还比你努力
#include<iostream>
#include<string>
#include<algorithm>
#include<cstdio>
#include<cstring>
#include<cmath>
#include <set>
#include <map>
#include<vector>
#define INF 0x3f3f3f3f

using namespace std;
const int MAXN