En geometría , la partición del espacio es el proceso de dividir un espacio completo (generalmente un espacio euclidiano ) en dos o más subconjuntos disjuntos (véase también partición de un conjunto ). En otras palabras, la partición del espacio divide un espacio en regiones que no se superponen. Cualquier punto del espacio puede entonces identificarse como perteneciente a una sola de estas regiones.
Descripción general
Los sistemas de partición espacial suelen ser jerárquicos , lo que significa que un espacio (o una región del espacio) se divide en varias regiones, y luego el mismo sistema de partición espacial se aplica recursivamente a cada una de las regiones así creadas. Las regiones pueden organizarse en un árbol , llamado árbol de partición espacial .
La mayoría de los sistemas de partición espacial utilizan planos (o, en dimensiones superiores, hiperplanos ) para dividir el espacio: los puntos situados a un lado del plano forman una región, y los puntos situados al otro lado forman otra. Los puntos que se encuentran exactamente sobre el plano suelen asignarse arbitrariamente a uno u otro lado. La partición recursiva del espacio mediante planos de esta forma produce un árbol BSP , una de las formas más comunes de partición espacial.
Usos
En gráficos por computadora
La partición del espacio es particularmente importante en los gráficos por computadora , especialmente en el trazado de rayos , donde se utiliza con frecuencia para organizar los objetos en una escena virtual. Una escena típica puede contener millones de polígonos. Realizar una prueba de intersección de rayos con cada polígono sería una tarea computacionalmente muy costosa.
Almacenar objetos en una estructura de datos de partición espacial ( árbol k -d o árbol BSP , por ejemplo) facilita y agiliza la realización de ciertos tipos de consultas geométricas; por ejemplo, al determinar si un rayo interseca un objeto, la partición espacial puede reducir el número de pruebas de intersección a solo unas pocas por rayo primario, lo que resulta en una complejidad temporal logarítmica con respecto al número de polígonos. [ 1 ] [ 2 ] [ 3 ]
La partición del espacio también se usa frecuentemente en algoritmos de escaneo lineal para eliminar los polígonos que quedan fuera del campo de visión de la cámara , lo que limita la cantidad de polígonos procesados por la canalización. También se utiliza en la detección de colisiones : determinar si dos objetos están cerca uno del otro puede ser mucho más rápido mediante la partición del espacio.
En el diseño de circuitos integrados
En el diseño de circuitos integrados , un paso importante es la verificación de las reglas de diseño . Este paso garantiza que el diseño final sea fabricable. La verificación implica reglas que especifican anchos, espaciamientos y otros patrones geométricos. Un diseño moderno puede tener miles de millones de polígonos que representan cables y transistores. La verificación eficiente depende en gran medida de las consultas geométricas. Por ejemplo, una regla puede especificar que cualquier polígono debe estar a una distancia mínima de n nanómetros de cualquier otro polígono. Esto se convierte en una consulta geométrica ampliando un polígono por n/2 en todos sus lados y consultando para encontrar todos los polígonos que se intersecan.
En teoría de la probabilidad y del aprendizaje estadístico
El número de componentes en una partición espacial desempeña un papel fundamental en algunos resultados de la teoría de la probabilidad. Consulte la función de crecimiento para obtener más detalles.
En geografía y SIG
Existen numerosos estudios y aplicaciones donde la realidad espacial geográfica se divide según criterios hidrológicos , criterios administrativos , criterios matemáticos o muchos otros.
En el contexto de la cartografía y los SIG (Sistemas de Información Geográfica) , es común identificar las celdas de la partición mediante códigos estándar . Por ejemplo, el código HUC identifica cuencas hidrográficas y subcuencas, los códigos ISO 3166-2 identifican países y sus subdivisiones, o las cuadrículas globales discretas (DGG) arbitrarias identifican cuadrantes o ubicaciones.
Estructuras de datos
Los sistemas comunes de partición del espacio incluyen:
Número de componentes
Supongamos que el espacio euclidiano n-dimensional se particiona porhiperplanos que son-dimensional. ¿Cuál es el número de componentes en la partición? El mayor número de componentes se alcanza cuando los hiperplanos están en posición general , es decir, no hay dos paralelos y no hay tres que tengan la misma intersección. Denotemos este número máximo de componentes por. Entonces, se cumple la siguiente relación de recurrencia: [ 4 ] [ 5 ]
- - Cuando no hay dimensiones, hay un solo punto.
- - Cuando no hay hiperplanos, todo el espacio es un único componente.
Y su solución es:
- si
- si
- (considere, por ejemplo,hiperplanos perpendiculares; cada hiperplano adicional divide cada componente existente en 2).
que está limitado superiormente como:
Véase también
Referencias
- ↑ Tomas Nikodym (2010). "Algoritmo de trazado de rayos para aplicaciones interactivas" (PDF) . Universidad Técnica Checa, FEE .
- ↑ Ingo Wald, William R. Mark; et al. (2007). "Estado del arte en el trazado de rayos de escenas animadas". Eurographics . CiteSeerX 10.1.1.108.8495 .
- ↑ Trazado de rayos - Estructuras de datos auxiliares
- ↑ Vapnik, VN; Chervonenkis, A. Ya. (1971). "Sobre la convergencia uniforme de las frecuencias relativas de los eventos a sus probabilidades". Theory of Probability & Its Applications . 16 (2): 266. doi : 10.1137/1116025 . Esta es una traducción al inglés, realizada por B. Seckler, del artículo ruso: "Sobre la convergencia uniforme de las frecuencias relativas de los eventos a sus probabilidades". Dokl. Akad. Nauk . 181 (4): 781. 1968. La traducción se reprodujo como: Vapnik, VN; Chervonenkis, A. Ya. (2015). "Sobre la convergencia uniforme de las frecuencias relativas de los eventos a sus probabilidades". Medidas de complejidad . pág. 11. doi : 10.1007/978-3-319-21852-6_3 . ISBN 978-3-319-21851-9.
- ↑ Véanse también discusiones y explicaciones detalladas sobre el caso n=2 y el caso general . Véase también Winder, RO (1966). «Particiones del espacio N mediante hiperplanos». SIAM Journal on Applied Mathematics . 14 (4): 811– 818. doi : 10.1137/0114068 ..
- Gráficos por computadora
- Algoritmos geométricos