高级
动态图中的实时最短路径优化
针对边权重频繁变化的动态图，设计一种比Dijkstra算法更高效的最短路径维护算法。
📝 Nội dung Prompt
假设我们正在为一个实时导航系统编写后端逻辑，路网图结构中的边权重（即路况拥堵程度）每秒都在发生变化。直接在每次更新时运行Dijkstra算法会导致严重的性能瓶颈。请设计并详细描述一种算法或数据结构（如动态最短路径树或基于Contraction Hierarchies的变体），能够在O [log n)或更优的时间复杂度内，响应单一边权重的变化并更新两点间的最短路径结果。请提供该算法的伪代码逻辑以及时间复杂度分析。