Изменения

Перейти к: навигация, поиск

Конфигурация

848 байт добавлено, 04:33, 2 ноября 2011
Нет описания правки
<wikitex>
{{В разработке}}
__TOC__
== Общие определения(R^d) ==
<wikitex>
{{Определение
|id=hyperplane
}}
== Частный случайПлоскость(R^2) == На $\mathbb{R}^2$ можно ввести обобщение — вместо линий(гиперплоскости в $\mathbb{R}^2$) можно брать монотонные по x(то есть каждая параллельная оси y линия пересекает её не более, чем в 1 точке) Жордановы дуги, причём такие что максимально количество взаимопересечений каждой пары дуг такого множества — заранее зафиксированная константа. Засчёт этого ограничения отсеиваются такие пары дуг как, например, $y = \sin(x)$ и $y = \cos(x)$. А вот пару дуг $y = \cos(x)$ и $y = x^2$ можно взять. Также ячейками размерности 0 считаются точки, ограничивающие эти дуги.
Замечание: в $\mathbb{R}^2$ ячейками размерности 0 также считаются точкиНо для упрощения реализаций алгоритмов мы всё же ограничимся использованием прямых, ограничивающие лучи лучей и отрезкиотрезков.
=== Примеры ===
В $\mathbb{R}^2$, гиперплоскостями являются прямые, лучи и отрезки, а конкретно, Возьмём $\mathcal{H} = \{AB, CD, EF, a\}$.
{|align="left"
| [[Файл:cell2.png | 320x200 px | frame | Цветами выделены ячейки размерности 2. Жёлтая и зелёная ячейки не ограничены, синяя - ограничена.]]
| [[Файл:cell1.png | 320x200 px | frame | Взяв множество S с единственным отрезком AB, получим три ячейки размерности 1. Взяв за множество S поочерёдно CD, EF и a, получим остальные ячейки размерности 1.]]
| [[Файл:cell0.png | 320x200 px | frame | Взяв поочерёдно за множество S множества {a, EF}, {a, AB}, {AB, CD, EF}, получим ячейки G, H и I размерности 0. Как было замечено, точки A, B, C, D, E, F также ячейки размерности 0 как органичивающие отрезки.]]
|}

Навигация