图论(四)------非负权有向图的单源最短路径问题,Dijkstra算法
Dijkstra算法解决了有向图G=(V,E)上带权的单源最短路径问题,但要求所有边的权值非负。
Dijkstra算法是贪婪算法的一个很好的例子。设置一顶点集合S,从源点s到集合中的顶点的最终最短路径的权值均已确定。算法反复选择具有最短路径估计的顶点u,并将u加入到S中,对u
的所有出边进行松弛。如果可以经过u来改进到顶点v的最短路径的话,就对顶点v的估计值进行更新。
如上图,u为源点,顶点全加入到优先队列中。
,队列中最小值为u(值为0),u出队列,对u的出边进行松弛(x、v、w),队列最小值为x。
将x出列加入S,将x的出边松弛(v、y、w),其中w的值需要更新(4<5),队列最小值为v。
将v出列,加入到S中,将v的出边松弛(w),因x已在S中,故不做松弛。队列中的最小值为y。
将y出列,y加入到S,松弛y的出边(w、z),更新w的值(3<4),队列最小值为w。
将w出列,加入到S中,松弛w的出边(z),队列最小值为z。
将z出列,加入到S中。将z的出边松弛(无),此时队列为空,算法结束。
Dijkstra算法的运行时间依赖于最小优先队列的具体实现。如果简单的运用数组实现求最小值,运行时间为O(V2+E)=O(V2)。
如果图比较稀疏,E=o(V2/lgV),如果用二叉最小堆实现,则为O((V+E)lgV)。
如果用斐波那契堆实现,可以提升到O(VlgV+E)。
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 | import sys class Vertex( object ): def __init__( self ,key): self . id = key self .adj = {} def addNeighbor( self ,nbr,weight = 0 ): self .adj[nbr] = weight def getNeighbors( self ): return self .adj.keys() def getId( self ): return self . id def getWeight( self ,key): return self .adj[key] class Graph( object ): def __init__( self ): self .vertexlist = {} self .size = 0 def addVertex( self ,key): vertex = Vertex(key) self .vertexlist[key] = vertex self .size + = 1 return vertex def getVertex( self ,key): return self .vertexlist.get(key) def __contains__( self ,key): if key in self .vertexlist: return True else : return False def addEdge( self ,f,t,weight = 0 ): if f not in self .vertexlist: self .addVertex(f) if t not in self .vertexlist: self .addVertex(t) self .vertexlist[f].addNeighbor( self .vertexlist[t],weight) def getVertices( self ): return self .vertexlist.keys() def __iter__( self ): return iter ( self .vertexlist.values()) def Dijkstra(G,s): path = {} vertexlist = [] for v in G: vertexlist.append(v) path[v] = sys.maxsize path[s] = 0 queue = PriorityQueue(path) queue.buildHeap(vertexlist) while queue.size> 0 : vertex = queue.delMin() for v in vertex.getNeighbors(): newpath = path[vertex] + vertex.getWeight(v) if newpath<path[v]: path[v] = newpath queue.perUp(v) return path class PriorityQueue( object ): def __init__( self ,path): self .path = path self .queue = [] self .size = 0 def buildHeap( self ,alist): self .queue = alist self .size = len (alist) for i in xrange ( self .size / 2 - 1 , 0 , - 1 ): self ._perDown(i) def delMin( self ): self .queue[ 0 ], self .queue[ - 1 ] = self .queue[ - 1 ], self .queue[ 0 ] minvertex = self .queue.pop() self .size - = 1 self ._perDown( 0 ) return minvertex def perUp( self ,v): i = self .queue.index(v) self ._perUp(i) def _perUp( self ,i): if i> 0 : if self .path[ self .queue[i]]< = self .path[ self .queue[(i - 1 ) / 2 ]]: self .queue[i], self .queue[(i - 1 ) / 2 ] = self .queue[(i - 1 ) / 2 ], self .queue[i] self ._perUp((i - 1 ) / 2 ) def _perDown( self ,i): left = 2 * i + 1 right = 2 * i + 2 little = i if left< = self .size - 1 and self .path[ self .queue[left]]< = self .path[ self .queue[i]]: little = left if right< = self .size - 1 and self .path[ self .queue[right]]< = self .path[ self .queue[little]]: little = right if little! = i: self .queue[i], self .queue[little] = self .queue[little], self .queue[i] self ._perDown(little) if __name__ = = '__main__' : g = Graph() g.addEdge( 'u' , 'x' , 1 ) g.addEdge( 'u' , 'v' , 2 ) g.addEdge( 'u' , 'w' , 5 ) g.addEdge( 'x' , 'v' , 2 ) g.addEdge( 'x' , 'y' , 1 ) g.addEdge( 'x' , 'w' , 3 ) g.addEdge( 'v' , 'w' , 3 ) g.addEdge( 'y' , 'w' , 1 ) g.addEdge( 'y' , 'z' , 1 ) g.addEdge( 'w' , 'z' , 5 ) u = g.getVertex( 'u' ) path = Dijkstra(g,u) for v in path: print v. id ,path[v] |
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· Linux系列:如何用heaptrack跟踪.NET程序的非托管内存泄露
· 开发者必知的日志记录最佳实践
· winform 绘制太阳,地球,月球 运作规律
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· AI 智能体引爆开源社区「GitHub 热点速览」
· 写一个简单的SQL生成工具
· Manus的开源复刻OpenManus初探