Funcoes DFS e SP (betas)