==Include(page="template/raw")==

Se numeste arbore cu radacina o structura care contine un nod special denumit radacina arborelui si $A ~1~, A ~2~, ..., A ~n~$ (unde $n ≥ 0$) arbori cu radacina (denumiti subarbori ai radacinii). Nodul radacina al fiecarui arbore A[i] este denumit fiu al radacinii arborelui si este conectat printr-o muchie de radacina arborelui.

Se numeste arbore cu radacina o structura care contine un nod special denumit radacina arborelui si $A ~1~, A ~2~, ..., A ~n~$ (unde $n ≥ 0$) arbori cu radacina (denumiti subarbori ai radacinii). Nodul radacina al fiecarui arbore $A ~i~$ este denumit fiu al radacinii arborelui si este conectat printr-o muchie de radacina arborelui.

Doi arbori cu radacina sunt identici daca radacinile celor doi au acelasi numar de subarbori si acestia sunt identici (mai exact, pentru orice i=1, 2, ..., n subarborele i al primului este identic cu subarborele i al celui de-al doilea).

Doi arbori cu radacina sunt identici daca radacinile celor doi au acelasi numar de subarbori si acestia sunt identici (mai exact, pentru orice $i=1, 2, ..., n$ subarborele $i$ al primului este identic cu subarborele $i$ al celui de-al doilea).

O termita poate "ciopli" un arbore actionand astfel:

1) termita porneste de la radacina arborelui;

2) la fiecare moment (in orice nod s-ar afla), termita poate face una dintre urmatoarele operatii:

- sta in nod si mananca cea mai din dreapta muchie, eliminand astfel cel mai din dreapta fiu si subarborele corespunzator (acestea cad si vor fi mancate de alte termite lenese);
 
- inainteaza pe muchia din dreapta, spre fiul ramas cel mai din dreapta al nodului in care se afla;
 
- se opreste

* sta in nod si mananca cea mai din dreapta muchie, eliminand astfel cel mai din dreapta fiu si subarborele corespunzator (acestea cad si vor fi mancate de alte termite lenese);
* inainteaza pe muchia din dreapta, spre fiul ramas cel mai din dreapta al nodului in care se afla;
* se opreste

Doua termite prietene aleg doi arbori si ii cioplesc in modul descris pana cand obtin doi arbori identici. Similaritatea dintre doi arbori este egala cu numarul maxim de noduri care raman in fiecare dintre cei doi arbori identici obtinuti prin cioplire.