A topological ordering exists for a directed graph if and only if the graph is: