O exercício E.3.54 é interessante.
Coloquei no fim do Roteiro uma solução
que é o denominador comum das soluções
submetidas pelos alunos.
(Minha primeira idéia foi a de encontrar
uma CDCi, retirar as arestas dessa CDCi,
a aplicar a hipótese de indução. Infelizmente,
esse projeto deu com os burros n'água, pois
a CDCi pode ter ciclos de comprimento 2.)
--Paulo
Fórum