Супердерево максимального соответствия: различия между версиями

Задача 1. Пусть <math>D = \{ T_1, T_2, ..., T_k \} \;</math> – множество корневых неупорядоченных деревьев, в котором каждое дерево <math>T_i \;</math> имеет уникальные метки листьев, при этом множества меток листьев <math>\Lambda (T_i) \;</math> могут перекрываться. Задача нахождения супердерева максимального соответствия заключается в построении дерева <math>Q \;</math> с уникальными метками листьев, с множеством меток листьев <math>\Lambda (Q) \subseteq \bigcup_{T_i \in D} \Lambda (T_i) \;</math>, таким, что <math>| \Lambda (Q) | \;</math> максимально и для каждого <math>T_i \in D \;</math> топологическое ограничение <math>T_i \;</math> согласно <math>\Lambda (Q) \;</math> изоморфно топологическому ограничению <math>Q \;</math> согласно <math>\Lambda (T_i) \;</math>.