fluxo completo, falta fazer as condicoes de adicao do edge no grafo reduzido e entender o metodo there exists k paths