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

Иными словами, K-покрытие состоит из K-допустимого конуса и K-покрытия каждой входной точки конуса. Заметим, что для <math>u_1 \in input(C_v), u_2 \in input(C_v) \;</math> множества <math>M(u_1) \;</math> и <math>M(u_2) \;</math> могут перекрываться, и фрагмент, попавший в такое перекрытие, может быть покрыт таким же образом или не быть покрыт; вышеприведенное объединение включает все отдельные конусы на всех путях. Заметим также, что для заданного конуса <math>C_v \;</math> могут существовать различные K-покрытия v, содержащие <math>C_v \;</math>, в зависимости от выбора M(u) для каждой <math>u \in input(C_v) \;</math>.

Обозначим за d(M(v)) глубину M(v). Тогда выполняется следующая лемма.