stringtranslate.com

Triangulación de peso mínimo

Tres posibles triangulaciones del mismo polígono. La triangulación central tiene menor peso (suma de perímetros).

En geometría computacional y ciencias de la computación , el problema de triangulación de peso mínimo es el problema de encontrar una triangulación con una longitud de arista total mínima . [1] Es decir, un polígono de entrada o la envoltura convexa de un conjunto de puntos de entrada debe subdividirse en triángulos que se encuentren de arista a arista y de vértice a vértice, de tal manera que se minimice la suma de los perímetros de los triángulos. El problema es NP-difícil para entradas de conjuntos de puntos, pero se puede aproximar a cualquier grado deseado de precisión. Para entradas de polígonos, se puede resolver exactamente en tiempo polinomial. La triangulación de peso mínimo también se ha denominado a veces triangulación óptima .

Historia

El problema de la triangulación de peso mínimo de un conjunto de puntos fue planteado por Düppe y Gottschalk (1970), quienes sugirieron su aplicación a la construcción de modelos de redes irregulares trianguladas de contornos terrestres, y utilizaron una heurística voraz para aproximarlo. Shamos y Hoey (1975) conjeturaron que la triangulación de peso mínimo siempre coincidía con la triangulación de Delaunay , pero esto fue rápidamente refutado por Lloyd (1977), y de hecho Kirkpatrick (1980) demostró que los pesos de las dos triangulaciones pueden diferir en un factor lineal. [2]

El problema de triangulación de peso mínimo se hizo famoso cuando Garey y Johnson (1979) lo incluyeron en una lista de problemas abiertos en su libro sobre NP-completitud , y muchos autores posteriores publicaron resultados parciales al respecto. Finalmente, Mulzer y Rote (2008) demostraron que es NP-hard, y Remy y Steger (2009) demostraron que se pueden construir aproximaciones precisas al problema de manera eficiente.

Complejidad

El peso de una triangulación de un conjunto de puntos en el plano euclidiano se define como la suma de las longitudes de sus aristas. Su variante de decisión es el problema de decidir si existe una triangulación de peso menor que un peso dado; Mulzer y Rote (2008) demostraron que es NP-hard . Su prueba es por reducción de PLANAR-1-IN-3-SAT, un caso especial del problema de satisfacibilidad booleano en el que se acepta una 3-CNF cuyo gráfico es planar cuando tiene una asignación de verdad que satisface exactamente un literal en cada cláusula . La prueba utiliza dispositivos complejos e implica la asistencia de una computadora para verificar el comportamiento correcto de estos dispositivos.

No se sabe si el problema de decisión de triangulación de peso mínimo es NP-completo , ya que esto depende del problema abierto conocido de si la suma de radicales se puede calcular en tiempo polinomial. Sin embargo, Mulzer y Rote señalan que el problema es NP-completo si los pesos de las aristas se redondean a valores enteros.

Aunque es NP-hard, la triangulación de peso mínimo se puede construir en tiempo subexponencial mediante un algoritmo de programación dinámica que considera todos los posibles separadores de ciclos simples de puntos dentro de la triangulación, encuentra recursivamente la triangulación óptima en cada lado del ciclo y elige el separador de ciclo que conduce al peso total más pequeño. El tiempo total para este método es . [3]

Aproximación

Varios autores han demostrado resultados que relacionan la triangulación de peso mínimo con otras triangulaciones en términos de la razón de aproximación , la razón en el peor de los casos de la longitud total de la arista de la triangulación alternativa a la longitud total de la triangulación de peso mínimo. En esta línea, se sabe que la triangulación de Delaunay tiene una razón de aproximación de , [4] y que la triangulación voraz (la triangulación formada añadiendo aristas en orden de la más corta a la más larga, incluyendo en cada paso una arista siempre que no cruce una arista anterior) tiene una razón de aproximación de . [5] Sin embargo, para conjuntos de puntos distribuidos aleatoriamente, tanto la triangulación de Delaunay como la voraz están dentro de un factor logarítmico del peso mínimo. [6]

El resultado de dureza de Mulzer y Rote también implica la NP-dureza de encontrar una solución aproximada con un error de aproximación relativo de como máximo O(1/n 2 ). Por lo tanto, es poco probable que exista un esquema de aproximación completamente polinomial para la triangulación de peso mínimo. Sin embargo, es posible un esquema de aproximación cuasi-polinomial: para cualquier constante ε 0, se puede encontrar una solución con una razón de aproximación 1 + ε en un tiempo cuasi-polinomial exp(O((log  n ) 9 ). [7]

Heurística

Debido a la dificultad de encontrar las soluciones exactas de la triangulación de peso mínimo, muchos autores han estudiado heurísticas que pueden en algunos casos encontrar la solución, aunque no se puede demostrar que funcionen en todos los casos. En particular, gran parte de esta investigación se ha centrado en el problema de encontrar conjuntos de aristas que se garantice que pertenecen a la triangulación de peso mínimo. Si un subgrafo de la triangulación de peso mínimo encontrado de esta manera resulta ser conexo, entonces el espacio no triangulado restante puede verse como formando un polígono simple, y la triangulación completa puede encontrarse utilizando programación dinámica para encontrar la triangulación óptima de este espacio poligonal. El mismo enfoque de programación dinámica también puede extenderse al caso en que el subgrafo tenga un número acotado de componentes conexos [8] y el mismo enfoque de encontrar un grafo conexo y luego aplicar programación dinámica para llenar los huecos poligonales que rodean las aristas del grafo también se ha utilizado como parte de la heurística para encontrar triangulaciones de bajo peso pero no de peso mínimo. [9]

El grafo formado al conectar dos puntos siempre que sean vecinos más cercanos entre sí es necesariamente un subgrafo de la triangulación de peso mínimo. [10] Sin embargo, este grafo de vecino más cercano mutuo es un coincidente y, por lo tanto, nunca está conectado. Una línea de investigación relacionada encuentra grandes subgrafos de la triangulación de peso mínimo mediante el uso de β -esqueletos basados ​​en círculos , los grafos geométricos formados al incluir una arista entre dos puntos u y v siempre que no exista un tercer punto w que forme un ángulo uwv mayor que algún parámetro θ. Se ha demostrado que, para valores suficientemente pequeños de θ, el grafo formado de esta manera es un subgrafo de la triangulación de peso mínimo. [11] Sin embargo, la elección de θ necesaria para garantizar que esto sea menor que el ángulo {{{1}}} para el cual el β -esqueleto siempre está conectado.

Dickerson y Montague (1996) propusieron una técnica más sofisticada denominada esqueleto LMT. Se forma mediante un proceso iterativo en el que se mantienen dos conjuntos de aristas: un conjunto de aristas que se sabe que pertenecen a la triangulación de peso mínimo y un conjunto de aristas que son candidatas a pertenecer a ella. Inicialmente, el conjunto de aristas conocidas se inicializa en la envoltura convexa de la entrada y todos los pares de vértices restantes forman aristas candidatas. Luego, en cada iteración del proceso de construcción, las aristas candidatas se eliminan siempre que no haya un par de triángulos formados por las aristas restantes que formen un cuadrilátero para el que la arista candidata sea la diagonal más corta, y las aristas candidatas se mueven al conjunto de aristas conocidas cuando no hay otra arista candidata que las cruce. El esqueleto LMT se define como el conjunto de aristas conocidas que se produce después de que este proceso deja de realizar más cambios. Se garantiza que es un subgrafo de la triangulación de peso mínimo, se puede construir de manera eficiente y, en experimentos con conjuntos de hasta 200 puntos, se conectó con frecuencia. [12] Sin embargo, se ha demostrado que, en promedio, para conjuntos de puntos grandes tiene un número lineal de componentes conectados. [13]

Otras heurísticas que se han aplicado al problema de triangulación de peso mínimo incluyen algoritmos genéticos [14], branch and bound [ 15] y algoritmos de optimización de colonias de hormigas [16] .

Variaciones

Se puede construir una triangulación de polígonos de peso mínimo en tiempo cúbico utilizando el enfoque de programación dinámica , informado independientemente por Gilbert (1979) y Klincsek (1980). En este método, los vértices se numeran consecutivamente alrededor del límite del polígono, y para cada diagonal desde el vértice i hasta el vértice j que se encuentra dentro del polígono, la triangulación óptima se calcula considerando todos los triángulos posibles ijk dentro del polígono, sumando los pesos de las triangulaciones óptimas debajo de las diagonales ik y jk , y eligiendo el vértice k que conduce al peso total mínimo. Es decir, si MWT( i , j ) denota el peso de la triangulación de peso mínimo del polígono debajo del borde ij , entonces el algoritmo general realiza los siguientes pasos:

Una vez que se completa esta iteración, MWT(1, n ) almacenará el peso total de la triangulación de peso mínimo. La triangulación en sí se puede obtener buscando recursivamente en esta matriz, comenzando desde MWT(1, n ), eligiendo en cada paso el triángulo ijk que conduce al valor mínimo para MWT( i , j ) y buscando recursivamente MWT( i , k ) y MWT( j , k ).

También se pueden adaptar métodos de programación dinámica similares a entradas de conjuntos de puntos donde todos los puntos, excepto un número constante, se encuentran en la envoltura convexa de la entrada, [17] y a conjuntos de puntos que se encuentran en un número constante de polígonos convexos anidados o en un número constante de líneas, ninguna de las cuales se cruza dentro de la envoltura convexa. [18]

También es posible formular una versión de los problemas de triangulación de polígonos o conjuntos de puntos en los que se permite añadir puntos de Steiner , vértices adicionales, para reducir la longitud total de las aristas de las triangulaciones resultantes. En algunos casos, la triangulación resultante puede ser más corta que la triangulación de peso mínimo hasta en un factor lineal. Es posible aproximar la triangulación de Steiner de peso mínimo de un conjunto de puntos dentro de un factor constante de óptimo, pero el factor constante en la aproximación es grande. [19]

Problemas relacionados que también se han estudiado incluyen la construcción de pseudotriangulaciones de peso mínimo [20] y la caracterización de los gráficos de triangulaciones de peso mínimo. [21]

Notas

  1. ^ Para estudios sobre el problema, véase Xu (1998), Levcopoulos (2008) y De Loera, Rambau & Santos (2010).
  2. ^ Véase también Manacher y Zobrist (1979).
  3. ^ Lingas (1998).
  4. ^ Kirkpatrick (1980). Manacher y Zobrist (1979) dieron un límite más débil.
  5. ^ Levcopoulos (1987) proporcionó una familia de ejemplos que demuestran que la razón de aproximación es , y el límite superior correspondiente es de Levcopoulos y Krznaric (1998). Al igual que con la razón de aproximación para la triangulación de Delaunay, Manacher y Zobrist (1979) también proporcionaron un límite más débil.
  6. ^ Lingas (1986).
  7. ^ Remy y Steger (2009). Para consultar resultados anteriores sobre algoritmos de aproximación en tiempo polinomial, véase Plaisted y Hong (1987) (aproximación de factor logarítmico) y Levcopoulos y Krznaric (1998) (aproximación de factor constante).
  8. ^ Cheng, Golin y Tsang (1995).
  9. ^ Lingas (1987); Salud y Pemmaraju (1994).
  10. ^ Yang, Xu y You (1994).
  11. ^ Keil (1994); Cheng, Golin y Tsang (1995); Cheng y Xu (2001); Hu (2010).
  12. ^ Dickerson y Montague (1996); Cheng, Katoh y Sugai (1996); Beirouti y Snoeyink (1998); Aichholzer, Aurenhammer y Hainz (1999).
  13. ^ Bose, Devroye y Evans (1996).
  14. ^ Qin, Wang y Gong (1997); Capp y Julstrom (1998).
  15. ^ Kyoda y otros (1997).
  16. ^ Jahani, Bigham y Askari (2010).
  17. ^ Hoffmann y Okamoto (2004); Grantson, Borgelt y Levcopoulos (2005); Knauer y Spillner (2006).
  18. ^ Anagnostou y Corneil (1993); Meijer y Rappaport (1992).
  19. ^ Eppstein (1994).
  20. ^ Gudmundsson y Levcopoulos (2007); Aichholzer et al. (2009).
  21. ^ Lenhart y Liotta (2002).

Referencias

Enlaces externos