== include(page="template/taskheader" task_id="divizori2") ==

Fie $A$ şi $B$ doi arbori neorientaţi. Definim suma $A + B$ ca fiind mulţimea tuturor arborilor neorientaţi care se pot obţine prin conectarea arborilor $A$ şi $B$ printr-o singură muchie, între oricare nod din $A$ şi din $B$. Similar, definim produsul dintre un scalar $K$ si un arbore $A$ ca fiind $K * A = A + A + ... A de K ori$. Spunem că un arbore $A$ divide un arbore $B$, dacă există un întreg $K$ astfel încât $B$ este inclus în mulţimea $K * A$. Observăm că asemănător cu divizibilitatea în cazul numerelor naturale, orice arbore se divide măcar cu el însuşi şi cu "unitatea", i.e arborele format dintr-un singur nod.

Fie $A$ şi $B$ doi arbori neorientaţi. Definim suma $A + B$ ca fiind mulţimea tuturor arborilor neorientaţi care se pot obţine prin conectarea arborilor $A$ şi $B$ printr-o singură muchie, între oricare nod din $A$ şi din $B$. Similar, definim produsul dintre un scalar $K$ si un arbore $A$ ca fiind $K * A = A + A + ... A de K ori$. Spunem că un arbore $A$ divide un arbore $B$, dacă există un număr natural nenul $K$ astfel încât $B$ este inclus în mulţimea $K * A$. Observăm că asemănător cu divizibilitatea în cazul numerelor naturale, orice arbore se divide măcar cu el însuşi şi cu "unitatea", i.e arborele format dintr-un singur nod.

Dându-se un arbore $T$ se cere să se numere câţi arbori îi sunt divizori.