HDU 2767 Proving Equivalences（强连通 Tarjan+缩点）
ACM
题目地址：HDU 2767
题意：
给定一张有向图，问最少添加几条边使得有向图成为一个强连通图。
分析：
Tarjan入门经典题，用tarjan缩点，然后就变成一个有向无环图(DAG)了。
我们要考虑的问题是让它变成强连通，让DAG变成强连通就是把尾和头连起来，也就...
分类：
其他好文 时间：
2014-07-30 17:38:34
阅读次数：
212
POJ 1236 Network of Schools（强连通 Tarjan+缩点）
ACM
题目地址：POJ 1236
题意：
给定一张有向图，问最少选择几个点能遍历全图，以及最少添加几条边使得有向图成为一个强连通图。
分析：
跟HDU 2767 Proving Equivalences（题解）一样的题目，不过多了个问题，其实转化成DAG后就不难考虑了，其实只要选...
分类：
Web程序 时间：
2014-07-30 17:38:14
阅读次数：
252
题意是告诉你有n个命题，m条递推关系，表示某个命题可以推出另外一个命题。现在问你至少在增加多少个递推关系可以保证所有命题两两互推。命题为点，关系为有向边，题目转化成为至少增加多少条有向边使得整个图强连通。首先对于有向图，求出所有的联通分量，并且将所有的联通分量缩成一个点，最终得出一个无环图。在新图里...
分类：
其他好文 时间：
2014-07-18 15:18:12
阅读次数：
205
给一个图，问至少加入?多少条有向边能够使图变成强连通的。原图是有环的，缩点建图，在该DAG图上我们能够发现，要使该图变成强连通图必须连成环而加入?最少的边连成环，就是把图上入度为0和出度为0的点连上，那么其它的点就都能够互相到达了所以答案就是max（入度为0的点，出度为0的点）#include #i...
分类：
其他好文 时间：
2014-07-14 20:54:10
阅读次数：
204
http://acm.hdu.edu.cn/showproblem.php?pid=2767
Proving Equivalences
Time Limit: 4000/2000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)
Total Submission(s): 2926 Accepted Sub...
分类：
移动开发 时间：
2014-07-12 18:14:35
阅读次数：
243
给一个图，问至少添加多少条有向边可以使图变成强连通的。
原图是有环的，缩点建图，在该DAG图上我们可以发现，要使该图变成强连通图必须连成环
而添加最少的边连成环，就是把DAG图上入度为0和出度为0的点连上，那么其他的点就都可以互相到达了
所以答案就是max（入度为0的点，出度为0的点）
#include
#include
#include
#include
#include...
分类：
其他好文 时间：
2014-07-02 10:52:24
阅读次数：
208
给出n个命题，m个推导，问最少增加多少条推导，可以使所有命题都能等价（两两都能互推）
既给出有向图，最少加多少边，使得原图变成强连通。
首先强连通缩点，对于新图，每个点都至少要有一条出去的边和一条进来的边（这样才能保证它能到任意点和任意点都能到它）
所以求出新图中入度为0的个数，和出度为0的个数，添加的边就是从出度为0的指向入度为0的。这样还会有一点剩余，剩余的就乱连就行了。
所以只要求出...
分类：
其他好文 时间：
2014-06-30 08:08:00
阅读次数：
163
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
Proving Equivalences
Time Limit: 4000/2000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)
Total Submission(s): 2768 Accepted Submission(s): 1038
Problem Description
Consi...
分类：
移动开发 时间：
2014-05-09 01:43:04
阅读次数：
392
