佛洛依德算法详解

2023-12-27 00:52
文章标签 算法 详解 佛洛依德

本文主要是介绍佛洛依德算法详解,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

佛洛依德算法详解

佛洛依德算法(Floyd-Warshall Algorithm)和迪杰斯特拉算法(Dijkstra’s Algorithm)都是用于解决图的最短路径问题的算法,但它们有一些关键的区别。

与迪杰斯特拉算法对比

佛洛依德算法:用于计算图中所有节点对之间的最短路径。
迪杰斯特拉算法:用于计算从一个源节点到其他所有节点的最短路径。

佛洛依德算法:具有较高的时间复杂度,通常为O(V^3),其中V是节点的数量。
迪杰斯特拉算法:在正常情况下,时间复杂度为O(V^2),但使用优先队列(堆)实现时可以优化到O((V+E)logV),其中E是边的数量。

佛洛依德算法:适用于稠密图,即边的数量相对较大的情况。
迪杰斯特拉算法:适用于稀疏图,即边的数量相对较小的情况。

佛洛依德算法:能够处理带有负权边的图。
迪杰斯特拉算法:对于带有负权边的图,可能会产生不正确的结果。

佛洛依德算法:基于动态规划,通过中间节点来更新路径。
迪杰斯特拉算法:基于贪心算法,每次选择当前最短路径的节点进行扩展。

总体而言,选择使用佛洛依德算法还是迪杰斯特拉算法取决于具体的问题和图的特性。如果图较小或者需要计算所有节点对之间的最短路径,可以考虑使用佛洛依德算法。如果图较大且只需计算从一个源节点到其他节点的最短路径,迪杰斯特拉算法可能更为高效。

存图

存图请参考上一篇介绍迪杰斯特拉算法的博客:https://blog.csdn.net/KK_2018/article/details/135198924

原理

设置一个dist数组,dist[i][j]表示从节点i到节点j的最短路径距离,dist先初始化,如果节点i到j存在直达路径,则将dist[i][j]初始化为路径值,否则初始化为无穷大(INF),然后依次将每个节点设置为从节点i到节点j的中间节点,如果加入中间节点会导致dist[i][j]变小,就更新dist[i][j]的值为这个更小的值,就核心原理就是一个公式:
d i s t [ i ] [ j ] = d i s t [ i ] [ j ] > d i s t [ i ] [ k ] + d i s t [ k ] [ j ] ? d i s t [ i ] [ k ] + d i s t [ k ] [ j ] : d i s t [ i ] [ j ] , i ≤ k ≤ j dist[i][j]=dist[i][j]>dist[i][k]+dist[k][j]?dist[i][k]+dist[k][j] : dist[i][j]\quad ,i\leq k\leq j dist[i][j]=dist[i][j]>dist[i][k]+dist[k][j]?dist[i][k]+dist[k][j]:dist[i][j],ikj

同时,我们还要设置一个二维数组next,来记录节点i到节点j路径上的i节点的下一个节点,例如路径为1–>2–>3–>4–>5,那么next[1][5]=2,next[2[5]=3,next[3][5]=4,next[4][5]=5,这样就可以把路径信息保存下来。

代码如下

// src表示源点,adjMatrix为保存图的邻接矩阵
void Graph::floyd(int src, std::vector<std::vector<int>>& dist, int adjMatrix[MAX][MAX])
{// 初始化一个二维向量 dist,用于存储所有节点之间的最短路径长度,初始值为无穷大(INF)dist = std::vector<std::vector<int>>(V, std::vector<int>(V, INF));// 将对角线上的元素设置为0,表示节点到自身的距离为0for (int i = 0; i < V; i++) {dist[i][i] = 0;}// 用于存储路径中下一个节点的信息std::vector<std::vector<int>> next(V, std::vector<int>(V, -1));for (int i = 0; i < V; i++)for (int j = 0; j < V; j++){if (i != j && adjMatrix[i][j] != INF) {// 复制邻接矩阵的初始值到 dist 中dist[i][j] = adjMatrix[i][j];next[i][j] = j; // 如果有连接边,设置下一个节点为目标节点 j}}// 在三重循环中进行动态规划,遍历所有节点 k,更新从节点 i 到节点 j 的最短路径for (int k = 0; k < V; k++){for (int i = 0; i < V; i++){for (int j = 0; j < V; j++){// 如果通过节点 k 能够获得更短的路径if (dist[i][k] + dist[k][j] < dist[i][j] && dist[i][k]!=INF && dist[k][j]!=INF){// 更新最短路径的值dist[i][j] = dist[i][k] + dist[k][j];// 更新路径中下一个节点的信息next[i][j] = next[i][k]; }}}}

那怎么把路径打印出来呢?也很简单,循环不断地求next[i][j]即可,代码如下

// src表示源点,dest表示目标节点
void Graph::saveFoPath(int src, int dest, std::vector<std::vector<int>>& next)
{std::vector<int> path;int current = src;while (current != dest) {path.push_back(current);current = next[current][dest];}path.push_back(dest);for (auto const& p : path){std::cout<<p<<' ';}std::cout<<endl;
}

这篇关于佛洛依德算法详解的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

HTML5的input标签的`type`属性值详解和代码示例

《HTML5的input标签的`type`属性值详解和代码示例》HTML5的`input`标签提供了多种`type`属性值,用于创建不同类型的输入控件,满足用户输入的多样化需求,从文本输入、密码输入、... 目录一、引言二、文本类输入类型2.1 text2.2 password2.3 textarea(严格

C++ move 的作用详解及陷阱最佳实践

《C++move的作用详解及陷阱最佳实践》文章详细介绍了C++中的`std::move`函数的作用,包括为什么需要它、它的本质、典型使用场景、以及一些常见陷阱和最佳实践,感兴趣的朋友跟随小编一起看... 目录C++ move 的作用详解一、一句话总结二、为什么需要 move?C++98/03 的痛点⚡C++

MySQL中between and的基本用法、范围查询示例详解

《MySQL中betweenand的基本用法、范围查询示例详解》BETWEENAND操作符在MySQL中用于选择在两个值之间的数据,包括边界值,它支持数值和日期类型,示例展示了如何使用BETWEEN... 目录一、between and语法二、使用示例2.1、betwphpeen and数值查询2.2、be

python中的flask_sqlalchemy的使用及示例详解

《python中的flask_sqlalchemy的使用及示例详解》文章主要介绍了在使用SQLAlchemy创建模型实例时,通过元类动态创建实例的方式,并说明了如何在实例化时执行__init__方法,... 目录@orm.reconstructorSQLAlchemy的回滚关联其他模型数据库基本操作将数据添

Java中ArrayList与顺序表示例详解

《Java中ArrayList与顺序表示例详解》顺序表是在计算机内存中以数组的形式保存的线性表,是指用一组地址连续的存储单元依次存储数据元素的线性结构,:本文主要介绍Java中ArrayList与... 目录前言一、Java集合框架核心接口与分类ArrayList二、顺序表数据结构中的顺序表三、常用代码手动

JAVA线程的周期及调度机制详解

《JAVA线程的周期及调度机制详解》Java线程的生命周期包括NEW、RUNNABLE、BLOCKED、WAITING、TIMED_WAITING和TERMINATED,线程调度依赖操作系统,采用抢占... 目录Java线程的生命周期线程状态转换示例代码JAVA线程调度机制优先级设置示例注意事项JAVA线程

详解C++ 存储二进制数据容器的几种方法

《详解C++存储二进制数据容器的几种方法》本文主要介绍了详解C++存储二进制数据容器,包括std::vector、std::array、std::string、std::bitset和std::ve... 目录1.std::vector<uint8_t>(最常用)特点:适用场景:示例:2.std::arra

C++构造函数中explicit详解

《C++构造函数中explicit详解》explicit关键字用于修饰单参数构造函数或可以看作单参数的构造函数,阻止编译器进行隐式类型转换或拷贝初始化,本文就来介绍explicit的使用,感兴趣的可以... 目录1. 什么是explicit2. 隐式转换的问题3.explicit的使用示例基本用法多参数构造

Android使用java实现网络连通性检查详解

《Android使用java实现网络连通性检查详解》这篇文章主要为大家详细介绍了Android使用java实现网络连通性检查的相关知识,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录NetCheck.Java(可直接拷贝)使用示例(Activity/Fragment 内)权限要求

MyBatis中的两种参数传递类型详解(示例代码)

《MyBatis中的两种参数传递类型详解(示例代码)》文章介绍了MyBatis中传递多个参数的两种方式,使用Map和使用@Param注解或封装POJO,Map方式适用于动态、不固定的参数,但可读性和安... 目录✅ android方式一:使用Map<String, Object>✅ 方式二:使用@Param