题意：有多个命题，需要证明他们可以互相推出，现在已经有一些证明关系即 A 可以证明 B，问至少还需要多少证明关系。首先，如果某几个命题证明关系可以成环，那么这些命题必然可以相互证明，只要沿着环的边走就能到达其他命题，所以首先是需要强连通缩点，之后对于一个无环图，我们发现如果一个强连通分量它无出度，那...
分类：
其他好文 时间：
2015-09-10 22:28:44
阅读次数：
222
题意：至少加几条边构成强连通， 和上一题一样
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include<ve...
分类：
其他好文 时间：
2015-08-27 11:05:03
阅读次数：
99
Equivalent Sets
Time Limit: 12000/4000 MS (Java/Others) Memory Limit: 104857/104857 K (Java/Others)
Total Submission(s): 2526 Accepted Submission(s): 857
Problem Description
To prove...
分类：
移动开发 时间：
2014-05-09 02:22:42
阅读次数：
439
