A*,open list最好的数据结构是什么?

A*, what's the best data structure for the open list?

免责声明:我真的相信这不是类似问题的重复。我读过那些,他们(大部分)建议使用堆或优先队列。我的问题更多是 "I don't understand how those would work in this case" 类的。

简而言之:

我指的是典型的 A*(A 星)寻路算法,如维基百科上(例如)所述:

https://en.wikipedia.org/wiki/A*_search_algorithm

更具体地说,我想知道最好的数据结构是什么(它可以是一个众所周知的数据结构,也可以是它们的组合),这样你就不会在任何方面都有 O(n) 的性能算法需要在open list上做的操作。

据我了解(大部分来自维基百科文章),open list需要做的操作如下:

此列表中的元素需要是具有以下属性的 Node 实例:

鉴于这些,操作是:

据我所知,对打开列表使用堆或优先队列的问题是:

此外,如果我们制作自定义数据结构,例如使用哈希表(以位置作为键)和优先级队列的数据结构,我们仍然会有一些操作需要对其中任何一个进行次优处理:为了为了使它们保持同步(两者都应该有相同的节点),对于给定的操作,该操作在其中一个数据结构上总是次优的:按位置添加或删除节点在哈希表上会很快但在哈希表上会很慢优先队列。删除具有最低 F 分数的节点在优先级队列上会很快,但在哈希表上会很慢。

我所做的是为使用它们的位置作为键的节点创建一个自定义哈希表,它还跟踪具有最低 F 分数的当前节点。在添加新节点时,它会检查其 F 分数是否低于当前存储的最低 F 分数节点,如果是,则将其替换。当您想要删除一个节点时(无论是按位置还是按 F 得分最低的节点),此数据结构就会出现问题。在这种情况下,为了更新保存当前最低 F 分数节点的字段,我需要遍历所有剩余的节点,以便找到现在哪个节点的 F 分数最低。

所以我的问题是:有没有更好的方法来存储这些?

您可以组合散列 table 和堆,而不会出现缓慢的操作。

将散列 table 映射位置到 堆中的索引 而不是节点。

对堆的任何更新都可以自行同步(这需要堆知道散列 table,因此这是侵入式的,而不仅仅是两个现成实现的包装器)到散列table 与堆中移动的项目数一样多的更新(显然每个 O(1)),当然只有 log n 项目可以移动以进行插入、删除-min 或更新-钥匙。散列 table 找到节点(在堆中)以更新 A* 的 parent-updating/G-changing 步骤的密钥,所以这也很快。