Статические выпуклые оболочки: Джарвис, Грэхем, Эндрю, Чен, QuickHull

Конспект не готов.

Ниже приводятся основные алгоритмы построения выпуклых оболочек статического множества. Используются обозначения: [math]n[/math] - размер входных данных, [math]k[/math] - размер оболочки.

Алгоритм Джарвиса

По-другому "Заворачивание подарка"

Описание Алгоритма

Промежуточный шаг алгоритма

1) Возьмем самую правую нижнюю точку [math]p_0[/math] нашего множества. Добавляем ее в ответ.

2) На каждом следующем шаге для последнего добавленного [math]p_i[/math] ищем [math]p_{i + 1}[/math] среди всех недобавленных точек и [math]p_0[/math] с максимальным полярным углом относительно [math]p_i[/math] (Если углы равны, надо сравнивать по расстоянию). Добавляем [math]p_{i + 1}[/math] в ответ. Если [math]p_{i + 1} == p_0[/math] , заканчиваем алгоритм.

Корректность

Точка [math]p_0[/math], очевидно, принадлежит оболочке. На каждом шаге мы получаем прямую [math]p_{i-1}p_i[/math], по построениению которой все точки множества лежат слева от нее. Значит эти точки принадлежат выпуклой оболочке.

Псевдокод

Подаем в функцию исходное множество S, возвращаем позицию [math]k[/math] - в [math]S[1..k - 1][/math] будет хранится наша оболочка. [math]turn(a, b, c)[/math] - модифицированная функция поворота, учитывающая случай, когда точки лежат на одной прямой.

 Jarvis(S)
   for i = 1..n
     if S[i] is right and higher than S[1]
       swap(S[1], S[i])
   k = 1
   do 
     for i = 1 and k+1..n 
       if (turn(S[k+1], S[i], S[k]))
         swap(S[k+1], S[k])
     k++;
   while S[k-1] != S[1]
   return k

Сложность

Добавление каждой точки в ответ занимает [math]O(n)[/math] времени, всего точек будет [math]k[/math], поэтому итоговая сложность [math]O(nk)[/math].