Meio em cima da hora, mas vamos lá.
Estou com alguns problemas na 3 (ou pelo menos con o enunciado da 3).
Se formos implementar o algoritmo assim como escrito no enunciado, ele
não funcionaria (é fácil ver alguns contra-exemplos).
Depois de pensar um pouco (e ver o site do feofiloff em
http://www.ime.usp.br/~pf/algoritmos_para_grafos/aulas/strong-comps.html),
fazendo com que todos os vértices de uma componente fortemente conexa já
descoberta tenham low[v] = G->V resolve o problema. Então pode considerar
isso para provar a b)?
Achei estranho porque o enunciado da a entender que da pra provar sem
considerar que as componetes fortemente conexas tenham low com algo
parecido com infinito.
Fórum