使用FGL查找最短路径

Question

我正在使用Martin Erwig的功能图库（FGL）来表示以下简单的有向加权图。

genLNodes :: [LNode String]
genLNodes = zip [1..5] ["A","B","C","D","E"]

genLEdges :: [LEdge Int]
genLEdges = [(1,2,4),(1,3,1),(2,4,2),(3,4,2),(2,5,1),(4,5,1),
             (2,1,4),(3,1,1),(4,2,2),(4,3,2),(5,2,1),(5,4,1)]

mygraph :: Gr String Int
mygraph = mkGraph genLNodes genLEdges

现在我想找到从一个节点到另一个节点的最短路径，例如使用dijkstra算法A到E。在Data.Graph.Inductive.Query.SP：

中似乎有一个功能

dijkstra :: (Graph gr, Real b) => Heap b (LPath b) -> gr a b -> LRTree b

但是我无法弄清楚如何从提供的界面中使用它。任何帮助将非常感激。如果我以正确的方式创建有向加权图，或者是否还有其他（更好）的包，我还想听听其他任何建议吗？

Answer 1

为了获得两个节点之间的最短路径，模块提供了一个特殊的函数sp（可能是“最短路径”的缩写），因此获取最短路径的最简单方法是

sp 1 5 mygraph

sp使用dijkstra：

spTree :: (Graph gr, Real b) => Node -> gr a b -> LRTree b
spTree v = dijkstra (H.unit 0 (LP [(v,0)]))

sp :: (Graph gr, Real b) => Node -> Node -> gr a b -> Path
sp s t = getLPathNodes t . spTree s

从中您可以看到如何生成生成树并从中获得最短路径，但除非您有充分的理由不使用提供的函数，否则应该坚持使用。