Поддерево максимального соответствия (для трех или более деревьев): различия между версиями

Восходящий алгоритм вычисления ненулевых значений mast основан на следующей рекурсивной зависимости, корректность которой непосредственно задают соответствующие определения и Примечание 3.

'''Лемма 2.''' Для любого lca-кортежа <math>\overrightarrow{v} \;</math>

<math>mast(\overrightarrow{v}) = max \{ 1, </math> если все элементы <math>\overrightarrow{v} \;</math> являются листьями; <math>MWC(G(\overrightarrow{v})) \;</math> в противном случае<math>\} \;</math>