http://acm.hdu.edu.cn/showproblem.php?pid=2767 题意：给出n个点m条边，问在m条边的基础上，最小再添加多少条边可以让图变成强连通。思路：强连通分量缩点后找入度为0和出度为0的点，因为在强连通图里面没有一个点的入度和出度都为0，所以取出度为0的点和入度为0 ...
分类：
其他好文 时间：
2016-10-03 18:58:29
阅读次数：
108
Time Limit: 4000/2000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 5742 Accepted Submission(s): 1973 Problem Descrip ...
分类：
其他好文 时间：
2016-08-06 20:26:51
阅读次数：
187
大意：至少加几条边让图联通。
思路：让图联通的话肯定会与度数有关。所以找到入出度最大的补上即可。
#include
#include
#include
using namespace std;
const int VM=21010;
const int EM=51010;
const int INF=0x3f3f3f3f;
struct node{
int to ,...
分类：
移动开发 时间：
2016-05-12 15:58:02
阅读次数：
168
UvaLive4287 roving Equivalences 题意：给n个定理，以及m个关系，即u定理可以推出v定理。问至少还需要加多少个条件，才能是定理两两互推。 思路：Tarjan缩点。然后变成一个DAG。ans1记录入度为0的联通块，ans2记录出度为0的联通块。输出较大值即可。注意如果点数
分类：
其他好文 时间：
2016-02-27 06:19:11
阅读次数：
230
题意：有n个命题，已知其中的m个推导，要证明n个命题全部等价（等价具有传递性），最少还需要做出几次推导。 思路：由已知的推导可以建一张无向图，则问题变成了最少需要增加几条边能使图变成强连通图。找出所有的强连通分量，将每一个连通分量视作一个大节点，则整张图变成了一张DAG。设出度为0的大节点个数为b，
分类：
其他好文 时间：
2016-02-24 22:31:45
阅读次数：
258
Proving EquivalencesTime Limit: 4000/2000 MS (Java/Others)Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 4384Accepted Submission(s): 15...
分类：
移动开发 时间：
2015-10-28 22:58:04
阅读次数：
283
Time Limit: 4000/2000 MS (Java/Others)Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 4343Accepted Submission(s): 1541Problem Descriptio...
分类：
其他好文 时间：
2015-10-22 19:08:01
阅读次数：
211
Proving EquivalencesProblem DescriptionConsider the following exercise, found in a generic linear algebra textbook.Let A be an n × n matrix. Prove tha...
分类：
移动开发 时间：
2015-10-09 20:00:36
阅读次数：
264
Proving EquivalencesTime Limit: 4000/2000 MS (Java/Others)Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 4263Accepted Submission(s): 15...
分类：
其他好文 时间：
2015-09-19 11:00:50
阅读次数：
119
