Analise de Algoritmos de Decomposição para o Problema da Distância de Edição em Árvores
O problema da Distancia de Edição de Árvores é uma generalização da Distância de Levenshtein (Distancia de Edição de Cadeias). Nele, temos duas árvores rotuladas A e B, e queremos saber o custo mínimo de uma sequencia de operações que transforma A em B atraves da inserção, substituição e rerrotulaão de nós. Neste trabalho, analizamos alguns algoritmos da família de algoritmos de decomposição: Zhang-Shasha, Klein e Demaine. Revisitamos as provas de alguns de seus lemas, visando trazer uma versao mais clara quanto possível. Também apresentamos uma implementação do algoritmo de Klein operando sobre cadeias de Euler, como descrito em seu trabalho original.