- 博客(7)
- 资源 (2)
- 收藏
- 关注
RSS订阅原创 强连通分支之Tarjan 算法
比Kosaraju算法更神奇，只需要一次DFS就可以获得强连通分支。其原理是每一个强连通分支，均包含在DFS树的某个子树中，只要找到这个子树的树根，再逐一将该连通分支所有结点取出即可。数据结构：1) 栈，DFS访问结点时入栈，某个强连通分支访问结束后其所有结点出栈，以下需要证明当刚好访问结束某个强连通分支时，其所有结点均在栈顶；2) 数组dfn，DFS过程中
2013-08-30 18:06:23
1635
原创 强连通分支及kosaraju算法
图论中最重要的结构，很多图论问题都可以转化为强连通分支来降低处理复杂度。一个强连通分支中所有的点都是互相连通的，可以将其收缩为单个点，以此来简化图的处理。强连通分支中的点集合是一个最大集合，即再加入任何一个其他点都会导致不连通。 引理1：图G的两个强连通分支C、C’，如果存在点u属于C，u’属于C’，使得(u,u’)为G的一条边，则一定不存在另一条边(v’,v)，使得v’属于C’，v属于C
2013-08-28 08:24:55
2651
原创 欧拉回路问题(算法导论22.2-8 和22-3)
22.3 欧拉回路的算法来自1873年的Hierholzer，前提是假设图G存在欧拉回路，即有向图任意点的出度和入度相同。从任意一个起始点v开始遍历，直到再次到达点v，即寻找一个环，这会保证一定可以到达点v，因为遍历到任意一个点u，由于其出度和入度相同，故u一定存在一条出边，所以一定可以到达v。将此环定义为C，如果环C中存在某个点x，其有出边不在环中，则继续以此点x开始遍历寻找环C’，将环C、C’
2013-08-24 14:19:44
9558
原创 算法导论22.5-7 给出一个算法确定一个有向图是否为半连通
半连通的定义，有向图G(V,E)，任意两个不同的点u、v，u有一条路径可达v或者v有一条路径可达u，从定义中可以看出，强连通图一定是半连通的。引理：有向无环图G(V,E)，G是半连通的当且仅当有一条路径，这条路径上有图G中所有点。证明：充分性很显然，如果有这样一条路径，则任意两个点之间都有一条路径。必要性，有向无环图，可以对其进行拓扑排序得到一个拓扑序列，拓扑序列中任意两个相邻
2013-08-16 08:15:30
5672
原创 拓扑排序
拓扑排序只针对于有向无环图，它是所有结点的一个线性序列，确保如果有边(u,v)，则结点u一定在v前面。引理：有向图有环的充要条件是DFS存在back edge。证明：充分性很好证明，当DFS存在back edge时，比如(v,u)，又由于可以沿DFS找到u到v的路径，则找到一个环u=>...=>v=>u；必要性证明，考虑有向图中的某个环u=>...=>v=>u，不失一般性可以假设DFS
2013-08-15 12:53:03
1158
原创 DFS 及其相关证明
DFS 对个人来讲真是个奇怪的遍历算法，但最后再仔细看来却是相当重要的算法，难怪在CLRS的chapter notes中讲到由Hopcroft和Tarjan首先意识到DFS的重要性，记住Tarjan这个人，他在图论上有着相当大的贡献，而且首次引入了amortized analysis(分摊分析)，这两位同时获得了图灵奖。DFS如此重要，以下几乎全翻译自CLRS，包括部分习题的解答。 顾名思
2013-08-12 08:24:51
2740
原创 有向无环图两点之间的路径数目(算法导论22.4-2)
有向无环图G=(V,E)，求其点s和e之间的路径数目。此题首先要以点s开始作DFS，得到从s为起点的所有可达点的一顶DFS树，但这个路径数目需要详细参详。定义P(x)，表示点s到点x的路径数目，P(s)=1，即s到自身有一条路径，其余的所有路径数目都初始化为0。路径从s到达点x，则必须到达x的上一层结点，假设以x为终点的上一层结点有n个，即a1,a2,...,an，由加法定律可知P(x)=
2013-08-01 09:47:39
11640
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人