Articulo de referencia

Polígono simple

Dos polígonos simples (verde y azul) y un polígono que se autointerseca (rojo, en la parte inferior derecha, no simple). En geometría , un polígono simple es aquel que no se int...

Este es un buen artículo. Haz clic aquí para obtener más información.

Dos polígonos simples (verde y azul) y un polígono que se autointerseca (rojo, en la parte inferior derecha, no simple).

En geometría , un polígono simple es aquel que no se interseca a sí mismo y no tiene agujeros. Es decir, es una curva de Jordan lineal a trozos compuesta por un número finito de segmentos de línea . Estos polígonos incluyen como casos especiales los polígonos convexos , los polígonos estrellados y los polígonos monótonos .

La suma de los ángulos externos de un polígono simple es2π{\displaystyle 2\pi }. Cada polígono simple connorte{\displaystyle n}Los lados pueden ser triangulados pornorte3{\displaystyle n-3}de sus diagonales, y por el teorema de la galería de arte su interior es visible desde algunosnorte/3{\displaystyle \lfloor n/3\rfloor }de sus vértices.

Los polígonos simples se utilizan habitualmente como entrada para problemas de geometría computacional , incluyendo pruebas de puntos en polígonos , cálculo de áreas , la envoltura convexa de un polígono simple , triangulación y rutas euclidianas más cortas .

Otras construcciones geométricas relacionadas con polígonos simples incluyen el mapeo de Schwarz-Christoffel , utilizado para encontrar transformaciones conformes que involucran polígonos simples, la poligonización de conjuntos de puntos, fórmulas de geometría sólida constructiva para polígonos y gráficos de visibilidad de polígonos.

Definiciones

Partes de un polígono simple

Un polígono simple es una curva cerrada en el plano euclidiano formada por segmentos de línea recta que se unen extremo con extremo para formar una cadena poligonal . [ 1 ] Dos segmentos de línea se encuentran en cada extremo, y no hay otros puntos de intersección entre los segmentos. Ningún subconjunto propio de los segmentos tiene las mismas propiedades. [ 2 ] A veces se omite el calificativo «simple» , asumiendo que la palabra «polígono» se refiere a un polígono simple. [ 3 ]

Los segmentos de línea que forman un polígono se denominan aristas o lados . Un extremo de un segmento se denomina vértice (plural: vértices) [ 2 ] o esquina . Aristas y vértices son términos más formales, pero pueden resultar ambiguos en contextos que también involucran las aristas y los vértices de un grafo ; para evitar esta ambigüedad, se pueden usar los términos más coloquiales lados y esquinas . [ 4 ] El número de aristas siempre es igual al número de vértices. [ 2 ] Algunas fuentes permiten que dos segmentos de línea formen un ángulo recto (180°), [ 5 ] mientras que otras lo prohíben, requiriendo en cambio que los segmentos colineales de una cadena poligonal cerrada se fusionen en un único lado más largo. [ 6 ] Dos vértices son vecinos si son los dos extremos de uno de los lados del polígono. [ 7 ]

Los polígonos simples a veces se denominan polígonos de Jordan , porque son curvas de Jordan ; el teorema de la curva de Jordan se puede utilizar para demostrar que dicho polígono divide el plano en dos regiones. [ 8 ] De hecho, la demostración original de este teorema por Camille Jordan tomó como punto de partida el caso especial de los polígonos simples (enunciado sin demostración). [ 9 ] La región dentro del polígono (su interior ) forma un conjunto acotado [ 2 ] topológicamente equivalente a un disco abierto por el teorema de Jordan-Schönflies , [ 10 ] con un área finita pero no nula . [ 11 ] El polígono mismo es topológicamente equivalente a un círculo , [ 12 ] y la región exterior (el exterior ) es un conjunto abierto conexo no acotado , con área infinita. [ 11 ] Aunque la definición formal de un polígono simple suele ser como un sistema de segmentos de línea, también es posible (y común en el uso informal) definir un polígono simple como un conjunto cerrado en el plano, la unión de estos segmentos de línea con el interior del polígono. [ 2 ]

Una diagonal de un polígono simple es cualquier segmento de línea que tiene dos vértices del polígono como sus extremos y que, por lo demás, es completamente interior al polígono. [ 13 ]

Propiedades

El ángulo interno de un polígono simple, en uno de sus vértices, es el ángulo formado por el interior del polígono en ese vértice. Un vértice es convexo si su ángulo interno es menor queπ{\displaystyle \pi }(un ángulo recto, 180°) y cóncava si el ángulo interno es mayor queπ{\displaystyle \pi }. Si el ángulo interno esθ{\displaystyle \theta }, el ángulo externo en el mismo vértice se define como su suplementoπθ{\displaystyle \pi -\theta }, el ángulo de giro de un lado dirigido al siguiente. El ángulo externo es positivo en un vértice convexo o negativo en un vértice cóncavo. Para cada polígono simple, la suma de los ángulos externos es2π{\displaystyle 2\pi }(una vuelta completa, 360°). Por lo tanto, la suma de los ángulos internos, para un polígono simple connorte{\displaystyle n}lados es(norte2)π{\displaystyle (n-2)\pi }. [ 14 ]

Un polígono triangulado con 11 vértices: 11 lados y 8 diagonales forman 9 triángulos.

Todo polígono simple puede dividirse en triángulos que no se superponen mediante un subconjunto de sus diagonales. Cuando el polígono tienenorte{\displaystyle n}lados, esto producenorte2{\displaystyle n-2}triángulos, separados pornorte3{\displaystyle n-3}diagonales. La partición resultante se llama triangulación de polígono . [ 8 ] La forma de un polígono simple triangulado se puede determinar de forma única mediante los ángulos internos del polígono y las razones anteroposteriores de los cuadriláteros formados por pares de triángulos que comparten una diagonal. [ 15 ]

Según el teorema de las dos orejas , todo polígono simple que no sea un triángulo tiene al menos dos orejas , vértices cuyos dos vecinos son los extremos de una diagonal. [ 8 ] Un teorema relacionado establece que todo polígono simple que no sea convexo tiene una boca , un vértice cuyos dos vecinos son los extremos de un segmento de línea que, por lo demás, es completamente exterior al polígono. Los polígonos que tienen exactamente dos orejas y una boca se denominan polígonos antropomórficos . [ 16 ]

Esta galería de arte poligonal de 42 vértices es totalmente visible desde las cámaras colocadas en los 4 vértices marcados.

Según el teorema de la galería de arte , en un polígono simple connorte{\displaystyle n}vértices, siempre es posible encontrar un subconjunto de como máximonorte/3{\displaystyle \lfloor n/3\rfloor }de los vértices con la propiedad de que cada punto del polígono es visible desde uno de los vértices seleccionados. Esto significa que, para cada puntopag{\displaystyle p}En el polígono, existe un segmento de línea que conectapag{\displaystyle p}a un vértice seleccionado, pasando solo por puntos interiores del polígono. Una forma de demostrar esto es usar la coloración de grafos en una triangulación del polígono: siempre es posible colorear los vértices con tres colores, de modo que cada lado o diagonal en la triangulación tenga dos extremos de colores diferentes. Cada punto del polígono es visible para un vértice de cada color, por ejemplo, uno de los tres vértices del triángulo que contiene ese punto en la triangulación elegida. Uno de los colores es utilizado por como máximonorte/3{\displaystyle \lfloor n/3\rfloor }de los vértices, demostrando el teorema. [ 17 ]

Casos especiales

Todo polígono convexo es un polígono simple. Otra clase importante de polígonos simples son los polígonos estrellados , que tienen un punto (en su interior o en su borde) desde el cual se puede ver cualquier otro punto. [ 2 ]

Un polígono monótono , con respecto a una línea recta.L{\displaystyle L}, es un polígono para el cual toda línea perpendicular aL{\displaystyle L}interseca el interior del polígono en un conjunto conexo. Equivalentemente, es un polígono cuyo límite puede dividirse en dos cadenas poligonales monótonas, subsecuencias de aristas cuyos vértices, cuando se proyectan perpendicularmente sobreL{\displaystyle L}, tienen el mismo orden a lo largoL{\displaystyle L}como lo hacen en la cadena. [ 18 ]

Problemas computacionales

Para comprobar si un punto está dentro del polígono, se traza un rayo que parta de él y se cuentan sus intersecciones con el polígono. Si cruza solo puntos interiores de los bordes un número impar de veces, el punto está dentro del polígono; si cruza un número par, está fuera. Los rayos que pasan por los vértices del polígono o que contienen sus bordes requieren especial atención. [ 19 ]
Un polígono simple (interior sombreado en azul) y su envoltura convexa (que rodea las regiones azules y amarillas).

En geometría computacional , varias tareas computacionales importantes implican entradas en forma de polígono simple.

  • En las pruebas de polígonos, el punto implica determinar, para un polígono simple,PAG{\displaystyle P}y un punto de consultaq{\displaystyle q}, siq{\displaystyle q}se encuentra en el interior dePAG{\displaystyle P}Se puede resolver en tiempo lineal ; alternativamente, es posible procesar un polígono dado en una estructura de datos, en tiempo lineal, de modo que las pruebas subsiguientes de puntos en el polígono se puedan realizar en tiempo logarítmico. [ 20 ]
  • Se conocen fórmulas sencillas para calcular el área del interior de un polígono. Estas incluyen la fórmula del cordón para polígonos arbitrarios, [ 21 ] y el teorema de Pick para polígonos con coordenadas de vértice enteras. [ 12 ] [ 22 ]
  • La envoltura convexa de un polígono simple también se puede encontrar en tiempo lineal, más rápido que los algoritmos para encontrar envolturas convexas de puntos que no se han conectado para formar un polígono. [ 6 ]
  • La construcción de una triangulación de un polígono simple también se puede realizar en tiempo lineal, aunque el algoritmo es complicado. Una modificación del mismo algoritmo también se puede utilizar para comprobar si una cadena poligonal cerrada forma un polígono simple (es decir, si evita autointersecciones) en tiempo lineal. [ 23 ] Esto también conduce a un algoritmo de tiempo lineal para resolver el problema de la galería de arte utilizando como máximonorte/3{\displaystyle \lfloor n/3\rfloor }puntos, aunque no necesariamente utilizando el número óptimo de puntos para un polígono dado. [ 24 ] Aunque es posible transformar dos triangulaciones cualesquiera del mismo polígono una en la otra mediante giros que reemplazan una diagonal a la vez, determinar si se puede hacer utilizando solo un número limitado de giros es NP-completo . [ 25 ]
  • Una trayectoria geodésica , [ 26 ] la trayectoria más corta en el plano que conecta dos puntos interiores a un polígono, sin cruzar al exterior, puede hallarse en tiempo lineal mediante un algoritmo que utiliza la triangulación como subrutina. [ 27 ] Lo mismo ocurre con el centro geodésico , un punto en el polígono que minimiza la longitud máxima de sus trayectorias geodésicas a todos los demás puntos. [ 26 ]
  • El polígono de visibilidad de un punto interior de un polígono simple, es decir, los puntos que son directamente visibles desde el punto dado mediante segmentos de línea interiores al polígono, puede construirse en tiempo lineal. [ 28 ] Lo mismo ocurre con el subconjunto que es visible desde al menos un punto de un segmento de línea dado. [ 27 ]

Otros problemas computacionales estudiados para polígonos simples incluyen construcciones de la diagonal más larga o el segmento de línea más largo dentro de un polígono, [ 13 ] del cráneo convexo (el polígono convexo más grande dentro del polígono simple dado), [ 29 ] [ 30 ] y de varios esqueletos unidimensionales que aproximan su forma, incluyendo el eje medial [ 31 ] y el esqueleto recto . [ 32 ] Los investigadores también han estudiado la producción de otros polígonos a partir de polígonos simples utilizando sus curvas de desplazamiento , [ 33 ] uniones e intersecciones, [ 11 ] y sumas de Minkowski , [ 34 ] pero estas operaciones no siempre producen un polígono simple como resultado. Se pueden definir de manera que siempre produzcan una región bidimensional, pero esto requiere definiciones cuidadosas de las operaciones de intersección y diferencia para evitar la creación de características unidimensionales o puntos aislados. [ 11 ]

Según el teorema de mapeo de Riemann , cualquier subconjunto abierto simplemente conexo del plano puede mapearse conformemente sobre un disco. El mapeo de Schwarz-Christoffel proporciona un método para construir explícitamente un mapeo de un disco a cualquier polígono simple utilizando ángulos de vértice específicos y preimágenes de los vértices del polígono en el borde del disco. Estos prevértices se calculan típicamente de forma numérica. [ 35 ]

El polígono negro es el bucle más corto que conecta todos los puntos rojos, una solución al problema del viajante.

Todo conjunto finito de puntos en el plano que no se encuentra sobre una sola línea puede conectarse para formar los vértices de un polígono simple (permitiendo ángulos de 180°); por ejemplo, uno de estos polígonos es la solución al problema del viajante . [ 36 ] Conectar puntos para formar un polígono de esta manera se denomina poligonización . [ 37 ]

Cada polígono simple puede representarse mediante una fórmula en geometría sólida constructiva que construye el polígono (como un conjunto cerrado que incluye el interior) a partir de uniones e intersecciones de semiplanos , apareciendo cada lado del polígono una vez como un semiplano en la fórmula. Convertir unnorte{\displaystyle n}El polígono de lados en esta representación se puede realizar en tiempoO(norteregistronorte){\displaystyle O(n\log n)}. [ 38 ]

El grafo de visibilidad de un polígono simple conecta sus vértices mediante aristas que representan los lados y las diagonales del polígono. [ 3 ] Siempre contiene un ciclo hamiltoniano , formado por los lados del polígono. La complejidad computacional de reconstruir un polígono que tiene un grafo dado como su grafo de visibilidad, con un ciclo hamiltoniano especificado como su ciclo de lados, sigue siendo un problema abierto. [ 39 ]

Véase también

Referencias

  1. Milnor, John W. (1950). "Sobre la curvatura total de los nudos". Annals of Mathematics . 2.ª serie. 52 : 248–257 . doi : 10.2307/1969467 .
  2. 1 2 3 4 5 6 Preparata, Franco P. ; Shamos, Michael Ian (1985). Geometría computacional: una introducción . Textos y monografías en informática. Springer-Verlag. pág. 18. doi : 10.1007/978-1-4612-1098-6 . ISBN  978-1-4612-1098-6.
  3. 1 2 Everett, Hazel; Corneil, Derek (1995). "Resultados negativos sobre la caracterización de grafos de visibilidad". Geometría Computacional: Teoría y Aplicaciones . 5 (2): 51– 63. doi : 10.1016/0925-7721(95)00021-Z . MR 1353288 . 
  4. Aronov, Boris ; Seidel, Raimund ; Souvaine, Diane (1993). "Sobre triangulaciones compatibles de polígonos simples" . Geometría Computacional: Teoría y Aplicaciones . 3 (1): 27–35 . doi : 10.1016/0925-7721(93)90028-5 . MR 1222755 . 
  5. Malkevitch, Joseph (2016). "¿Son buenas ideas las definiciones precisas?" . Columna de artículos de la AMS . Sociedad Matemática Estadounidense.
  6. 1 2 McCallum, Duncan; Avis, David (1979). "Un algoritmo lineal para encontrar la envoltura convexa de un polígono simple". Information Processing Letters . 9 (5): 201– 206. doi : 10.1016/0020-0190(79)90069-3 . MR 0552534 . 
  7. de Berg, M. ; van Kreveld, M. ; Overmars, Mark ; Schwarzkopf, O. (2008). Geometría computacional: algoritmos y aplicaciones (3.ª ed.). Springer. p. 58. doi : 10.1007/978-3-540-77974-2 .  
  8. 1 2 3 Meisters, GH (1975). "Los polígonos tienen orejas". The American Mathematical Monthly . 82 (6): 648– 651. doi : 10.2307/2319703 . JSTOR 2319703 . MR 0367792 .  
  9. Hales, Thomas C. (2007). "Demostración de Jordan del teorema de la curva de Jordan" (PDF) . De la intuición a la demostración: volumen conmemorativo en honor a Andrzej Trybulec. Estudios de lógica, gramática y retórica . 10 (23). Universidad de Białystok.
  10. Thomassen, Carsten (1992). "El teorema de Jordan-Schönflies y la clasificación de superficies". The American Mathematical Monthly . 99 (2): 116– 130. doi : 10.1080/00029890.1992.11995820 . JSTOR 2324180. MR 1144352 .  
  11. 1 2 3 4 Margalit, Avraham; Knott, Gary D. (1989). "Un algoritmo para calcular la unión, intersección o diferencia de dos polígonos". Computers & Graphics . 13 (2): 167– 183. doi : 10.1016/0097-8493(89)90059-9 .
  12. 1 2 Niven, Ivan ; Zuckerman, HS (1967). "Puntos reticulares y área poligonal". The American Mathematical Monthly . 74 (10): 1195– 1200. doi : 10.1080/00029890.1967.12000095 . JSTOR 2315660. MR 0225216 .  
  13. 1 2 Aggarwal, Alok; Suri, Subhash (1990). "Cálculo de la diagonal más larga de un polígono simple". Information Processing Letters . 35 (1): 13– 18. doi : 10.1016/0020-0190(90)90167-V . MR 1069001 . 
  14. Richmond, Bettina ; Richmond, Thomas (2023). Una transición discreta a las matemáticas avanzadas . Textos de pregrado de matemáticas puras y aplicadas. Vol. 63 (2.ª ed.). Sociedad Matemática Americana. pág. 421. ISBN    9781470472047.
  15. Snoeyink, Jack (1999). "Las razones cruzadas y los ángulos determinan un polígono" . Geometría discreta y computacional . 22 (4): 619– 631. doi : 10.1007/PL00009481 . MR 1721028 . 
  16. Toussaint, Godfried (1991). "Polígonos antropomórficos". The American Mathematical Monthly . 98 (1): 31– 35. doi : 10.2307/2324033 . JSTOR 2324033. MR 1083611 .  
  17. Fisk, S. (1978). "Una breve demostración del teorema del vigilante de Chvátal" . Journal of Combinatorial Theory, Series B. 24 ( 3): 374. doi : 10.1016/0095-8956(78)90059-X .
  18. Preparata, Franco P. ; Supowit, Kenneth J. (1981). "Prueba de monotonicidad de un polígono simple". Information Processing Letters . 12 (4): 161– 164. doi : 10.1016/0020-0190(81)90091-0 .
  19. Schirra, Stefan (2008). "¿Qué tan confiables son las estrategias prácticas de punto en polígono?" (PDF) . En Halperin, Dan; Mehlhorn, Kurt (eds.). Algorithms – ESA 2008, 16.º Simposio Europeo Anual, Karlsruhe, Alemania, 15-17 de septiembre de 2008. Actas . Lecture Notes in Computer Science. Vol. 5193. Springer. pp. 744–755 . doi : 10.1007/978-3-540-87744-8_62 .  
  20. Snoeyink, Jack (2017). "Localización de puntos" (PDF) . En Toth, Csaba D.; O'Rourke, Joseph; Goodman, Jacob E. (eds.). Manual de geometría discreta y computacional (3.ª ed.). Chapman and Hall/CRC Press. pp. 1005–1023 . ISBN   978-1-498-71139-5.
  21. Braden, Bart (1986). "La fórmula del área del agrimensor" (PDF) . The College Mathematics Journal . 17 (4): 326– 337. doi : 10.2307/2686282 . JSTOR 2686282. Archivado del original (PDF) el 7 de noviembre de 2012. 
  22. Grünbaum, Branko ; Shephard, GC (febrero de 1993). "Teorema de Pick". The American Mathematical Monthly . 100 (2): 150– 161. doi : 10.2307/2323771 . JSTOR 2323771. MR 1212401 .  
  23. Chazelle, Bernard (1991). "Triangulación de un polígono simple en tiempo lineal" . Discrete & Computational Geometry . 6 (5): 485– 524. doi : 10.1007/BF02574703 . MR 1115104 . 
  24. Urrutia, Jorge (2000). «Galería de arte y problemas de iluminación». En Sack, Jörg-Rüdiger ; Urrutia, Jorge (eds.). Manual de geometría computacional . Ámsterdam: North-Holland. pp. 973–1027 . doi : 10.1016/B978-044482537-7/50023-1 . ISBN  0-444-82537-1. MR 1746693 . 
  25. Aichholzer, Oswin; Mulzer, Wolfgang; Pilz, Alexander (2015). "La distancia de inversión entre triangulaciones de un polígono simple es NP-completa". Discrete & Computational Geometry . 54 (2): 368– 389. arXiv : 1209.0579 . doi : 10.1007/s00454-015-9709-7 . MR 3372115 . 
  26. 1 2 Ahn, Hee-Kap; Barba, Luis; Bose, Prosenjit ; De Carufel, Jean-Lou; Korman, Matias; Oh, Eunjin (2016). "Un algoritmo de tiempo lineal para el centro geodésico de un polígono simple". Discrete & Computational Geometry . 56 (4): 836– 859. arXiv : 1501.00561 . doi : 10.1007/s00454-016-9796-0 . MR 3561791 . 
  27. 1 2 Guibas, Leonidas ; Hershberger, John ; Leven, Daniel; Sharir, Micha ; Tarjan, Robert E. (1987). "Algoritmos de tiempo lineal para problemas de visibilidad y ruta más corta dentro de polígonos simples triangulados". Algorithmica . 2 (2): 209– 233. doi : 10.1007/BF01840360 . MR 0895445 . 
  28. El Gindy, Hossam; Avis, David (1981). "Un algoritmo lineal para calcular el polígono de visibilidad desde un punto". Journal of Algorithms . 2 (2): 186– 197. doi : 10.1016/0196-6774(81)90019-5 .
  29. Chang, JS; Yap, C.-K. (1986). "Una solución polinomial para el problema de pelar patatas" . Geometría discreta y computacional . 1 (2): 155– 182. doi : 10.1007/BF02187692 . MR 0834056 . 
  30. Cabello, Sergio; Cibulka, Josef; Kynčl, Jan; Saumell, Maria; Valtr, Pavel (2017). "Pelar patatas de forma casi óptima en tiempo casi lineal". SIAM Journal on Computing . 46 (5): 1574– 1602. arXiv : 1406.1368 . doi : 10.1137/16M1079695 . MR 3708542 . 
  31. Chin, Francis YL ; Snoeyink, Jack; Wang, Cao An (1999). "Encontrar el eje medial de un polígono simple en tiempo lineal" . Discrete & Computational Geometry . 21 (3): 405– 420. doi : 10.1007/PL00009429 . MR 1672988 . 
  32. Cheng, Siu-Wing; Mencel, Liam; Vigneron, Antoine (2016). "Un algoritmo más rápido para calcular esqueletos rectos". ACM Transactions on Algorithms . 12 (3): 44:1–44:21. arXiv : 1405.4691 . doi : 10.1145/2898961 .
  33. Palfrader, Peter; Held, Martin (febrero de 2015). "Cálculo de curvas de desplazamiento a inglete basadas en esqueletos rectos" . Computer-Aided Design and Applications . 12 (4): 414– 424. doi : 10.1080/16864360.2014.997637 .
  34. Oks, Eduard; Sharir, Micha (2006). "Minkowski sums of monottone and general simple polygons" . Discrete & Computational Geometry . 35 (2): 223– 240. doi : 10.1007/s00454-005-1206-y . MR 2195052 . 
  35. Trefethen, Lloyd N. ; Driscoll, Tobin A. (1998). "Mapeo de Schwarz-Christoffel en la era de la informática". Actas del Congreso Internacional de Matemáticos, Vol. III (Berlín, 1998) . Documenta Mathematica. pp. 533– 542. MR 1648186 .  
  36. Quintas, LV; Supnick, Fred (1965). "Sobre algunas propiedades de los circuitos hamiltonianos más cortos". The American Mathematical Monthly . 72 (9): 977– 980. doi : 10.2307/2313333 . JSTOR 2313333. MR 0188872 .  
  37. Demaine, Erik D. ; Fekete, Sándor P.; Keldenich, Phillip; Krupke, Dominik; Mitchell, Joseph SB (2022). "Polygonalizaciones simples óptimas en área: el desafío CG 2019". ACM Journal of Experimental Algorithmics . 27 : A2.4:1–12. doi : 10.1145/3504000 . hdl : 1721.1/146480 . MR 4390039 . 
  38. Dobkin, David ; Guibas, Leonidas ; Hershberger, John ; Snoeyink, Jack (1993). "Un algoritmo eficiente para encontrar la representación CSG de un polígono simple". Algorithmica . 10 (1): 1– 23. doi : 10.1007/BF01908629 . MR 1230699 . 
  39. Ghosh, Subir Kumar; Goswami, Partha P. (2013). "Problemas sin resolver en grafos de visibilidad de puntos, segmentos y polígonos". ACM Computing Surveys . 46 (2): 22:1–22:29. arXiv : 1012.5187 . doi : 10.1145/2543581.2543589 .