so it turns out that only is the answer yes as long as you don't have any directed cycles, you're guaranteed a topological ordering, but we can even compute one in linear time no less, via depth-first search.