LA-4287 & HDOJ-2767 Proving Equivalences 解题报告

       强连通分量题。题意：在数学中经常需要完成若干个命题的等价证明。比如有4个命题a，b，c，d，我们从a证明到b，从b证明到a，然后b到c，c到b，最后c到d，d到c。这样就证明了4个命题等价，当然也可以这样证明，从a到b，b到c，c到d，d到a。任务是要求证明n个命题全部等价，现在已经完成了m次证明，问最少还需要几次证明就可以完成整个证明？

       我的解题思路：将每一个命题看做一个节点，那么n个命题等价则说明这n个节点所构成的图强连通。要使原图强连通，先算一下原图中强连通分量的个数。再判断一下出度为0的强连通分量个数x和入度为0的强连通分量个数y，那么最少需要max(x, y)次证明才能使原图强连通。注意：假如原图已经强连通（原图强连通分量个数为1），那么就说明这n个命题已经是等价的了。

       我的解题代码：强连通分量Tarjan算法+缩点

#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <algorithm>
#include <vector>
#include <que