Технологическое отображение ППВМ: различия между версиями

'''Лемма 2'''. Для K-покрытия <math>M(v) = \{ C_v \} + \bigcup \{ M(u): u \in input(C_v) \}</math> имеет место <math>d(M(v)) = max \{d(M(u)): u \in input(C_v) \} + 1 \;</math>.

В частности, обозначим за <math>M^*(u) \;</math> K-покрытие вершины u с минимальной глубиной. Тогда <math>d(M(v)) \ge max \{ d(M^*(u)): u \in input(C_v) \} + 1 \;</math>; равенство имеет место в случае, когда каждое покрытие M(u) в M(v) имеет минимальную глубину.