我们这一篇是在已经了解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