Компьютерная геометрия

Вычислительная геометрия — раздел дискретной математики, в котором рассматриваются алгоритмы для решения геометрических задач.

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

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

Векторная арифметика

Здесь рассмотрим случай обычной декартовой системы координат.

Длина вектора $\overrightarrow{a}=(x,y,z)$ обозначается $|\overrightarrow{a}|=\sqrt{x^2+y^2+z^2}$.

Для двух векторов $\overrightarrow{a}=(x_1,y_1,z_1)$ и $\overrightarrow{b}=(x_2,y_2,z_2)$ их сложение определяется как $\overrightarrow{a}+\overrightarrow{b}=(x_1+x_2,y_1+y_2,z_1+z_2)$.

Умножение вектора $\overrightarrow{a}=(x,y,z)$ на скаляр k определяется как $\overrightarrow{b}=k\overrightarrow{a}=(k x, k y, kz)$. При этом длина вектора меняется в | k | раз. Если k < 0, то направление вектора меняется на противоположное.

Скалярное произведение векторов $\overrightarrow{a}=(x_1,y_1,z_1)$ и $\overrightarrow{b}=(x_2,y_2,z_2)$ равно x₁x₂ + y₁y₂ + z₁z₂.

Векторное произведение векторов $\overrightarrow{a}=(x_1,y_1)$ и $\overrightarrow{b}=(x_2,y_2)$ равно $\left\{y_1 z_2 - z_1 y_2,~ z_1 x_2 - x_1 z_2,~ x_1 y_2 - y_1 x_2 \right\}$. Это единственная операция, где уменьшение размерности пространства не сводится к простому отбрасыванию третьей координаты (замене её нулём). Обычно для двумерных векторов значением векторного произведения берут третью координату соответствующих трёхмерных векторов: x₁y₂ − x₂y₁.

Относительное положение точки и прямой

Полярные координаты

Виды многоугольников (полигонов)

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

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

Многоугольник называется выпуклым, если все его внутренние углы меньше или равны 180 градусам.

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

Алгоритмы

• Алгоритм сканирования Грэхема — трудоёмкость O(nlogn).
• Алгоритм быстрой оболочки — трудоёмкость O(n²), O(nlogn) — в среднем.
• Алгоритм Киркпатрика — построение выпуклой оболочки набора точек на плоскости методом «разделяй и властвуй» через мосты. Трудоёмкость O(nlogn).
• Алгоритм заворачивания подарков (Джарвиса) — трудоёмкость O(nh), h — количество точек в выпуклой оболочке.
• Алгоритм Чана — трудоёмкость O(nlogh), h — количество точек в выпуклой оболочке.
• Алгоритм точки в многоугольнике — проверка принадлежности данной точки простому многоугольнику O(n).
• Метод луча — принадлежность точки простому многоугольнику O(n).
• Пересечение отрезков — (алгоритм Бентли-Оттманна) поиск всех точек пересечения отрезков на плоскости O((n + k)logn), k — количество точек пересечения.

См. также

• Алгоритмы вычислительной геометрии
• Задача о 18 точках

Литература

• Прапарата Ф., Шеймос М. Вычислительная геометрия: Введение = Computational Geometry An introduction. — М.: Мир, 1989. — С. 478.
• Ласло М. Вычислительная геометрия и компьютерная графика на C++. — М.: БИНОМ, 1997. — С. 304.
• Скворцов А.В. Триангуляция Делоне и ее применение. — Томск: Издательство Томского университета, 2002. — С. 128.
• Кормен, Томас Х., Лейзерсон, Чарльз И., Ривест, Рональд Л., Штайн, Клифорд. Глава 33. Вычислительная геометрия // Алгоритмы: построение и анализ = Introduction to Algorithms. — 2-e издание. — М.: «Вильямс», 2005. — ISBN 5-8459-0857-4
• Mark de Berg, Marc van Kreveld, Mark Overmars, Otfried Schwarzkopf. Computational Geometry: Algorithms and Applications. — Springer, 2000. — С. 368.
• David M. Mount. Computional Geometry. — University of Maryland, 2002. — С. 122.
• Elmar Langetepe, Gabriel Zachmann. Geometric Data Structures for Computer Graphics. — A K Peters, 2006. — С. 362. — ISBN 1568812353
• Hormoz Pirzadeh. Computational Geometry with the Rotating Calipers. — McGill University, 1999. — С. 118.
• Jacob E. Goodman, Joseph O'Rourke. Handbook of Discrete and Computational Geometry. — CRC Press LLC, 1997. — С. 956.
• Jianer Chen. Computational Geometry: Methods and Applications. — Texas A&M University, 1996. — С. 228.
• Joseph O'Rourke. Computational Geometry in C. — Cambridge University Press, 1998. — С. 362.