Упрощение полигональной цепи

Материал из Викиконспекты
Перейти к: навигация, поиск

Упрощение полигональной цепи - процесс, позволяющий уменьшить число точек кривой, аппроксимированной серией точек.

Задача

Пусть у нас есть некоторая аппроксимированная кривая, все точки которой нам не нужны, а большинство из них лишь занимает место. Такое встречается при обработки векторной графики и построении карт. Расмотрим пример для построения карт. Пусть у нас есть путь из Москвы в Санкт-Петербург, заданный точками через каждый километр пути. В маштабах всей России такая точность явно ни к чему, стоит оставить лишь точки, отражающие ключевые участки пути. В этом случае нам и пригодится упрощение, одним из вариантов реализации которого является алгоритм Дугласа—Пекера.

Алгоритм Дугласа-Пекера

Суть алгоритма Дугласа-Пекера(Douglas-Peucker) состоит в том, чтобы по данной ломаной, аппроксимирующей кривую, построить ломаную с меньшим числом точек. Алгоритм определяет расхождение, которое вычисляется по максимальному расстоянию между исходной и упрощённой кривыми. Упрощенная кривая состоит из подмножества точек, которые определяются из исходной кривой.

Описание

Начальная кривая представляет собой упорядоченный набор точек.

Алгоритм рекурсивно делит линию. Входом алгоритма служат координаты всех точек между первой и последней. Первая и последняя точка сохраняются неизменными. После чего алгоритм находит точку, наиболее удалённую от отрезка, состоящего из первой и последней(оптимальный способ поиска расстояния от точки до отрезка рассмотрен ниже). Если точка находится на расстоянии, меньше чем епсилон, то все точки, которые ещё не были отмечены к сохранению, могут быть выброшены из набора и получившаяся прямая сглаживает кривую с точностью не ниже епсилон.

Если же расстояние больше епсилон, то алгоритм рекурсивно вызывает себя с на наборе от начальной до данной и от данной до конечной точках (что означает, что данная точка будет отмечена к сохранению).

По окончанию всех рекурсивных вызовов выходная ломаная строится только из тех точек, что были отмечены к сохранению.

Псевдокод

[math]Douglas–Peucker(first, last, eps)[/math]

Для всех точек между [math]first[/math] и [math]last[/math]
Если точка удалена дальше чем предыдущие запомнить ее в [math]max[/math]
Если расстояние от [math]max[/math] до отрезка [math]first-last[/math] меньше [math]eps[/math]
Вернуться
Иначе
Добавить точку [math]max[/math] в ответ
[math]DouglasPeucker(first, max, eps)[/math]
[math]DouglasPeucked(max, last, eps)[/math]

Пример

Example DP.png

Рассмотрим пример для точек, заданных на рисунке, где сплошная линия отражает исходную линию, и епсилон равному [math]\sqrt 2[/math].

Шаг Действие
[math]1[/math] Найдем наиболее удаленную точку от отрезка [math]1-5[/math], это точка [math]3[/math]
[math]2[/math] Расстояние до точки [math]3[/math] больше [math]\sqrt 2[/math], добавляем ее в ответ
[math]3[/math] Запустим алгоритм для точек [math]1[/math] и [math]3[/math]
[math]4[/math] Найдем наиболее удаленную точку от отрезка [math]1-3[/math], это точка [math]2[/math]
[math]5[/math] Расстояние до точки [math]2[/math] меньше [math]\sqrt 2[/math], возвращаемся
[math]6[/math] Запустим алгоритм для точек [math]3[/math] и [math]5[/math]
[math]7[/math] Найдем наиболее удаленную точку от отрезка [math]3-5[/math], это точка [math]4[/math]
[math]8[/math] Расстояние до точки [math]4[/math] меньше [math]\sqrt 2[/math], возвращаемся
[math]9[/math] Алгоритм завершен

Линия, полученная в результате работы алгоритма, отражается пунктирной линией.

Время работы

Ожидаемая сложность алгоритма может быть оценена выражением [math]T(n) = 2T\left(\frac{n}{2}\right) + O(n)[/math], которая упрощается в [math]T(n) \in \Theta(n\log n)[/math]. Однако в худшем случае сложность алгоритма [math]O\left(n^2\right)[/math].

Замечания к алгоритму

Топология

К сожалению, алгоритм Дугласа-Пекера в ходе своей работы топологию не сохраняет, что означает в ответе мы можем получить линию с самопересечениями.

Оптимальность

Оптимальный по количеству точек ответ
Ответ алгоритма Дугласа-Пекера

Алгоритм может находить не минимальный по количеству точек ответ. Рассмотрим пример, где исходная линия с некоторым приближением будет представлять полуокружность. Мы можем подобрать такое епсилон, что алгоритм добавит три точки помимо стартовой и конечной(точки через каждую четверть исходной линии), в то же время мы можем взять две точки через каждую треть исходной линии, для которых упрощение также верно.

Поиск расстояния от точки до отрезка

Идея

При определении расстояния от точки до отрезка нужно сначала проанализировать взаимное расположение точки и отрезка прямой, то есть, проверить, куда опустится перпендикуляр из точки: непосредственно на отрезок или на прямую, являющуюся продолжением рассматриваемого отрезка. Если на отрезок, то ответ это расстояние от исходной точки до точки пересечения отрезка с перпендикуляром, если нет, то расстояние от исходной точки до одного из концов отрезка. Первое, что приходит в голову, это найти точку пересечения перпендикуляра и прямой, и в зависимости от ее положения вычислить ответ. На самом деле этот анализ может быть произведен путем построения треугольника, вершинами которого являются концы отрезка и точка, и сопоставления соотношения длин его сторон.

Реализация

DistancePointToSegment.gif

Пусть даны точка [math](x_0; y_0)[/math] и отрезок, заданный точками [math](x_1; y_1)[/math] и [math](x_2; y_2)[/math]. Тогда обозначим за [math]R_1[/math] расстояние от [math](x_0; y_0)[/math] до [math](x_1; y_1)[/math], за [math]R_2[/math] расстояние от [math](x_0; y_0)[/math] до [math](x_2; y_2)[/math] и за [math]R_{12}[/math] расстояние от [math](x_1; y_1)[/math] до [math](x_2; y_2)[/math]. Если [math]R_1 \ge \sqrt{R_2^2+R_{12}^2}[/math], то ответ это [math]R_2[/math]. Если [math]R_2 \ge \sqrt{R_1^2+R_{12}^2}[/math], то ответ это [math]R_1[/math]. Если оба условия ложны, то ответ это расстояние от точки до продолжения отрезка до прямой, который выражается как модуль [math]|R_{12} * R_1|/|R_{12}|[/math], где [math]R_{12}[/math] и [math]R_1[/math] нужно рассматривать как вектора, а умножение как векторное произведение.

Ссылки