Hardprob/Maximum Common Embedded Sub-Tree

Деревья T₁ и T₂ с метками на вершинах.
Найти общее встроенное поддерево, т.е. помеченное дерево T', которое можно встроить в оба исходных дерева. Встраивание из T' в T, это инъективная функция от вершин T' в вершины T, которая сохраняет метки и отношения предшествования (пропускать предшественников можно).
Максимизировать размер общего поддерева, |T'|.