3622
правки
Изменения
→Свойства Straight skeleton
|statement=<tex> S(P) </tex> является деревом, содержит <tex> n </tex> граней, не более <tex> n - 2 </tex> внутренние вершины и не более <tex> 2 n - 3 </tex> рёбер.
|proof=
[[Файл:skeleton_lemma.png]]
Каждая грань <tex> f(e) </tex> начинает образовываться во время стягивания ребра <tex> e </tex>, и даже если на ребре произошёл <tex> split\ event </tex>, сама грань не могла разделиться. Построение грани <tex> f(e) </tex> завершается, когда ребро <tex> e </tex> полностью стягивается. И это ребро дальше не может появиться снова, поэтому граней в <tex> S(P) </tex> столько, сколько сторон в многоугольнике, то есть ровно <tex> n </tex>.
}}
[[Файл:Skeleton_example1.png|500px]]