बहुभुजीकरण

कम्प्यूटेशनल ज्यामिति में, यूक्लिडियन विमान में बिंदुओं के एक सीमित सेट का बहुभुजीकरण एक साधारण बहुभुज होता है जिसके शीर्ष पर दिए गए बिंदु होते हैं। बहुभुजीकरण को बहुभुजीकरण भी कहा जा सकता है, सरल बहुभुजीकरण, हैमिल्टनियन बहुभुज, गैर-क्रॉसिंग हैमिल्टनियन चक्र, या क्रॉसिंग-फ्री स्ट्रेट-एज स्पैनिंग चक्र।

प्रत्येक बिंदु सेट जो एक रेखा पर नहीं होता है, उसमें कम से कम एक बहुभुजीकरण होता है, जिसे बहुपद समय में पाया जा सकता है। उत्तल स्थिति में बिंदुओं के लिए, केवल एक ही होता है, लेकिन कुछ अन्य बिंदु सेटों के लिए तेजी से कई हो सकते हैं। कई प्राकृतिक अनुकूलन मानदंडों के तहत एक इष्टतम बहुभुजीकरण ढूँढना एक कठिन समस्या है, जिसमें एक विशेष मामले के रूप में ट्रैवलिंग सेल्समैन की समस्या भी शामिल है। सभी बहुभुजीकरणों को गिनने की जटिलता अज्ञात बनी हुई है।

परिभाषा
बहुभुजीकरण एक साधारण बहुभुज है जिसके शीर्षों के समुच्चय के रूप में यूक्लिडियन तल में बिंदुओं का एक निश्चित समूह होता है। एक बहुभुज को उसके शीर्षों पर चक्रीय क्रम द्वारा वर्णित किया जा सकता है, जो बहुभुज के किनारों, रेखा खंडों द्वारा लगातार जोड़े में जुड़े होते हैं। इस प्रकार परिभाषित एक बहुभुज सरल होता है यदि इन रेखाखंडों के एकमात्र प्रतिच्छेदन बिंदु साझा अंतबिंदु पर हों।

कुछ लेखक केवल उन बिंदुओं के लिए बहुभुजीकरण पर विचार करते हैं जो सामान्य स्थिति में हैं, जिसका अर्थ है कि कोई भी तीन एक पंक्ति में नहीं हैं। इस धारणा के साथ, बहुभुज के दो लगातार खंडों के बीच का कोण 180° नहीं हो सकता। हालाँकि, जब संरेखताओं वाले बिंदु सेटों पर विचार किया जाता है, तो आमतौर पर उनके बहुभुजीकरण के लिए कुछ बिंदुओं पर 180° कोण की अनुमति दी जाती है। जब ऐसा होता है, तब भी इन बिंदुओं को किनारों के आंतरिक होने के बजाय शीर्ष माना जाता है।

अस्तित्व
देखा गया कि एक पंक्ति में तीन के बिना सेट किया गया प्रत्येक परिमित बिंदु एक साधारण बहुभुज के शीर्ष बनाता है। हालाँकि, एक पंक्ति में तीन लोगों के होने की आवश्यकता अनावश्यक रूप से मजबूत है। इसके बजाय, बहुभुजीकरण (180° कोणों की अनुमति) के अस्तित्व के लिए केवल इतना आवश्यक है कि सभी बिंदु एक रेखा पर न हों। यदि वे ऐसा नहीं करते हैं, तो उनके पास एक बहुभुजीकरण है जिसका निर्माण बहुपद समय में किया जा सकता है। बहुभुज बनाने का एक तरीका किसी भी बिंदु को चुनना है $$q$$ के उत्तल पतवार में $$P$$ (जरूरी नहीं कि दिए गए बिंदुओं में से एक हो)। फिर चारों ओर के बिंदुओं को रेडियल रूप से व्यवस्थित करना $$q$$ (क्यू से दूरी के आधार पर संबंधों को तोड़ना) सभी दिए गए बिंदुओं के माध्यम से एक तारे के आकार के बहुभुज के चक्रीय क्रम का निर्माण करता है $$q$$ इसके कर्नेल में. एक केंद्रीय बिंदु के चारों ओर रेडियल रूप से बिंदुओं को क्रमबद्ध करने का एक ही विचार ग्राहम स्कैन उत्तल हल एल्गोरिथ्म के कुछ संस्करणों में उपयोग किया जाता है, और इसमें प्रदर्शन किया जा सकता है $$O(n\log n)$$ समय। 180° कोणों से बचने वाले बहुभुजीकरण हमेशा मौजूद नहीं होते हैं। उदाहरण के लिए, के लिए 3 × 3 और 5 × 5 वर्गाकार ग्रिड, सभी बहुभुजीकरण 180° कोणों का उपयोग करते हैं।

तारे के आकार के बहुभुजीकरण के साथ-साथ, बिंदुओं के प्रत्येक गैर-संरेखीय सेट में एक बहुभुजीकरण होता है जो एक मोनोटोन बहुभुज होता है। इसका मतलब यह है कि, कुछ सीधी रेखा के संबंध में (जिसे लिया जा सकता है $$x$$-अक्ष) संदर्भ रेखा की प्रत्येक लंबवत रेखा बहुभुज को एक ही अंतराल में काटती है, या बिल्कुल नहीं। का एक निर्माण अंकों को उनके आधार पर क्रमबद्ध करने से शुरू होता है $$x$$-निर्देशांक, और दो चरम बिंदुओं के माध्यम से एक रेखा खींचना। चूँकि सभी बिंदु एक रेखा में नहीं हैं, इस रेखा से घिरे दो खुले आधे तलों में से कम से कम एक गैर-रिक्त होना चाहिए। ग्रुनबाम दो मोनोटोन बहुभुज श्रृंखलाएं बनाता है जो बिंदुओं के क्रमबद्ध अनुवर्ती के माध्यम से चरम बिंदुओं को जोड़ता है: एक इस गैर-खाली खुले आधे विमान में बिंदुओं के लिए, और दूसरा शेष बिंदुओं के लिए। उनका मिलन वांछित एकस्वर बहुभुज है। छँटाई चरण के बाद, शेष निर्माण रैखिक समय में किया जा सकता है।

केवल अक्ष-समानांतर किनारों का उपयोग करके यह निर्धारित करना एनपी-पूर्ण है कि बिंदुओं के एक सेट में बहुभुजीकरण है या नहीं। हालाँकि, अतिरिक्त बाधा के साथ बहुभुजीकरण कि वे प्रत्येक शीर्ष पर दाएँ मुड़ते हैं, यदि वे मौजूद हैं, तो विशिष्ट रूप से निर्धारित होते हैं। एक बिंदु से होकर गुजरने वाली प्रत्येक अक्ष-समानांतर रेखा को सम संख्या में बिंदुओं से होकर गुजरना होगा, और इस बहुभुजीकरण को इस रेखा पर बिंदुओं के वैकल्पिक जोड़े को जोड़ना होगा। बहुभुजीकरण समय पर पाया जा सकता है $$O(n\log n)$$ बिंदुओं को समान निर्देशांक के आधार पर समूहित करके और प्रत्येक समूह को दूसरे निर्देशांक के आधार पर क्रमबद्ध करके। किसी भी बिंदु सेट के लिए, अधिकतम एक घुमाव में इस रूप का बहुभुजीकरण हो सकता है, और यह घुमाव फिर से बहुपद समय में पाया जा सकता है।

अनुकूलन
एक इष्टतम बहुभुजीकरण (इष्टतमता के विभिन्न मानदंडों के लिए) खोजने की समस्याएं अक्सर कम्प्यूटेशनल रूप से संभव नहीं होती हैं। उदाहरण के लिए, दिए गए बिंदुओं के लिए ट्रैवलिंग सेल्समैन समस्या के समाधान में कोई क्रॉसिंग नहीं है। इसलिए, यह हमेशा बहुभुजीकरण होता है, न्यूनतम परिधि वाला बहुभुजीकरण। इसे ढूंढना एनपी-कठिन है। इसी प्रकार, न्यूनतम या अधिकतम क्षेत्रफल वाले सरल बहुभुजीकरण को एनपी कठिन  के रूप में जाना जाता है, और कुछ कम्प्यूटेशनल प्रयासों का विषय रहा है। अधिकतम क्षेत्रफल हमेशा उत्तल पतवार के क्षेत्रफल के आधे से अधिक होता है, जो 2 का अनुमानित अनुपात देता है। अधिकतम परिधि वाले सरल बहुभुजीकरण की सटीक जटिलता, और इस समस्या के लिए एक स्थिर सन्निकटन अनुपात का अस्तित्व अज्ञात रहता है। बहुभुजीकरण जो इसके सबसे लंबे किनारे की लंबाई को कम करता है, उसे ढूंढना भी एनपी-कठिन है, और इससे बेहतर अनुमानित अनुपात का अनुमान लगाना कठिन है $$\sqrt3$$; कोई स्थिर-कारक सन्निकटन ज्ञात नहीं है।

ट्रैवलिंग सेल्समैन समस्या के गैर-इष्टतम समाधान में क्रॉसिंग हो सकती है, लेकिन स्थानीय अनुकूलन चरणों द्वारा सभी क्रॉसिंग को खत्म करना संभव है जो कुल लंबाई को कम करते हैं। ऐसे चरणों का उपयोग करके जो प्रत्येक चरण पर क्रॉसिंग को भी समाप्त करते हैं, यह बहुपद समय में किया जा सकता है, लेकिन इस प्रतिबंध के बिना स्थानीय अनुकूलन अनुक्रम मौजूद हैं जो इसके बजाय चरणों की एक घातीय संख्या का उपयोग करते हैं।

सबसे छोटा बिटोनिक टूर (दिए गए बिंदुओं के माध्यम से न्यूनतम-परिधि मोनोटोन बहुभुज) हमेशा एक बहुभुज होता है, और बहुपद समय में पाया जा सकता है।

गिनती
किसी दिए गए बिंदु सेट के सभी बहुभुजों को गिनने की समस्या ♯P|#P से संबंधित है, जो एनपी (जटिलता) में निर्णय समस्याओं से जुड़ी समस्याओं की गिनती की श्रेणी है। हालाँकि, यह अज्ञात है कि क्या यह ♯P-complete|#P-complete है या, यदि नहीं, तो इसकी कम्प्यूटेशनल जटिलता क्या हो सकती है। बिंदुओं के एक सेट में बिल्कुल एक बहुभुजीकरण होता है यदि और केवल यदि यह उत्तल स्थिति में हो। के सेट मौजूद हैं $$n$$ वे बिंदु जिनके लिए बहुभुजीकरणों की संख्या उतनी ही बड़ी है $$4.64^n$$, और प्रत्येक सेट $$n$$ अंक अधिकतम है $$54.6^n$$ बहुभुजीकरण.

समतल विभाजक प्रमेय को लेबल किए गए बिंदु-सेट त्रिभुज पर लागू करने के तरीकों का उपयोग किसी सेट के सभी बहुभुजीकरणों को गिनने के लिए किया जा सकता है। $$n$$ उपघातीय समय में अंक, $$n^{O(\sqrt n)}$$. गतिशील प्रोग्रामिंग का उपयोग बहुपद समय में सभी मोनोटोन बहुभुजीकरणों को गिनने के लिए किया जा सकता है, और इस गणना के परिणामों का उपयोग यादृच्छिक मोनोटोन बहुभुजीकरण उत्पन्न करने के लिए किया जा सकता है।

पीढ़ी
यह अज्ञात है कि क्या सभी बहुभुजीकरणों की प्रणाली के लिए स्थानीय चालों के तहत एक कनेक्टेड राज्य अंतरिक्ष  बनाना संभव है जो बहुभुजीकरणों के किनारों की एक सीमित संख्या को बदलता है। यदि यह संभव होता, तो इसे राज्य स्थान पर  ग्राफ़ ट्रैवर्सल  लागू करके, सभी बहुभुजीकरण उत्पन्न करने के लिए एल्गोरिदम के हिस्से के रूप में उपयोग किया जा सकता था। इस समस्या के लिए, उन फ़्लिपों पर विचार करना अपर्याप्त है जो बहुभुज के दो किनारों को हटाते हैं और उन्हें दो अन्य किनारों से प्रतिस्थापित करते हैं, या वीई-फ़्लिप्स जो तीन किनारों को हटाते हैं, जिनमें से दो एक शीर्ष साझा करते हैं, और उन्हें तीन अन्य किनारों से प्रतिस्थापित करते हैं। ऐसे बहुभुजीकरण मौजूद हैं जिनके लिए कोई फ्लिप या वीई-फ्लिप संभव नहीं है, भले ही समान बिंदु सेट में अन्य बहुभुजीकरण हों।

बहुभुज आवरण, कमज़ोर सरल बहुभुज जो प्रत्येक दिए गए बिंदु को एक या अधिक बार शीर्ष के रूप में उपयोग करते हैं, इसमें सभी बहुभुजीकरण शामिल होते हैं और स्थानीय चालों से जुड़े होते हैं। बहुभुजों का एक और अधिक सामान्य वर्ग, आसपास के बहुभुज, सरल बहुभुज होते हैं जिनमें दिए गए कुछ बिंदु शीर्ष के रूप में होते हैं और सभी बिंदुओं को घेरते हैं। वे फिर से स्थानीय रूप से जुड़े हुए हैं, और प्रति बहुभुज बहुपद समय में सूचीबद्ध किए जा सकते हैं। एल्गोरिथ्म बहुभुजों के एक पेड़ का निर्माण करता है, जिसकी जड़ उत्तल पतवार है और एक शीर्ष को हटाकर एक दूसरे के आसपास के बहुभुज के माता-पिता को प्राप्त किया जाता है (बहुभुज के बाहरी हिस्से में दो कान प्रमेय को लागू करने से यह संभव साबित होता है)। इसके बाद यह बहुभुजों को सूचीबद्ध करने के लिए इस पेड़ पर एक रिवर्स-सर्च एल्गोरिदम लागू करता है। इस पद्धति के परिणामस्वरूप, सभी बहुभुजीकरणों को ई (जटिलता) में सूचीबद्ध किया जा सकता है ($$2^{O(n)}$$ के लिए $$n$$ अंक) और बहुपद स्थान।

अनुप्रयोग
क्लासिकल बिंदुओ को जोडो पहेलियों में कुछ अप्रत्याशित आकार बनाने के लिए बिंदुओं को क्रम से जोड़ना शामिल होता है, अक्सर बिना क्रॉसिंग के। ट्रैवलिंग सेल्समैन समस्या और इसके वेरिएंट के कई अनुप्रयोग हैं। बहुभुजीकरण का अनुप्रयोग बिखरे हुए डेटा बिंदुओं से समोच्च रेखाओं के पुनर्निर्माण और छवि विश्लेषण में सीमा अनुरेखण में भी होता है।

यह भी देखें

 * डेनजॉय-रिस्ज़ प्रमेय, अनंत बिंदुओं के सेट पर जिन्हें जॉर्डन आर्क द्वारा जोड़ा जा सकता है