欢迎使用Markdown编辑器写博客本Markdown编辑器使用StackEdit修改而来，用它写博客，将会带来全新的体验哦：
Markdown和扩展Markdown简洁的语法
代码块高亮
图片链接和图片上传
LaTex数学公式
UML序列图和流程图
离线写博客
导入导出Markdown文件
丰富的快捷键
快捷键
加粗 Ctrl + B
斜体 Ctrl + I
引用 Ctrl...
分类：
移动开发 时间：
2015-07-01 18:15:34
阅读次数：
145
链接 ：
http://acm.hust.edu.cn/vjudge/problem/viewProblem.action?id=10294
题意 : 告诉你n个等价的命题 和m个关系 比如 （u，v）代表u可以推导出v， 问至少需要补充多少条边。
用强连通缩点成一张DAG。
#include
#include
#include
#include
#includ...
分类：
其他好文 时间：
2015-05-19 16:33:48
阅读次数：
149
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:
A is invertible. Ax = b h...
分类：
其他好文 时间：
2015-05-14 08:47:37
阅读次数：
111
给出一些点之间的关系，然后问最少添加多少条边可以使这张图强连通。
强连通分量压缩是
先缩点，然后计算各个强连通分量的入度为0的个数，出度为0的个数求他们最大值
#include
#include
#include
#include
#include
using namespace std;
#define N 20005
stacksta;
vectormp[N];
int df...
分类：
其他好文 时间：
2014-12-03 15:46:14
阅读次数：
180
题目链接
题意：证明n个命题全部等价，已经给出m此推导，求至少还要几次推导才能完成整个证明。
思路：可以将命题看作结点，推导看作有向边，则本题就能转化为n个结点m条边的有向图。利用tarjan算法得到所有强连通分量，将这些强连通分量当作一个点，得到一个DAG。之后就可以求次数了。注意当强连通数量为1时，就代表着证明已经完成了。
代码：
#include
#incl...
分类：
其他好文 时间：
2014-09-28 10:31:52
阅读次数：
166
点击打开链接
有向图强联通，Kosaraju算法
缩点后分别入度和出度为0的点的个数 answer = max(a, b);
scc_cnt = 1; answer = 0
#include
#include
#include
#include
#include
using namespace std;
const int maxn = 20000 + 1...
分类：
移动开发 时间：
2014-09-19 15:44:45
阅读次数：
221
UVA 12167 - Proving Equivalences
题目链接
题意：给定一些已经存在的等价性证明，要求全部等价，需要在多最少几次证明
思路：先求出强连通分量，然后进行缩点，在缩点后的图上统计入度和出度为0结点的最大值，就是需要加的边数，注意如果整个图已经是强连通，就直接是答案
代码：
#include
#include
#include
#incl...
分类：
其他好文 时间：
2014-08-29 22:45:40
阅读次数：
279
题目地址：HDU 2767
这题的意思是求再加多少边可以使得图为强连通图。
方法是先缩点，缩点很简单，只要加个数组，在找到一个强连通分量的时候让那些点都标记为该强连通分量的标号即可。
然后再遍历一遍所有边，如果该边的起点和终点不在同一个强连通分量里边，那这两个点的入度和出度就可以算作是该强连通分量的入度和出度的一部分，累加上去。最后分别统计入度和出度为0的强连通分量个数，取最大值就是答案。道...
分类：
其他好文 时间：
2014-08-25 19:27:04
阅读次数：
195
POJ 1236 Network of Schools（强连通 Tarjan+缩点）ACM题目地址：POJ 1236题意：给定一张有向图，问最少选择几个点能遍历全图，以及最少加入?几条边使得有向图成为一个强连通图。分析：跟HDU 2767 Proving Equivalences（题解）一样的题目，...
分类：
Web程序 时间：
2014-08-11 11:25:52
阅读次数：
211
