4551
правка
Протяженность геометрических сетей: различия между версиями
Перейти к навигации
Перейти к поиску
м
Протяженность геометрических сетей (посмотреть исходный код)
Версия от 10:19, 20 февраля 2018
, 20 февраля 2018→Основные результаты
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
| Строка 40: | Строка 40: | ||
'''Теорема 1 ([11]). Если множество S не содержится в одном из множеств вершин, изображенных на рис. 1, то <math>\Sigma(S) > 1 \;</math>.''' | '''Теорема 1 ([11]). Если множество S не содержится в одном из множеств вершин, изображенных на рис. 1, то <math>\Sigma(S) > 1 \;</math>.''' | ||
Иначе говоря, если множество точек S не является одним из этих специальных множеств, то любая плоская сеть, множество вершин которой включает S, имеет протяженность выше некоторой нижней границы <math>1 + \eta(S) \;</math>. Доказательство теоремы 1 использует следующее соображение о плотности. Предположим, что каждая пара точек из S соединена отрезком прямой. Обозначим за | Иначе говоря, если множество точек S не является одним из этих специальных множеств, то любая плоская сеть, множество вершин которой включает S, имеет протяженность выше некоторой нижней границы <math>1 + \eta(S) \;</math>. Доказательство теоремы 1 использует следующее соображение о плотности. Предположим, что каждая пара точек из S соединена отрезком прямой. Обозначим за S' объединение S и всех получившихся точек пересечения. Применим то же самое построение к S' и затем повторим процесс. Для множества предельных точек <math>S^\infty \;</math> верна следующая теорема. Она обобщает работы Хиллара и Ри [8], а также Исмаилеску и Радойчича [9], посвященные пересечениям прямых. | ||