Since all vertices are reachable from , we can select edges forming a directed tree rooted at . It has exactly one path to each vertex.
Therefore, if , deleting at most one edge leaves such a tree, and the answer is .
Otherwise, compute a topological order. Let be the first vertex in this order with at least two incoming edges. Every earlier vertex has a unique path from : except for , it has exactly one predecessor, which is also earlier.