sexta-feira, novembro 26, 2004

Sobre coisa nenhuma



Tenho algo (quase) inútil para partilhar convosco.

Passei as últimas horas a dedicar-me ao assunto e penso estar em condições de anunciar a todos os interessados que tenho uma prova que o mínimo dos elementos de qualquer intervalo definido sobre uma lista de índices dos nós visitados de uma árvore durante uma travessia em profundidade-primeiro corresponde ao índice do antepassado comum mais próximo dos extremos do intervalo.

[...]

Quod erat demonstrandum

Sem comentários: