Universal optimality of Dijkstra via beyond-worst-case heaps 2 years agoDoes google maps use something like this? I imagine all pairs is too expensive, but the topology should be fairly consistent over time 0ThreadHN