Universal optimality of Dijkstra via beyond-worst-case heapsarxiv.org203 pointsfoweltschmerz2 years ago