Jadrago··on Universal optimality of Dijkstra via beyond-worst-case heapsDoes google maps use something like this? I imagine all pairs is too expensive, but the topology should be fairly consistent over time