用于处理由邻居列表函数定义的（潜在无限）图的库

Question

这是我在多种编程语言中使用了无数次的模式：

1. 遇到一个可以很容易地归结为某种图形算法的问题。
2. 定义一个邻接函数： outEdges :: MyNode -> [MyNode] 。
3. 编写该图算法的某种通用形式，该形式将该函数作为第一个参数。

例如，考虑这种（故意低效的）方法来计算两个单词之间的编辑距离 。 我们将计算通过广度优先搜索将一个单词转换为另一个单词所需的最少插入和删除次数。

import Data.List
import Data.Maybe

alphabet :: String
alphabet = ['a'..'z']

wordNeighbors :: String -> [String]
wordNeighbors word = deletions ++ insertions where
    insertions = [pre++[c]++suf | (pre,suf) <- splits, c <- alphabet]
    deletions =  [pre++suf      | (pre,_:suf) <- take (length word) splits]

    splits = zip (inits word) (tails word)

shortestDistance :: (Eq a,Hashable a)=> (a -> [a]) -> a -> a -> Maybe Int
shortestDistance edgeFunc source target =
    -- 8 lines of code where I do a breadth-first traversal,
    -- using a HashSet to track previously visited nodes;
    -- yawn...

editDistance :: String -> String -> Int
editDistance a b = fromJust $ shortestDistance wordNeighbors a b

main = print $ editDistance "cat" "can"  -- prints 2

问题是， 我对步骤3感到非常厌倦。 （请参阅上面的shortestDistance ...）

我觉得我已经写了数百遍相同的算法。 如果我可以以某种方式利用FGL或Data.Graph并完成它，我会很喜欢，但据我所知，这最终都需要构建某种针对集合严格的Graph数据结构所有节点。 这是一个问题，因为在许多问题中， 图是无限的 （例如在上面的示例中）。

我之所以特别询问Haskell，是因为Haskell非常重视组合器，以某种方式我希望其中的许多算法已经存在于某个地方。

---

附录：这是除最短路径之外我经常编写的其他函数示例：

-- Useful for organizing the computation of a recursively-defined
-- property of the nodes in an acyclic graph, such as nimbers.
dfsPostOrder :: (v -> [v]) -> v -> [v]
dfsPostOrder adjFunc root = ...

-- Find all nodes connected in some manner to the root node.
-- In case I know the components are finite size, but am not sure
-- of a nice way to express their contents.
-- (Note: The API below is only good for undirected graphs)
getComponent :: (v -> [v]) -> v -> Set v
getComponent adjFunc root = ...

-- Lazily organize the graph into groups by their minimum distance
-- to any of the nodes in @roots@.
-- One could use this to help incrementalize parts of e.g. a Game
-- of Life or Kinetic Monte Carlo simulation by locating regions
-- invalidated by changes in the state.
groupsByProximity :: (v -> [v]) -> Set v -> [Set v]
groupsByProximity adjFunc roots = ...

---

TL; DR：是否有任何通用方法可以编写可在无限长，可能循环，有向图上使用的算法，例如由邻接函数（ Node -> [Node]或Node -> [(Node, Weight)] ）？

Answer 1

我认为大多数“广度优先”搜索算法实际上都是某种“最佳优先”算法 。 即，将搜索边界放置在确定队列访问顺序的优先级队列中。

我发现了两个实现一般最佳优先算法的软件包：

• 一个明星
• Monad-Dijkstra

这两个模块都有非常通用的接口-即，您提供一个邻居函数，一个节点间距离函数和（对于A-star而言）一个启发式函数。

通过适当选择启发式和距离函数，您也许可以将搜索映射到这些算法之一。 例如， 该专利描述了一种使用A-star解决编辑距离问题的方法。