Es una disciplina constructiva, de car�cter abstracto, que utiliza t�cnicas de la

geometr�a cl�sica, la topolog�a, la teor�a de grafos, la teor�a de conjuntos y el

�lgebra lineal. La geometr�a computacional es independiente de la tecnolog�a de las
m�quinas de computaci�n, si bien pone atenci�n en proporcionar soluciones que se
comporten de forma computacionalmente robusta.

La complejidad computacional es fundamental para la geometr�a computacional, con un

enorme significado pr�ctico si los algoritmos se usan en grandes conjuntos de datos
que contienen decenas o cientos de millones de puntos. Para tales conjuntos, la
diferencia entre O(n^2) y O(n logn) puede ser la diferencia entre d�as o segundos
de computaci�n.

El principal impulso para el desarrollo de la geometr�a computacional se lo dio el

avance de la computaci�n gr�fica y el dise�o asistido por ordenador (CAD/CAM), que
hacen uso intensivo de las t�cnicas de esta disciplina. Otras aplicaciones
importantes de la geometr�a computacional incluyen la rob�tica (planificaci�n de
movimientos y problemas de visualizaci�n), los sistemas de informaci�n geogr�fica
(SIG) (localizaci�n y b�squeda geom�trica, planificaci�n de rutas), dise�o de
circuitos integrados (dise�o geom�trico y verifici�n de CI), ingenier�a asistida
por computadora (CAE) (programaci�n de m�quinas controladas num�ricamente).

Las principales ramas de la geometr�a computacional son:

Geometr�a computacional combinatoria, tambi�n llamada geometr�a algor�tmica, que

trata de objetos geom�tricos como entidades discretas. Un libro sobre el tema por
Preparata y Shamos fecha la primera utilizaci�n del t�rmino "geometr�a
computacional" en este sentido en 1975.2?1?
Geometr�a computacional num�rica, que trata principalmente con la representaci�n de
objetos del mundo real en la forma adecuada para ser almacenada en un ordenador.
Esta rama puede ser vista como un desarrollo de la geometr�a descriptiva y es a
menudo considerada como una rama de los gr�ficos por ordenador o CAD. El t�rmino
"geometr�a computacional", en este sentido ha estado en uso desde 1971.3?
Geometr�a computacional combinatoria

Triangulaci�n de un pol�gono. 1. Abanico. 2. M�nimo peso 3. Delaunay

C�lculo del cierre convexo de un conjunto de puntos por el M�todo de Graham.

Triangulaci�n de Delaunay y Diagrama de Voronoi de un conjunto de puntos.

El objetivo principal de la geometr�a computacional combinatoria es el desarrollo
de algoritmos y estructuras de datos eficientes para resolver problemas basado en
t�rminos de objetos geom�tricos: puntos, segmentos, pol�gonos, poliedros, etc...

Algunos de estos problemas parecen tan simples que no fueron considerados como tal
hasta la llegada de los ordenadores. Por ejemplo, la determinaci�n del cierre
convexo de un conjunto de puntos puede ser realizada de forma intuitiva sobre un
papel utilizando una regla, pero no es tan evidente dar las instrucciones a un
ordenador para que lo resuelva. Otro problema, el de encontrar el par de puntos m�s
cercanos puede ser implementado de forma sencilla mediante una b�squeda por fuerza
bruta, calculando la distancia entre las n(n-1)/2 combinaciones posibles de pares
de puntos y eligiendo la menor, pero esta soluci�n no es aplicable para conjuntos
con un elevado n�mero de puntos. 4? 5?

Algunos problemas cl�sicos

A continuaci�n se enumeran algunos problemas cl�sicos que han sido estudiados en el
campo del la Geometr�a computacional combinatoria:6?7?8?9?

Cierre convexo: Dado un conjunto de puntos, encontrar el pol�gono convexo de menor

�rea que los contenga.
Triangulaci�n de un pol�gono: Descomponer un pol�gono en una serie de tri�ngulos
que lo recubran.
Problema del par de puntos m�s cercanos: Dado un conjunto de puntos, encontrar el
par de puntos m�s pr�ximos entre s�.
Di�metro de un conjunto de puntos: Dado un conjunto de puntos, encontrar el par de
puntos m�s alejados entre s�.
Problema del mayor c�rculo vac�o: Dado un conjunto de puntos, encontrar el mayor
c�rculo con centro dentro del cierre convexo y que no contenga ning�n punto.
Intersecci�n de segmentos de recta: Dado un conjunto de segmentos en el plano,
encontrar todos los puntos de intersecci�n en segmentos.
Operaciones booleanas sobre pol�gonos: Calcular de forma eficiente
uniones/intersecciones entre pol�gonos.
Problema de la galer�a de arte: Determinar el m�nimo n�mero de puntos de un
pol�gono que son suficientes para ver a todos los restantes.
B�squeda de rango: Dado un conjunto de puntos, encontrar aquellos en el interior de
una figura geom�trica dada.
Problemas din�micos
Otra gran clase es la de los problemas din�micos, en la cual el objetivo es
encontrar un algoritmo eficiente para encontrar la soluci�n repetidamente tras cada
modificaci�n incremental de los datos de entrada (adici�n o supresi�n de los
elementos geom�tricos de entrada). Los algoritmos para los problemas de este tipo
t�picamente supone estructuras din�micas de datos. Cualquiera de los problemas de
geometr�a computacional puede ser convertido en uno din�mico, con el coste de
incrementar el tiempo del proceso. Por ejemplo, el problema de la b�squeda de rango
provisto de adici�n y/o supresi�n de los puntos. El problema de la Envolvente
convexa din�mica es mantener un seguimiento de la envolvente convexa; por ejemplo,
para los conjuntos de datos que cambian din�micamente, o mientras que los puntos de
entrada son insertados o suprimidos. La complejidad computacional para esta clase
de problemas se estima mediante:

El tiempo y espacio requeridos para construir la estructura de datos que se va a

buscar.
El tiempo y espacio para modificar la estructura de datos buscada despu�s de un
cambio incremental en el espacio de b�squeda.
El tiempo (y a veces un extra de espacio) para responder la consulta.
Sistemas de Geometr�a Din�mica (SGD/DGS) el t�rmino sistema aludiendo a un conjunto
integrado de componentes como principal elemento un n�cleo o kernel de geometr�a
din�mica computacional con interfaz gr�fica de usuario (GUI) y en algunos casos
incluye scripts para automatizar procedimientos como lo realiza la aplicaci�n
GeoGebra

Variantes
Algunos problemas pueden ser tratados bajo el punto de vista est�tico y din�mico
dependiendo del contexto. Por ejemplo, considerando el siguiente problema:

Punto en un pol�gono: Decide si un punto est� dentro o fuera de un pol�gono dado.

Muchas de las puestas en pr�ctica de este problema dan resultados con un �nico
intento, esto es, perteneciendo a la primera clase. Por ejemplo, en muchas
aplicaciones de la computaci�n gr�fica, un problema com�n es encontrar en qu� �rea
de la pantalla se hace click con el cursor. Sin embargo, en algunas aplicaciones el
poligono en cuesti�n es invariante, mientras que el punto representa una consulta.
Por ejemplo, el pol�gono de entrada puede representar la frontera de un pa�s y el
punto es la posici�n de un avi�n, y el problema es determinar si el avi�n ha
violado la frontera. Finalmente, el ejemplo anteriormente mencionado de la
computaci�n gr�fica, en aplicaciones CAD los datos de entrada que cambian son
usualmente almacenados en estructuras de datos din�micas, lo cual puede ser
explotado para agilizar las consultas de punto en un pol�gono. En algunos contextos
de problemas de consultas hay expectativas razonables en la secuencia de las
consultas, la cual puede ser aprovechada ya sea por estructuras de datos eficientes
o por estimaciones de la complejidad computacional m�s ajustadas. Por ejemplo, en
algunos casos es importante saber el peor caso para el tiempo total de la secuencia
de N consultas antes que el de una �nica consulta.

Estructuras de datos cl�sicas

Algunas estructuras empleadas en la resoluci�n de problemas de forma eficiente:

Diagrama de Voronoi : Dado un conjunto de puntos, crear una partici�n del plano de
acuerdo al punto m�s cercano.
Triangulaci�n de Delaunay : Dado un conjunto de puntos, crear la mejor
triangulaci�n para interpolar valores en su interior.
Octree y �rbol kd : Organizar el espacio para realizar b�squedas geom�tricas de
forma efectiva.
Geometr�a computacional num�rica

Pieza modelada en Software CAD

Art�culo principal: Dise�o asistido por computadora
Esta rama tambi�n llamada geometr�a m�quina, dise�o geom�trico asistido por
computador (CAGD), o modelado geom�trico, trata principalmente del estudio de
modelado y representaci�n de curvas y superficies por ordenador. Para ello, emplea
elementos como curvas y superficies param�tricas, (tipo curvas de B�zier o Splines)
o curvas no param�tricas (como conjuntos de nivel).

Las �reas de aplicaci�n incluyen industrias como dise�o de naves, aeronaves y

autom�viles, dise�o de escenarios y personajes de videojuegos, o animaci�n por
computadora, entre otras.

Referencias y enlaces externos

Shamos, Michael (1978). �Computational Geometry� (PDF). Yale University.
Franco P. Preparata and Michael Ian Shamos (1985). Computational Geometry - An
Introduction. Springer-Verlag. 1st edition: ISBN 0-387-96131-3; 2nd printing,
corrected and expanded, 1988: ISBN 3-540-96131-3.
Forrest, A. (1971). �Computational geometry�. Proc. Royal Society London 321
(1545). doi:10.1098/rspa.1971.0025.
Khuller, Samir; Matias, Y. (1995). �A simple randomized sieve algorithm for the
closest-pair problem�. Information and Computation 118 (1): 34-37.
doi:10.1006/inco.1995.1049.
Fortune, Steve; Hopcroft, J.E. (1979). �A note on Rabin's nearest-neighbor
algorithm�. Information Processing Letters 8 (1): 20-23.
Morales, Miguel �ngel (27 de junio de 2011). �Una interesante introducci�n a la
Geometr�a Computacional�. Gaussianos. Consultado el 1 de marzo de 2017.
Rivero, Francisco. �Geometr�a Computacional�. Consultado el 1 de marzo de 2017.
Grima, Clara (2011). �Cada uno en su regi�n y Voronoi en la de todos�. Naukas.
O'Rourke, Joseph. Computational Geometry in C (2 edici�n). Cambridge University
Press. ISBN 9780521649766.
Otros recursos
Wikimedia Commons alberga una categor�a multimedia sobre Geometr�a computacional.
�Journal of Computational Geometry�. Consultado el 1 de marzo de 2017.
�International Symposium on Computational Geometry�. Consultado el 1 de marzo de
2017.
The Computational Geometry Algorithms Library (CGAL)