stringtranslate.com

Polígono monótono

El verde indica una intersección, el azul indica dos intersecciones y el rojo indica tres o más. Los dos polígonos superiores son monótonos con respecto a L, mientras que los dos inferiores no lo son.

En geometría , un polígono P en el plano se llama monótono con respecto a una línea recta L , si cada línea ortogonal a L interseca el límite de P como máximo dos veces. [1]

De manera similar, una cadena poligonal C se llama monótona con respecto a una línea recta L , si cada línea ortogonal a L interseca a C como máximo una vez.

Para muchos propósitos prácticos, esta definición puede extenderse para permitir casos en que algunos bordes de P son ortogonales a L , y un polígono simple puede llamarse monótono si un segmento de línea que conecta dos puntos en P y es ortogonal a L se encuentra completamente en P.

Siguiendo la terminología de funciones monótonas , la definición anterior describe polígonos estrictamente monótonos con respecto a L.

Propiedades

Supongamos que L coincide con el eje x . Entonces, los vértices más a la izquierda y más a la derecha de un polígono monótono descomponen su límite en dos cadenas poligonales monótonas de modo que, cuando los vértices de cualquier cadena se recorren en su orden natural, sus coordenadas X aumentan o disminuyen monótonamente . De hecho, esta propiedad puede tomarse como la definición de polígono monótono y le da al polígono su nombre.

Un polígono convexo es monótono con respecto a cualquier línea recta y un polígono que es monótono con respecto a toda línea recta es convexo.

Se sabe que un algoritmo de tiempo lineal informa todas las direcciones en las que un polígono simple dado es monótono. [2] Se generalizó para informar todas las formas de descomponer un polígono simple en dos cadenas monótonas (posiblemente monótonas en diferentes direcciones). [3]

Las consultas de puntos en polígonos con respecto a un polígono monótono se pueden responder en tiempo logarítmico después del preprocesamiento de tiempo lineal (para encontrar los vértices más a la izquierda y más a la derecha). [1]

Un polígono monótono se puede triangular fácilmente en tiempo lineal. [4]

Para un conjunto dado de puntos en el plano, un recorrido bitónico es un polígono monótono que conecta los puntos. El recorrido bitónico perimetral mínimo para un conjunto de puntos dado con respecto a una dirección fija se puede encontrar en tiempo polinomial utilizando programación dinámica . [5] Se demuestra fácilmente que un recorrido bitónico mínimo de este tipo es un polígono simple: un par de aristas que se cruzan se puede reemplazar por un par más corto que no se cruza mientras se preserva la bitonicidad del nuevo recorrido.

Descomponer un polígono en polígonos monótonos

Un polígono simple puede cortarse fácilmente en polígonos monótonos en tiempo O ( n  log  n ). Sin embargo, dado que un triángulo es un polígono monótono, la triangulación de polígonos es, de hecho, cortar un polígono en polígonos monótonos, y puede realizarse para polígonos simples en tiempo O ( n ) con un algoritmo complejo. [6] También se conoce un algoritmo aleatorio más simple con tiempo esperado lineal. [7]

El corte de un polígono simple en el número mínimo de polígonos uniformemente monótonos (es decir, monótonos con respecto a la misma línea) se puede realizar en tiempo polinomial. [8]

En el contexto de la planificación del movimiento , dos polígonos monótonos que no se intersecan son separables por una única traslación (es decir, existe una traslación de un polígono tal que los dos quedan separados por una línea recta en semiplanos diferentes) y esta separación se puede encontrar en tiempo lineal. [9]

Generalizaciones

Polígonos barribles

Un polígono se llama barrible si una línea recta puede moverse continuamente sobre todo el polígono de tal manera que en cualquier momento su intersección con el área poligonal sea un conjunto convexo. Un polígono monótono es barrible por una línea que no cambia su orientación durante el barrido. Un polígono es estrictamente barrible si ninguna porción de su área se barre más de una vez. Ambos tipos de barribilidad se reconocen en tiempo cuadrático. [10]

3D

No existe una generalización única y directa de la monotonía de los polígonos a dimensiones superiores.

En un enfoque, el rasgo de monotonía preservado es la línea L. Un poliedro tridimensional se denomina débilmente monótono en la dirección L si todas las secciones transversales ortogonales a L son polígonos simples. Si las secciones transversales son convexas, entonces el poliedro se denomina débilmente monótono en sentido convexo . [9] Ambos tipos pueden reconocerse en tiempo polinomial. [10]

En otro enfoque, el rasgo unidimensional conservado es la dirección ortogonal. Esto da lugar a la noción de terreno poliédrico en tres dimensiones: una superficie poliédrica con la propiedad de que cada línea vertical (es decir, paralela al eje Z) interseca la superficie como máximo en un punto o segmento.

Véase también

Referencias

  1. ^ ab Preparata, Franco P. ; Shamos, Michael Ian (1985), Geometría computacional: una introducción , Springer-Verlag , ISBN 0-387-96131-3, 1ª edición; 2ª impresión, corregida y ampliada, 1988; traducción rusa, 1989
  2. ^ Preparata, Franco P. ; Supowit, Kenneth J. (1981), "Prueba de monotonía en un polígono simple", Information Processing Letters , 12 (4): 161–164, doi :10.1016/0020-0190(81)90091-0.
  3. ^ Rappaport, David; Rosenbloom, Arnold (1994), "Polígonos moldeables y moldeables", Computational Geometry , 4 (4): 219–233, doi : 10.1016/0925-7721(94)90020-5.
  4. ^ Fournier, A. ; Montuno, DY (1984), "Triangulación de polígonos simples y problemas equivalentes", ACM Transactions on Graphics , 3 (2): 153–174, doi : 10.1145/357337.357341 , ISSN  0730-0301, S2CID  33344266
  5. ^ Introducción a los algoritmos , 2ª ed., TH Cormen , CE Leiserson , R. Rivest y C. Stein , MIT Press , 2001. Problema 15-1, p. 364.
  6. ^ Chazelle, Bernard (1991), "Triangulación de un polígono simple en tiempo lineal", Geometría discreta y computacional , 6 (3): 485–524, doi : 10.1007/BF02574703 , ISSN  0179-5376
  7. ^ Amato, Nancy M. ; Goodrich, Michael T. ; Ramos, Edgar A. (2001), "Un algoritmo aleatorio para la triangulación de un polígono simple en tiempo lineal", Geometría discreta y computacional , 26 (2): 245–265, doi : 10.1007/s00454-001-0027-x , ISSN  0179-5376
  8. ^ Liu, Robin (1988), "Sobre la descomposición de polígonos en partes uniformemente monótonas", Information Processing Letters , 27 (2): 85–89, doi :10.1016/0020-0190(88)90097-X.
  9. ^ ab Toussaint, GT ; El Gindy, HA (1984), "Separación de dos polígonos monótonos en tiempo lineal", Robotica , 2 (4): 215–220, doi :10.1017/S0263574700008924, S2CID  21790511.
  10. ^ ab Bose, Prosenjit ; van Kreveld, Marc (2005), "Generalización de la monotonía: sobre el reconocimiento de clases especiales de polígonos y poliedros mediante el cálculo de barridos agradables", International Journal of Computational Geometry & Applications , 15 (6): 591–608, doi :10.1142/S0218195905001877, hdl : 1874/24150.