4551
правка
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) мНет описания правки |
||
Строка 56: | Строка 56: | ||
'''Лемма 3'''. Пусть G = (V, E) – планарный граф, вложенный в | '''Лемма 3'''. Пусть G = (V, E) – планарный граф, вложенный в <math>\mathcal{R}^2</math> и <math>s, t \in V</math>. Далее, обозначим за <math>x_i</math> ближайшую к t точку пересечения, определяемую некоторым ребром <math>e_i</math>, принадлежащим к некоторой грани <math>F_i</math>, и отрезком прямой <math>\bar{st}</math>. Аналогично обозначим за <math>x_{i + 1}</math> ближайшую к t точку пересечения, определяемую некоторым ребром, принадлежащим к грани <math>F_{i + 1}</math>, и отрезком прямой <math>\bar{st}</math>, где грань <math>F_{i+1}</math> инцидентна <math>F_i</math> посредством ребра <math>e_i</math>. Тогда <math>x_i, t| > |x_{i+1}, t|</math>. | ||
'''Лемма 4''' [6]. Пусть G = (V, E) – планарный цивилизованный граф, вложенный в | '''Лемма 4''' [6]. Пусть G = (V, E) – планарный цивилизованный граф, вложенный в <math>\mathcal{R}^2</math>. Любой эллипс с большой осью c покрывает не более O(c2) вершин и ребер. | ||
'''Лемма 5''' [5]. Пусть R – выпуклая область в | '''Лемма 5''' [5]. Пусть R – выпуклая область в <math>\mathcal{R}^2</math> с площадью A(R) и периметром P(R), и пусть V С R: Если у графа единичных дисков для V максимальная степень равна k, то количество вершин в V ограничено |V| < 8(k + 1)(A(R) + P(R) + n)ln. | ||
правка