बहुभुज विभाजन

ज्यामिति में, बहुभुज का एक विभाजन अभाज्य इकाइयों (जैसे वर्ग) का एक समूह है, जो अतिव्याप्त नहीं होता है  और जिसका मिलन बहुभुज के बराबर होता है। एक बहुभुज विभाजन समस्या एक ऐसे विभाजन को खोजने की समस्या है जो किसी अर्थ में न्यूनतम है, उदाहरण के लिए इकाइयों की सबसे छोटी संख्या या सबसे छोटी कुल पार्श्व-लंबाई वाली इकाइयों वाला विभाजन होता है ।

बहुभुज विभाजन कम्प्यूटेशनल ज्यामिति में समस्याओं का एक महत्वपूर्ण वर्ग होता है। विभाजन किए जा रहे बहुभुज के प्रकार और विभाजन में अनुमत इकाइयों के प्रकार के आधार पर, कई अलग-अलग बहुभुज विभाजन समस्याएँ होती हैं।

पॉलीगॉन अपघटन शब्द का प्रयोग अधिकांशतः एक सामान्य शब्द के रूप में किया जाता है जिसमें बहुभुज आवरण और विभाजन दोनों सम्मलित होते हैं।

अनुप्रयोग
बहुभुज अपघटन कई क्षेत्रों में लागू होता है:

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

एक बहुभुज को त्रिभुजों में विभाजित करना
मूख्य रुप से अध्ययन की गई बहुभुज विभाजन समस्या त्रिकोणों की एक छोटी संख्या में विभाजन होती है, जिसे त्रिकोणासन भी कहा जाता है। एक छिद्र-मुक्त बहुभुज के साथ $$n$$ कोने होते है, और समय में त्रिभुज की गणना की जा सकती है $$\Theta(n)$$ छिद्र वाले बहुभुज के लिए, निम्न सीमा होती है $$\Omega(n \log n)$$।

एक सम्बद्धित समस्या न्यूनतम कुल छोर की लंबाई वाले त्रिकोणों में विभाजन करती है, जिसे न्यूनतम-भार त्रिकोणासन भी कहा जाता है।

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

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

आयताकार विभाजन में कई अनुप्रयोग होते हैं। वीएलएसआई डिजाइन में, लिथोग्राफिक पैटर्न जनरेटर में उपलब्ध सरल आकृतियों में आवरण को विघटित करना आवश्यक होता है, और इसी तरह की आवरण अपघटन की समस्या डीएनए माइक्रोएरे डिजाइन में भी उत्पन्न होती है। आयताकार विभाजन प्रतिबिंब प्रक्रमण में संवलन संक्रिया को आसान बना सकते हैं और बिटमैप चित्र को संपीडन, करने के लिए उपयोग किया जा सकता है। अतिसंबद्‍ध मैट्रिक्स अपघटन की समस्याओं को विकिरण चिकित्सा योजना पर लागू किया गया है, और रोबोट स्वसमुच्चय अनुक्रमों को डिजाइन करने के लिए आयताकार विभाजन का भी उपयोग किया गया है।

घटकों की संख्या को कम करना
घटक आयतों की संख्या को कम करने की समस्या बहुपद होती है: कई बहुपद समय ऐल्‍गोरिथ्‍म ज्ञात हैं। देखो   और  सर्वेक्षण के लिए होता है।

एक आयताकार बहुभुज को वर्गों की सबसे छोटी संख्या में विभाजित करने की समस्या (स्वैच्छिक आयतों के विपरीत) एनपी- दृढ़ होता है।

कुल किनारे की लंबाई को कम करना
कुछ अनुप्रयोगों में, कर्त की कुल लंबाई को कम करना अधिक महत्वपूर्ण होता है (उदाहरण के लिए विभाजन करने की लागत को कम करने के लिए, या धूल की मात्रा को कम करने के लिए)। इस समस्या को न्यूनतम किनारे-लंबाई का आयताकार विभाजन कहा जाता है। लिंगास, पिंटर, रिवेस्ट और शमीर ने पहली बार 1982 में इसका अध्ययन किया था। इस समस्या की कार्य अवधि जटिलता महत्वपूर्ण रूप से इस बात पर निर्भर करती है कि अनिर्मित बहुभुज में छिद्र  होने की अनुमति है या नहीं।

यदि अपरिष्कृ बहुभुज छिद्र रहित है, तो समय पर एक इष्टतम विभाजन किया जा सकता है $$O(n^4)$$, जहां n बहुभुज के शीर्षों की संख्या है। "हिस्टोग्राम बहुभुज" के विशेष स्थिति में, जटिलता में सुधार होता है $$O(n^3)$$ एल्गोरिथ्म गतिशील प्रोग्रामिंग का उपयोग करता है और निम्नलिखित तथ्य पर निर्भर करता है: यदि बहुभुज छिद्र -मुक्त है, तो इसमें एक न्यूनतम-लंबाई वाला विभाजन होता है जिसमें प्रत्येक अधिकतम रेखा-खंड में सीमा का एक शीर्ष होता है। इसका कारण यह है कि, किसी भी न्यूनतम-लंबाई वाले विभाजन में, प्रत्येक अधिकतम रेखा-खंड को तब तक धकेला जा सकता है, जब तक कि यह कुल लंबाई को बदले बिना सीमा के किसी एक कोने से टकराता है। इसलिए केवल $$O(n^2)$$ इष्टतम विभाजन में एक रेखा खंड के लिए उम्मीदवार, और उन्हें  गतिक क्रमादेशन का उपयोग करके कुशलता से जांचा जा सकता है।

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


 * A (3+sqrt(3)) समय में सन्निकटन $$O(n^2)$$;
 * A (3+sqrt(3)) समय में सन्निकटन $$O(n \log{n})$$;
 * समय में 4 सन्निकटन $$O(n \log{n})$$ (अधिक सामान्यतः, d आयामों में, यह एक है $$2 d$$ समय में सन्निकटन $$O(d n \log{n})$$),
 * समय में 3 सन्निकटन $$O(n^4)$$;
 * समय में 1.75 सन्निकटन $$O(n^5)$$ (अधिक सामान्यतः, d आयामों में, यह एक होती है $$2d-4+4/d$$ समय में सन्निकटन $$O(d n^{2 d + 1})$$); बाद वाला सन्निकटन गिलोटिन विभाजन नामक समस्या के प्रतिबंधित संस्करण का उपयोग करता है, जिसमें कट गिलोटिन कट्स (एज-टू-एज कट) होने चाहिए।
 * परिष्कृत गिलोटिन कटौती का उपयोग करते हुए कई बहुपद-समय सन्निकटन योजनाएं होती है।

रिक्त स्थान की संख्या कम करना
इस समुच्चयन में, बड़े बहुभुज में पहले से ही कुछ युग्‍मानूसार-असंबद्ध आयत सम्मलित होते हैं। उद्देश्य बहुभुज के विभाजन को आयतों में इस तरह खोजना है कि प्रत्येक मूल आयत खण्ड़ो में समाहित होता है, और इसके अधीन, "रिक्त स्थान"  की संख्या (टुकड़े जिनमें मूल आयत नहीं होते है) जितना संभव हो उतना छोटा है। निम्नलिखित परिणाम ज्ञात हैं:
 * यदि बड़ा बहुभुज एक आयत है, तो n आयतों की किसी भी अधिकतम क्रम बद्धता में, सभी छिद्र आयत होते हैं, और उनकी संख्या अधिक से अधिक होती है $$n - \lceil 2 \sqrt{n} - 1\rceil$$, और यह संक्षेप मे होता है।
 * यदि बड़ा बहुभुज T प्रतिवर्ती शीर्षों वाला एक सरलरेखीय बहुभुज है, तो n आयतों की किसी भी अधिकतम क्रम बद्धता में, छिद्रों को अधिक से अधिक विभाजित किया जा सकता है $$T + n - \lceil 2 \sqrt{n} - 1\rceil$$ आयताकार, और यह संक्षेप मे होता है।

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

यदि समलम्बाभ की संख्या कम से कम नहीं होनी चाहिए, तो समय पर समलम्बाकार पाया जा सकता है $$O(n)$$, बहुभुज त्रिभुज एल्गोरिथम के उपोत्पाद के रूप में होता है ।

यदि बहुभुज में छिद्र होते हैं, तो समस्या एनपी-पूर्ण है, किन्तु समय में 3-सन्निकटन के रूप मे पाया जा सकता है $$O(n\log n)$$.

एक बहुभुज को उत्तल चतुर्भुजों में विभाजित करें
एक चतुर्भुज या चतुष्कोण चतुर्भुज में एक विभाजन होता है।

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

स्टेनर बिंदुओं के साथ छिद्र -मुक्त बहुभुजों के चतुष्कोणों के लिए रैखिक-समय एल्गोरिदम हैं, किन्तु उन्हें सबसे छोटा विभाजन खोजने की गारंटी नहीं है।

एक बहुभुज को m-gons में विभाजित करें
पिछली समस्याओं का एक सामान्यीकरण उन बहुभुजों में विभाजन करना होता है जिनकी ठीक m पृष्ठ हैं, या अधिकतम m पृष्ठ हैं। यहाँ उद्देश्य कुल किनारे की लंबाई को कम करना है। इस समस्या को n और m में समय बहुपद में हल किया जा सकता है।

एक बहुभुज को उत्तल बहुभुजों में विभाजित करें
उत्तल बहुभुजों में एक सामान्य बहुभुज का विभाजन करते समय, कई उद्देश्यों का अध्ययन किया गया है।

घटकों की संख्या को कम करना
इष्टतम उत्तल विभाजन समस्या एक गैर-उत्तल बहुभुज को यथासंभव कुछ उत्तल बहुभुजों में विभाजित करता है, केवल प्रारंभिक बहुभुज के कोने का उपयोग करना। इस समस्या के लिए सटीक और अनुमानित एल्गोरिदम हैं।

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

क्षेत्र और परिधि को बराबर करना
उचित बहुभुज विभाजन समस्या एक (उत्तल) बहुभुज को एक समान परिधि और समान क्षेत्र के साथ (उत्तल) खण्ड़ो में विभाजित करना है (यह निष्पक्ष पिंडिका काटने का एक विशेष स्थिति होती है)। किसी भी उत्तल बहुभुज को उत्तल खण्ड़ो  की किसी भी संख्या n में ठीक 1/n के क्षेत्रफल के साथ आसानी से काटा जा सकता है। चूंकि, यह सुनिश्चित करना कि खण्ड़ो का क्षेत्रफल बराबर हो और परिमाप समान हो, अधिक चुनौतीपूर्ण  होता है। इस समस्या को हल करने के लिए एल्गोरिदम हैं जब खण्ड़ो  की संख्या 2 की शक्ति होती है।

इस समस्या का एक सामान्यीकरण तब होता है जब क्षेत्र और परिधि के उपायों को क्रमशः तत्व पर और बहुभुज की सीमा पर माप के साथ बदल दिया जाता है। 2 और 3 खण्ड़ो के लिए इस समस्या का अध्ययन किया गया।

किसी भी संख्या के उपायों को संभालने के लिए और सामान्यीकरण किया जाता है है।

अधिक सामान्य घटक आकार
खण्ड़ो के अधिक सामान्य आकार का अध्ययन किया गया है, जिनमें सम्मलित हैं: सर्पिल आकार, स्टार बहुभुज और मोनोटोन बहुभुज। एक सर्वेक्षण के लिए [देखें।

यह भी देखें

 * पॉलीगॉन कवरिंग - एक संबंधित समस्या जिसमें खण्ड़ो को ओवरलैप करने की अनुमति दी जाती है।
 * पैकिंग समस्याएँ - एक संबंधित समस्या जिसमें खण्ड़ो को पूरी बड़ी वस्तु के भीतर फिट होना पड़ता है किन्तु  उसे पूरी तरह से ढकना नहीं पड़ता।
 * उत्तल नियमित बहुभुजों द्वारा यूक्लिडियन टाइलिंग - पूरे समतल को सरल बहुभुजों में विभाजित करने की समस्या जैसे कि आयतों के साथ टाइलिंग।
 * वर्ग का वर्ग बनाना - केवल अन्य अभिन्न वर्गों का उपयोग करके एक अभिन्न वर्ग को विभाजित करने की समस्या।
 * अंतरिक्ष विभाजन
 * टाइलिंग पहेली - दिए गए कई खण्ड़ो को दिए गए बड़े बहुभुज में पैक करने की पहेली।
 * गिलोटिन विभाजन