Conjunto de Delaunay - Wikipedia, la enciclopedia libre https://es.wikipedia.

org/wiki/Conjunto_de_Delaunay

Conjunto de Delaunay
En la teora matemtica de espacios mtricos, -redes,
-empaquetados, -coberturas, conjuntos
uniformemente discretos, conjuntos relativamente
densos, y conjuntos de Delaunay (nombrados as en
memoria del matemtico ruso Bors Delaunay; tambin
son denominados conjuntos de Delone) son muchas
veces definiciones estrechamente relacionadas de
conjuntos de puntos bien-ordenados, y la relacin entre
el radio de empaquetado y el radio de recubrimiento
mide en qu grado estn bien-ordenados. Estos
conjuntos tienen aplicaciones en teora de cdigos, en
algoritmos de aproximacin, y en la teora de
cuasicristales.
Los puntos rojos forman parte de una -red en el plano
Euclidiano, donde es el radio de los discos amarillos
grandes. Los discos azules (con la mitad de la radio
ndice que los amarillos) son disjuntos, y el conjunto de todos
los discos amarillos cubre todo el plano, satisfaciendo
1 Definiciones los dos requisitos de la definicin de una -red.
2 Construccin de -redes
3 Aplicaciones
3.1 Teora de codificacin
3.2 Algoritmos de aproximacin
3.3 Cristalografa
4 Referencias
5 Enlaces externos

Definiciones
Si (M,d) es un espacio mtrico, y X es un subconjunto de M, entonces el radio de empaquetado de X es la
mitad de la mnima de las distancias entre miembros distintos de X. Si el radio de empaquetamiento es r,
entonces todas las bolas abiertas de radio r centradas en los puntos de X sern disjuntas entre s, y cada bola
abierta centrada en uno de los puntos de X con radio 2r ser disjunta con respecto al resto de puntos de X. El
radio de recubrimiento de X es el mnimo de los nmeros r tal que cada punto de M est dentro de la
distancia r de al menos un punto en X; esto es, es el radio ms pequeo tal que la unin de las bolas cerradas
de este radio centrado en los puntos de X contiene todo M. Un -empaquetado es un conjunto X de radios
de empaquetado /2 (o lo que es lo mismo, con distancia mnima ), un -recubrimiento es un conjunto
X de radio de recubrimiento , y una -red es un conjunto que es a la vez un -empaquetado y un
-recubrimiento. Un conjunto es uniformemente discreto si tiene un empaquetado de radio no nulo, y
relativamente denso si tiene un radio de cobertura finito. Un conjunto de Delaunay es a la vez
uniformemente discreto y relativamente denso; as, toda -red es un conjunto de Delaunay, pero no al
revs.1 2

Construccin de -redes
Siendo la ms restrictiva de las definiciones anteriores, -redes son al menos tan difciles de construir como
los -empaquetados, los -recubrimientos, y los conjuntos de Delaunay. Aun as, siempre que los puntos de
M son un conjunto bien ordenado, por un proceso de induccin transfinita es posible construir una -red N,

1 de 3 27/09/2017 22:48
Conjunto de Delaunay - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Conjunto_de_Delaunay

incluyendo en N cada punto para el que la mnima de las distancias al conjunto de los anteriores puntos en la
ordenacin es al menos . Para conjuntos finitos de puntos en un espacio euclidiano de dimensin acotada,
cada punto puede ser analizado en un tiempo finito localizndolo en una retcula de clulas de dimetro ,
utilizando un tabla hash para comprobar qu clulas cercanas ya contienen puntos de N; as, en este caso,
una -red puede ser construida en un tiempo lineal.3 4

Para espacios mtricos finitos o compactos ms generales, un algoritmo alternativo es el de Teo Gonzalez,
basado en el criterio del primer recorrido ms lejano, que suele usarse para construir -redes finitas. Este
algoritmo inicializa la red N vaca, aadiendo iterativamente a N el punto ms lejano de M a N, rompiendo
enlaces arbitrariamente y detenindose cuando todos los puntos de M quedan dentro de la distancia de N.5
En espacios de dimensin duplicada delimitada, el algoritmo de Gonzalez puede ser implementado en un
tiempo de O(n log n) para conjuntos de puntos con una proporcin polinmica entre sus distancias ms
lejanas y ms cercanas, y aproximadamente en el mismo lmite de tiempo para conjuntos de puntos
arbitrarios.6

Aplicaciones
Teora de codificacin
En la teora de cdigos de correccin de errores, el espacio mtrico contiene un cdigo de bloque C que
consta de cadenas de una longitud fija, por ejemplo n, formadas sobre un alfabeto de q elementos (pueden
ser visualizados como vectores), con la mtrica de Hamming. Este espacio se denota como . El radio de
recubrimiento y de empaquetado de este espacio mtrico est relacionado con la capacidad de corregir
errores del cdigo.

Algoritmos de aproximacin
Har-Peled y Raichel (2013) & Raichel (2013) describieron un paradigma algortmico que denominaron "red
y ciruela pasa" para disear algoritmos de aproximacin para ciertos tipos de problemas de optimizacin
geomtrica definidos en conjuntos de puntos en espacios euclidianos. Un algoritmo de este tipo trabaja
siguiendo los pasos siguientes:

1. Escoger un punto aleatorio p del conjunto de puntos, encontrar su vecino ms cercano q, y poner a la
distancia entre p y q.
2. Probar si es (aproximadamente) mayor o menor que el valor de la solucin ptima (utilizando una
tcnica especfica para la optimizacin particular del problema que est siendo solucionado)
Si es mayor, eliminar de la entrada los puntos cuyo vecino ms cercano es ms lejano que
Si es ms pequeo, construir una -red N, y eliminar de la entrada los puntos que no estn en N.

En ambos casos, el nmero esperado de puntos restantes decrece por un factor constante, as que el tiempo
de clculo pasa a estar dominado por intervalo invertido en el paso de la prueba. Como demuestran, este
paradigma se suele poder utilizar para construir algoritmos de aproximacin rpida para nubes de k-centros,
encontrando un par de puntos con distancia media, y resolver muchos otros problemas relacionados.

Un sistema jerrquico de redes, denominado una red-rbol, puede ser utilizado en espacios de dimensin
duplicada delimitada para construir descomposiciones bien separadas, geometras llave (geometric
spanners), y en la bsqueda aproximada de puntos vecinos ms cercanos.6 7

Cristalografa
Para puntos en un espacio eucldeo, un conjunto X es un conjunto de Meyer si es relativamente denso y su
conjunto de diferencias X X es uniformemente discreto. De forma equivalente, X es un conjunto de Meyer

2 de 3 27/09/2017 22:48
Conjunto de Delaunay - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Conjunto_de_Delaunay

si ambos X y X X son conjuntos de Delaunay. Los conjuntos de Meyer deben su denominacin a Yves
Meyer, quien los introdujo (con una definicin diferente pero equivalente basada en el anlisis armnico)
como modelo matemtico para cuasicristales. Incluyen los conjuntos de puntos en retculas, teselaciones de
Penrose, y las sumas de Minkowski de estos conjuntos con conjuntos finitos.8

Referencias
1. Clarkson, Kenneth L. (2006), Building triangulations using -nets, STOC'06: Proceedings of the 38th Annual
ACM Symposium on Theory of Computing, New York: ACM, pp. 326-335, doi:10.1145/1132516.1132564
(http://dx.doi.org/10.1145%2F1132516.1132564).
2. Some sources use "-net" for what is here called an "-covering"; see, e.g.
3. Har-Peled, S. (2004), Clustering motion, Discrete and Computational Geometry 31 (4): 545-565,
doi:10.1007/s00454-004-2822-7 (http://dx.doi.org/10.1007%2Fs00454-004-2822-7).
4. Har-Peled, S.; Raichel, B. (2013), Net and prune: A linear time algorithm for Euclidean distance problems
(http://web.engr.illinois.edu/~raichel2/aggregate.pdf), STOC'13: Proceedings of the 45th Annual ACM
Symposium on Theory of Computing, pp. 605-614.
5. Gonzalez, T. F. (1985), Clustering to minimize the maximum intercluster distance, Theoretical Computer
Science 38 (2-3): 293-306, doi:10.1016/0304-3975(85)90224-5 (http://dx.doi.org/10.1016%2F0304-3975%2885%2990224-5).
6. Har-Peled, S.; Mendel, M. (2006), Fast construction of nets in low-dimensional metrics, and their applications,
SIAM Journal on Computing 35 (5): 1148-1184, doi:10.1137/S0097539704446281 (http://dx.doi.org
/10.1137%2FS0097539704446281).
7. Krauthgamer, Robert; Lee, James R. (2004), Navigating nets: simple algorithms for proximity search
(http://dl.acm.org/citation.cfm?id=982792.982913), Proceedings of the 15th Annual ACM-SIAM Symposium on
Discrete Algorithms (SODA '04), Philadelphia, PA, USA: Society for Industrial and Applied Mathematics,
pp. 798-807, ISBN 0-89871-558-X.
8. Moody, Robert V. (1997), Meyer sets and their duals (http://www.math.ualberta.ca/~rvmoody/psFiles
/moody.ps), The Mathematics of Long-Range Aperiodic Order (Waterloo, ON, 1995), NATO Advanced Science
Institutes Series C: Mathematical and Physical Sciences 489, Dordrecht: Kluwer Academic Publishers,
pp. 403-441.

Enlaces externos
Delone set (https://web.archive.org/web/20160304095756/http://tilings.math.uni-bielefeld.de/glossary
/delone_set) Tilings Encyclopedia

Obtenido de https://es.wikipedia.org/w/index.php?title=Conjunto_de_Delaunay&oldid=102138703

Se edit esta pgina por ltima vez el 25 sep 2017 a las 16:33.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra
poltica de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.

3 de 3 27/09/2017 22:48