verificação de ciclo com arestas obrigatorias