原题链接：https://icpcarchive.ecs.baylor.edu/index.php?option=com_onlinejudge&Itemid=8&page=show_problem&problem=2288题意：给你一个有向图，问你至少需要添加多少条边，使得整个图强连通。题解：就。...
分类：
其他好文 时间：
2015-09-08 20:10:43
阅读次数：
181
用tarjan找强连通分量，在一个强连通分量点已经等价缩点以后形成一个DAG，计算入度为0的点数a，出度为0的b，取其中大的一个。特判强连通分量数为1的情况。看懂tarjan算法以后还是比较简单的#includeusing namespace std;const int maxn = 2e4+5;c...
分类：
其他好文 时间：
2015-09-02 00:03:56
阅读次数：
163
题意： 至少加几条边让整个图变成强连通。
思路：对于N个点的图，我们知道至少需要N条边才能使这个图强连通，现在我们先对题目的图计算一下强连通，对于已经在一个强连通的点，把他们看做为一个点，然后对新形成的图，计算出度，入度为0的最大值，因为，加一边，可以使入度，出度加一。
#include
#include
#include
#include...
分类：
其他好文 时间：
2015-08-27 11:05:38
阅读次数：
116
Proving Equivalences
Time Limit: 4000/2000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)
Total Submission(s): 4129 Accepted Submission(s): 1466
Problem Description
Consider ...
分类：
其他好文 时间：
2015-08-19 20:37:35
阅读次数：
99
http://acm.hdu.edu.cn/showproblem.php?pid=2767求至少添加多少条边才能变成强连通分量.统计入度为0的点和出度为0的点,取最大值即可. 1 #include 2 #include 3 #include 4 #include 5 #inclu...
分类：
其他好文 时间：
2015-08-14 20:54:25
阅读次数：
87
题意：给出一个有向图，问最少添加几条有向边使得原图强连通。解法：求出SCC后缩点，统计一下出度为0的点和入度为0的点，二者取最大值就是答案。还有个特殊情况就是本身就是强连通的话，答案就是0. 1 #include 2 #include 3 #include 4 #include 5 #inc...
分类：
其他好文 时间：
2015-08-12 13:01:36
阅读次数：
110
题目大意：给出N个命题，要求你证明这N个命题的等价性比如有4个命题a,b,c,d，我们证明ab, bc,cd，每次证明都是双向的，因此一共用了6次推导
如果换成证明a->b,b->c,c->d,d->a,每次证明都是单向的，而只需4次就可以证明所有命题的等价性
现在给出M个命题证明，问还需要证明几个，才可以保证N个命题等价解题思路：命题的等价，就相当于证明点到点之间是互相连通。...
分类：
其他好文 时间：
2015-08-08 00:07:36
阅读次数：
108
Proving EquivalencesTime Limit: 2000msMemory Limit: 32768KBThis problem will be judged onHDU. Original ID:276764-bit integer IO format:%I64d Java clas...
分类：
其他好文 时间：
2015-07-31 20:16:54
阅读次数：
101
题意：给一个有向图，问添加几条边可以使其强连通。思路： 按照大白书p322做。tarjan算法求强连通分量，然后缩点求各个强连通分量的出入度，答案是max(入度为0的缩点个数，出度为0的缩点个数)。 1 #include 2 #define LL long long 3 #define pii .....
分类：
其他好文 时间：
2015-07-07 22:25:14
阅读次数：
147
题意：n个点m条边，问最少添加多少条边使得整个图联通。
思路：先Tarjan求强联通分量，缩点，再求缩点后的点的入度和出度，入读为0的点的个数为a，出度为0的点的个数为b，ans=max（a，b）...
分类：
移动开发 时间：
2015-07-06 17:56:09
阅读次数：
133
