Single-source shortest paths in directed acyclic graphs