Построение триангуляции Делоне

Рассмотрим задачу триангуляции набора точек S на плоскости. Все точки набора S можно разбить на граничные - точки, лежащие на границе выпуклой оболочки и внутренние - лежащие внутри Ребра, полученные в результате триангуляции S, разбиваются на ребра оболочки и внутренние ребра. К ребрам оболочки относятся ребра, расположенные вдоль границы а к внутренним - все остальные.

Любой набор точек (за исключением некоторых тривиальных случаев) допускает более одного способа триангуляции. Однако при этом выполняется следующее . утверждение: пусть набор S содержит точек и не все из них коллинеарныж; пусть, кроме того, i из них являются внутренними (лежат внутри выпуклой оболочки ). Тогда при любом способе триангуляции набора S будет получено треугольников.

Среди всех возможных триангуляции выделяется специальный вид - так называемая триангуляция Делоне. Эта триангуляция является хорошо сбалансированной в том смысле, что формируемые ей треугольники стремятся к равноугольности: триангуляция набора точек S называется триангуляцией Делоне, если окружность, описанная вокруг каждого из треугольников, не будет содержать внутри себя точек набора S

Для .упрощения алгоритма триангуляции сделаем два предположения относительно набора S: 1) чтобы триангуляция вообще существовала, необходимо, чтобы набор S содержал по крайней мере 3 неколлинеарные точки; 2) никакие 4 точки из набора S не лежат на одной окружности. Если последнее предположение не выполнено, то можно построить несколько различных триангуляции Делоне.

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

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

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

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

А теперь приведём несколько задач, решение которых должно быть получено самостоятельно.

Задача 125. Какова оптимальная расстановка охранников для галереи S = = {(0, 0), (10, -5), (5, -15), (10, -10), (20, -20), (25, -10), (30,10), (20, 5), (30, 20), (15, 25), (20,15), (10,15), (5, 5).

Задача 126. Предложите формулу для выражения площади выпуклого многоугольника через координаты его вершин.

Задача 127. Предложите алгоритм, который по триангуляции Делоне строит диаграмму Вороного V(P).

Задача 128. Построить диаграмму Вороного для следующего множества точек S = {(0, -5), (15, -10), (20, -5), (15, 5), (25,15), (35,0), (45,10)}. Построить по получившейся диаграмме Вороного соответствующую триангуляцию Делоне.

Задача 129. Опишите диаграмму Вороного для правильного n-угольника.

Задача 130. Построить триангуляцию многоугольника S = {(0, 0), (5, -20), (10, -5), (15, -20), (25, -5), (30,10), (20, 5), (30, 20), (15, 25), (20,15), (5,15), (5, 5)}

Задача 131. Построить триангуляцию многоугольника S = {(0, 0), (5, -25), (10, -5), (20, -20), (25, -10), (30, 0), (20,15), (30,10), (25, 20), (10,15), (5, 5)}

Задача 125. Построить диаграмму Вороного для следующего множества точек S = {(0,0), (10,-15), (5,15), (15,0), (20, 20), (30, 5), (45,15)}.

Задача 132. Построить триангуляцию многоугольника S = {(0, 0), (5, 20), (10, 5), (15, -10), (25, -5), (30, -15), (25, 5), (30,0), (15, 25), (20,15), (5, 35), (0,5)}.