题意：有n个命题，已知其中的m个推导，要证明n个命题全部等价（等价具有传递性），最少还需要做出几次推导。 思路：由已知的推导可以建一张无向图，则问题变成了最少需要增加几条边能使图变成强连通图。找出所有的强连通分量，将每一个连通分量视作一个大节点，则整张图变成了一张DAG。设出度为0的大节点个数为b，
分类：
其他好文 时间：
2016-02-24 22:31:45
阅读次数：
258
题目给一张有向图，要把点分组，问最少要几个组使得同组内的任意两点不连通。 首先考虑找出强连通分量缩点后形成DAG，强连通分量内的点肯定各自一组，两个强连通分量的拓扑序能确定的也得各自一组。 能在同一组的就是两个强连通分量在不同的从入度0到出度0的强连通分量的路径上。 那么算法很直观就能想到了，用记忆
分类：
其他好文 时间：
2016-02-08 17:20:38
阅读次数：
181
这题做了几个小时，基本思路肯定是求两点路径中的割点数目，思路是tarjan缩点，然后以割点和连通块作为新节点见图。转化为lca求解。结合点——双连通分量与LCA。 1 /* 3686 */ 2 #include <iostream> 3 #include <sstream> 4 #include <
分类：
其他好文 时间：
2016-02-06 01:41:18
阅读次数：
291
King's Quest Time Limit: 15000MS Memory Limit: 65536K Total Submissions: 8311 Accepted: 3017 Case Time Limit: 2000MS Description Once upon a time ther
分类：
其他好文 时间：
2016-02-05 01:49:25
阅读次数：
207
题目链接 先是强连通分量缩点，然后出来一个DAG 然后就可以DP啦，要找出每个SCC能到达的SCC有哪些 如果直接存一个二维数组来传递闭包的话肯定会TLE对吧 于是我们使用了神奇的bitset就快多了 1 #include<cstdio> 2 #include<cstdlib> 3 #include
分类：
Web程序 时间：
2016-02-01 22:17:14
阅读次数：
279
迷宫城堡 Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 65536/32768 K (Java/Others)Total Submission(s): 11070 Accepted Submission(s): 4948 Problem D
分类：
其他好文 时间：
2016-01-30 13:18:25
阅读次数：
203
Road Construction Time Limit: 2000MS Memory Limit: 65536K Total Submissions: 10352 Accepted: 5140 Description It's almost summer time, and that means
分类：
其他好文 时间：
2016-01-29 00:01:44
阅读次数：
374
题目大概是，每个人收到信息后会把信息发给他认识的一个人如此下去，问一开始要把信息发送给谁这样看到信息的人数最多。首先找出图中的SCC并记录每个SCC里面的点数，如果传到一个SCC，那么里面的人都可以看到信息。然后SCC缩点后就形成DAG，直接记忆化搜索，d(u)搜索从u点出发开始传最多能传多少人。最...
分类：
其他好文 时间：
2016-01-25 22:37:43
阅读次数：
217
题目是问，一个有向图有多少个点v满足?w∈V:(v→w)?(w→v)。把图的强连通分量缩点，那么答案显然就是所有出度为0的点。用Tarjan找强连通分量： 1 #include 2 #include 3 #include 4 using namespace std; 5 #define MAXN 5...
分类：
其他好文 时间：
2016-01-25 11:29:33
阅读次数：
174
自力更生，艰苦创业。没错，相信自己，能行的。这道题我的思路大概很明显这是个有向图，先求出各自的强连通块，然后缩点，形成一个DAG，然后在这上面跑 dp。 如果有一个强连通分量的值为所有的点数那么该连通块内点的个数即为答案。其实有向无环图上的dp是很经典的，要多注意。加油，相信自己。对了，这里面据说....
分类：
其他好文 时间：
2016-01-06 15:32:39
阅读次数：
158
