dfs e topological order, falta conferir pre-ordem e pos-ordem e testar com ciclos.