DAG shortest paths