给出n个命题，m个推导，问最少增加多少条推导，可以使所有命题都能等价（两两都能互推）
既给出有向图，最少加多少边，使得原图变成强连通。
首先强连通缩点，对于新图，每个点都至少要有一条出去的边和一条进来的边（这样才能保证它能到任意点和任意点都能到它）
所以求出新图中入度为0的个数，和出度为0的个数，添加的边就是从出度为0的指向入度为0的。这样还会有一点剩余，剩余的就乱连就行了。
所以只要求出...
分类：
其他好文 时间：
2014-06-30 08:08:00
阅读次数：
163
题目要求一个最大的弱联通图。
首先对于原图进行强连通缩点，得到新图，这个新图呈链状，类似树结构。
对新图进行记忆化dp，求一条权值最长的链，每个点的权值就是当前强连通分量点的个数。
/*
Tarjan算法求有向图的强连通分量set记录了强连通分量
Col记录了强连通分量的个数。
*/
#include
#include
#include
#include
#include
usin...
分类：
其他好文 时间：
2014-06-27 10:12:12
阅读次数：
275
题目来源：Light OJ 1168 Wishing Snake
题意：有点难看懂题意 看了一个小时再加别人的代码才懂意思
从0开始 输入的那些每一对u v 都要经过 就是从0到到达那些点
思路：首先缩点 每一个强连通分量里面的点都是可达的
缩点后的图是有向无环图 如果从0这个强连通分量可以出去到2个强连通分量 那么这两个强连通分量是不可能相互可达
所以可行的方案就是所有的强连通分量...
分类：
其他好文 时间：
2014-06-11 00:50:25
阅读次数：
242
Problem Description
To see a World in a Grain of Sand
And a Heaven in a Wild Flower,
Hold Infinity in the palm of your hand
And Eternity in an hour.
—— William Blake
听说lcy帮大家预定了新马泰7日游，Wisk...
分类：
其他好文 时间：
2014-05-26 05:53:31
阅读次数：
238
http://acm.hdu.edu.cn/showproblem.php?pid=4635
Strongly connected
Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)
Total Submission(s): 1381 Accepted Sub...
分类：
其他好文 时间：
2014-05-15 03:26:53
阅读次数：
248
Problem Description
Consider the following exercise, found in a generic linear algebra textbook.
Let A be an n × n matrix. Prove that the following statements are equivalent:
1. A is invertible...
分类：
其他好文 时间：
2014-05-15 01:30:21
阅读次数：
309
