단순다각형

Simple polygon
두 개의 단순 다각형(녹색 및 파란색)과 자체 교차 다각형(빨간색, 오른쪽 하단, 단순하지 않음)

기하학에서 단순 다각형교차하지 않고 구멍이 없는 다각형입니다.즉, 이 곡선은 유한하게 많은 선분으로 구성된 조각별 선형 조던 곡선입니다. 다각형에는 볼록 다각형, 별 모양 다각형, 모노톤 다각형이 특별한 경우로 포함됩니다.

단순 다각형의 외각의 합은 π 입니다 변을 가진 모든 단순 다각형은 대각선의 - n - 으로 삼각형을 만들 수 있고, 미술관 정리에 의해 그 내부는 꼭짓점의 일부 ⌊ / n / 에서 볼 수 있습니다.

단순 다각형은 점 인 폴리곤 테스트, 면적 계산, 단순 다각형의 볼록 선체, 삼각 측량 및 유클리드 최단 경로를 포함한 계산 기하학 문제에 대한 입력으로 흔히 볼 수 있습니다.

단순 다각형과 관련된 기하학의 다른 구성은 단순 다각형을 포함하는 등각 지도를 찾는 데 사용되는 슈바르츠-크리스토펠 매핑, 점 집합의 다각화, 다각형에 대한 구성 입체 기하학 공식 및 다각형의 가시성 그래프를 포함합니다.

정의들

단순 다각형의 부품

단순 다각형(simple polygon)은 직선 세그먼트로 구성된 유클리드 평면의 닫힌 곡선으로, 종단 에 만나 다각형 체인을 형성합니다.이 체인에서 연속되는 선 세그먼트의 공유 끝점을 제외하고 두 선 세그먼트가 서로 교차할 수 없습니다.[1]수식어 simple은 생략되는 경우가 있으며, polygon이라는 단어는 simple polygon을 의미하는 것으로 가정됩니다.[2]

다각형을 이루는 선분을 가장자리 또는 측면이라고 합니다.세그먼트의 끝점을 정점(복수: 정점)[1] 또는 모서리라고 합니다.가장자리꼭짓점은 더 형식적이지만 그래프의 가장자리와 꼭짓점을 포함하는 문맥에서는 모호할 수 있습니다. 이러한 모호함을 피하기 위해 구어체 용어인 측면모서리가 더 많이 사용될 수 있습니다.[3]각 꼭지점에서 정확히 두 개의 모서리가 만나고 모서리의 수는 항상 꼭지점의 수와 같습니다.[1]일부 소스에서는 두 개의 선분이 직선 각도(180°)[4]를 형성하도록 허용하는 반면 다른 소스에서는 이를 허용하지 않고 대신 닫힌 다각형 체인의 공선 세그먼트를 하나의 긴 변으로 병합하도록 요구합니다.[5]두 꼭짓점이 다각형의 변 중 하나의 두 꼭짓점인 경우 인접합니다.[6]

단순 다각형은 조던 곡선이기 때문에 조던 다각형이라고 불리기도 합니다. 조던 곡선 정리는 이러한 다각형이 평면을 두 영역으로 나눈다는 것을 증명하는 데 사용될 수 있습니다.[7]실제로 카밀 조단의 이 정리에 대한 원래의 증명은 단순 다각형(증명 없이 기술됨)의 특수한 경우를 출발점으로 삼았습니다.[8]다각형 내부의 영역(내부)은 유한하지만 0이 아닌 면적[9]가진 요르단-쇤플라이 정리에 의해 위상학적으로 열린 원반동등경계 집합[1] 형성합니다.[10]다각형 자체는 위상적으로 과 동일하며,[11] 바깥쪽 영역(외부)은 무한한 면적을 가진 무한 연결 열린 집합입니다.[10]단순 다각형의 공식적인 정의는 일반적으로 선분의 체계로 정의되지만, 단순 다각형을 평면의 닫힌 집합으로 정의하는 것이 가능하며, 이는 다각형의 내부와 선분의 결합입니다.[1]

단순 다각형의 대각선은 두 개의 다각형 꼭짓점이 끝점으로 있고 그렇지 않은 경우에는 다각형의 내부에 완전히 있는 모든 선분입니다.[12]

특성.

꼭짓점 중 하나에 있는 단순 다각형의 내각은 꼭짓점에 있는 다각형의 내부에 걸쳐 있는 각도입니다.꼭짓점은 내부 π {\ \직선 각도, 180°)보다 작으면 볼록합니다.내부 각도가 π 보다 크면 오목합니다 내부 각도가 θ 인 경우 동일한 꼭짓점에 있는 외부 각도가 보조 π-θ {\ \-\한 방향에서 다음 방향으로 회전하는 각도로 정의됩니다.외각은 볼록한 꼭지점에서 양수이거나 오목한 꼭지점에서 음수입니다.모든 단순 다각형에 대해 외부 각도의 합은 π 1회전, 360°)입니다.따라서 변이 단순 다각형에 대한 내각의 합은( -)π - 2입니다

11개의 꼭짓점을 가진 삼각형 다각형: 11개의 변과 8개의 대각선이 9개의 삼각형을 형성합니다.

모든 단순 다각형은 대각선 부분 집합에 의해 내부-이소 삼각형으로 분할될 수 있습니다.다각형에n개의 {\ n의 변이 있을 때 이러한 파티션에는 -개의 대각선이 포함되어 - 개의 삼각형을 형성합니다.그 결과 분할을 다각형 삼각 분할이라고 합니다.[7]삼각형의 단순 다각형의 모양은 다각형의 내각과 대각선을 공유하는 삼각형 쌍에 의해 형성된 4각형교차 비율에 의해 고유하게 결정될 수 있습니다.[14]

두 귀 정리에 따르면 삼각형이 아닌 모든 단순 다각형에는 두 개의 귀가 있고, 두 개의 이웃이 대각선의 끝점입니다.[7]관련 정리에 따르면 볼록 다각형이 아닌 모든 단순 다각형에는 이 있고, 두 개의 이웃이 다각형 외부에 있는 선분의 끝점입니다.정확히 두 개의 귀와 한 개의 입을 가진 다각형을 의인화된 다각형이라고 부릅니다.[15]

42개의 꼭짓점을 가진 이 다각형 미술관은 4개의 표시된 꼭짓점에 설치된 카메라에서 완전히 볼 수 있습니다.

미술관 정리에 따르면, n개의 정점을 가진 단순 다각형에서, 다각형의 모든 점이 선택된 정점 중 하나에서 보이는 성질을 가진 정점의 부분 집합을(를) 최대까지 찾을 수 있습니다.즉, 다각형의 각 에 대해 p을(를) 선택한 꼭지점에 연결하는 선분이 존재하며, 다각형의 내부 점만 통과합니다.이를 증명하는 한 가지 방법은 다각형의 삼각형에 그래프 채색을 사용하는 것입니다. 삼각형의 각 변 또는 대각선이 서로 다른 색의 끝점 두 개를 갖도록 꼭짓점을 세 가지 색으로 색칠하는 것은 항상 가능합니다.다각형의 각 점은 선택한 삼각형에서 해당 점을 포함하는 삼각형의 세 꼭짓점 중 하나와 같이 각 색의 꼭짓점에 표시됩니다.색상 중 하나는 기껏해야/ / }개의 정점에서 사용되어 정리를 증명합니다.

특수한 경우

모든 볼록 다각형은 단순 다각형입니다.단순 다각형의 또 다른 중요한 부류는 별 모양의 다각형으로, 모든 점이 보이는 점(내부 또는 경계)을 가진 다각형입니다.[1]

직선 에 대한 모노톤 다각형 에 수직인 모든 선이 연결된 집합에서 다각형의 내부와 교차하는 다각형입니다이와 동일하게 경계가 두 개의 단조 다각형 사슬로 분할될 수 있는 다각형이며,L {\}에 수직으로 투영될이 L {\ L을 따라 체인의 순서와 같습니다.[17]

계산문제

점이 다각형 내부에 있는지 여부를 검정하려면 점에서 나오는 광선을 구성하고 다각형과의 교차점을 계산합니다.모서리의 내부 점과 홀수로 교차하는 경우 점은 다각형 내부에 있고, 짝수인 경우 점은 외부에 있습니다.다각형 꼭짓점을 통과하거나 가장자리를 포함하는 광선은 특별한 주의가 필요합니다.[18]
단순한 다각형(내부에 파란색 음영이 있는)과 볼록한 선체(파란색과 노란색 영역 모두를 둘러싸는)

계산 기하학에서 몇 가지 중요한 계산 작업은 단순 다각형 형태의 입력을 포함합니다.

  • 폴리곤 테스트의 포인트는 단순 폴리곤 P와 쿼리 포인트 q에 대해 qP의 내부에 있는지 여부를 결정하는 것입니다.선형 시간으로 해결할 수 있습니다. 또는 선형 시간으로 주어진 다각형을 데이터 구조로 처리하여 다각형 테스트의 후속 지점을 로그 시간으로 수행할 수 있습니다.[19]
  • 간단한 공식들은 다각형 내부의 넓이를 계산하는 것으로 알려져 있습니다.여기에는 임의의 다각형에 대한 신발 끈 공식[20]정수의 꼭짓점 좌표를 가진 다각형에 대한 픽의 정리가 포함됩니다.[11][21]
  • 단순한 다각형의 볼록한 선체는 다각형으로 연결되지 않은 점들의 볼록한 선체를 찾는 알고리즘보다 빠른 선형 시간으로도 찾을 수 있습니다.[5]
  • 간단한 다각형의 삼각측량을 구성하는 것은 알고리즘이 복잡하지만 선형 시간으로도 수행할 수 있습니다.또한 동일한 알고리즘을 수정하여 닫힌 다각형 체인이 선형 시간에 단순 다각형을 형성하는지(즉, 자기 교차를 피하는지)를 검정할 수 있습니다.[22]이는 또한 주어진 다각형에 대해 반드시 최적의 점 수를 사용하지는 않지만 최대 ⌊ 점을 사용하여 미술관 문제를 해결하는 선형 시간 알고리즘으로 이어집니다.한 번에 하나의 대각선을 대체하는 플립에 의해 동일한 다각형의 임의의 두 삼각형을 서로 변환하는 것은 가능하지만, 제한된 수의 플립만을 사용하여 한 개가 그렇게 할 수 있는지 여부를 결정하는 것은 NP-완전합니다.[24]
  • 삼각법을 서브루틴으로 사용하는 알고리즘은 내부의 두 점을 다각형으로 교차하지 않고 연결하는 평면상 가장 짧은 경로측지 경로를 선형 시간으로 확인할 수 있습니다.[25][26]측지선 중심의 경우에도 마찬가지이며, 측지선 경로의 최대 길이를 다른 모든 점으로 최소화하는 다각형의 한 점입니다.[25]
  • 단순 다각형의 내부 점의 가시성 다각형은 주어진 점에서 다각형 내부로 직접 보이는 점을 선형 시간으로 구성할 수 있습니다.[27]주어진 선분의 적어도 한 점에서 보이는 부분 집합의 경우에도 마찬가지입니다.[26]

단순 다각형에 대해 연구된 다른 계산 문제에는 다각형에 대한 가장 긴 대각선 또는 가장 긴 선분 내부의 구성,[12] 볼록 두개골(주어진 단순 다각형 내에서 가장 큰 볼록 다각형)[28][29]중앙 축[30] 직선 골격을 포함하여 그 모양에 근접한 다양한 1차원 골격의 구성이 포함됩니다.[31]연구자들은 또한 그들의 오프셋 곡선,[32] 조합 및 교차점,[10] 그리고 민코프스키 합을 사용하여 단순 다각형으로 다른 다각형을 만드는 것을 연구했지만,[33] 이러한 작업의 결과로 항상 단순한 다각형이 만들어지는 것은 아닙니다.실제로 교차 및 차분 작업의 경우, 결과가 1차원 특징 또는 심지어 고립된 점을 포함할 수 있는 집합이 아니라 2차원 영역임을 확인하기 위한 주의가 필요합니다.[10]

관련구성

리만 매핑 정리에 따르면, 평면의 단순히 연결된 열린 부분 집합은 디스크에 등각적으로 매핑될 수 있습니다.Schwarz-Christofel 매핑은 지정된 꼭짓점 각도와 디스크 경계에 있는 다각형 꼭짓점의 사전 이미지를 사용하여 디스크에서 간단한 다각형으로의 맵을 명시적으로 구성하는 방법을 제공합니다.이러한 사전 정점은 일반적으로 수치적으로 계산됩니다.[34]

검은색 다각형은 모든 빨간 점을 연결하는 가장 짧은 고리로, 출장 영업사원 문제의 해결책입니다.

평면에 있는 점들의 단 하나의 선에 있지 않은 모든 유한 집합은 간단한 다각형(180° 각도 허용)의 꼭짓점을 형성하도록 연결될 수 있습니다. 예를 들어, 그러한 다각형 중 하나가 판매원 방문 문제에 대한 해결책입니다.[35]이와 같이 점을 연결하여 다각형을 형성하는 것을 다각형화라고 합니다.[36]

모든 단순 다각형은 반평면의 결합과 교차점에서 다각형(내부를 포함한 닫힌 집합)을 구성하는 구성 입체 기하학에서 공식으로 표현될 수 있으며, 다각형의 각 면은 공식에서 반평면으로 한 번 나타납니다.을 이 표현으로 변환하는 작업은 O 에 수행할 수 있습니다

단순 다각형의 가시성 그래프는 다각형의 변과 대각선을 나타내는 모서리로 꼭짓점을 연결합니다.[2]항상 다각형 측면으로 형성된 해밀턴 사이클을 포함합니다.지정된 해밀턴 사이클을 변의 사이클로 지정된 그래프를 가시성 그래프로 하는 다각형을 재구성하는 계산 복잡성은 여전히 열려 있는 문제로 남아 있습니다.[38]

참고 항목

참고문헌

  1. ^ a b c d e f Preparata, Franco P.; Shamos, Michael Ian (1985). Computational Geometry: An Introduction. Texts and Monographs in Computer Science. Springer-Verlag. p. 18. doi:10.1007/978-1-4612-1098-6. ISBN 978-1-4612-1098-6.
  2. ^ a b Everett, Hazel; Corneil, Derek (1995). "Negative results on characterizing visibility graphs". Computational Geometry: Theory & Applications. 5 (2): 51–63. doi:10.1016/0925-7721(95)00021-Z. MR 1353288.
  3. ^ Aronov, Boris; Seidel, Raimund; Souvaine, Diane (1993). "On compatible triangulations of simple polygons". Computational Geometry: Theory & Applications. 3 (1): 27–35. doi:10.1016/0925-7721(93)90028-5. MR 1222755.
  4. ^ Malkevitch, Joseph (2016). "Are precise definitions a good idea?". AMS Feature Column. American Mathematical Society.
  5. ^ a b McCallum, Duncan; Avis, David (1979). "A linear algorithm for finding the convex hull of a simple polygon". Information Processing Letters. 9 (5): 201–206. doi:10.1016/0020-0190(79)90069-3. MR 0552534.
  6. ^ de Berg, M.; van Kreveld, M.; Overmars, Mark; Schwarzkopf, O. (2008). Computational Geometry: Algorithms and Applications (3rd ed.). Springer. p. 58.
  7. ^ a b c Meisters, G. H. (1975). "Polygons have ears". The American Mathematical Monthly. 82 (6): 648–651. doi:10.2307/2319703. JSTOR 2319703. MR 0367792.
  8. ^ Hales, Thomas C. (2007). "Jordan's proof of the Jordan curve theorem" (PDF). From Insight to Proof: Festschrift in Honour of Andrzej Trybulec. Studies in Logic, Grammar and Rhetoric. University of Białystok. 10 (23).
  9. ^ Thomassen, Carsten (1992). "The Jordan-Schönflies theorem and the classification of surfaces". The American Mathematical Monthly. 99 (2): 116–130. doi:10.1080/00029890.1992.11995820. JSTOR 2324180. MR 1144352.
  10. ^ a b c d Margalit, Avraham; Knott, Gary D. (1989). "An algorithm for computing the union, intersection or difference of two polygons". Computers & Graphics. 13 (2): 167–183. doi:10.1016/0097-8493(89)90059-9.
  11. ^ a b Niven, Ivan; Zuckerman, H. S. (1967). "Lattice points and polygonal area". The American Mathematical Monthly. 74: 1195–1200. doi:10.2307/2315660. MR 0225216.
  12. ^ a b Aggarwal, Alok; Suri, Subhash (1990). "Computing the longest diagonal of a simple polygon". Information Processing Letters. 35 (1): 13–18. doi:10.1016/0020-0190(90)90167-V. MR 1069001.
  13. ^ Richmond, Bettina; Richmond, Thomas (2023). A Discrete Transition to Advanced Mathematics. Pure and Applied Undergraduate Texts. Vol. 63 (2nd ed.). American Mathematical Society. p. 421. ISBN 9781470472047.
  14. ^ Snoeyink, Jack (1999). "Cross-ratios and angles determine a polygon". Discrete & Computational Geometry. 22 (4): 619–631. doi:10.1007/PL00009481. MR 1721028.
  15. ^ Toussaint, Godfried (1991). "Anthropomorphic polygons". The American Mathematical Monthly. 98 (1): 31–35. doi:10.2307/2324033. JSTOR 2324033. MR 1083611.
  16. ^ Fisk, S. (1978). "A short proof of Chvátal's watchman theorem". Journal of Combinatorial Theory, Series B. 24 (3): 374. doi:10.1016/0095-8956(78)90059-X.
  17. ^ Preparata, Franco P.; Supowit, Kenneth J. (1981). "Testing a simple polygon for monotonicity". Information Processing Letters. 12 (4): 161–164. doi:10.1016/0020-0190(81)90091-0.
  18. ^ Schirra, Stefan (2008). "How reliable are practical point-in-polygon strategies?" (PDF). In Halperin, Dan; Mehlhorn, Kurt (eds.). Algorithms – ESA 2008, 16th Annual European Symposium, Karlsruhe, Germany, September 15–17, 2008. Proceedings. Lecture Notes in Computer Science. Vol. 5193. Springer. pp. 744–755. doi:10.1007/978-3-540-87744-8_62.
  19. ^ Snoeyink, Jack (2017). "Point Location" (PDF). In Toth, Csaba D.; O'Rourke, Joseph; Goodman, Jacob E. (eds.). Handbook of Discrete and Computational Geometry (3rd ed.). Chapman and Hall/CRC. pp. 1005–1023.
  20. ^ Braden, Bart (1986). "The surveyor's area formula" (PDF). The College Mathematics Journal. 17 (4): 326–337. doi:10.2307/2686282. JSTOR 2686282. Archived from the original (PDF) on 2012-11-07.
  21. ^ Grünbaum, Branko; Shephard, G. C. (February 1993). "Pick's theorem". The American Mathematical Monthly. 100 (2): 150–161. doi:10.2307/2323771. JSTOR 2323771. MR 1212401.
  22. ^ Chazelle, Bernard (1991). "Triangulating a simple polygon in linear time". Discrete & Computational Geometry. 6 (5): 485–524. doi:10.1007/BF02574703. MR 1115104.
  23. ^ Urrutia, Jorge (2000). "Art gallery and illumination problems". In Sack, Jörg-Rüdiger; Urrutia, Jorge (eds.). Handbook of Computational Geometry. Amsterdam: North-Holland. pp. 973–1027. doi:10.1016/B978-044482537-7/50023-1. ISBN 0-444-82537-1. MR 1746693.
  24. ^ Aichholzer, Oswin; Mulzer, Wolfgang; Pilz, Alexander (2015). "Flip distance between triangulations of a simple polygon is NP-complete". Discrete & Computational Geometry. 54 (2): 368–389. arXiv:1209.0579. doi:10.1007/s00454-015-9709-7. MR 3372115.
  25. ^ a b Ahn, Hee-Kap; Barba, Luis; Bose, Prosenjit; De Carufel, Jean-Lou; Korman, Matias; Oh, Eunjin (2016). "A linear-time algorithm for the geodesic center of a simple polygon". Discrete & Computational Geometry. 56 (4): 836–859. arXiv:1501.00561. doi:10.1007/s00454-016-9796-0. MR 3561791.
  26. ^ a b Guibas, Leonidas; Hershberger, John; Leven, Daniel; Sharir, Micha; Tarjan, Robert E. (1987). "Linear-time algorithms for visibility and shortest path problems inside triangulated simple polygons". Algorithmica. 2 (2): 209–233. doi:10.1007/BF01840360. MR 0895445.
  27. ^ El Gindy, Hossam; Avis, David (1981). "A linear algorithm for computing the visibility polygon from a point". Journal of Algorithms. 2 (2): 186–197. doi:10.1016/0196-6774(81)90019-5.
  28. ^ Chang, J. S.; Yap, C.-K. (1986). "A polynomial solution for the potato-peeling problem". Discrete & Computational Geometry. 1 (2): 155–182. doi:10.1007/BF02187692. MR 0834056.
  29. ^ Cabello, Sergio; Cibulka, Josef; Kynčl, Jan; Saumell, Maria; Valtr, Pavel (2017). "Peeling potatoes near-optimally in near-linear time". SIAM Journal on Computing. 46 (5): 1574–1602. arXiv:1406.1368. doi:10.1137/16M1079695. MR 3708542.
  30. ^ Chin, Francis Y. L.; Snoeyink, Jack; Wang, Cao An (1999). "Finding the medial axis of a simple polygon in linear time". Discrete & Computational Geometry. 21 (3): 405–420. doi:10.1007/PL00009429. MR 1672988.
  31. ^ Cheng, Siu-Wing; Mencel, Liam; Vigneron, Antoine (2016). "A faster algorithm for computing straight skeletons". ACM Transactions on Algorithms. 12 (3): 44:1–44:21. arXiv:1405.4691.
  32. ^ Palfrader, Peter; Held, Martin (February 2015). "Computing mitered offset curves based on straight skeletons". Computer-Aided Design and Applications. 12 (4): 414–424. doi:10.1080/16864360.2014.997637.
  33. ^ Oks, Eduard; Sharir, Micha (2006). "Minkowski sums of monotone and general simple polygons". Discrete & Computational Geometry. 35 (2): 223–240. doi:10.1007/s00454-005-1206-y. MR 2195052.
  34. ^ Trefethen, Lloyd N.; Driscoll, Tobin A. (1998). "Schwarz–Christoffel mapping in the computer era". Proceedings of the International Congress of Mathematicians, Vol. III (Berlin, 1998). Documenta Mathematica. pp. 533–542. MR 1648186.
  35. ^ Quintas, L. V.; Supnick, Fred (1965). "On some properties of shortest Hamiltonian circuits". The American Mathematical Monthly. 72 (9): 977–980. doi:10.2307/2313333. JSTOR 2313333. MR 0188872.
  36. ^ Demaine, Erik D.; Fekete, Sándor P.; Keldenich, Phillip; Krupke, Dominik; Mitchell, Joseph S. B. (2022). "Area-optimal simple polygonalizations: the CG challenge 2019". ACM Journal of Experimental Algorithmics. 27: A2.4:1–12. doi:10.1145/3504000. hdl:1721.1/146480. MR 4390039.
  37. ^ Dobkin, David; Guibas, Leonidas; Hershberger, John; Snoeyink, Jack (1993). "An efficient algorithm for finding the CSG representation of a simple polygon". Algorithmica. 10 (1): 1–23. doi:10.1007/BF01908629. MR 1230699.
  38. ^ Ghosh, Subir Kumar; Goswami, Partha P. (2013). "Unsolved problems in visibility graphs of points, segments, and polygons". ACM Computing Surveys. 46 (2): 22:1–22:29. arXiv:1012.5187. doi:10.1145/2543581.2543589.

외부 링크