有向图的强连通算法 -- tarjan算法

2024-06-14 15:48
文章标签 算法 有向图 连通 tarjan

本文主要是介绍有向图的强连通算法 -- tarjan算法,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!


(画图什么真辛苦)

强连通分量:


在有向图 G 中,若两个顶点相互可达,则称两个顶点强连通(strongly connected)。如果有向图G的每两个顶点都强连通,称G是一个强连通图非强连通图有向图的极大强连通子图,称为强连通分量(strongly connected components)。比如上面这幅图( a, b, e ), ( d, c, h ), ( f, g ) 分别为三个 SCC。


tarjan算法伪代码:

该算法由 Robert Tarjan 发明,原论文:Tarjan1972

时间复杂度是深搜的时间复杂度 O( N + E )。

BEGININTERGER i;PROCEDURE STRONGCONNECT(v);BEGINLOWLINK(v):= NUMBER(v):= i := i + 1;put v on stack of points;FOR w in the adjacency list of v DOBEGINIF w is not yet numbered THENBEGIN comment( v, w ) is a tree arc;STRONGCONNECT(w);LOWLINK(V) := min( LOWLINK(V),LOWLINK(W));END;ELSE IF NUMBER(W) < NUMBER(V) DOBEGIN comment( v, w ) is a frond or cross-link;if w is on stack of points THENLOWLINK(v) := min( LOWLINK(v),NUMBER(w));END;END;if( LOWLINK(v) = NUMBER(v) ) THENBEGIN comment v is the root of a compont;start new strongly connected compont;WHILE w on top of point stack satisfiesNUMBER(w) >= NUMBER(v) DOBEGINdelete w from point stack and put win current component;END;END;END;i := 0;empty stack of points;FOR w a vertex IF w is not yet numbered THEN STRONGCONNECT(w);
END


tarjan算法的执行动态图:

1.建图,每个顶点有三个域,第一个是顶点名,第二个空格是发现该点的时间戳 DFN ,第三个空格是该点能够追溯到的最早的栈中节点的次序号 LOW。



2. 深搜,比如搜索路径为 a --> b --> c --> g --> f, 沿途记下自身的 DFN 和 LOW



3.达到 f 点后,f 点只有一个可达顶点 g, 但 g 不是 f 的后继顶点,且 g 在栈中,则更新 f 的 LOW 变为 g 的发现时间。



4.这时候回到 g 点,但是 f 点还得再栈中,只有发现时间 DFN 与 LOW 相同的顶点才能从栈中弹出(和压在上面的节点一起弹出构成SCC)




5.这时候 g 点的 DFN == LOW



6.于是将 f 和 g 都弹出



7.如虚线所示,他们构成了一个SCC



8.下面就是一样的了,( 图画的好辛苦 )


     

=========================================================================================


    

========================================================================================

    

=========================================================================================

    

==========================================================================================

    

==========================================================================================



python代码:

def strongly_connected_components( graph ):dfn_count = [0]result = []stack = []low = {}dfn = {}def stronglyconnected( node ):dfn[node] = dfn_count[0]low[node] = dfn_count[0]dfn_count[0] += 1stack.append( node )if node not in graph:successors = []else:successors = graph[node]for successor in successors:if successor not in dfn:stronglyconnected( successor )low[node] = min( low[successor], low[node] )elif successor in stack:low[node] = min( low[node], dfn[successor] )if low[node] == dfn[node]:li = []item = Nonewhile True:item = stack.pop()li.append( item )if item == node: breakresult.append( li )for node in graph:if node not in low:stronglyconnected( node )return resultif __name__ == '__main__':graph = {'a': [ 'b' ],'b': [ 'c', 'e', 'f' ],'c': [ 'g', 'd' ],'d': [ 'c', 'h' ],'e': [ 'a', 'f' ],'f': [ 'g' ],'g': [ 'f' ],'h': [ 'g', 'd' ]}print strongly_connected_components( graph )

运行结果:




C++代码:

#include <iostream>
#include <vector>
#include <string.h>
using namespace std;#define MAX_SIZE 100bool Graph[MAX_SIZE][MAX_SIZE];int Stack[MAX_SIZE];
bool nodeIsInStack[MAX_SIZE];
int stack_pointer = 0;int Lows[MAX_SIZE];
int Dfns[MAX_SIZE];int node_num = 0;   // 图中节点得到个数
int find_time = 0;  // 每个节点的发现时间int scc_num = 0;    // 记录 scc 的个数void find_scc( int start_node ){find_time++;Lows[start_node] = Dfns[start_node] = find_time;stack_pointer++;Stack[stack_pointer] = start_node;nodeIsInStack[start_node] = true;for( int end_node = 1; end_node <= node_num; ++end_node ){//若start_node和end_ndoe之间存在边if( Graph[start_node][end_node] ){//若是end_node尚未被访问if( Dfns[end_node] == 0 ){find_scc( end_node );Lows[start_node] = min( Lows[start_node], Lows[end_node] );}//若end_node在栈中,也就是start_node -> end_node是返祖边else if( nodeIsInStack[end_node] ){Lows[start_node] = min( Lows[start_node], Dfns[end_node] );}}}//若是start_node的时间戳与Lows相等在构成SCCif( Dfns[start_node] == Lows[start_node] ){scc_num++;cout << "scc_num: " << scc_num << endl;int pop_node_index = Stack[stack_pointer];stack_pointer--;nodeIsInStack[pop_node_index] = false;cout << pop_node_index << " ";while( start_node != pop_node_index ){pop_node_index = Stack[stack_pointer];nodeIsInStack[pop_node_index] = false;stack_pointer--;cout << pop_node_index << " ";}cout << endl;}
}void init_values(){memset( Graph, false, sizeof( Graph ) );memset( Stack, 0, sizeof( Stack ) );memset( nodeIsInStack, false, sizeof( nodeIsInStack ) );memset( Lows, 0, sizeof( Lows ) );memset( Dfns, 0, sizeof( Dfns ) );
}int main(){init_values();// 初始化图//这里用数字代替节点的名字int start_node, end_node;cin >> node_num;while( true ){cin >> start_node >> end_node;//起始点终止点都为 0 的时候结束if( start_node == 0 && end_node == 0 )break;Graph[start_node][end_node] = true;}for( int start_node = 1; start_node <= node_num; ++start_node ){//该节点尚未被访问到if( Dfns[start_node] == 0 ){find_scc( start_node );}}}


这篇关于有向图的强连通算法 -- tarjan算法的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1060838

相关文章

SpringBoot实现MD5加盐算法的示例代码

《SpringBoot实现MD5加盐算法的示例代码》加盐算法是一种用于增强密码安全性的技术,本文主要介绍了SpringBoot实现MD5加盐算法的示例代码,文中通过示例代码介绍的非常详细,对大家的学习... 目录一、什么是加盐算法二、如何实现加盐算法2.1 加盐算法代码实现2.2 注册页面中进行密码加盐2.

Java时间轮调度算法的代码实现

《Java时间轮调度算法的代码实现》时间轮是一种高效的定时调度算法,主要用于管理延时任务或周期性任务,它通过一个环形数组(时间轮)和指针来实现,将大量定时任务分摊到固定的时间槽中,极大地降低了时间复杂... 目录1、简述2、时间轮的原理3. 时间轮的实现步骤3.1 定义时间槽3.2 定义时间轮3.3 使用时

如何通过Golang的container/list实现LRU缓存算法

《如何通过Golang的container/list实现LRU缓存算法》文章介绍了Go语言中container/list包实现的双向链表,并探讨了如何使用链表实现LRU缓存,LRU缓存通过维护一个双向... 目录力扣:146. LRU 缓存主要结构 List 和 Element常用方法1. 初始化链表2.

golang字符串匹配算法解读

《golang字符串匹配算法解读》文章介绍了字符串匹配算法的原理,特别是Knuth-Morris-Pratt(KMP)算法,该算法通过构建模式串的前缀表来减少匹配时的不必要的字符比较,从而提高效率,在... 目录简介KMP实现代码总结简介字符串匹配算法主要用于在一个较长的文本串中查找一个较短的字符串(称为

通俗易懂的Java常见限流算法具体实现

《通俗易懂的Java常见限流算法具体实现》:本文主要介绍Java常见限流算法具体实现的相关资料,包括漏桶算法、令牌桶算法、Nginx限流和Redis+Lua限流的实现原理和具体步骤,并比较了它们的... 目录一、漏桶算法1.漏桶算法的思想和原理2.具体实现二、令牌桶算法1.令牌桶算法流程:2.具体实现2.1

Python中的随机森林算法与实战

《Python中的随机森林算法与实战》本文详细介绍了随机森林算法,包括其原理、实现步骤、分类和回归案例,并讨论了其优点和缺点,通过面向对象编程实现了一个简单的随机森林模型,并应用于鸢尾花分类和波士顿房... 目录1、随机森林算法概述2、随机森林的原理3、实现步骤4、分类案例:使用随机森林预测鸢尾花品种4.1

不懂推荐算法也能设计推荐系统

本文以商业化应用推荐为例,告诉我们不懂推荐算法的产品,也能从产品侧出发, 设计出一款不错的推荐系统。 相信很多新手产品,看到算法二字,多是懵圈的。 什么排序算法、最短路径等都是相对传统的算法(注:传统是指科班出身的产品都会接触过)。但对于推荐算法,多数产品对着网上搜到的资源,都会无从下手。特别当某些推荐算法 和 “AI”扯上关系后,更是加大了理解的难度。 但,不了解推荐算法,就无法做推荐系

康拓展开(hash算法中会用到)

康拓展开是一个全排列到一个自然数的双射(也就是某个全排列与某个自然数一一对应) 公式: X=a[n]*(n-1)!+a[n-1]*(n-2)!+...+a[i]*(i-1)!+...+a[1]*0! 其中,a[i]为整数,并且0<=a[i]<i,1<=i<=n。(a[i]在不同应用中的含义不同); 典型应用: 计算当前排列在所有由小到大全排列中的顺序,也就是说求当前排列是第

csu 1446 Problem J Modified LCS (扩展欧几里得算法的简单应用)

这是一道扩展欧几里得算法的简单应用题,这题是在湖南多校训练赛中队友ac的一道题,在比赛之后请教了队友,然后自己把它a掉 这也是自己独自做扩展欧几里得算法的题目 题意:把题意转变下就变成了:求d1*x - d2*y = f2 - f1的解,很明显用exgcd来解 下面介绍一下exgcd的一些知识点:求ax + by = c的解 一、首先求ax + by = gcd(a,b)的解 这个

综合安防管理平台LntonAIServer视频监控汇聚抖动检测算法优势

LntonAIServer视频质量诊断功能中的抖动检测是一个专门针对视频稳定性进行分析的功能。抖动通常是指视频帧之间的不必要运动,这种运动可能是由于摄像机的移动、传输中的错误或编解码问题导致的。抖动检测对于确保视频内容的平滑性和观看体验至关重要。 优势 1. 提高图像质量 - 清晰度提升:减少抖动,提高图像的清晰度和细节表现力,使得监控画面更加真实可信。 - 细节增强:在低光条件下,抖