Триангуляция Делоне на сфере — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м (Время работы)
м (rollbackEdits.php mass rollback)
 
(не показана 131 промежуточная версия 16 участников)
Строка 1: Строка 1:
{{nohate}}
+
{{wasted}}
== Определение ==
+
== Определения ==
 
{{Определение
 
{{Определение
 
|definition=
 
|definition=
'''Триангуляция''' — набор непересекающихся отрезков, соединениющий заданный набор точек так, что добавление новых отрезков невозможно без пересечения уже имеющихся.
+
'''Триангуляция''' — набор непересекающихся отрезков, соединяющий заданный набор точек так, что добавление новых отрезков невозможно без пересечения уже имеющихся.
}}
 
{{Определение
 
|definition=
 
'''Отрезок''' — кратчайшее расстояние от точки до точки на заданной поверхности.
 
}}
 
{{Определение
 
|definition=
 
'''Симплекс'''(англ. ''simplex'') — геометрическая фигура, являющаяся n-мерным обобщением треугольника.
 
 
}}
 
}}
 +
 
{{Определение
 
{{Определение
 
|definition=
 
|definition=
'''Триангуляция''' — разбиение геометрической фигуры на симплексы.
+
'''Критерий Делоне (частный случай для сферы):''' при построении плоскости через три точки, которые образуют треугольник, все остальные точки лежат не выше этой плоскости.
}}
 
{{Определение
 
|definition=
 
'''Критерий Делоне:''' при построении плоскости через три точки, образующие треугольник, все остальные точки лежат ниже этой плоскости.
 
 
}}
 
}}
  
==Существования триангуляции Делоне==
+
==Существование триангуляции Делоне==
 
{{Лемма
 
{{Лемма
 
|about=1
 
|about=1
|statement= Сечение сферы плоскостью есть круг, а основание перпендикуляра проведенного из центра шара к пересекаемой плоскости есть центр круга, полученного в сечении.
+
|id=1
 +
|statement= Сечение сферы плоскостью есть окружность, а основание перпендикуляра, проведенного из центра шара к пересекаемой плоскости, есть центр окружности, полученной в сечении.
 
|proof=
 
|proof=
 
[[Файл:drawing.png|400px|thumb|right|]]
 
[[Файл:drawing.png|400px|thumb|right|]]
 
Пусть плоскость <tex>\alpha</tex>  пересекает сферу. Из центра <tex>O</tex> опустим перпендикуляр <tex>OC</tex> на плоскость <tex>\alpha</tex>.
 
Пусть плоскость <tex>\alpha</tex>  пересекает сферу. Из центра <tex>O</tex> опустим перпендикуляр <tex>OC</tex> на плоскость <tex>\alpha</tex>.
  
Соединим произвольную точку <tex>M</tex> линии пересения плоскости <tex>\alpha</tex> со сферой с точками <tex>O</tex> и <tex>C</tex>. Так как  <tex>OC</tex> ⊥ <tex>\alpha</tex>, то <tex>OC</tex> ⊥ <tex>CM</tex>.
+
Соединим произвольную точку <tex>M</tex> линии пересечения плоскости <tex>\alpha</tex> со сферой с точками <tex>O</tex> и <tex>C</tex>. Так как  <tex>OC</tex> ⊥ <tex>\alpha</tex>, то <tex>OC</tex> ⊥ <tex>CM</tex>.
  
В прямоугольном треугольнике <tex>OCM CM2 = OM2 - OC2</tex>. Т.к. <tex>OM</tex> и <tex>OC</tex> - величины постоянные, то и <tex>CM</tex> - величина постоянная. Таким образом все точки линии пересечения плоскости <tex>\alpha</tex> и сферы равноудалены от точки <tex>C</tex>, поэтому эта линия пересечения является окружностью с центром в точке <tex>C</tex> и радиусом <tex>r = CM</tex>.
+
Рассмотрим треугольник △<tex> OCM </tex> :
 +
<tex> CM^2 = OM^2 - OC^2</tex>. Т.к. <tex>OM</tex> и <tex>OC</tex> - величины постоянные, то и <tex>CM</tex> - величина постоянная. Таким образом все точки линии пересечения плоскости <tex>\alpha</tex> и сферы равноудалены от точки <tex>C</tex>, поэтому эта линия пересечения является окружностью с центром в точке <tex>C</tex> и радиусом <tex>r = CM</tex>.
 
}}
 
}}
  
Строка 45: Строка 36:
 
Поскольку никакие четыре точки не лежат на одной окружности в исходном наборе точек, а значит, гранями выпуклой оболочки будут треугольнички.
 
Поскольку никакие четыре точки не лежат на одной окружности в исходном наборе точек, а значит, гранями выпуклой оболочки будут треугольнички.
 
Значит, триангуляция существует.
 
Значит, триангуляция существует.
А поскольку выпуклая оболочка единственна, можно сказать,что и триангуляция единственна.
+
А поскольку выпуклая оболочка единственна, можно сказать, что и триангуляция единственна.
  
 
}}
 
}}
Строка 51: Строка 42:
 
{{Лемма
 
{{Лемма
 
|about=2
 
|about=2
 +
|id=2
 
|statement= Гранями выпуклой оболочки будут выпуклые многоугольники
 
|statement= Гранями выпуклой оболочки будут выпуклые многоугольники
 
|proof=
 
|proof=
По определению, мноожество является выпуклым, если для любых двух точек, отрезок, соединяющий эти точки, тоже входит во множество. И наша оболочка является выпуклой.
+
По определению, множество является выпуклым, если для любых двух точек, отрезок, соединяющий эти точки, тоже входит во множество. И наша оболочка является выпуклой.
 
Предположим, что грань выпуклой оболочки не выпуклый многоугольник. Тогда найдутся две точки, такие, что отрезок не лежит в грани. Тогда получается, что и вся оболочка не является выпуклой.
 
Предположим, что грань выпуклой оболочки не выпуклый многоугольник. Тогда найдутся две точки, такие, что отрезок не лежит в грани. Тогда получается, что и вся оболочка не является выпуклой.
 
}}
 
}}
  
Если случилось так, что у нас есть четыре или более точек, лежащих на одной окружности, то у построенной выпуклой оболочки, возможно, будут грани, не являющиеся треугольниками. Понятно, что такие грани будут выпуклыми многоугольниками. Тогда каждую из них можно затриангулировать [[Триангуляция полигонов (ушная + монотонная)|методом отрезания "ушей"]]. Получившиеся треугольники будут лежать в одной плоскости и,следовательно, не будут нарушать критерий Делоне.
+
{{Лемма
В этом случае триангуляция может быть не единственна.
+
|about=3
 +
|id=trianpoly
 +
|statement= Если гранью выпуклой оболочки оказался многоугольник, то любая триангуляция данного многоугольника - триангуляция Делоне.
 +
|proof=
 +
Рассмотрим наш многоугольник и плоскость, построенную через любые три точки.
 +
Если существует точка выше нашей плоскости, то мы могли бы расширить нашу выпуклую оболочку, что означает некорректность построенной выпуклой оболочки. Противоречие.
 +
Если существует точка ниже нашей плоскости, то "внутри" выпуклой оболочки содержится точка, что некорректно. Противоречие.
 +
 
 +
Отсюда, все точки лежат на плоскости, что в нашем случае эквивалентно тому, что они лежат на одной окружности, значит любая триангуляция нашего многоугольника не нарушит глобальный критерий Делоне(ни в одной окружности, построенной на появившихся в ходе триангуляции треугольников, не будет содержаться точек).
 +
}}
 +
 
 +
Воспользовавшись фактом выше, приходим к очевидному решению как за <tex>O(K)</tex> (где <tex> K </tex>- количество вершин в многоугольнике) триангулировать все многограники: берем любую точку в многогранике и соединяем её с остальными.  
 +
Так как в конечной триангуляции мы имеем <tex>O(N)</tex> треугольников, а каждый шаг мы добавляем 1 треугольник, то суммарно для всех многоугольник мы совершим не более <tex>O(N)</tex> операций.
  
 
==Статический алгоритм==
 
==Статический алгоритм==
 
===Алгоритм===
 
===Алгоритм===
Как следует из теоремы, для того, чтобы построить триангуляцию Делоне на множестве точек на сфере нам необходимо:
+
Дополним множество наших точек, точкой <tex>O</tex>, являющейся центром сферы. Данная точка нам понадобится, если все точки оказались в одной полусфере.(более быстрая проверка, на то какие треугольники надо исключить, чем подсчет предиката).
# Построить выпуклую оболочку заданного набора точек
+
# Построим для данного множества выпуклую оболочку
# Пройтись по граням получившейся выпуклой оболочки и, если грань не является треугольником, то нужно затриангулировать ее как нибудь.
+
# Удалим все треугольники, которые содеражат вершину <tex>O</tex> (это обязательно будут треугольники и они будут существовать только в том случае, если точки лежат в одной полусфере)
 +
# Пройдемся по всем "выжившим" граням выпуклой оболочки и триангулируем их.
 +
 
 +
===Корректность===
 +
Корректность следует из теорем выше.
  
 
===Время работы===
 
===Время работы===
Мы можем построить выпуклую оболочку за <tex> \mathcal{O}(n \log(n)) </tex>, где <tex>n</tex> {{---}} количество точек.
+
Мы можем построить выпуклую оболочку за <tex> \mathcal{O}(N \log(N)) </tex>, где <tex>N</tex> {{---}} количество точек.
Триангуляция выпуклого многоугольника требует времени <tex> \mathcal{O}(k) </tex>, где <tex>k</tex> {{---}} число вершин с многоугольнике. Следовательно, в худшем случае нам потребуется суммарно <tex> \mathcal{O}(n) </tex> операции, чтоб перетриангулировать все грани, оказавшиеся многоугольниками после построения выпуклой оболочки.
+
Удалить треугольники мы можем за <tex>\mathcal{O}(N)</tex>.
Таким образом, время работы всего алгоритма будет <tex> \mathcal{O}(n \log(n)) </tex>
+
Триангулиравать грани мы можем за <tex>\mathcal{O}(N)</tex> как было показано выше.
 +
 
 +
В результате получаем <tex> \mathcal{O}(N \log(N)) </tex>,
 +
 
 +
==Локальный критерий Делоне==
  
== Критерий Делоне для ребер==
 
 
{{Определение
 
{{Определение
 
|definition=
 
|definition=
'''Глобальный критерий Делоне для ребра:''' через ребро можно провести плоскость так, что все точки будут лежать ниже этой плоскости.
+
'''Локальный критерий Делоне:''' при построении плоскости через три точки, образующие треугольник, противолежащие сторонам треугольника вершины соседей лежат ниже этой плоскости.
 
}}
 
}}
  
 
{{Утверждение
 
{{Утверждение
 
|id=krit_dol1
 
|id=krit_dol1
|statement=Глобальный и локальный критерии Делоне для треугольника равносильны.
+
|statement=Пусть имеются два треугольника на сфере: <tex>ABC</tex> и <tex>ABD</tex> и точка <tex>E</tex>, находящаяся над плоскостью <tex>ABC</tex>. Точка <tex>D</tex> находится ниже плоскости <tex>ABC</tex>. Сечение построенной на ребре <tex>AB</tex> и точке <tex>O</tex> делит сферу на две полусферы. Если полусфера, не содержащяя треугольник <tex>ABC</tex>, содержит точки <tex>E</tex> и <tex>D</tex>, то точка <tex>E</tex> лежит надо плоскостью <tex>ABD</tex>.
 +
|proof=
 +
Факт очевиден.
 +
}}
 +
{{Утверждение
 +
|id=krit_dol1
 +
|statement=Глобальный и локальный критерии Делоне равносильны.
 
|proof=
 
|proof=
 
[[Файл:dol1.png|400px|thumb|right|]]
 
[[Файл:dol1.png|400px|thumb|right|]]
Предположим противное, в секторе у ребра <tex>AB</tex> нашли множество точек из триангуляции. Треугольник <tex>ADB</tex> смежный, при том точка <tex>D</tex> лежит под окружностью. Рассмотрим точку <tex>E</tex> из того множества. Так как <tex>AB</tex> является пересечением плоскостей <tex>ABC</tex> и <tex>ADB</tex>, точка <tex>D</tex> лежит под плоскостью <tex>ABC</tex>, а точка <tex>E</tex> над ней => точка <tex>E</tex> лежит над плоскостью <tex>ADB</tex>. Если треугольник <tex>AED</tex> не существует, то повторим итерацию, иначе для треугольника <tex>ADB</tex> не будет выполняться локальный критерий.
+
Из глобального в локальный очевидно.
 +
 +
Из локального в глобальный:
 +
 
 +
Пусть выполняется локальный критерий, то есть для каждого треугольника мы можем провести плоскость, что соседние вершины для треугольника будут лежать не выше нашей плоскости.
 +
Но нашелся треугольник <tex>ABC</tex>, что для него не выполняется глобальный критерий, т.е существует какая-то точка <tex>E</tex>, которая лежит выше плоскости <tex>ABC</tex>.
 +
В силу того, что локальный критерий выполняется, эта точка не принадлежит соседним треугольникам, в частности смежному треугольнику <tex>ABD</tex> по ребру <tex>AB</tex>
 +
 
 +
За <tex>AB</tex> мы обозначили ребро, из которого видна точка <tex>E</tex>, т.е такое ребро, что если провести сечение через точки <tex>A</tex>, <tex>B</tex> и <tex>O</tex> (центр окружности), то точка <tex>E</tex> содержится в полусфере, не содержащей треугольник <tex>ABC</tex>.
 +
 
 +
Так как точка <tex>E</tex> лежит над плоскостью <tex>ABC</tex>, а точка <tex>D</tex> под плоскостью <tex>ABC</tex>, то точка <tex>E</tex> лежит над плоскостью <tex>ABD</tex>.(с учетом того, что они лежат в одной полусфере, ребро AB общее и отделяет треугольник <tex>ABC</tex> от полусферы) (по утверждению выше)
 +
 
 +
Посмотрим, существует ли у треугольника <tex>ABD</tex> смежный треугольник, содержащий вершину <tex>E</tex>:
 +
#Если он существует, то локальный критерий для треугольника <tex>ADE</tex> не выполняется. Противоречие.
 +
#Если он не существует, то точка <tex>E</tex> так же будет лежать "над" каким-то смежным с <tex>ABD</tex> треугольником, так как для треугольника <tex>ABD</tex> будут выполняться те же условия, что и для <tex>ABC</tex>. Перейдем к такому треугольнику и повторим шаг.
 +
 
 +
Заметим, что наш процесс есть локализация. Мы пустили луч (в ту сторону, где видим точку <tex>E</tex>) из исходного треугольника и идём вдоль него. В какой-то момент мы окажемся рядом с треугольником <tex>XYZ</tex>, для которого точка E выше плоскости, построенной на его трех точках, и в тоже время вершина E содержится в соседнем треугольнике, что нарушает локальный критерий. Противоречие.
 +
 
 +
Значит глобальный критерий Делоне выполняется.
 
}}
 
}}
  
==Локальный критерий Делоне==
+
==Критерии Делоне для ребер==
 
{{Определение
 
{{Определение
 
|definition=
 
|definition=
'''Локальный критерий Делоне для ребра:''' через ребро можно провести плоскость так, что вершины, противолежащие этому ребру, будут лежать ниже этой плоскости
+
'''Глобальный критерий Делоне для ребра:''' через ребро можно провести плоскость так, что все точки будут лежать не выше этой плоскости.
 
}}
 
}}
 
{{Определение
 
{{Определение
 
|definition=
 
|definition=
'''Локальный критерий Делоне:''' при построении плоскости через три точки, образующие треугольник, противолежащие сторонам треугольника вершины соседей лежат ниже этой плоскости.
+
'''Локальный критерий Делоне для ребра:''' через ребро можно провести плоскость так, что вершины, противолежащие этому ребру, будут лежать не выше этой плоскости
 
}}
 
}}
  
Строка 101: Строка 136:
 
[[Файл:dol2.png|right]]
 
[[Файл:dol2.png|right]]
 
Из глобального в локальный очевидно, докажем обратно.
 
Из глобального в локальный очевидно, докажем обратно.
Предположим противное, то есть найдётся такая плоскость, что вершины треугольников при ребре <tex>AB</tex> лежат под ней, но существует какая-то вершина <tex>F</tex> над ней. Проведём окружность с центром в сфере через <tex>AB</tex> и выберем треугольник лежащий в одной полусфере с точкой <tex>F</tex>, назовём его <tex>ABC</tex>. Точка <tex>E</tex> лежит над плоскостью <tex>ABC</tex> => <tex>F</tex> лежит внутри окружности около <tex>ABC</tex>. Возьмем треугольника при ребре, в чьем сегменте оказалась точка <tex>F</tex> и назовем его <tex>ABC</tex>. Если не существует смежный с ним треугольник при вершине <tex>F</tex>, то повторим итерацию, иначе противоречие с локальным критерием Делоне.
+
Предположим противное, то есть найдётся такая плоскость, что вершины треугольников при ребре <tex>AB</tex> лежат под ней, но существует какая-то вершина <tex>F</tex> над ней. Проведём окружность с центром в сфере через <tex>AB</tex> и выберем треугольник лежащий в одной полусфере с точкой <tex>F</tex>, назовём его <tex>ABC</tex>. Для треугольника <tex>ABC</tex> не выполняется глобальный критерий Делоне, поэтому воспользуемся алгоритмом из утверждения "Глобальный и локальный критерии Делоне равносильны" и найдем треугольник для которого не будет выполняться локальный критерий Делоне <tex>\Rightarrow</tex> для одного из ребер найденного треугольника не выполняется локальный критерий Делоне. !!!
 +
Следовательно, глобальный критерий Делоне для ребра выполняется.
 
}}
 
}}
 
{{Утверждение
 
{{Утверждение
Строка 110: Строка 146:
 
[[Файл:dol3.png|400px|thumb|right|]]
 
[[Файл:dol3.png|400px|thumb|right|]]
 
Из треугольника в ребра: если для каждого треугольника выполнен критерий, то для каждого ребра можно рассматривать плоскость при любом треугольнике при ребре.
 
Из треугольника в ребра: если для каждого треугольника выполнен критерий, то для каждого ребра можно рассматривать плоскость при любом треугольнике при ребре.
Обратно: Рассмотрим треугольник <tex>ABC</tex>, для каждого из ребра можно провести плоскость и они образуют трехмерный угол, снаружи которого нет точек. В пересечении угла и плосокости <tex>ABC</tex> образуется тетраэдр. Если в нем есть точки, то точки есть внутри треугольника, тогда это не триангуляция => точек в тетраэдре нет => плоскостью <tex>ABC</tex> можно отделить пространство с точками => выполняется глобальный критерий.
+
 
 +
Обратно: Рассмотрим треугольник <tex>ABC</tex>, для каждого из ребра можно провести плоскость, такую что все точки будут лежать не выше её. Три плоскости образуют трехмерный угол, снаружи которого нет точек (снаружи == выше каждой плоскости при ребре). В пересечении угла и плоскости <tex>ABC</tex> образуется тетраэдр. Если в нем нет точек, значит точек нет и над плоскостью треугольника (точек снаружи тетраэдра нету), значит глобальный критерий выполняется. Проверим это.
 +
Пусть в нем есть точки, тогда эти точки оказались внутри треугольника, тогда это не триангуляция.
 +
}}
 +
 
 +
Будем называть '''хорошими''' те рёбра, для которых выполняется локальный критерий Делоне.
 +
{{Лемма
 +
|about=4
 +
|id=fliplemmasphere
 +
|statement=
 +
Из двух рёбер, которые можно провести для пары треугольников, как минимум одно хорошее.
 +
|proof=
 
}}
 
}}
  
Строка 118: Строка 165:
 
Рассмотрим пару смежных треугольников. Рёбра этих треугольников образуют четырёхугольник с проведённой в нём диагональю. Операция замены этой диагонали на другую называется '''flip''' ('''флип''').
 
Рассмотрим пару смежных треугольников. Рёбра этих треугольников образуют четырёхугольник с проведённой в нём диагональю. Операция замены этой диагонали на другую называется '''flip''' ('''флип''').
 
}}
 
}}
Из [[#fliplemma|леммы 3]] следует, что если ребро плохое, то флип сделает его хорошим.
+
Из [[#fliplemmasphere|леммы 4]] следует, что если ребро плохое, то флип сделает его хорошим.
[[Файл:file12345.png|400px|thumb|right|Красное ребро — до флипа, синее — после]]
+
[[Файл:file12345.png|400px|thumb|right|Красное ребро — до флипа, зеленое — после]]
 
{{Лемма
 
{{Лемма
 
|about=5
 
|about=5
Строка 134: Строка 181:
 
{{Лемма
 
{{Лемма
 
|about=6
 
|about=6
 +
|id=6
 
|statement=
 
|statement=
 
Флипами можно достичь хорошей триангуляции за конечное время.
 
Флипами можно достичь хорошей триангуляции за конечное время.
Строка 145: Строка 193:
 
|proof=
 
|proof=
 
[[Файл:Lemma7.jpg|right||Точка <tex>P</tex> вставлена в треугольник]]
 
[[Файл:Lemma7.jpg|right||Точка <tex>P</tex> вставлена в треугольник]]
Пусть мы вставляем точку <tex>P</tex>. Предположим, она была вставлена в треугольник <tex>ABC</tex> не на ребро. Рассмотрим любое из рёбер — пусть это будет ребро <tex>PC</tex>. Тогда проведем через точки <tex>A</tex>, <tex>B</tex>, <tex>C</tex> плоскость <tex>\alpha</tex>, а так же проведем касательную плоскость <tex>\beta</tex> к сфере через точку <tex>C</tex>. Начнем уменьшать между этими плоскостями угол, двигая <tex>\alpha</tex> к <tex>\beta</tex>. В какой-то момент <tex>\alpha</tex> пересечет точку <tex>P</tex>, а тогда мы предоставили плоскость, от которой все точки триангуляции находятся по одну сторону, так как изначально выше <tex>\alpha</tex> была только точка <tex>P</tex>, а значит, ребро <tex>PC</tex> удовлетворяет глобальному критерию Делоне. Аналогично для ребер <tex>PA</tex> и <tex>PB</tex>.
+
Пусть мы вставляем точку <tex>P</tex>. Предположим, она была вставлена в треугольник <tex>ABC</tex> не на ребро. Рассмотрим любое из рёбер — пусть это будет ребро <tex>PC</tex>. Тогда проведем через точки <tex>A</tex>, <tex>B</tex>, <tex>C</tex> плоскость <tex>\alpha</tex>, а так же проведем касательную плоскость <tex>\beta</tex> к сфере через точку <tex>C</tex>. Начнем уменьшать между этими плоскостями угол, вращая <tex>\alpha</tex> к <tex>\beta</tex> вокруг их линии пересечения. В какой-то момент <tex>\alpha</tex> пересечет точку <tex>P</tex>, а тогда мы предоставили плоскость, от которой все точки триангуляции находятся по одну сторону, так как изначально выше <tex>\alpha</tex> была только точка <tex>P</tex>, а значит, ребро <tex>PC</tex> удовлетворяет глобальному критерию Делоне. Аналогично для ребер <tex>PA</tex> и <tex>PB</tex>.
  
  
 
Случай, когда точка вставляется на ребро, рассматривается аналогично.
 
Случай, когда точка вставляется на ребро, рассматривается аналогично.
 
}}
 
}}
 +
 +
{{Утверждение
 +
|id=trianglepossession
 +
|statement=Пусть даны точки <tex>P</tex>, <tex>A</tex>, <tex>B</tex>, <tex>C</tex> на сфере с центром <tex>O</tex>, тогда <tex>P</tex> принадлежит треугольнику <tex>ABC</tex>, тогда и только тогда, когда поворот <tex>P</tex> относительно плоскостей <tex>AOB</tex>, <tex>BOC</tex>, <tex>COA</tex> одинаковый.
 +
}}
 +
====Проверка местоположения точки относительно окружности описанной около треугольника====
 +
[[Файл:1st pred dol ph.png|right]]
 +
 +
Рассмотрим <tex> \triangle ABC </tex> и некоторую точку <tex> D </tex>, все точки лежат на сфере. Задача состоит в том чтобы проверить, где лежит точка <tex> D </tex> относительно окружности описанной около <tex> \triangle ABC </tex>. Заметим, что 3 точки задают плоскость, которая пересекает сферу, образует окружность описанную около <tex> \triangle ABC </tex> и все точки на сфере, что лежат внутри окружности будут находится над плоскостью. Переформулируем задачу, мы будем искать положение точки <tex> D </tex> относительно плоскости <tex> \triangle ABС </tex>. Заметим, что если угол между нормалью <tex> \triangle ABC </tex> и вектором <tex> AD < 90 </tex>, то точка лежит над плоскостью, если <tex> = 90 </tex>, то на плоскости, а если <tex> > 90 </tex>, то снизу. Это означает, найдя скалярное произведение этих векторов мы определим положение точки относительно описанной окружности. Т к нам важен только знак скалярного произведения, то <tex> \vec{n}_{ABC} </tex> можно не нормировать.
 +
 +
<tex> \vec{n}_{ABC} = (B - A) \times (C - A) </tex>
 +
 +
<tex>  k = \vec{n}_{ABC} \cdot (D - A) = ((B - A),(C - A),(D - A)) = \begin{vmatrix} B - A \\ C - A \\ D - A \end{vmatrix} </tex>
 +
<tex> = \begin{vmatrix} B & 1 \\ C & 1 \\ D & 1 \\ A & 1 \end{vmatrix} = - \begin{vmatrix} A & 1 \\ B & 1 \\ C & 1 \\ D & 1 \end{vmatrix} </tex>
  
 
===Вставка точки===
 
===Вставка точки===
 +
 +
В самом начале для удобства реализации добавим к триангуляции центр сферы. Первую добавленную точку на сфере соединим с точкой <tex>O</tex>, вторую точку соединим с предыдущей точкой и центром сферы, третью - со всеми предыдущими. Получим выпуклое тело,  далее точки вставляются либо на поверхность этого тела, либо за ее пределами.
 +
 +
==== Вставка точки, лежащей внутри триангуляции ====
 +
[[Файл:Add_into.jpg|left||Вставка внутрь треугольника]]
 +
[[Файл:Add_on_edge.jpg|right||Вставка на ребро треугольника]]
 +
Пусть мы добавляем точку <tex>P'</tex>. Для начала локализуемся: поймём, в каком фейсе она лежит (или на каком ребре).
 +
 +
Если точка лежит внутри фейса, добавляем три ребра, сам фейс превращаем в один из новых смежных с вставляемой точкой и добавялем ещё два фейса.
 +
 +
Если же точка лежит на ребре, два смежных с ребром фейса превращаем в два новых, добавляем ещё два, а так же превращаем ребро, на которое вставляется точка, в ребро, которое заканчивается в этой точке, и вставляем три новых.
 +
 +
Итого у нас появилось несколько новых рёбер. Они все хорошие (по [[#newedgeslemma| лемме 7]]), плохими могут оказаться только рёбра, противолежащие вставленной точке. Флипаем рёбра, пока триангуляция не станет хорошей.
 +
 +
====Вставка точки, лежащей снаружи триангуляции====
 +
[[Файл:Insert.jpg|right||Вставка в треугольник]]
 +
 +
Пусть мы добавляем точку <tex>P''</tex>. Нам нужно научиться вставлять точку в треугольник, одной из вершин которого является центр сферы. На самом деле, это теперь получится сделать естественным образом. Так как для определения принадлежности точки треугольнику на поверхности сферы мы смотрим на предикат поворота относительно плоскости, проходящей через центр сферы и ребро, и вставляемой точки <tex>P''</tex>, то для проверки попадания в треугольник, содержащий центр сферы достаточно проверить, что точка <tex>O</tex> видна из точки <tex>P''</tex>, т.е. точка <tex>P''</tex> находится по определенную сторону от плоскости, проходящей через ребро и точку <tex>O</tex>, и противоположенная вершина для ребра является центром сферы.
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
====Время работы====
 +
{{Лемма
 +
|about=8
 +
|id=8
 +
|statement=
 +
При вставке точки будут флипаться только рёбра, противолежащие вставленной точке.
 +
|id=opposingedgeslemma
 +
|proof=Доказательство по индукции.
 +
[[Файл:Opposit_flip_named.jpg|right|| Флип противолежащего ребра]]
 +
 +
База. По [[#newedgeslemma|лемме 7]] изначально не будут флипаться новые рёбра, инцидентные точке, то есть плохими могут оказаться только рёбра, противолежащие точке.
 +
 +
Переход. Пусть мы вставили точку <tex>P</tex>. Рассмотрим, что произойдёт с противолежащим ей ребром <tex>AC</tex> после флипа, если оно плохое. До вставки точки <tex>P</tex> для триангуляции выполнялся глобальный критерий Делоне, поэтому плоскость <tex>\alpha</tex>,  проходящая через точки <tex>A</tex>, <tex>C</tex> и <tex>D</tex> содержала все точки по одну сторону от себя, теперь же по другую сторону еще будет только точка <tex>P</tex>. Проведем плоскость <tex>\beta</tex> через точки <tex>P</tex> и <tex>D</tex> так, что линия пересечения <tex>\alpha</tex> и <tex>\beta</tex> лежала бы в одной плоскости с касательной на сфере через точку <tex>D</tex> к окружности, проходящей через точки <tex>A</tex>, <tex>C</tex> и <tex>D</tex>. Тогда уменьшая угол между этими плоскостями, вращая <tex>\alpha</tex> к <tex>\beta</tex> вокруг линии пересечения плоскостей, найдем момент, когда <tex>\alpha</tex> пересечет точку <tex>P</tex>, а значит, в окружности, отсекаемой в этот момент плоскостью <tex>\alpha</tex> не будет никаких точек. Значит, ребро <tex>PD</tex> хорошее. Значит, после своего флипа ребро <tex>AC</tex> уже не будет флипаться. Так как для рёбер <tex>AP</tex> и <tex>CP</tex> выполняется критерий Делоне, то плохими после флипа могут стать только рёбра <tex>AD</tex> и <tex>CD</tex> — то есть рёбра, противолежащие точке <tex>P</tex>.
 +
}}
 
{{Лемма
 
{{Лемма
 
|about=О степени вершины
 
|about=О степени вершины
|statement=Математическое ожидание степени вершины после её вставки в триангуляцию Делоне равна <tex>O(1)</tex>.
+
|id=vertex_st
 +
|statement=Математическое ожидание степени вершины после её вставки в триангуляцию Делоне равно <tex>O(1)</tex>.
 
|id=deglemma
 
|id=deglemma
 
|proof=
 
|proof=
 
Предположим, что мы вставляем <tex>i+1</tex>-ую точку из последовательности из <tex>n</tex> точек. Рассмотрим все перестановки из этих <tex>i+1</tex> точек, означающие порядок вставки этих точек. Всего таких перестановок <tex>(i+1)!</tex>. Тогда средняя степень последней вершины среди перестановок равна:
 
Предположим, что мы вставляем <tex>i+1</tex>-ую точку из последовательности из <tex>n</tex> точек. Рассмотрим все перестановки из этих <tex>i+1</tex> точек, означающие порядок вставки этих точек. Всего таких перестановок <tex>(i+1)!</tex>. Тогда средняя степень последней вершины среди перестановок равна:
  
<tex>E(\operatorname{deg}(v_{i+1}))=\frac {\sum_{p=perm(v_0, v_1, ..., v_i)} \operatorname{deg} (p[i+1])} {(i+1)!}</tex>
+
<tex>E(\operatorname{deg}(v_{i+1}))=\frac {\sum_{p=\operatorname{perm}(v_0, v_1, ..., v_i)} \operatorname{deg} (p[i+1])} {(i+1)!}</tex>
  
 
Каждая из <tex>i+1</tex> вершин побывает последней ровно <tex>i!</tex> раз, поэтому:
 
Каждая из <tex>i+1</tex> вершин побывает последней ровно <tex>i!</tex> раз, поэтому:
Строка 183: Строка 288:
  
 
===Удаление точки===
 
===Удаление точки===
 +
В результате удаления у нас появляетя некоторый звездный многоугольник на сфере, который надо триангулировать.
 +
Из-за того, что у нас сфера, и задача триангуляции сведена к задаче построения выпуклой оболочки, то, следовательно, нам перестает быть важным критерий Делоне, нам просто нужно у звездного многоугольника на сфере как-то провести ребра так, чтобы было выпукло.
 +
 +
Представим себе, что вместо того, чтобы удалять точку, мы просто опускаем ее во внутрь до тех пор, пока она не перестает быть видимой в построенном на триангуляции многоугольнике. Предположим, что мы находимся в удаляемой точке, движемся в центр сферы и смотрим только в направлении движения.
 +
{{Лемма
 +
|about=9
 +
|id=9
 +
|statement=
 +
Изначально нам будут видны грани, которые образуются внутри звездного многоугольника.
 +
|id=graniicansee
 +
|proof=
 +
Исходный многогранник был выпуклым.
 +
Если бы мы могли видеть грани, находящиеся вне нашего звездного многоугольника, то это бы значило, что от удаляемой вершины до вершины, противолежащей ребру звездного многоугольника и лежащей в этой грани можно было бы провести ребро. Которого изначально не было.И это ребро лежало бы вне нашего многогранника, что противоречило бы его выпуклости.
 +
}}
 +
Понятно, что мы постепенно перестаем видеть какие-то грани.Это происходит когда мы уходим ближе к центру, чем плоскость, соответствующая грани.
 +
 +
{{Теорема
 +
|statement=Когда мы перестаем видеть грани, они исчезают в порядке, соответствующем выделению их как ушей в новой триангуляции.
 +
|id=deleteteorem
 +
|proof= # Расмотрим случай, когда у нас никакие четыре точки в звездном многоугольнике не лежат на одной окружности. Это значит, что все грани выпуклой оболочки будут треугольниками.
 +
Ухом является часть, которая по двум ребрам граничит с невидимыми гранями и по одному ребру может граничить с видимой.
 +
Посмотрим в каком порядке исчезают грани.
 +
Предположим  нас есть кандидат на то, чтобы исчезнуть. Это какой-то выпуклый треугольник.
 +
Предположим, что у этого треугольника есть хотя бы два соседа, которые видны, но сам выпуклый многоугольник уже почти исчез (находится на одной плоскости с нашей точкой). Если мы видим две другие грани, то
 +
* рассмотрим центры отрезков.
 +
* рассмотрим <tex>\varepsilon</tex>-окресности центров отрезков.
 +
Если мы точку спустим к центру сферы еще немного, то этот треугольник виден не будет, но <tex>\varepsilon</tex>-окрестности будут видны две какие-то точки. Соединим их отрезком.
 +
Этот отрезок будет виден. Он не будет лежать на плоскости. Он не будет лежать под плоскостью. Тогла получается, что он лежит над плоскостью(ближе к краю сферы), значит, многогранник был невыпуклый.
 +
Получается, что грань ушла и у нее только один видимый сосед. Мы можем выделить грань как ухо.
 +
# Общий случай, когда четыре точки в звездном многоугольнике могут лежать на одной окружности рассматривается аналогично.
 +
 +
Теперь у нас возможна ситуация, когда перестает быть видимым не ухо, а грань, являющаяся выпуклым многоугольником(по [[#poly|лемме 2]]). Все хорошо, по [[#triagpoly|лемме 3]]  мы можем триангулировать эту грань как угодно.
 +
 +
Таким образом, мы будем перестраивать нашу выпуклую оболочку и, соответственно, триангуляцию.
 +
}}
 +
 +
====Алгоритм удаления точки====
 +
# Уберем точку.
 +
# Сделаем приоритетную очередь, в которой будем хранить пары отрезков, образующие ухо. Для этой очереди будем использовать предикат, сортирующий уши в порядке, в котором они пересекают луч по направлению от удаляемой точки к центру сферы.
 +
# На очередном шаге достаем ухо, отделяем его.
 +
# Добавляем в очередь получившиеся новые уши.
 +
 +
=====Предикат=====
 +
[[Файл:sphere_del.png|400px|thumb|right| <tex> ABC</tex> {{---}} грань, <tex> O </tex> {{---}} центр сферы, <tex> P </tex> {{---}} удаляемая точка ]]
 +
При удалении точки, луч, исходящий из центра окружности в точку, пересекает плоскость очередной грани в некоторй точке <tex> T</tex>.
 +
Эту точку можно записать как <tex> T = O + kP </tex>, где <tex> O </tex> {{---}} центр сферы, а <tex> p </tex> {{---}} удаляемая точка.
 +
Зпишем предикат при которм наша точка <tex>kP</tex> лежит на плоскости, проходящей через <tex>ABC</tex>:
 +
<tex>\begin{vmatrix} A & 1 \\ B & 1 \\ C & 1 \\ kP & 1 \end{vmatrix} = 0 </tex>
 +
 +
Распишем и разложим по последней строке:
 +
<tex>\begin{vmatrix} A & 1 \\ B & 1 \\ C & 1 \\ kP & 1 \end{vmatrix} =
 +
\begin{vmatrix} a_x & a_y & a_z & 1 \\ b_x & b_y & b_z & 1 \\ c_x & c_y & c_z & 1 \\ kp_x & kp_y & kp_z & 1 \end{vmatrix} = k\begin{vmatrix} A & 1 \\ B & 1 \\ C & 1 \\ P & 0 \end{vmatrix} + \begin{vmatrix} A  \\ B \\ C \end{vmatrix} =  0</tex>
 +
 +
Тогда условие, по которому мы будем устанавливать порядок в приоритетной очереди будет:
 +
:: <tex>k = - \frac{\begin{vmatrix} A & 1 \\ B & 1 \\ C & 1 \\ P & 0 \end{vmatrix}}{\begin{vmatrix} A  \\ B \\ C \end{vmatrix}}</tex>
 +
 +
====Время работы====
 +
Если наш звездный многоугольник состоит из <tex>k</tex>  точек, то на один запрос приоритетной очереди будет уходить  <tex> \mathcal{O}(\log(k)) </tex> операций. Значит общая ассимптотика будет <tex> \mathcal{O}(k \log(k)) </tex>.
 +
 
===Локализация в триангуляции===
 
===Локализация в триангуляции===
 
Построим алгоритм на сфере по аналогии с плоскостью.
 
Построим алгоритм на сфере по аналогии с плоскостью.
Строка 191: Строка 355:
 
{{Лемма
 
{{Лемма
 
|about=О количестве уровней
 
|about=О количестве уровней
 +
|id=10
 
|statement= Математическое ожидание уровней в локализационной структуре <tex> O(\log{n}) </tex>.
 
|statement= Математическое ожидание уровней в локализационной структуре <tex> O(\log{n}) </tex>.
 
|proof= То же самое, что и для [[Триангуляция Делоне#levelslemma|плоскости]].
 
|proof= То же самое, что и для [[Триангуляция Делоне#levelslemma|плоскости]].
Строка 199: Строка 364:
 
|proof= Опять же доказательство копируется с плоскости.
 
|proof= Опять же доказательство копируется с плоскости.
 
}}
 
}}
 
====Принадлежность треугольнику====
 
Пусть даны точки <tex>P</tex>, <tex>A</tex>, <tex>B</tex>, <tex>C</tex> на сфере с центром <tex>O</tex>, тогда <tex>P</tex> принадлежит треугольнику <tex>ABC</tex>, тогда и только тогда, когда поворот <tex>P</tex> относительно плоскостей <tex>AOB</tex>, <tex>BOC</tex>, <tex>COA</tex> одинаковый.
 
  
 
====Алгоритм====
 
====Алгоритм====
Строка 212: Строка 374:
  
 
{{Лемма
 
{{Лемма
|about=1
+
|about=10
|id=1
+
|id=11
 
|statement=Алгоритм найдет ближайшую точку
 
|statement=Алгоритм найдет ближайшую точку
 
|proof=Допустим, что это не так. Это значит, что в внутри окружности с центром в точке <tex>Q</tex>, на которой лежит точка <tex>P</tex>, есть какие-то другие точки. То есть другими словами существует плоскость <tex>\alpha</tex> проходящая через точку <tex>P</tex>, выше которой находятся точка <tex>Q</tex>(так как она центр) и какие-то точки триангуляции.  
 
|proof=Допустим, что это не так. Это значит, что в внутри окружности с центром в точке <tex>Q</tex>, на которой лежит точка <tex>P</tex>, есть какие-то другие точки. То есть другими словами существует плоскость <tex>\alpha</tex> проходящая через точку <tex>P</tex>, выше которой находятся точка <tex>Q</tex>(так как она центр) и какие-то точки триангуляции.  
Строка 222: Строка 384:
  
 
{{Лемма
 
{{Лемма
|about=2
+
|about=11
|id=2
+
|id=12
 
|statement=Среднее число точек, лежащих внутри окружности с центром в точке <tex>Q</tex> и проходящей через точку <tex>V_{i + 1}</tex> равно <tex>O(1)</tex>.
 
|statement=Среднее число точек, лежащих внутри окружности с центром в точке <tex>Q</tex> и проходящей через точку <tex>V_{i + 1}</tex> равно <tex>O(1)</tex>.
 
|proof=Рассмотрим точки триангуляции <tex>\{A_i\}</tex>. Для каждой точки <tex> A_i</tex> проведем окружность с центром в ней, проходящую через ближайшую к ней точку. Посчитаем во сколько окружностей в среднем попадет точка какая-то точка <tex>U</tex>.  
 
|proof=Рассмотрим точки триангуляции <tex>\{A_i\}</tex>. Для каждой точки <tex> A_i</tex> проведем окружность с центром в ней, проходящую через ближайшую к ней точку. Посчитаем во сколько окружностей в среднем попадет точка какая-то точка <tex>U</tex>.  
Строка 232: Строка 394:
 
Если на <tex>j</tex>-ой позиции находится черная точка, то точки с индексом <tex>j + 1</tex> и далее не будут содержать в окружности точку <tex>U</tex>(потому что <tex>j</tex> была ближайшей на предыдущем уровне из этой части пространства). Тогда если <tex> X </tex> {{---}} количество окружностей, которым принадлежит точка <tex>U</tex>, то так как точка проходит на следующий уровень с вероятностью <tex>p</tex>:
 
Если на <tex>j</tex>-ой позиции находится черная точка, то точки с индексом <tex>j + 1</tex> и далее не будут содержать в окружности точку <tex>U</tex>(потому что <tex>j</tex> была ближайшей на предыдущем уровне из этой части пространства). Тогда если <tex> X </tex> {{---}} количество окружностей, которым принадлежит точка <tex>U</tex>, то так как точка проходит на следующий уровень с вероятностью <tex>p</tex>:
  
<tex dpi = 150>E(X) \leqslant \sum\limits_{i = 1\dots\infty}{i  \cdot p(1 - p) ^ i} = </tex>
+
<tex>E(X) \leqslant \sum_{i = 1}^{\infty}{i  \cdot p(1 - p) ^ i} =</tex>
<tex dpi = 150>\sum\limits_{i = 1\dots\infty}{\sum\limits_{j = i\dots\infty}{p (1 - p) ^ j}} = </tex>
+
<tex>\sum_{i = 1}^{\infty}{\sum_{j = i}^{\infty}{p (1 - p) ^ j}} =</tex>
<tex dpi = 150>p\sum\limits_{i = 1\dots\infty}{(1-p)^i \cdot (\sum\limits_{j = 0\dots\infty}{(1 - p) ^ j})} = \sum\limits_{i = 1\dots\infty}{(1-p)^i} = \frac{1-p}{p} = O(1)</tex>
+
<tex>p\sum_{i = 1}^{\infty}{(1-p)^i \cdot (\sum_{j = 0}^{\infty}{(1 - p) ^ j})} = \sum_{i = 1}^{\infty}{(1-p)^i} = \dfrac{1-p}{p} = O(1)</tex>
 
Получается, что каждая точка принадлежит <tex>O(1)</tex>, следовательно внутри каждой окружности содержит <tex>O(1)</tex> точек.
 
Получается, что каждая точка принадлежит <tex>O(1)</tex>, следовательно внутри каждой окружности содержит <tex>O(1)</tex> точек.
 
}}
 
}}
  
 
{{Лемма
 
{{Лемма
|about=3
+
|about=12
|id=3
+
|id=13
|statement=Средняя степень точек на <tex>i</tex> уровне внутри окружности с центром в точке <tex>Q</tex> и проходящей через точку <tex>P_{i + 1}</tex>(ближайшая точка на <tex>i + 1</tex> уровне)
+
|statement=Средняя степень точек на <tex>i</tex> уровне внутри окружности с центром в точке <tex>Q</tex> и проходящей через точку <tex>P_{i + 1}</tex>(ближайшая точка на <tex>i + 1</tex> уровне) равна <tex>O(1)</tex>
 
|proof=Пусть есть функция <tex>circle(q, p, i)</tex>, возвращающая <tex>1</tex>, если точка <tex>p</tex> принадлежит окружности с центром в точке <tex>q</tex>, проходящую через ближайшую  к <tex>q</tex> на <tex>i</tex> уровне точку, а иначе <tex>0</tex>.
 
|proof=Пусть есть функция <tex>circle(q, p, i)</tex>, возвращающая <tex>1</tex>, если точка <tex>p</tex> принадлежит окружности с центром в точке <tex>q</tex>, проходящую через ближайшую  к <tex>q</tex> на <tex>i</tex> уровне точку, а иначе <tex>0</tex>.
  
Строка 261: Строка 423:
  
 
{{Лемма
 
{{Лемма
|about=4
+
|id=15
|id=4
+
|statement=Степень ближайшей вершины <tex>O(1)</tex>
 +
|proof=Доказательство копирует случай на [[Триангуляция Делоне#nearestdegreelemma|плоскости]].
 +
}}
 +
 
 +
{{Лемма
 +
|id=16
 
|statement=Один уровень в среднем обрабатывается за <tex>O(1)</tex>
 
|statement=Один уровень в среднем обрабатывается за <tex>O(1)</tex>
|proof=По [[#2|лемме 2]] алгоритм пройдет в среднем <tex>O(1)</tex> вершин, степень которых так же равна по [[#3|лемме 3]] <tex>O(1)</tex>, следовательно один уровень будет обработан за <tex>O(1)</tex>.
+
|proof=По [[#2|лемме 11]] алгоритм пройдет в среднем <tex>O(1)</tex> вершин, степень которых так же равна по [[#3|лемме 12]] <tex>O(1)</tex>, следовательно один уровень будет обработан за <tex>O(1)</tex>.
 +
}}
 +
 
 +
 
 +
{{Лемма
 +
|id=17
 +
|statement=На втором этапе алгоритма луч в среднем пересечет <tex>O(1)</tex> ребер.
 +
|proof=Рассмотрим окружность с центром в точке <tex>Q</tex>, проходящую через ближайшую для неё точку триангуляции <tex>P_{i + 1}</tex>.
 +
Количество таких ребер, хотя бы одна граница которых принадлежит окружности не превосходит суммы степеней вершин внутри окружности, следовательно их <tex>O(1)</tex>.
 +
Осталось посчитать ребра, границы которых не лежат внутри окружности. При вставке точки <tex>Q</tex> в триангуляцию для таких ребер испортится критерий Делоне, так как внутри любой окружности построенной на этом ребре будет либо точка <tex>Q</tex>, либо точка <tex>P_{i + 1}</tex>. Значит, что эти ребра надо будет флипнуть, а так как при вставке в среднем флипается  <tex>O(1)</tex> ребер, то луч пересечет <tex>O(1)</tex> ребер.
 
}}
 
}}
  
Строка 270: Строка 446:
 
|about=Следствие
 
|about=Следствие
 
|statement=Локализация в среднем работает за <tex>O(\log{n})</tex>
 
|statement=Локализация в среднем работает за <tex>O(\log{n})</tex>
 +
|proof=
 +
}}
 +
 +
 +
{{Лемма
 +
|id=18
 +
|statement=Точка на сфере может быть ближайшей для не более <tex>6</tex> точек.
 +
|proof=Пусть это не так. Тогда некоторая точка <tex>P</tex> является ближайшей для <tex>7</tex> точек: <tex>A_1 \dots A_7</tex>. Проведем отрезки <tex>P A_i</tex>. Сумма углов между этими отрезками(дугами) равна <tex>2\pi</tex>
 +
 +
Рассмотрим треугольник <tex>A_i P A_{i + 1}</tex>, где угол <tex>A_i P A_{i + 1}</tex> минимальный. Он строго меньше <tex>\dfrac{\pi}{3}</tex> (иначе сумма углов была бы больше <tex>2\pi</tex>).
 +
[[https://lurklurk.com/Британские_учёные |Британкие ученые доказали]}, что сумма углов в сферическом треугольнике строго больше <tex>\pi</tex>(школьный факт).
 +
Однако по сферической теореме синусов напротив максимальной стороны лежит максимальный угол. Значит в таком треугольнике сумма углов меньше <tex>\pi</tex>. Противоречие.
 +
}}
 +
 +
====Движение вдоль луча====
 +
 +
Когда нам надо пройти по триангуляции вдоль какого-то луча <tex>PQ</tex>, то ,оказавшись в каком-то треугольнике, надо проверить, что точка <tex>Q</tex> принадележит этому треугольнику. Если принадлежит, то мы останавливаем свой обход, иначе находим какую сторону пересекал луч и переходим в смежный этой стороне треугольник.
 +
 +
{{Теорема
 +
|statement=Луч <tex>PQ</tex> пересекает отрезок <tex>AB</tex> тогда и только тогда, когда повороты точек <tex>A</tex> и <tex>B</tex> относительно <tex>PQ</tex>  различены, а повороты <tex>B</tex> и <tex>Q</tex> относительно <tex>AP</tex> совпадают.
 +
|proof='''Необходимость'''
 +
 +
<tex>AB</tex> пересекает <tex>PQ</tex>. Очевидно, что в этом случае повороты точек <tex>A</tex> и <tex>B</tex> относительно <tex>PQ</tex>  различены. Рассмотрим повороты <tex>B</tex> и <tex>Q</tex> относительно <tex>AP</tex>. Если они различны, тогда луч <tex>PQ</tex> и отрезок <tex>AB</tex> лежат в разных полусферах, но они пересекаются, значит такого быть не может и повороты должны совпадать.
 +
 +
'''Достаточность'''
 +
Предикат выполняется. Значит отрезок <tex>AB</tex> пересекает прямую <tex>PQ</tex>. Луч <tex>PQ</tex> в свою очередь есть половина прямой <tex>PQ</tex>. Из того, что повороты <tex>B</tex> и <tex>Q</tex> относительно <tex>AP</tex> совпадают, следует, что отрезок <tex>AB</tex> находится в одной полусфере с лучем <tex>PQ</tex>, значит они пересекаются.
 
}}
 
}}

Текущая версия на 19:19, 4 сентября 2022

nothumb

Определения

Определение:
Триангуляция — набор непересекающихся отрезков, соединяющий заданный набор точек так, что добавление новых отрезков невозможно без пересечения уже имеющихся.


Определение:
Критерий Делоне (частный случай для сферы): при построении плоскости через три точки, которые образуют треугольник, все остальные точки лежат не выше этой плоскости.


Существование триангуляции Делоне

Лемма (1):
Сечение сферы плоскостью есть окружность, а основание перпендикуляра, проведенного из центра шара к пересекаемой плоскости, есть центр окружности, полученной в сечении.
Доказательство:
[math]\triangleright[/math]
Drawing.png

Пусть плоскость [math]\alpha[/math] пересекает сферу. Из центра [math]O[/math] опустим перпендикуляр [math]OC[/math] на плоскость [math]\alpha[/math].

Соединим произвольную точку [math]M[/math] линии пересечения плоскости [math]\alpha[/math] со сферой с точками [math]O[/math] и [math]C[/math]. Так как [math]OC[/math][math]\alpha[/math], то [math]OC[/math][math]CM[/math].

Рассмотрим треугольник △[math] OCM [/math] :

[math] CM^2 = OM^2 - OC^2[/math]. Т.к. [math]OM[/math] и [math]OC[/math] - величины постоянные, то и [math]CM[/math] - величина постоянная. Таким образом все точки линии пересечения плоскости [math]\alpha[/math] и сферы равноудалены от точки [math]C[/math], поэтому эта линия пересечения является окружностью с центром в точке [math]C[/math] и радиусом [math]r = CM[/math].
[math]\triangleleft[/math]
Теорема:
Триангуляция Делоне существует, причём для каждого набора точек, в котором никакие четыре точки не лежат на одной окружности, она единственна.
Доказательство:
[math]\triangleright[/math]

Построим выпуклую оболочку наших точек.

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

А поскольку выпуклая оболочка единственна, можно сказать, что и триангуляция единственна.
[math]\triangleleft[/math]
Лемма (2):
Гранями выпуклой оболочки будут выпуклые многоугольники
Доказательство:
[math]\triangleright[/math]

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

Предположим, что грань выпуклой оболочки не выпуклый многоугольник. Тогда найдутся две точки, такие, что отрезок не лежит в грани. Тогда получается, что и вся оболочка не является выпуклой.
[math]\triangleleft[/math]
Лемма (3):
Если гранью выпуклой оболочки оказался многоугольник, то любая триангуляция данного многоугольника - триангуляция Делоне.
Доказательство:
[math]\triangleright[/math]

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

Отсюда, все точки лежат на плоскости, что в нашем случае эквивалентно тому, что они лежат на одной окружности, значит любая триангуляция нашего многоугольника не нарушит глобальный критерий Делоне(ни в одной окружности, построенной на появившихся в ходе триангуляции треугольников, не будет содержаться точек).
[math]\triangleleft[/math]

Воспользовавшись фактом выше, приходим к очевидному решению как за [math]O(K)[/math] (где [math] K [/math]- количество вершин в многоугольнике) триангулировать все многограники: берем любую точку в многогранике и соединяем её с остальными. Так как в конечной триангуляции мы имеем [math]O(N)[/math] треугольников, а каждый шаг мы добавляем 1 треугольник, то суммарно для всех многоугольник мы совершим не более [math]O(N)[/math] операций.

Статический алгоритм

Алгоритм

Дополним множество наших точек, точкой [math]O[/math], являющейся центром сферы. Данная точка нам понадобится, если все точки оказались в одной полусфере.(более быстрая проверка, на то какие треугольники надо исключить, чем подсчет предиката).

  1. Построим для данного множества выпуклую оболочку
  2. Удалим все треугольники, которые содеражат вершину [math]O[/math] (это обязательно будут треугольники и они будут существовать только в том случае, если точки лежат в одной полусфере)
  3. Пройдемся по всем "выжившим" граням выпуклой оболочки и триангулируем их.

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

Корректность следует из теорем выше.

Время работы

Мы можем построить выпуклую оболочку за [math] \mathcal{O}(N \log(N)) [/math], где [math]N[/math] — количество точек. Удалить треугольники мы можем за [math]\mathcal{O}(N)[/math]. Триангулиравать грани мы можем за [math]\mathcal{O}(N)[/math] как было показано выше.

В результате получаем [math] \mathcal{O}(N \log(N)) [/math],

Локальный критерий Делоне

Определение:
Локальный критерий Делоне: при построении плоскости через три точки, образующие треугольник, противолежащие сторонам треугольника вершины соседей лежат ниже этой плоскости.


Утверждение:
Пусть имеются два треугольника на сфере: [math]ABC[/math] и [math]ABD[/math] и точка [math]E[/math], находящаяся над плоскостью [math]ABC[/math]. Точка [math]D[/math] находится ниже плоскости [math]ABC[/math]. Сечение построенной на ребре [math]AB[/math] и точке [math]O[/math] делит сферу на две полусферы. Если полусфера, не содержащяя треугольник [math]ABC[/math], содержит точки [math]E[/math] и [math]D[/math], то точка [math]E[/math] лежит надо плоскостью [math]ABD[/math].
[math]\triangleright[/math]
Факт очевиден.
[math]\triangleleft[/math]
Утверждение:
Глобальный и локальный критерии Делоне равносильны.
[math]\triangleright[/math]
Dol1.png

Из глобального в локальный очевидно.

Из локального в глобальный:

Пусть выполняется локальный критерий, то есть для каждого треугольника мы можем провести плоскость, что соседние вершины для треугольника будут лежать не выше нашей плоскости. Но нашелся треугольник [math]ABC[/math], что для него не выполняется глобальный критерий, т.е существует какая-то точка [math]E[/math], которая лежит выше плоскости [math]ABC[/math]. В силу того, что локальный критерий выполняется, эта точка не принадлежит соседним треугольникам, в частности смежному треугольнику [math]ABD[/math] по ребру [math]AB[/math]

За [math]AB[/math] мы обозначили ребро, из которого видна точка [math]E[/math], т.е такое ребро, что если провести сечение через точки [math]A[/math], [math]B[/math] и [math]O[/math] (центр окружности), то точка [math]E[/math] содержится в полусфере, не содержащей треугольник [math]ABC[/math].

Так как точка [math]E[/math] лежит над плоскостью [math]ABC[/math], а точка [math]D[/math] под плоскостью [math]ABC[/math], то точка [math]E[/math] лежит над плоскостью [math]ABD[/math].(с учетом того, что они лежат в одной полусфере, ребро AB общее и отделяет треугольник [math]ABC[/math] от полусферы) (по утверждению выше)

Посмотрим, существует ли у треугольника [math]ABD[/math] смежный треугольник, содержащий вершину [math]E[/math]:

  1. Если он существует, то локальный критерий для треугольника [math]ADE[/math] не выполняется. Противоречие.
  2. Если он не существует, то точка [math]E[/math] так же будет лежать "над" каким-то смежным с [math]ABD[/math] треугольником, так как для треугольника [math]ABD[/math] будут выполняться те же условия, что и для [math]ABC[/math]. Перейдем к такому треугольнику и повторим шаг.

Заметим, что наш процесс есть локализация. Мы пустили луч (в ту сторону, где видим точку [math]E[/math]) из исходного треугольника и идём вдоль него. В какой-то момент мы окажемся рядом с треугольником [math]XYZ[/math], для которого точка E выше плоскости, построенной на его трех точках, и в тоже время вершина E содержится в соседнем треугольнике, что нарушает локальный критерий. Противоречие.

Значит глобальный критерий Делоне выполняется.
[math]\triangleleft[/math]

Критерии Делоне для ребер

Определение:
Глобальный критерий Делоне для ребра: через ребро можно провести плоскость так, что все точки будут лежать не выше этой плоскости.


Определение:
Локальный критерий Делоне для ребра: через ребро можно провести плоскость так, что вершины, противолежащие этому ребру, будут лежать не выше этой плоскости


Утверждение:
Глобальный и локальный критерии Делоне для ребра равносильны.
[math]\triangleright[/math]
Dol2.png

Из глобального в локальный очевидно, докажем обратно. Предположим противное, то есть найдётся такая плоскость, что вершины треугольников при ребре [math]AB[/math] лежат под ней, но существует какая-то вершина [math]F[/math] над ней. Проведём окружность с центром в сфере через [math]AB[/math] и выберем треугольник лежащий в одной полусфере с точкой [math]F[/math], назовём его [math]ABC[/math]. Для треугольника [math]ABC[/math] не выполняется глобальный критерий Делоне, поэтому воспользуемся алгоритмом из утверждения "Глобальный и локальный критерии Делоне равносильны" и найдем треугольник для которого не будет выполняться локальный критерий Делоне [math]\Rightarrow[/math] для одного из ребер найденного треугольника не выполняется локальный критерий Делоне. !!!

Следовательно, глобальный критерий Делоне для ребра выполняется.
[math]\triangleleft[/math]
Утверждение:
Критерии Делоне для ребер и треугольников равносильны.
[math]\triangleright[/math]
Dol3.png

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

Обратно: Рассмотрим треугольник [math]ABC[/math], для каждого из ребра можно провести плоскость, такую что все точки будут лежать не выше её. Три плоскости образуют трехмерный угол, снаружи которого нет точек (снаружи == выше каждой плоскости при ребре). В пересечении угла и плоскости [math]ABC[/math] образуется тетраэдр. Если в нем нет точек, значит точек нет и над плоскостью треугольника (точек снаружи тетраэдра нету), значит глобальный критерий выполняется. Проверим это.

Пусть в нем есть точки, тогда эти точки оказались внутри треугольника, тогда это не триангуляция.
[math]\triangleleft[/math]

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

Лемма (4):
Из двух рёбер, которые можно провести для пары треугольников, как минимум одно хорошее.

Динамический алгоритм

Определение:
Рассмотрим пару смежных треугольников. Рёбра этих треугольников образуют четырёхугольник с проведённой в нём диагональю. Операция замены этой диагонали на другую называется flip (флип).

Из леммы 4 следует, что если ребро плохое, то флип сделает его хорошим.

Красное ребро — до флипа, зеленое — после
Лемма (5):
Флип плохого ребра уменьшает разность объёмов сферы и выпуклого многогранника, построенного на точках с заданными ребрами.
Доказательство:
[math]\triangleright[/math]

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

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

После флипа станет выполняться локальный критерий Делоне, то есть тело станет включать в себя тетраэдр. Поэтому после флипа плохого ребра объём тела увеличится на объём этого тетраэдра.
[math]\triangleleft[/math]
Лемма (6):
Флипами можно достичь хорошей триангуляции за конечное время.
Доказательство:
[math]\triangleright[/math]
Всего триангуляций заданного множества точек конечное число, и среди них есть триангуляция Делоне. Последовательность флипов плохих рёбер триангуляции образует такую последовательность триангуляций, что разность объёмов сферы и многогранника, постоенного по триангуляции убывает (по лемме 5). Эта последовательность конечна (при этом последней в последовательности является триангуляция Делоне), значит, число флипов, требуемых для достижения триангуляции Делоне, тоже конечно.
[math]\triangleleft[/math]
Лемма (7):
Если в триангуляцию Делоне вставить точку в некоторый треугольник и соединить его вершины с этой точкой, то получившиеся рёбра будут хорошими.
Доказательство:
[math]\triangleright[/math]
Точка [math]P[/math] вставлена в треугольник

Пусть мы вставляем точку [math]P[/math]. Предположим, она была вставлена в треугольник [math]ABC[/math] не на ребро. Рассмотрим любое из рёбер — пусть это будет ребро [math]PC[/math]. Тогда проведем через точки [math]A[/math], [math]B[/math], [math]C[/math] плоскость [math]\alpha[/math], а так же проведем касательную плоскость [math]\beta[/math] к сфере через точку [math]C[/math]. Начнем уменьшать между этими плоскостями угол, вращая [math]\alpha[/math] к [math]\beta[/math] вокруг их линии пересечения. В какой-то момент [math]\alpha[/math] пересечет точку [math]P[/math], а тогда мы предоставили плоскость, от которой все точки триангуляции находятся по одну сторону, так как изначально выше [math]\alpha[/math] была только точка [math]P[/math], а значит, ребро [math]PC[/math] удовлетворяет глобальному критерию Делоне. Аналогично для ребер [math]PA[/math] и [math]PB[/math].


Случай, когда точка вставляется на ребро, рассматривается аналогично.
[math]\triangleleft[/math]
Утверждение:
Пусть даны точки [math]P[/math], [math]A[/math], [math]B[/math], [math]C[/math] на сфере с центром [math]O[/math], тогда [math]P[/math] принадлежит треугольнику [math]ABC[/math], тогда и только тогда, когда поворот [math]P[/math] относительно плоскостей [math]AOB[/math], [math]BOC[/math], [math]COA[/math] одинаковый.

Проверка местоположения точки относительно окружности описанной около треугольника

1st pred dol ph.png

Рассмотрим [math] \triangle ABC [/math] и некоторую точку [math] D [/math], все точки лежат на сфере. Задача состоит в том чтобы проверить, где лежит точка [math] D [/math] относительно окружности описанной около [math] \triangle ABC [/math]. Заметим, что 3 точки задают плоскость, которая пересекает сферу, образует окружность описанную около [math] \triangle ABC [/math] и все точки на сфере, что лежат внутри окружности будут находится над плоскостью. Переформулируем задачу, мы будем искать положение точки [math] D [/math] относительно плоскости [math] \triangle ABС [/math]. Заметим, что если угол между нормалью [math] \triangle ABC [/math] и вектором [math] AD \lt 90 [/math], то точка лежит над плоскостью, если [math] = 90 [/math], то на плоскости, а если [math] \gt 90 [/math], то снизу. Это означает, найдя скалярное произведение этих векторов мы определим положение точки относительно описанной окружности. Т к нам важен только знак скалярного произведения, то [math] \vec{n}_{ABC} [/math] можно не нормировать.

[math] \vec{n}_{ABC} = (B - A) \times (C - A) [/math]

[math] k = \vec{n}_{ABC} \cdot (D - A) = ((B - A),(C - A),(D - A)) = \begin{vmatrix} B - A \\ C - A \\ D - A \end{vmatrix} [/math] [math] = \begin{vmatrix} B & 1 \\ C & 1 \\ D & 1 \\ A & 1 \end{vmatrix} = - \begin{vmatrix} A & 1 \\ B & 1 \\ C & 1 \\ D & 1 \end{vmatrix} [/math]

Вставка точки

В самом начале для удобства реализации добавим к триангуляции центр сферы. Первую добавленную точку на сфере соединим с точкой [math]O[/math], вторую точку соединим с предыдущей точкой и центром сферы, третью - со всеми предыдущими. Получим выпуклое тело, далее точки вставляются либо на поверхность этого тела, либо за ее пределами.

Вставка точки, лежащей внутри триангуляции

Вставка внутрь треугольника
Вставка на ребро треугольника

Пусть мы добавляем точку [math]P'[/math]. Для начала локализуемся: поймём, в каком фейсе она лежит (или на каком ребре).

Если точка лежит внутри фейса, добавляем три ребра, сам фейс превращаем в один из новых смежных с вставляемой точкой и добавялем ещё два фейса.

Если же точка лежит на ребре, два смежных с ребром фейса превращаем в два новых, добавляем ещё два, а так же превращаем ребро, на которое вставляется точка, в ребро, которое заканчивается в этой точке, и вставляем три новых.

Итого у нас появилось несколько новых рёбер. Они все хорошие (по лемме 7), плохими могут оказаться только рёбра, противолежащие вставленной точке. Флипаем рёбра, пока триангуляция не станет хорошей.

Вставка точки, лежащей снаружи триангуляции

Вставка в треугольник

Пусть мы добавляем точку [math]P''[/math]. Нам нужно научиться вставлять точку в треугольник, одной из вершин которого является центр сферы. На самом деле, это теперь получится сделать естественным образом. Так как для определения принадлежности точки треугольнику на поверхности сферы мы смотрим на предикат поворота относительно плоскости, проходящей через центр сферы и ребро, и вставляемой точки [math]P''[/math], то для проверки попадания в треугольник, содержащий центр сферы достаточно проверить, что точка [math]O[/math] видна из точки [math]P''[/math], т.е. точка [math]P''[/math] находится по определенную сторону от плоскости, проходящей через ребро и точку [math]O[/math], и противоположенная вершина для ребра является центром сферы.






Время работы

Лемма (8):
При вставке точки будут флипаться только рёбра, противолежащие вставленной точке.
Доказательство:
[math]\triangleright[/math]

Доказательство по индукции.

Флип противолежащего ребра

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

Переход. Пусть мы вставили точку [math]P[/math]. Рассмотрим, что произойдёт с противолежащим ей ребром [math]AC[/math] после флипа, если оно плохое. До вставки точки [math]P[/math] для триангуляции выполнялся глобальный критерий Делоне, поэтому плоскость [math]\alpha[/math], проходящая через точки [math]A[/math], [math]C[/math] и [math]D[/math] содержала все точки по одну сторону от себя, теперь же по другую сторону еще будет только точка [math]P[/math]. Проведем плоскость [math]\beta[/math] через точки [math]P[/math] и [math]D[/math] так, что линия пересечения [math]\alpha[/math] и [math]\beta[/math] лежала бы в одной плоскости с касательной на сфере через точку [math]D[/math] к окружности, проходящей через точки [math]A[/math], [math]C[/math] и [math]D[/math]. Тогда уменьшая угол между этими плоскостями, вращая [math]\alpha[/math] к [math]\beta[/math] вокруг линии пересечения плоскостей, найдем момент, когда [math]\alpha[/math] пересечет точку [math]P[/math], а значит, в окружности, отсекаемой в этот момент плоскостью [math]\alpha[/math] не будет никаких точек. Значит, ребро [math]PD[/math] хорошее. Значит, после своего флипа ребро [math]AC[/math] уже не будет флипаться. Так как для рёбер [math]AP[/math] и [math]CP[/math] выполняется критерий Делоне, то плохими после флипа могут стать только рёбра [math]AD[/math] и [math]CD[/math] — то есть рёбра, противолежащие точке [math]P[/math].
[math]\triangleleft[/math]
Лемма (О степени вершины):
Математическое ожидание степени вершины после её вставки в триангуляцию Делоне равно [math]O(1)[/math].
Доказательство:
[math]\triangleright[/math]

Предположим, что мы вставляем [math]i+1[/math]-ую точку из последовательности из [math]n[/math] точек. Рассмотрим все перестановки из этих [math]i+1[/math] точек, означающие порядок вставки этих точек. Всего таких перестановок [math](i+1)![/math]. Тогда средняя степень последней вершины среди перестановок равна:

[math]E(\operatorname{deg}(v_{i+1}))=\frac {\sum_{p=\operatorname{perm}(v_0, v_1, ..., v_i)} \operatorname{deg} (p[i+1])} {(i+1)!}[/math]

Каждая из [math]i+1[/math] вершин побывает последней ровно [math]i![/math] раз, поэтому:

[math]E(\operatorname{deg} (v_{i+1}))=\frac {\sum_{k=0}^{i} i! \operatorname{deg} (v_k)} {(i+1)!} = \frac {\sum_{k=0}^i \operatorname{deg}(v_k)} {i+1}[/math]

По лемме о рукопожатиях [math]\sum_{k=0}^{i} \operatorname{deg}(v_k) = 2D[/math], где [math]D[/math] - количество ребер. Следовательно: [math]E(\operatorname{deg} (v_{i+1}))=\frac {2D} {i+1}[/math]

Триангуляция Делоне на сфере является планарным графом на сфере, чья укладка эквивалентна укладке на плоскости. Значит, для неё справедлива формула Эйлера: [math]V-D+F=2[/math], где [math]V[/math] - количество вершин, а [math]F[/math] - количество граней. Так как каждая грань образована тремя рёбрами, и при этом при подсчёте каждое ребро учитывается дважды, имеем: [math]3F=2D=\gt F=\frac {2D} {3}[/math]. Подставив в формулу Эйлера, получим:

[math]V-D+\frac {2D} {3}=2=\gt \frac {1} {3}D=V-2=\gt D=3(V-2)=3((i+1)-2)=3(i-1)[/math]

В итоге [math]E(\operatorname{deg} (v_{i+1}))=\frac {2D} {i+1}=\frac {6(i-1)} {i+1}=O(1)[/math].
[math]\triangleleft[/math]
Теорема:
При вставке точки в триангуляцию Делоне на сфере в среднем придётся сделать [math]O(1)[/math] флипов.
Доказательство:
[math]\triangleright[/math]
Копирует случай на плоскости.
[math]\triangleleft[/math]

Удаление точки

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

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

Лемма (9):
Изначально нам будут видны грани, которые образуются внутри звездного многоугольника.
Доказательство:
[math]\triangleright[/math]

Исходный многогранник был выпуклым.

Если бы мы могли видеть грани, находящиеся вне нашего звездного многоугольника, то это бы значило, что от удаляемой вершины до вершины, противолежащей ребру звездного многоугольника и лежащей в этой грани можно было бы провести ребро. Которого изначально не было.И это ребро лежало бы вне нашего многогранника, что противоречило бы его выпуклости.
[math]\triangleleft[/math]

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

Теорема:
Когда мы перестаем видеть грани, они исчезают в порядке, соответствующем выделению их как ушей в новой триангуляции.
Доказательство:
[math]\triangleright[/math]
  1. Расмотрим случай, когда у нас никакие четыре точки в звездном многоугольнике не лежат на одной окружности. Это значит, что все грани выпуклой оболочки будут треугольниками.

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

  • рассмотрим центры отрезков.
  • рассмотрим [math]\varepsilon[/math]-окресности центров отрезков.

Если мы точку спустим к центру сферы еще немного, то этот треугольник виден не будет, но [math]\varepsilon[/math]-окрестности будут видны две какие-то точки. Соединим их отрезком. Этот отрезок будет виден. Он не будет лежать на плоскости. Он не будет лежать под плоскостью. Тогла получается, что он лежит над плоскостью(ближе к краю сферы), значит, многогранник был невыпуклый. Получается, что грань ушла и у нее только один видимый сосед. Мы можем выделить грань как ухо.

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

Теперь у нас возможна ситуация, когда перестает быть видимым не ухо, а грань, являющаяся выпуклым многоугольником(по лемме 2). Все хорошо, по лемме 3 мы можем триангулировать эту грань как угодно.

Таким образом, мы будем перестраивать нашу выпуклую оболочку и, соответственно, триангуляцию.
[math]\triangleleft[/math]

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

  1. Уберем точку.
  2. Сделаем приоритетную очередь, в которой будем хранить пары отрезков, образующие ухо. Для этой очереди будем использовать предикат, сортирующий уши в порядке, в котором они пересекают луч по направлению от удаляемой точки к центру сферы.
  3. На очередном шаге достаем ухо, отделяем его.
  4. Добавляем в очередь получившиеся новые уши.
Предикат
[math] ABC[/math] — грань, [math] O [/math] — центр сферы, [math] P [/math] — удаляемая точка

При удалении точки, луч, исходящий из центра окружности в точку, пересекает плоскость очередной грани в некоторй точке [math] T[/math]. Эту точку можно записать как [math] T = O + kP [/math], где [math] O [/math] — центр сферы, а [math] p [/math] — удаляемая точка. Зпишем предикат при которм наша точка [math]kP[/math] лежит на плоскости, проходящей через [math]ABC[/math]: [math]\begin{vmatrix} A & 1 \\ B & 1 \\ C & 1 \\ kP & 1 \end{vmatrix} = 0 [/math]

Распишем и разложим по последней строке: [math]\begin{vmatrix} A & 1 \\ B & 1 \\ C & 1 \\ kP & 1 \end{vmatrix} = \begin{vmatrix} a_x & a_y & a_z & 1 \\ b_x & b_y & b_z & 1 \\ c_x & c_y & c_z & 1 \\ kp_x & kp_y & kp_z & 1 \end{vmatrix} = k\begin{vmatrix} A & 1 \\ B & 1 \\ C & 1 \\ P & 0 \end{vmatrix} + \begin{vmatrix} A \\ B \\ C \end{vmatrix} = 0[/math]

Тогда условие, по которому мы будем устанавливать порядок в приоритетной очереди будет:

[math]k = - \frac{\begin{vmatrix} A & 1 \\ B & 1 \\ C & 1 \\ P & 0 \end{vmatrix}}{\begin{vmatrix} A \\ B \\ C \end{vmatrix}}[/math]

Время работы

Если наш звездный многоугольник состоит из [math]k[/math] точек, то на один запрос приоритетной очереди будет уходить [math] \mathcal{O}(\log(k)) [/math] операций. Значит общая ассимптотика будет [math] \mathcal{O}(k \log(k)) [/math].

Локализация в триангуляции

Построим алгоритм на сфере по аналогии с плоскостью.

Структура данных

Локализационная структура состоит из нескольких уровней, где каждый уровень — триангуляция Делоне. На нижнем уровне содержатся все точки. Далее точка с вероятностью [math] p [/math] попадает на следующий уровень. Если на последнем уровне находится одна точка, то дальше она уже не пойдет.

Лемма (О количестве уровней):
Математическое ожидание уровней в локализационной структуре [math] O(\log{n}) [/math].
Доказательство:
[math]\triangleright[/math]
То же самое, что и для плоскости.
[math]\triangleleft[/math]
Утверждение:
Локализационная структура занимает [math] O(n) [/math] памяти.
[math]\triangleright[/math]
Опять же доказательство копируется с плоскости.
[math]\triangleleft[/math]

Алгоритм

Чтобы найти треугольник, которому принадлежит точка запроса(точка [math]Q[/math]), сначала найдем ближайшую к ней точку триангуляции(точка [math]P[/math]), а зачем вдоль луча [math]PQ[/math] будем обходить треугольники, пока не локализуемся.

Поиск точки [math]P[/math]:

  • На последнем уровне нашей структуры находиться [math]O(1)[/math] точек, поэтому просто переберем эти точки и найдем ближайшую к [math]Q[/math].
  • При переходе с [math]i + 1[/math] уровня на [math]i[/math] новая ближайшая точка [math]V_i[/math] может быть только внутри окружности с центром в точке [math]Q[/math] проходящей через точку [math]V_{i + 1}[/math](ближайшая точка на [math]i + 1[/math] уровне). Переберем всех соседей точки [math]V_{i + 1}[/math] и выберем ближайшего к точке [math]Q[/math]. Повторяем эту операцию, пока можем приближаться к точке запроса.


Лемма (10):
Алгоритм найдет ближайшую точку
Доказательство:
[math]\triangleright[/math]

Допустим, что это не так. Это значит, что в внутри окружности с центром в точке [math]Q[/math], на которой лежит точка [math]P[/math], есть какие-то другие точки. То есть другими словами существует плоскость [math]\alpha[/math] проходящая через точку [math]P[/math], выше которой находятся точка [math]Q[/math](так как она центр) и какие-то точки триангуляции. Проведем в точке [math]P[/math] касательную плоскость [math]\beta[/math] к сфере. Очевидно, что она делит всё пространство на [math]2[/math] части: в первой нет никаких точек, а во второй находятся все точки триангуляции. Пусть между плоскостями [math]\alpha[/math] и [math]\beta[/math] угол [math]\gamma[/math]. Начнем его уменьшать, то есть поворачивать плоскость [math]\beta[/math]. Очевидно, что она начнет пересекать сферу, тогда она будет соответствовать какой-то окружности на сфере. При этом все точки сферы, которые выше плоскости [math]\beta[/math] будут выше плоскости [math]\alpha[/math], значит это будет вложенная окружность.

Будем уменьшать угол [math]\gamma[/math] до того момента, когда какая-то точка [math]P'[/math], лежащая внутри окружности(такая есть по предположению), не станет принадлежать плоскости [math]\beta[/math]. В этот момент выше плоскости [math]\beta[/math] нет ни одной точки из триангуляции. Значит для ребра [math]PP'[/math] можно провести окружность, не содержащую других точек, то есть выполняется глобальный критерий Делоне. Значит в триангуляции должно быть ребро [math]PP'[/math], и по алгоритму мы должны были его перебрать и увидеть, что [math]P'[/math] ближе к точке [math]Q[/math] и перейти к ней. Получили противоречие, значит алгоритм правильно находит ближайшую точку.
[math]\triangleleft[/math]
Лемма (11):
Среднее число точек, лежащих внутри окружности с центром в точке [math]Q[/math] и проходящей через точку [math]V_{i + 1}[/math] равно [math]O(1)[/math].
Доказательство:
[math]\triangleright[/math]

Рассмотрим точки триангуляции [math]\{A_i\}[/math]. Для каждой точки [math] A_i[/math] проведем окружность с центром в ней, проходящую через ближайшую к ней точку. Посчитаем во сколько окружностей в среднем попадет точка какая-то точка [math]U[/math]. Проведем через [math]OU[/math] три плоскости так, чтобы они делили всё пространство на [math]6[/math] равных частей. Покажем, что в одной части [math]O(1)[/math] окружностей будут включать в себя точку [math]U[/math], тогда всего таких окружностей будет тоже [math]O(1)[/math]. Рассмотрим одну часть. Отсортируем точки, которые ей принадлежат, по степени удаленности от точки [math]U[/math]. Окрасим точки в два цвета:

  • красный — точки с [math]i[/math] уровня
  • черный — точки с [math]i + 1[/math] уровня

Если на [math]j[/math]-ой позиции находится черная точка, то точки с индексом [math]j + 1[/math] и далее не будут содержать в окружности точку [math]U[/math](потому что [math]j[/math] была ближайшей на предыдущем уровне из этой части пространства). Тогда если [math] X [/math] — количество окружностей, которым принадлежит точка [math]U[/math], то так как точка проходит на следующий уровень с вероятностью [math]p[/math]:

[math]E(X) \leqslant \sum_{i = 1}^{\infty}{i \cdot p(1 - p) ^ i} =[/math] [math]\sum_{i = 1}^{\infty}{\sum_{j = i}^{\infty}{p (1 - p) ^ j}} =[/math] [math]p\sum_{i = 1}^{\infty}{(1-p)^i \cdot (\sum_{j = 0}^{\infty}{(1 - p) ^ j})} = \sum_{i = 1}^{\infty}{(1-p)^i} = \dfrac{1-p}{p} = O(1)[/math]

Получается, что каждая точка принадлежит [math]O(1)[/math], следовательно внутри каждой окружности содержит [math]O(1)[/math] точек.
[math]\triangleleft[/math]
Лемма (12):
Средняя степень точек на [math]i[/math] уровне внутри окружности с центром в точке [math]Q[/math] и проходящей через точку [math]P_{i + 1}[/math](ближайшая точка на [math]i + 1[/math] уровне) равна [math]O(1)[/math]
Доказательство:
[math]\triangleright[/math]

Пусть есть функция [math]circle(q, p, i)[/math], возвращающая [math]1[/math], если точка [math]p[/math] принадлежит окружности с центром в точке [math]q[/math], проходящую через ближайшую к [math]q[/math] на [math]i[/math] уровне точку, а иначе [math]0[/math].

Пусть [math]Points_i[/math] — множество точек на [math]i[/math]-ом уровне. [math]X[/math] — степень вершины внутри окружности, тогда:

[math]E(X) = \dfrac{\sum\limits_{q \in Points_{i - 1}}{\sum\limits_{p \in Points_{i - 1}}{circle(q, p, i) \cdot deg(p)}}}{\left| Points_{i - 1} \right|} =[/math]

Меняем порядок суммирования, и получаем:

[math]= \dfrac{\sum\limits_{p \in Points_{i - 1}}{deg(p) \sum\limits_{q \in Points_{i - 1}}{circle(q, p, i)}}}{\left| Points_{i - 1} \right|} \leqslant[/math]

По предыдущей лемме получаем:

[math]\leqslant \dfrac{\sum\limits_{p \in Points_{i - 1}}{deg(p) \sum\limits_{1 \dots \infty}{i \cdot p \cdot (1 - p) ^ i}}}{\left| Points_{i - 1} \right|} \approx[/math]

[math]\approx \dfrac{\sum\limits_{p \in Points_{i - 1}}{deg(p)}}{\left| Points_{i - 1} \right|} = \dfrac{O(n)}{n} = O(1)[/math]
[math]\triangleleft[/math]
Лемма:
Степень ближайшей вершины [math]O(1)[/math]
Доказательство:
[math]\triangleright[/math]
Доказательство копирует случай на плоскости.
[math]\triangleleft[/math]
Лемма:
Один уровень в среднем обрабатывается за [math]O(1)[/math]
Доказательство:
[math]\triangleright[/math]
По лемме 11 алгоритм пройдет в среднем [math]O(1)[/math] вершин, степень которых так же равна по лемме 12 [math]O(1)[/math], следовательно один уровень будет обработан за [math]O(1)[/math].
[math]\triangleleft[/math]


Лемма:
На втором этапе алгоритма луч в среднем пересечет [math]O(1)[/math] ребер.
Доказательство:
[math]\triangleright[/math]

Рассмотрим окружность с центром в точке [math]Q[/math], проходящую через ближайшую для неё точку триангуляции [math]P_{i + 1}[/math]. Количество таких ребер, хотя бы одна граница которых принадлежит окружности не превосходит суммы степеней вершин внутри окружности, следовательно их [math]O(1)[/math].

Осталось посчитать ребра, границы которых не лежат внутри окружности. При вставке точки [math]Q[/math] в триангуляцию для таких ребер испортится критерий Делоне, так как внутри любой окружности построенной на этом ребре будет либо точка [math]Q[/math], либо точка [math]P_{i + 1}[/math]. Значит, что эти ребра надо будет флипнуть, а так как при вставке в среднем флипается [math]O(1)[/math] ребер, то луч пересечет [math]O(1)[/math] ребер.
[math]\triangleleft[/math]
Теорема (Следствие):
Локализация в среднем работает за [math]O(\log{n})[/math]


{{Лемма |id=18 |statement=Точка на сфере может быть ближайшей для не более [math]6[/math] точек. |proof=Пусть это не так. Тогда некоторая точка [math]P[/math] является ближайшей для [math]7[/math] точек: [math]A_1 \dots A_7[/math]. Проведем отрезки [math]P A_i[/math]. Сумма углов между этими отрезками(дугами) равна [math]2\pi[/math]

Рассмотрим треугольник [math]A_i P A_{i + 1}[/math], где угол [math]A_i P A_{i + 1}[/math] минимальный. Он строго меньше [math]\dfrac{\pi}{3}[/math] (иначе сумма углов была бы больше [math]2\pi[/math]). [|Британкие ученые доказали}, что сумма углов в сферическом треугольнике строго больше [math]\pi[/math](школьный факт). Однако по сферической теореме синусов напротив максимальной стороны лежит максимальный угол. Значит в таком треугольнике сумма углов меньше [math]\pi[/math]. Противоречие. }}

Движение вдоль луча

Когда нам надо пройти по триангуляции вдоль какого-то луча [math]PQ[/math], то ,оказавшись в каком-то треугольнике, надо проверить, что точка [math]Q[/math] принадележит этому треугольнику. Если принадлежит, то мы останавливаем свой обход, иначе находим какую сторону пересекал луч и переходим в смежный этой стороне треугольник.

Теорема:
Луч [math]PQ[/math] пересекает отрезок [math]AB[/math] тогда и только тогда, когда повороты точек [math]A[/math] и [math]B[/math] относительно [math]PQ[/math] различены, а повороты [math]B[/math] и [math]Q[/math] относительно [math]AP[/math] совпадают.
Доказательство:
[math]\triangleright[/math]

Необходимость

[math]AB[/math] пересекает [math]PQ[/math]. Очевидно, что в этом случае повороты точек [math]A[/math] и [math]B[/math] относительно [math]PQ[/math] различены. Рассмотрим повороты [math]B[/math] и [math]Q[/math] относительно [math]AP[/math]. Если они различны, тогда луч [math]PQ[/math] и отрезок [math]AB[/math] лежат в разных полусферах, но они пересекаются, значит такого быть не может и повороты должны совпадать.

Достаточность

Предикат выполняется. Значит отрезок [math]AB[/math] пересекает прямую [math]PQ[/math]. Луч [math]PQ[/math] в свою очередь есть половина прямой [math]PQ[/math]. Из того, что повороты [math]B[/math] и [math]Q[/math] относительно [math]AP[/math] совпадают, следует, что отрезок [math]AB[/math] находится в одной полусфере с лучем [math]PQ[/math], значит они пересекаются.
[math]\triangleleft[/math]