主题链接题意：给定一张有向图，问最少选择几个点能遍历全图。以及最少加入几条边使得有向图成为一个强连通图。思路：对于有向图而言，首先求出有几个强连通分量，之后将每一个强连通分量缩点，形成DAG。本题开头第一句就说图是连通的了。之后想要遍历整张图的话。仅仅要找出入度为0的点有几个，而加入边的数量就取决于...
分类：
Web程序 时间：
2015-08-09 22:11:32
阅读次数：
126
题目大意：给出N个命题，要求你证明这N个命题的等价性比如有4个命题a,b,c,d，我们证明ab, bc,cd，每次证明都是双向的，因此一共用了6次推导
如果换成证明a->b,b->c,c->d,d->a,每次证明都是单向的，而只需4次就可以证明所有命题的等价性
现在给出M个命题证明，问还需要证明几个，才可以保证N个命题等价解题思路：命题的等价，就相当于证明点到点之间是互相连通。...
分类：
其他好文 时间：
2015-08-08 00:07:36
阅读次数：
108
对一个有向无环图(Directed Acyclic Graph简称DAG)G进行拓扑排序，是将G中所有顶点排成一个线性序列，使得图中任意一对顶点u和v，若边(u,v)∈E(G)，则u在线性序列中出现在v之前。通常，这样的线性序列称为满足拓扑次序(Topological Order)的序列，简称拓扑序列。
一个较大的工程往往被划分成许多子工程，我们把这些子工程称作活动(activity)。在整个工...
分类：
编程语言 时间：
2015-08-08 00:01:45
阅读次数：
187
题目大意：给出一张有向图G，求一个结点数最大的结点集，使得该点集中任意两个结点u和v满足：
要么u可到达v，要么v可以到达u（u和v互相可达也可以）解题思路：u和v相互可达的时候，就是两个结点在同一个强连通分量内的时候
首先要保证集合里面的点可达：强连通分量就满足集合内的点都相互可达。所以第一件事就是找出所有的强连通分量，并统计出每个强连通分量内的结点数然后找出每个强连通分量之间的关系，也就是找...
分类：
其他好文 时间：
2015-08-07 22:24:09
阅读次数：
262
新建源汇S,T，根据题意可以建出一个DAG设f[x][y]为从x走到y的回文路径的方案数，则边界条件：f[x][x]=1对于一条边x->y，若a[x]==a[y]，则f[x][y]=1转移方程为：若a[x]==a[y]，则f[x][y]=sum(f[i][j])(x->i有边，j->y有边)若a[x...
分类：
其他好文 时间：
2015-08-07 22:01:15
阅读次数：
151
和上一道题一样，可以用DAG上的动态规划来做，也可以建立一个源点，用spfa来做 1 #include 2 #include 3 #include 4 #include 5 #include 6 #include 7 using namespace std; 8 9 const ...
分类：
其他好文 时间：
2015-08-03 20:54:48
阅读次数：
97
白书上的例题做一遍tarjan后，缩点，每一个scc节点的权为它的结点数，做一次DAG上的动规，求出路径上的最大点权和，就可以了 1 #include 2 #include 3 #include 4 #include 5 #include 6 #include 7 using name...
分类：
其他好文 时间：
2015-08-03 20:41:16
阅读次数：
144
最基本的在DAG上求最短路。 1 #include 2 #include 3 #include 4 using namespace std; 5 6 const int INF = 999999; 7 const int N = 100001; 8 int dp[N]; 9 10 int m...
分类：
其他好文 时间：
2015-08-01 21:48:10
阅读次数：
132
VX2012平台。C++完成主程序，JAVA实现界面。
所谓程序并发性是指在计算机系统中同时存在有多个程序,宏观上看,这些程序是同时向前推进的.在单CPU环境下,这些并发执行的程序是交替在CPU上运行的。分析程序之间的的可并发性，并利用伯恩斯坦条件来判定各程序之间能否并发执行，同时通过词法语法分析自动生成程序之间的前趋图（DAG图），对我们分析程序很有好处。
//by hfut yzk...
分类：
其他好文 时间：
2015-07-31 10:41:00
阅读次数：
100
47.
蛤蟆的数据结构笔记之四十七的有向无环图的应用排序
本篇名言：“君子喻于义 ,
小人喻于利。 -- 孔丘”
接下去来看下有向无环图。
欢迎转载，转载请标明出处：
1. 有向无环图
一个无环的有向图称做有向无环图（directedacycline praph）。简称DAG
图。DAG
图是一类较有向树更一般的特殊有向图，图1...
分类：
编程语言 时间：
2015-07-28 21:11:29
阅读次数：
182
