WarShall算法
2024-10-01 01:53:19
1.引言
图的连通性问题是图论研究的重要问题之一,在实际中有着广泛的应用。例如在通信网络的联通问题中,运输路线的规划问题等等都涉及图的连通性。因此传递闭包的计算需要一个高效率的算法,一个著名的算法就是warshall在1962年提出的WarShall算法。
2.算法描述
使用n阶布尔矩阵\(R^{(k)}(0\leq k\leq n)\)来表示有向图中任意一对节点 是否含有路径的信息。因此,可将原问题划分为如下决策阶段:
\[R^{(0)},R^{(1)},\cdots,R^{(k)},\cdots ,R^{(n)}
\]
\]
具体来说,当且仅当从节点i到节点j存在一条有向路径,且该路径上的每一个中间节点的编号都不大于k时,矩阵\(R^{(k)}\)的第i行,第j列的元素\(r_{ij}^{(k)}=1\)。
对于\(R^{(k)}\)的计算我们可以由它的前趋\(R^{(k-1)}\) 计算得到(分级推进计算)。
- \(R^{(0)}\) ——该矩阵不允许它的路径中包含任何中间顶点,即从该矩阵的任意顶点出发的路径不含有中间顶点,此即邻接矩阵。
- \(R^{(1)}\) ——允许路径中包含第1个顶点(本例编号1)作为中间顶点。
- \(R^{(2)}\) ——允许路径中包含前2个顶点(本例编号1、2)作为中间顶点。
- \(R^{(k)}\) ——允许路径中包含前k个顶点作为中间顶点。
- \(R^{(n)}\) ——允许路径中包含全部 n 个顶点作为中间顶点。
所以综上所述我们得到\(R^{(k)}\)的计算方式如下:
\[R^{k}[i,j]\leftarrow R^{k-1}[i,j]+R^{k-1}[i,k]\cdot R^{k-1}[k,j]
\]
\]
3.算法实现
for(int k=0;k<N;k++){
for(int i=0;i<N;i++){
for(int j=0;j<N;j++){
t[i][j]=t[i][j]||(t[i][k]&&t[k][j]);//由文中公式可得
}
}
}
算法优化
```
for(int k=0;k
参考资料:
离散数学(第三版),清华大学出版社
最新文章
- 最强 Android Studio 使用小技巧和快捷键
- 博客 博客vno主题(我正在用的这个博客主题)
- 【Spring】对象后期处理,BeanPostProcessor
- 读书笔记——Windows核心编程(8)Interlocked系列函数
- NDK debug模式
- C程序设计语言练习题1-23
- Performance of Transport Control Protocol over Dynamic Spectrum Access Links
- P2820 局域网
- http中post和get方法区别
- 为啥JQuery被淘汰了?
- 嵌入式单片机STM32应用技术(课本)
- kubernetes构建时容器的时间与宿主机不一致的解决方法
- 慕学在线网0.5_xadmin的全局配置
- 【枚举类型】Restful API请求--转换String为枚举类型
- eclipse windowbuilder palette 空白
- 并发编程之 AQS 源码剖析
- iOS中消息传递方式
- 【Asp.net入门5-02】创建数据模型和存储库
- Aliasing input/output properties
- 一行能装逼的JavaScript代码的延伸
热门文章
- weblogic.xml 精妙设置
- Senparc.Weixin.MP SDK 微信公众平台开发教程(十九):MessageHandler 的未知类型消息处理
- Akka-Cluster(4)- DistributedData, 分布式数据类型
- JDK1.7和JDK1.8对于异常的支持
- Java 多线程之自旋锁
- 动态创建数据table
- [Postman]代理(16)
- springbean的生命周期
- Python的GUI用法1
- 【spring boot】idea下springboot打包成jar包和war包,并且可以在外部tomcat下运行访问到(转)