57
правок
Изменения
Нет описания правки
[[File:Fary3.png|250px|Рисунок 3]]
Мы получили граф <tex>G'</tex>, с меньшим числом вершин равным <tex>V - 1</tex> : , то есть его можно уложить на плоскости требуемым образом: все ребра прямые (и сохранен обход по часовой стрелке ребер инцидентных <tex>s</tex>).
Для любого <tex>\varepsilon > 0</tex> обозначим <tex>C_{\varepsilon}(s)</tex> {{---}} круг радиуса <tex>\varepsilon</tex>, с вершиной <tex>s</tex> в центре.
Для каждого соседа <tex>t</tex> вершины <tex>s</tex> в графе <tex>G'</tex> обозначим <tex>R_{\varepsilon}(t)</tex> область, содержащую множество всех окрытых отрезков от <tex>t</tex> до каждой точки из <tex>C_{\varepsilon}(s)</tex>.
* [[wikipedia:ru:Теорема_Фари | Википедия {{---}} Теорема Фари ]]
* [http://arxiv.org/abs/cs/0505047 Доказательство теоремы Фари]
[[Категория: Алгоритмы и структуры данных]]
[[Категория: Укладки графов ]]
