आउटरप्लानर ग्राफ: Difference between revisions
(→इतिहास) |
No edit summary |
||
| (15 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
{{Short description|Non-crossing graph with vertices on outer face}} | {{Short description|Non-crossing graph with vertices on outer face}} | ||
[[File:Triangulation 3-coloring.svg|thumb|एक मैक्सिमम आउटरप्लानर ग्राफ और इसका 3-कलरिंग]] | [[File:Triangulation 3-coloring.svg|thumb|एक मैक्सिमम आउटरप्लानर ग्राफ और इसका 3-कलरिंग]] | ||
[[File:Finite-3-regular-graph-4-vertices.png|thumb|[[पूरा ग्राफ]] के<sub>4</sub> सबसे छोटा प्लानर ग्राफ है जो आउटरप्लानर नहीं है।]]ग्राफ़ सिद्धांत में, एक आउटरप्लानर ग्राफ़ एक ग्राफ़ होता है जिसमें एक प्लैनर आरेखण होता है जिसके लिए सभी कोने आरेखण के बाहरी | [[File:Finite-3-regular-graph-4-vertices.png|thumb|[[पूरा ग्राफ]] के<sub>4</sub> सबसे छोटा प्लानर ग्राफ है जो आउटरप्लानर नहीं है।]]ग्राफ़ सिद्धांत में, एक आउटरप्लानर ग्राफ़ एक ग्राफ़ होता है जिसमें एक प्लैनर आरेखण होता है जिसके लिए सभी कोने आरेखण के बाहरी फलक से संबंधित होते हैं। | ||
आउटर [[ प्लेनर ग्राफ |प्लेनर ग्राफ]] को दो वर्जित अवयस्क K4 और K2,3, या उनके कॉलिन डी वेर्डिएर ग्राफ़ इनवेरिएंट द्वारा (प्लैनर ग्राफ़ के लिए वैगनर के प्रमेय के अनुरूप) चित्रित किया जा सकता है। | आउटर [[ प्लेनर ग्राफ |प्लेनर ग्राफ]] को दो वर्जित अवयस्क K4 और K2,3, या उनके कॉलिन डी वेर्डिएर ग्राफ़ इनवेरिएंट द्वारा (प्लैनर ग्राफ़ के लिए वैगनर के प्रमेय के अनुरूप) चित्रित किया जा सकता है। | ||
उनके पास हैमिल्टनियन चक्र हैं यदि और केवल यदि वे द्विसंबद्ध हैं, तो इस | उनके पास हैमिल्टनियन चक्र हैं यदि और केवल यदि वे द्विसंबद्ध हैं, तो इस स्थितिे में बाहरी फलक अद्वितीय हैमिल्टनियन चक्र बनाता है। प्रत्येक आउटरप्लानर ग्राफ 3-रंगीन है, और अधिकतम 2 में गिरावट और [[ पेड़ की चौड़ाई |पेड़ की चौड़ाई]] है। | ||
बाहरी प्लैनर ग्राफ़ प्लानर ग्राफ़ का एक सबसेट है, श्रृंखला-समानांतर ग्राफ़ के सबग्राफ और [[सर्कल ग्राफ]] हैं। अधिक से अधिक | बाहरी प्लैनर ग्राफ़ प्लानर ग्राफ़ का एक सबसेट है, श्रृंखला-समानांतर ग्राफ़ के सबग्राफ और [[सर्कल ग्राफ]] हैं। अधिक से अधिक आउटरप्लानर ग्राफ़, जिनके लिए बाहरी किनारों को संरक्षित करते समय कोई और किनारों को जोड़ा नहीं जा सकता है, वे [[कॉर्डल ग्राफ]] और [[दृश्यता ग्राफ]] भी हैं। | ||
== इतिहास == | == इतिहास == | ||
बेस ग्राफ की दो प्रतियों को जोड़ने के लिए एक परिपूर्ण मिलान का उपयोग करके बनाए गए ग्राफ की योजना का निर्धारण करने की समस्या के संबंध में, {{harvtxt|चार्ट्रैंड|एंड हैरी|1967}} द्वारा आउटरप्लानर ग्राफ़ का अध्ययन और नामकरण किया गया था (उदाहरण के लिए, [[सामान्यीकृत पीटरसन ग्राफ]] में से कई एक [[चक्र ग्राफ]] की दो प्रतियों से इस प्रकार बनते हैं)। जैसा कि उन्होंने दिखाया, जब आधार ग्राफ [[द्विसंबद्ध ग्राफ]] होता है, तो इस तरह से निर्मित एक ग्राफ प्लानर होता है यदि और केवल यदि इसका आधार ग्राफ आउटरप्लानर होता है और मिलान इसके बाहरी चक्र का एक [[डायहेड्रल समूह]] क्रमचय बनाता है। चार्ट्रैंड और हैरी ने आउटरप्लानर ग्राफ के लिए कुराटोव्स्की के प्रमेय का एक एनालॉग भी सिद्ध किया, कि एक ग्राफ आउटरप्लानर है यदि और केवल यदि इसमें दो ग्राफ K4 या K2,3 में से एक का उपखंड नहीं है। | बेस ग्राफ की दो प्रतियों को जोड़ने के लिए एक परिपूर्ण मिलान का उपयोग करके बनाए गए ग्राफ की योजना का निर्धारण करने की समस्या के संबंध में, {{harvtxt|चार्ट्रैंड|एंड हैरी|1967}} द्वारा आउटरप्लानर ग्राफ़ का अध्ययन और नामकरण किया गया था (उदाहरण के लिए, [[सामान्यीकृत पीटरसन ग्राफ]] में से कई एक [[चक्र ग्राफ]] की दो प्रतियों से इस प्रकार बनते हैं)। जैसा कि उन्होंने दिखाया, जब आधार ग्राफ [[द्विसंबद्ध ग्राफ]] होता है, तो इस तरह से निर्मित एक ग्राफ प्लानर होता है यदि और केवल यदि इसका आधार ग्राफ आउटरप्लानर होता है और मिलान इसके बाहरी चक्र का एक [[डायहेड्रल समूह]] क्रमचय बनाता है। चार्ट्रैंड और हैरी ने आउटरप्लानर ग्राफ के लिए कुराटोव्स्की के प्रमेय का एक एनालॉग भी सिद्ध किया, कि एक ग्राफ आउटरप्लानर है यदि और केवल यदि इसमें दो ग्राफ K4 या K2,3 में से एक का उपखंड नहीं है। | ||
== परिभाषा और लक्षण वर्णन == | == परिभाषा और लक्षण वर्णन == | ||
एक आउटरप्लानर ग्राफ एक [[अप्रत्यक्ष ग्राफ]] है जो [[यूक्लिडियन विमान]] में क्रॉसिंग संख्या (ग्राफ सिद्धांत) के बिना [[ग्राफ एम्बेडिंग]] हो सकता है, इस तरह से कि सभी कोने ड्राइंग के अनबाउंड | एक आउटरप्लानर ग्राफ एक [[अप्रत्यक्ष ग्राफ]] है जो [[यूक्लिडियन विमान]] में क्रॉसिंग संख्या (ग्राफ सिद्धांत) के बिना [[ग्राफ एम्बेडिंग]] हो सकता है, इस तरह से कि सभी कोने ड्राइंग के अनबाउंड फलक से संबंधित हैं। अर्थात् कोई भी शीर्ष किनारों से पूरी तरह घिरा नहीं है। वैकल्पिक रूप से, एक ग्राफ जी बाहरी प्लानर है यदि जी से एक नया शीर्ष जोड़कर बनाया गया ग्राफ, किनारों के साथ इसे अन्य सभी शिखरों से जोड़ता है, एक प्लानर ग्राफ है।<ref name=":0">{{harvtxt|Felsner|2004}}.</ref> | ||
एक अधिकतम आउटरप्लानर ग्राफ एक आउटरप्लानर ग्राफ है जिसमें आउटरप्लानरिटी को संरक्षित करते हुए इसमें कोई अतिरिक्त किनारा नहीं जोड़ा जा सकता है। ''n'' शीर्षों वाले प्रत्येक अधिकतम बाह्यप्लानर ग्राफ़ में वास्तव में 2''n'' − 3 किनारे होते हैं, और अधिकतम बाह्यप्लानर ग्राफ़ का प्रत्येक परिबद्ध फलक एक त्रिभुज होता है। | |||
=== निषिद्ध रेखांकन === | === निषिद्ध रेखांकन === | ||
आउटरप्लानर ग्राफ़ में कुराटोस्की के प्रमेय और प्लानर ग्राफ़ के लिए वैगनर के प्रमेय के अनुरूप वर्जित ग्राफ़ लक्षण वर्णन है: एक ग्राफ बाहरी है यदि और केवल यदि इसमें पूर्ण ग्राफ K4 या [[पूर्ण द्विदलीय ग्राफ]] K2,3 का उपखंड नहीं है।<ref name=":1">{{harvtxt|Chartrand|Harary|1967}}; {{harvtxt|Sysło|1979}}; {{harvtxt|Brandstädt|Le|Spinrad|1999}}, Proposition 7.3.1, p. 117; {{harvtxt|Felsner|2004}}.</ref> वैकल्पिक रूप से, एक ग्राफ आउटरप्लानर है यदि और केवल यदि इसमें K4 या K2,3 एक नाबालिग (ग्राफ सिद्धांत) के रूप में सम्मलित नहीं है, तो किनारों को हटाकर और अनुबंधित करके एक ग्राफ प्राप्त किया जाता है।<ref name=":2">{{harvtxt|Diestel|2000}}.</ref> | आउटरप्लानर ग्राफ़ में कुराटोस्की के प्रमेय और प्लानर ग्राफ़ के लिए वैगनर के प्रमेय के अनुरूप वर्जित ग्राफ़ लक्षण वर्णन है: एक ग्राफ बाहरी है यदि और केवल यदि इसमें पूर्ण ग्राफ K4 या [[पूर्ण द्विदलीय ग्राफ]] K2,3 का उपखंड नहीं है।<ref name=":1">{{harvtxt|Chartrand|Harary|1967}}; {{harvtxt|Sysło|1979}}; {{harvtxt|Brandstädt|Le|Spinrad|1999}}, Proposition 7.3.1, p. 117; {{harvtxt|Felsner|2004}}.</ref> वैकल्पिक रूप से, एक ग्राफ आउटरप्लानर है यदि और केवल यदि इसमें K4 या K2,3 एक नाबालिग (ग्राफ सिद्धांत) के रूप में सम्मलित नहीं है, तो किनारों को हटाकर और अनुबंधित करके एक ग्राफ प्राप्त किया जाता है।<ref name=":2">{{harvtxt|Diestel|2000}}.</ref> | ||
| Line 26: | Line 20: | ||
एक त्रिभुज-मुक्त ग्राफ बाहरीप्लानर है यदि और केवल यदि इसमें K2,3 का उपखंड नहीं है।<ref name="s79" /> | एक त्रिभुज-मुक्त ग्राफ बाहरीप्लानर है यदि और केवल यदि इसमें K2,3 का उपखंड नहीं है।<ref name="s79" /> | ||
=== कॉलिन डी वर्डीयर अपरिवर्तनीय === | === कॉलिन डी वर्डीयर अपरिवर्तनीय === | ||
एक ग्राफ़ आउटरप्लानर होता है यदि और केवल यदि इसका कॉलिन डी वेर्डिएर ग्राफ़ इनवेरिएंट अधिकतम दो | एक ग्राफ़ आउटरप्लानर होता है यदि और केवल यदि इसका कॉलिन डी वेर्डिएर ग्राफ़ इनवेरिएंट अधिकतम दो हो जब। एक, तीन, या चार में कॉलिन डी वेर्डिएर अपरिवर्तनीय होने के समान उपाय से वर्णित ग्राफ़ क्रमशः रैखिक वन, प्लानर ग्राफ़ और [[लिंक रहित एम्बेडिंग]] करने योग्य ग्राफ़ हैं। | ||
== गुण == | == गुण == | ||
=== बाइकनेक्टिविटी और हैमिल्टनिस === | === बाइकनेक्टिविटी और हैमिल्टनिस === | ||
एक आउटरप्लानर ग्राफ़ द्विसंबद्ध होता है यदि और केवल यदि ग्राफ़ का बाहरी फलक दोहराए गए शीर्षों के बिना एक सरल चक्र (ग्राफ़ सिद्धांत) बनाता है। एक आउटरप्लानर ग्राफ [[हैमिल्टनियन चक्र]] है यदि और केवल यदि यह द्विसंबद्ध है; इस | एक आउटरप्लानर ग्राफ़ द्विसंबद्ध होता है यदि और केवल यदि ग्राफ़ का बाहरी फलक दोहराए गए शीर्षों के बिना एक सरल चक्र (ग्राफ़ सिद्धांत) बनाता है। एक आउटरप्लानर ग्राफ [[हैमिल्टनियन चक्र]] है यदि और केवल यदि यह द्विसंबद्ध है; इस स्थितिे में, बाहरी फलक अद्वितीय हैमिल्टनियन चक्र बनाता है।<ref name=":3">{{harvtxt|Chartrand|Harary|1967}}; {{harvtxt|Sysło|1979}}.</ref> अधिक सामान्यतः, एक बाहरी प्लैनर ग्राफ में सबसे लंबे चक्र का आकार इसके सबसे बड़े [[द्विसंबद्ध घटक]] में शीर्षों की संख्या के समान होता है। इस कारण से हेमिल्टनियन चक्रों और बाह्यप्लानर ग्राफों में सबसे लंबे चक्रों को [[रैखिक समय]] में हल किया जा सकता है, आर्बिट्रेरी ग्राफों के लिए इन समस्याओं की एनपी-पूर्णता के विपरीत। | ||
प्रत्येक अधिक से अधिक बाहरी ग्राफ़ हैमिल्टनिकता की तुलना में एक मजबूत स्थिति को संतुष्ट करता है: यह नोड [[पैनसाइक्लिक ग्राफ]] है, जिसका अर्थ है कि प्रत्येक शीर्ष v और प्रत्येक k के लिए ग्राफ में तीन से लेकर शीर्षों की संख्या तक, एक लंबाई-k चक्र होता है जिसमें v होता है। इस लंबाई का एक चक्र एक त्रिभुज को बार-बार हटाकर पाया जा सकता है जो शेष ग्राफ़ से एक किनारे से जुड़ा हुआ है, जैसे कि हटाया गया शीर्ष v नहीं है, जब तक कि शेष ग्राफ़ के बाहरी फलक की लंबाई k न हो।<ref name=":4">{{harvtxt|Li|Corneil|Mendelsohn|2000}}, Proposition 2.5.</ref> | प्रत्येक अधिक से अधिक बाहरी ग्राफ़ हैमिल्टनिकता की तुलना में एक मजबूत स्थिति को संतुष्ट करता है: यह नोड [[पैनसाइक्लिक ग्राफ]] है, जिसका अर्थ है कि प्रत्येक शीर्ष v और प्रत्येक k के लिए ग्राफ में तीन से लेकर शीर्षों की संख्या तक, एक लंबाई-k चक्र होता है जिसमें v होता है। इस लंबाई का एक चक्र एक त्रिभुज को बार-बार हटाकर पाया जा सकता है जो शेष ग्राफ़ से एक किनारे से जुड़ा हुआ है, जैसे कि हटाया गया शीर्ष v नहीं है, जब तक कि शेष ग्राफ़ के बाहरी फलक की लंबाई k न हो।<ref name=":4">{{harvtxt|Li|Corneil|Mendelsohn|2000}}, Proposition 2.5.</ref> | ||
| Line 37: | Line 31: | ||
एक प्लानर ग्राफ आउटरप्लानर है यदि और केवल यदि इसके प्रत्येक बायकनेक्टेड घटक आउटरप्लानर हैं।<ref name="s79">{{harvtxt|Sysło|1979}}.</ref> | एक प्लानर ग्राफ आउटरप्लानर है यदि और केवल यदि इसके प्रत्येक बायकनेक्टेड घटक आउटरप्लानर हैं।<ref name="s79">{{harvtxt|Sysło|1979}}.</ref> | ||
=== रंग === | === रंग === | ||
सभी लूपलेस आउटरप्लानर ग्राफ़ को केवल तीन रंगों का उपयोग करके [[ ग्राफ रंग |रंगीन]] किया जा सकता है;<ref name="ps86">{{harvtxt|Proskurowski|Sysło|1986}}.</ref> यह तथ्य {{harvtxt|फिस्क|1978}} द्वारा च्वाटल की [[आर्ट गैलरी प्रमेय]] के सरलीकृत प्रमाण में प्रमुखता से दिखाया गया है। एक | सभी लूपलेस आउटरप्लानर ग्राफ़ को केवल तीन रंगों का उपयोग करके [[ ग्राफ रंग |रंगीन]] किया जा सकता है;<ref name="ps86">{{harvtxt|Proskurowski|Sysło|1986}}.</ref> यह तथ्य {{harvtxt|फिस्क|1978}} द्वारा च्वाटल की [[आर्ट गैलरी प्रमेय]] के सरलीकृत प्रमाण में प्रमुखता से दिखाया गया है। एक ग्रीडी रंग एल्गोरिदम द्वारा रैखिक समय में एक 3-रंग पाया जा सकता है जो अधिकतम [[डिग्री (ग्राफ सिद्धांत)]] के किसी भी शीर्ष को हटा देता है, शेष ग्राफ को पुनरावर्ती रूप से रंग देता है, और फिर हटाए गए शीर्ष को अपने दो निकटतम के रंगों से अलग रंग के साथ वापस जोड़ता है। | ||
वाइज़िंग के प्रमेय के अनुसार, किसी भी ग्राफ का [[रंगीन सूचकांक]] (किनारों को रंगने के लिए आवश्यक रंगों की न्यूनतम संख्या जिससे कि दो आसन्न किनारों का एक ही रंग न हो) या तो ग्राफ के किसी भी शीर्ष की अधिकतम डिग्री (ग्राफ सिद्धांत) या एक प्लस अधिकतम डिग्री है। चूंकि, | वाइज़िंग के प्रमेय के अनुसार, किसी भी ग्राफ का [[रंगीन सूचकांक]] (किनारों को रंगने के लिए आवश्यक रंगों की न्यूनतम संख्या जिससे कि दो आसन्न किनारों का एक ही रंग न हो) या तो ग्राफ के किसी भी शीर्ष की अधिकतम डिग्री (ग्राफ सिद्धांत) या एक प्लस अधिकतम डिग्री है। चूंकि, जुड़े हुए आउटरप्लानर ग्राफ में, रंगीन सूचकांक अधिकतम डिग्री के बराबर होता है, सिवाय इसके कि जब ग्राफ विषम लंबाई का चक्र (ग्राफ सिद्धांत) बनाता है।<ref name=":5">{{harvtxt|Fiorini|1975}}.</ref> रंगों की इष्टतम संख्या के साथ किनारे का रंग कमजोर दोहरे ट्रेविड्थ-प्रथम ट्रैवर्सल के आधार पर रैखिक समय में पाया जा सकता है।<ref name="ps86"/> | ||
=== अन्य गुण === | === अन्य गुण === | ||
आउटरप्लानर ग्राफ़ में अध: पतन (ग्राफ़ सिद्धांत) अधिकतम दो में होता है: आउटरप्लानर ग्राफ के प्रत्येक सबग्राफ में अधिकतम दो डिग्री के साथ एक शीर्ष होता है।<ref>{{harvtxt|Lick|White|1970}}.</ref> | आउटरप्लानर ग्राफ़ में अध: पतन (ग्राफ़ सिद्धांत) अधिकतम दो में होता है: आउटरप्लानर ग्राफ के प्रत्येक सबग्राफ में अधिकतम दो डिग्री के साथ एक शीर्ष होता है।<ref>{{harvtxt|Lick|White|1970}}.</ref> | ||
| Line 45: | Line 39: | ||
आउटरप्लानर ग्राफ़ में अधिकतम दो पर ट्रेविड्थ होता है, जिसका अर्थ है कि कई ग्राफ़ ऑप्टिमाइज़ेशन समस्याएँ जो एनपी-पूर्ण ग्राफ़ के लिए होती हैं, बहुपद समय में [[गतिशील प्रोग्रामिंग]] द्वारा हल की जा सकती हैं जब इनपुट आउटरप्लानर होता है। सामान्यतः, के-आउटरप्लानर ग्राफ़ में ट्रेविड्थ ओ (के) होता है।<ref>{{harvtxt|Baker|1994}}.</ref> | आउटरप्लानर ग्राफ़ में अधिकतम दो पर ट्रेविड्थ होता है, जिसका अर्थ है कि कई ग्राफ़ ऑप्टिमाइज़ेशन समस्याएँ जो एनपी-पूर्ण ग्राफ़ के लिए होती हैं, बहुपद समय में [[गतिशील प्रोग्रामिंग]] द्वारा हल की जा सकती हैं जब इनपुट आउटरप्लानर होता है। सामान्यतः, के-आउटरप्लानर ग्राफ़ में ट्रेविड्थ ओ (के) होता है।<ref>{{harvtxt|Baker|1994}}.</ref> | ||
प्रत्येक बाहरीप्लानर ग्राफ को | प्रत्येक बाहरीप्लानर ग्राफ को सतह में अक्ष-संरेखित आयतों के प्रतिच्छेदन ग्राफ के रूप में दर्शाया जा सकता है, इसलिए बाहरीप्लानर ग्राफ में [[बॉक्सिसिटी]] अधिकतम दो होती है।<ref>{{harvtxt|Scheinerman|1984}}; {{harvtxt|Brandstädt|Le|Spinrad|1999}}, p. 54.</ref> | ||
== रेखांकन के संबंधित परिवार == | == रेखांकन के संबंधित परिवार == | ||
[[File:Cactus graph.svg|thumb|[[कैक्टस ग्राफ]]। कैक्टि बाहरी प्लैनर ग्राफ का एक उपवर्ग बनाते हैं।]] | [[File:Cactus graph.svg|thumb|[[कैक्टस ग्राफ]]। कैक्टि बाहरी प्लैनर ग्राफ का एक उपवर्ग बनाते हैं।]]प्रत्येक आउटरप्लानर ग्राफ एक प्लेनर ग्राफ है। प्रत्येक आउटरप्लानर ग्राफ भी एक श्रृंखला-समानांतर ग्राफ का एक सबग्राफ है।<ref>{{harvtxt|Brandstädt|Le|Spinrad|1999}}, p. 174.</ref> चूंकि, सभी प्लानर श्रृंखला-समानांतर ग्राफ़ आउटरप्लानर नहीं हैं। पूर्ण द्विदलीय ग्राफ K2,3 प्लानर और श्रृंखला-समानांतर है लेकिन आउटरप्लानर नहीं है। दूसरी ओर, पूरा ग्राफ K4 प्लानर है लेकिन न तो श्रृंखला-समानांतर है और न ही आउटरप्लानर। प्रत्येक वृक्ष (ग्राफ थ्योरी) और हर कैक्टस का ग्राफ आउटरप्लानर है।<ref>{{harvtxt|Brandstädt|Le|Spinrad|1999}}, p. 169.</ref> | ||
एक एम्बेडेड आउटरप्लानर ग्राफ का कमजोर प्लानर [[ तलीय दोहरी |तलीय दोहरी]] ग्राफ (ग्राफ जिसमें एम्बेडिंग के प्रत्येक बंधे हुए | एक एम्बेडेड आउटरप्लानर ग्राफ का कमजोर प्लानर [[ तलीय दोहरी |तलीय दोहरी]] ग्राफ (ग्राफ जिसमें एम्बेडिंग के प्रत्येक बंधे हुए फलक के लिए एक शीर्ष है, और आसन्न बंधे हुए फलको की प्रत्येक जोड़ी के लिए एक किनारा है) एक जंगल (ग्राफ सिद्धांत) है, और [[हालीन ग्राफ]] का कमजोर प्लानर डुअल एक आउटरप्लानर ग्राफ है। एक प्लानर ग्राफ आउटरप्लानर है यदि और केवल यदि इसकी कमजोर दोहरी एक जंगल (ग्राफ सिद्धांत) है, और यह हैलिन है यदि और केवल यदि इसकी कमजोर दोहरी बाइकनेक्टेड और आउटरप्लानर है। <ref>{{harvtxt|Sysło|Proskurowski|1983}}.</ref> | ||
आउटरप्लानरिटी की डिग्री की धारणा है। एक ग्राफ़ का 1-आउटरप्लानर एम्बेडिंग एक आउटरप्लानर एम्बेडिंग के समान है। K > 1 के लिए एक प्लानर एम्बेडिंग को k-आउटरप्लानर कहा जाता है यदि बाहरी फलक पर | आउटरप्लानरिटी की डिग्री की धारणा है। एक ग्राफ़ का 1-आउटरप्लानर एम्बेडिंग एक आउटरप्लानर एम्बेडिंग के समान है। K > 1 के लिए एक प्लानर एम्बेडिंग को k-आउटरप्लानर कहा जाता है यदि बाहरी फलक पर शीर्ष को हटाने से (k − 1) -आउटरप्लानर एम्बेडिंग हो जाता है। | ||
एक ग्राफ के-आउटरप्लानर होता है यदि इसमें के-आउटरप्लानर एम्बेडिंग हो।<ref>{{harvtxt|Kane|Basu|1976}}; {{harvtxt|Sysło|1979}}.</ref> | एक ग्राफ के-आउटरप्लानर होता है यदि इसमें के-आउटरप्लानर एम्बेडिंग हो।<ref>{{harvtxt|Kane|Basu|1976}}; {{harvtxt|Sysło|1979}}.</ref> | ||
| Line 302: | Line 296: | ||
*[http://www.graphclasses.org/classes/gc_110.html Outerplanar graphs] at the [http://www.graphclasses.org Information System on Graph Classes and Their Inclusions] | *[http://www.graphclasses.org/classes/gc_110.html Outerplanar graphs] at the [http://www.graphclasses.org Information System on Graph Classes and Their Inclusions] | ||
*{{mathworld|title=Outplanar Graph|urlname=OutplanarGraph}} | *{{mathworld|title=Outplanar Graph|urlname=OutplanarGraph}} | ||
[[Category: | [[Category:CS1 errors]] | ||
[[Category:Created On 28/02/2023]] | [[Category:Created On 28/02/2023]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Short description with empty Wikidata description]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:ग्राफ परिवार]] | |||
[[Category:प्लानर रेखांकन]] | |||
Latest revision as of 10:42, 21 March 2023
ग्राफ़ सिद्धांत में, एक आउटरप्लानर ग्राफ़ एक ग्राफ़ होता है जिसमें एक प्लैनर आरेखण होता है जिसके लिए सभी कोने आरेखण के बाहरी फलक से संबंधित होते हैं।
आउटर प्लेनर ग्राफ को दो वर्जित अवयस्क K4 और K2,3, या उनके कॉलिन डी वेर्डिएर ग्राफ़ इनवेरिएंट द्वारा (प्लैनर ग्राफ़ के लिए वैगनर के प्रमेय के अनुरूप) चित्रित किया जा सकता है।
उनके पास हैमिल्टनियन चक्र हैं यदि और केवल यदि वे द्विसंबद्ध हैं, तो इस स्थितिे में बाहरी फलक अद्वितीय हैमिल्टनियन चक्र बनाता है। प्रत्येक आउटरप्लानर ग्राफ 3-रंगीन है, और अधिकतम 2 में गिरावट और पेड़ की चौड़ाई है।
बाहरी प्लैनर ग्राफ़ प्लानर ग्राफ़ का एक सबसेट है, श्रृंखला-समानांतर ग्राफ़ के सबग्राफ और सर्कल ग्राफ हैं। अधिक से अधिक आउटरप्लानर ग्राफ़, जिनके लिए बाहरी किनारों को संरक्षित करते समय कोई और किनारों को जोड़ा नहीं जा सकता है, वे कॉर्डल ग्राफ और दृश्यता ग्राफ भी हैं।
इतिहास
बेस ग्राफ की दो प्रतियों को जोड़ने के लिए एक परिपूर्ण मिलान का उपयोग करके बनाए गए ग्राफ की योजना का निर्धारण करने की समस्या के संबंध में, चार्ट्रैंड & एंड हैरी (1967) द्वारा आउटरप्लानर ग्राफ़ का अध्ययन और नामकरण किया गया था (उदाहरण के लिए, सामान्यीकृत पीटरसन ग्राफ में से कई एक चक्र ग्राफ की दो प्रतियों से इस प्रकार बनते हैं)। जैसा कि उन्होंने दिखाया, जब आधार ग्राफ द्विसंबद्ध ग्राफ होता है, तो इस तरह से निर्मित एक ग्राफ प्लानर होता है यदि और केवल यदि इसका आधार ग्राफ आउटरप्लानर होता है और मिलान इसके बाहरी चक्र का एक डायहेड्रल समूह क्रमचय बनाता है। चार्ट्रैंड और हैरी ने आउटरप्लानर ग्राफ के लिए कुराटोव्स्की के प्रमेय का एक एनालॉग भी सिद्ध किया, कि एक ग्राफ आउटरप्लानर है यदि और केवल यदि इसमें दो ग्राफ K4 या K2,3 में से एक का उपखंड नहीं है।
परिभाषा और लक्षण वर्णन
एक आउटरप्लानर ग्राफ एक अप्रत्यक्ष ग्राफ है जो यूक्लिडियन विमान में क्रॉसिंग संख्या (ग्राफ सिद्धांत) के बिना ग्राफ एम्बेडिंग हो सकता है, इस तरह से कि सभी कोने ड्राइंग के अनबाउंड फलक से संबंधित हैं। अर्थात् कोई भी शीर्ष किनारों से पूरी तरह घिरा नहीं है। वैकल्पिक रूप से, एक ग्राफ जी बाहरी प्लानर है यदि जी से एक नया शीर्ष जोड़कर बनाया गया ग्राफ, किनारों के साथ इसे अन्य सभी शिखरों से जोड़ता है, एक प्लानर ग्राफ है।[1]
एक अधिकतम आउटरप्लानर ग्राफ एक आउटरप्लानर ग्राफ है जिसमें आउटरप्लानरिटी को संरक्षित करते हुए इसमें कोई अतिरिक्त किनारा नहीं जोड़ा जा सकता है। n शीर्षों वाले प्रत्येक अधिकतम बाह्यप्लानर ग्राफ़ में वास्तव में 2n − 3 किनारे होते हैं, और अधिकतम बाह्यप्लानर ग्राफ़ का प्रत्येक परिबद्ध फलक एक त्रिभुज होता है।
निषिद्ध रेखांकन
आउटरप्लानर ग्राफ़ में कुराटोस्की के प्रमेय और प्लानर ग्राफ़ के लिए वैगनर के प्रमेय के अनुरूप वर्जित ग्राफ़ लक्षण वर्णन है: एक ग्राफ बाहरी है यदि और केवल यदि इसमें पूर्ण ग्राफ K4 या पूर्ण द्विदलीय ग्राफ K2,3 का उपखंड नहीं है।[2] वैकल्पिक रूप से, एक ग्राफ आउटरप्लानर है यदि और केवल यदि इसमें K4 या K2,3 एक नाबालिग (ग्राफ सिद्धांत) के रूप में सम्मलित नहीं है, तो किनारों को हटाकर और अनुबंधित करके एक ग्राफ प्राप्त किया जाता है।[3]
एक त्रिभुज-मुक्त ग्राफ बाहरीप्लानर है यदि और केवल यदि इसमें K2,3 का उपखंड नहीं है।[4]
कॉलिन डी वर्डीयर अपरिवर्तनीय
एक ग्राफ़ आउटरप्लानर होता है यदि और केवल यदि इसका कॉलिन डी वेर्डिएर ग्राफ़ इनवेरिएंट अधिकतम दो हो जब। एक, तीन, या चार में कॉलिन डी वेर्डिएर अपरिवर्तनीय होने के समान उपाय से वर्णित ग्राफ़ क्रमशः रैखिक वन, प्लानर ग्राफ़ और लिंक रहित एम्बेडिंग करने योग्य ग्राफ़ हैं।
गुण
बाइकनेक्टिविटी और हैमिल्टनिस
एक आउटरप्लानर ग्राफ़ द्विसंबद्ध होता है यदि और केवल यदि ग्राफ़ का बाहरी फलक दोहराए गए शीर्षों के बिना एक सरल चक्र (ग्राफ़ सिद्धांत) बनाता है। एक आउटरप्लानर ग्राफ हैमिल्टनियन चक्र है यदि और केवल यदि यह द्विसंबद्ध है; इस स्थितिे में, बाहरी फलक अद्वितीय हैमिल्टनियन चक्र बनाता है।[5] अधिक सामान्यतः, एक बाहरी प्लैनर ग्राफ में सबसे लंबे चक्र का आकार इसके सबसे बड़े द्विसंबद्ध घटक में शीर्षों की संख्या के समान होता है। इस कारण से हेमिल्टनियन चक्रों और बाह्यप्लानर ग्राफों में सबसे लंबे चक्रों को रैखिक समय में हल किया जा सकता है, आर्बिट्रेरी ग्राफों के लिए इन समस्याओं की एनपी-पूर्णता के विपरीत।
प्रत्येक अधिक से अधिक बाहरी ग्राफ़ हैमिल्टनिकता की तुलना में एक मजबूत स्थिति को संतुष्ट करता है: यह नोड पैनसाइक्लिक ग्राफ है, जिसका अर्थ है कि प्रत्येक शीर्ष v और प्रत्येक k के लिए ग्राफ में तीन से लेकर शीर्षों की संख्या तक, एक लंबाई-k चक्र होता है जिसमें v होता है। इस लंबाई का एक चक्र एक त्रिभुज को बार-बार हटाकर पाया जा सकता है जो शेष ग्राफ़ से एक किनारे से जुड़ा हुआ है, जैसे कि हटाया गया शीर्ष v नहीं है, जब तक कि शेष ग्राफ़ के बाहरी फलक की लंबाई k न हो।[6]
एक प्लानर ग्राफ आउटरप्लानर है यदि और केवल यदि इसके प्रत्येक बायकनेक्टेड घटक आउटरप्लानर हैं।[4]
रंग
सभी लूपलेस आउटरप्लानर ग्राफ़ को केवल तीन रंगों का उपयोग करके रंगीन किया जा सकता है;[7] यह तथ्य फिस्क (1978) द्वारा च्वाटल की आर्ट गैलरी प्रमेय के सरलीकृत प्रमाण में प्रमुखता से दिखाया गया है। एक ग्रीडी रंग एल्गोरिदम द्वारा रैखिक समय में एक 3-रंग पाया जा सकता है जो अधिकतम डिग्री (ग्राफ सिद्धांत) के किसी भी शीर्ष को हटा देता है, शेष ग्राफ को पुनरावर्ती रूप से रंग देता है, और फिर हटाए गए शीर्ष को अपने दो निकटतम के रंगों से अलग रंग के साथ वापस जोड़ता है।
वाइज़िंग के प्रमेय के अनुसार, किसी भी ग्राफ का रंगीन सूचकांक (किनारों को रंगने के लिए आवश्यक रंगों की न्यूनतम संख्या जिससे कि दो आसन्न किनारों का एक ही रंग न हो) या तो ग्राफ के किसी भी शीर्ष की अधिकतम डिग्री (ग्राफ सिद्धांत) या एक प्लस अधिकतम डिग्री है। चूंकि, जुड़े हुए आउटरप्लानर ग्राफ में, रंगीन सूचकांक अधिकतम डिग्री के बराबर होता है, सिवाय इसके कि जब ग्राफ विषम लंबाई का चक्र (ग्राफ सिद्धांत) बनाता है।[8] रंगों की इष्टतम संख्या के साथ किनारे का रंग कमजोर दोहरे ट्रेविड्थ-प्रथम ट्रैवर्सल के आधार पर रैखिक समय में पाया जा सकता है।[7]
अन्य गुण
आउटरप्लानर ग्राफ़ में अध: पतन (ग्राफ़ सिद्धांत) अधिकतम दो में होता है: आउटरप्लानर ग्राफ के प्रत्येक सबग्राफ में अधिकतम दो डिग्री के साथ एक शीर्ष होता है।[9]
आउटरप्लानर ग्राफ़ में अधिकतम दो पर ट्रेविड्थ होता है, जिसका अर्थ है कि कई ग्राफ़ ऑप्टिमाइज़ेशन समस्याएँ जो एनपी-पूर्ण ग्राफ़ के लिए होती हैं, बहुपद समय में गतिशील प्रोग्रामिंग द्वारा हल की जा सकती हैं जब इनपुट आउटरप्लानर होता है। सामान्यतः, के-आउटरप्लानर ग्राफ़ में ट्रेविड्थ ओ (के) होता है।[10]
प्रत्येक बाहरीप्लानर ग्राफ को सतह में अक्ष-संरेखित आयतों के प्रतिच्छेदन ग्राफ के रूप में दर्शाया जा सकता है, इसलिए बाहरीप्लानर ग्राफ में बॉक्सिसिटी अधिकतम दो होती है।[11]
रेखांकन के संबंधित परिवार
प्रत्येक आउटरप्लानर ग्राफ एक प्लेनर ग्राफ है। प्रत्येक आउटरप्लानर ग्राफ भी एक श्रृंखला-समानांतर ग्राफ का एक सबग्राफ है।[12] चूंकि, सभी प्लानर श्रृंखला-समानांतर ग्राफ़ आउटरप्लानर नहीं हैं। पूर्ण द्विदलीय ग्राफ K2,3 प्लानर और श्रृंखला-समानांतर है लेकिन आउटरप्लानर नहीं है। दूसरी ओर, पूरा ग्राफ K4 प्लानर है लेकिन न तो श्रृंखला-समानांतर है और न ही आउटरप्लानर। प्रत्येक वृक्ष (ग्राफ थ्योरी) और हर कैक्टस का ग्राफ आउटरप्लानर है।[13]
एक एम्बेडेड आउटरप्लानर ग्राफ का कमजोर प्लानर तलीय दोहरी ग्राफ (ग्राफ जिसमें एम्बेडिंग के प्रत्येक बंधे हुए फलक के लिए एक शीर्ष है, और आसन्न बंधे हुए फलको की प्रत्येक जोड़ी के लिए एक किनारा है) एक जंगल (ग्राफ सिद्धांत) है, और हालीन ग्राफ का कमजोर प्लानर डुअल एक आउटरप्लानर ग्राफ है। एक प्लानर ग्राफ आउटरप्लानर है यदि और केवल यदि इसकी कमजोर दोहरी एक जंगल (ग्राफ सिद्धांत) है, और यह हैलिन है यदि और केवल यदि इसकी कमजोर दोहरी बाइकनेक्टेड और आउटरप्लानर है। [14]
आउटरप्लानरिटी की डिग्री की धारणा है। एक ग्राफ़ का 1-आउटरप्लानर एम्बेडिंग एक आउटरप्लानर एम्बेडिंग के समान है। K > 1 के लिए एक प्लानर एम्बेडिंग को k-आउटरप्लानर कहा जाता है यदि बाहरी फलक पर शीर्ष को हटाने से (k − 1) -आउटरप्लानर एम्बेडिंग हो जाता है।
एक ग्राफ के-आउटरप्लानर होता है यदि इसमें के-आउटरप्लानर एम्बेडिंग हो।[15]
एक बाहरी-1-प्लानर ग्राफ, 1-प्लानर ग्राफ़ के अनुरूप एक डिस्क में खींचा जा सकता है, डिस्क की सीमा पर शीर्षों के साथ, और प्रति किनारे अधिकतम एक क्रॉसिंग के साथ।
प्रत्येक अधिक से अधिक बाह्यप्लानर ग्राफ एक तारकीय ग्राफ है। प्रत्येक अधिकतम बाह्यप्लानर ग्राफ एक साधारण बहुभुज का दृश्यता ग्राफ है।[16] मैक्सिमल आउटरप्लानर ग्राफ़ भी बहुभुज त्रिभुजों के ग्राफ़ के रूप में बनते हैं। वे 2-ट्रीज़ के उदाहरण हैं, श्रृंखला-समानांतर रेखांकन के, और तारकीय रेखांकन के।
हर आउटरप्लानर ग्राफ एक सर्कल ग्राफ है, एक सर्कल के कॉर्ड्स के सेट का इंटरसेक्शन ग्राफ।[17]
टिप्पणियाँ
- ↑ Felsner (2004).
- ↑ Chartrand & Harary (1967); Sysło (1979); Brandstädt, Le & Spinrad (1999), Proposition 7.3.1, p. 117; Felsner (2004).
- ↑ Diestel (2000).
- ↑ 4.0 4.1 Sysło (1979).
- ↑ Chartrand & Harary (1967); Sysło (1979).
- ↑ Li, Corneil & Mendelsohn (2000), Proposition 2.5.
- ↑ 7.0 7.1 Proskurowski & Sysło (1986).
- ↑ Fiorini (1975).
- ↑ Lick & White (1970).
- ↑ Baker (1994).
- ↑ Scheinerman (1984); Brandstädt, Le & Spinrad (1999), p. 54.
- ↑ Brandstädt, Le & Spinrad (1999), p. 174.
- ↑ Brandstädt, Le & Spinrad (1999), p. 169.
- ↑ Sysło & Proskurowski (1983).
- ↑ Kane & Basu (1976); Sysło (1979).
- ↑ El-Gindy (1985); Lin & Skiena (1995); Brandstädt, Le & Spinrad (1999), Theorem 4.10.3, p. 65.
- ↑ Wessel & Pöschel (1985); Unger (1988).
संदर्भ
- Baker, Brenda S. (1994), "Approximation algorithms for NP-complete problems on planar graphs", Journal of the ACM, 41 (1): 153–180, doi:10.1145/174644.174650, S2CID 9706753.
- Boza, Luis; Fedriani, Eugenio M.; Núñez, Juan (2004), "The problem of outer embeddings in pseudosurfaces", Ars Combinatoria, 71: 79–91.
- Boza, Luis; Fedriani, Eugenio M.; Núñez, Juan (2004), "Obstruction sets for outer-bananas-surface graphs", Ars Combinatoria, 73: 65–77.
- Boza, Luis; Fedriani, Eugenio M.; Núñez, Juan (2006), "Uncountable graphs with all their vertices in one face", Acta Mathematica Hungarica, 112 (4): 307–313, doi:10.1007/s10474-006-0082-0, S2CID 123241658.
- Boza, Luis; Fedriani, Eugenio M.; Núñez, Juan (2010), "Outer-embeddability in certain pseudosurfaces arising from three spheres", Discrete Mathematics, 310 (23): 3359–3367, doi:10.1016/j.disc.2010.07.027.
- Brandstädt, Andreas; Le, Van Bang; Spinrad, Jeremy (1999), Graph Classes: A Survey, SIAM Monographs on Discrete Mathematics and Applications, Society for Industrial and Applied Mathematics, ISBN 0-89871-432-X.
- Chartrand, Gary; Harary, Frank (1967), "Planar permutation graphs", Annales de l'Institut Henri Poincaré B, 3 (4): 433–438, MR 0227041.
- Diestel, Reinhard (2000), Graph Theory, Graduate Texts in Mathematics, vol. 173, Springer-Verlag, p. 107, ISBN 0-387-98976-5.
- El-Gindy, H. (1985), Hierarchical decomposition of polygons with applications, Ph.D. thesis, McGill University. As cited by Brandstädt, Le & Spinrad (1999).
- Felsner, Stefan (2004), Geometric graphs and arrangements: some chapters from combinational geometry, Vieweg+Teubner Verlag, p. 6, ISBN 978-3-528-06972-8.
- Fiorini, Stanley (1975), "On the chromatic index of outerplanar graphs", Journal of Combinatorial Theory, Series B, 18 (1): 35–38, doi:10.1016/0095-8956(75)90060-X.
- Fisk, Steve (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.
- Fleischner, Herbert J.; Geller, D. P.; Harary, Frank (1974), "Outerplanar graphs and weak duals", Journal of the Indian Mathematical Society, 38: 215–219, MR 0389672.
- Kane, Vinay G.; Basu, Sanat K. (1976), "On the depth of a planar graph", Discrete Mathematics, 14 (1): 63–67, doi:10.1016/0012-365X(76)90006-6.
- Li, Ming-Chu; Corneil, Derek G.; Mendelsohn, Eric (2000), "Pancyclicity and NP-completeness in planar graphs", Discrete Applied Mathematics, 98 (3): 219–225, doi:10.1016/S0166-218X(99)00163-8.
- Lick, Don R.; White, Arthur T. (1970), "k[[Category: Templates Vigyan Ready]]-degenerate graphs", Canadian Journal of Mathematics, 22 (5): 1082–1096, doi:10.4153/CJM-1970-125-1
{{citation}}: URL–wikilink conflict (help). - Lin, Yaw-Ling; Skiena, Steven S. (1995), "Complexity aspects of visibility graphs", International Journal of Computational Geometry and Applications, 5 (3): 289–312, doi:10.1142/S0218195995000179.
- Proskurowski, Andrzej; Sysło, Maciej M. (1986), "Efficient vertex-and edge-coloring of outerplanar graphs", SIAM Journal on Algebraic and Discrete Methods, 7: 131–136, doi:10.1137/0607016.
- Scheinerman, E. R. (1984), Intersection Classes and Multiple Intersection Parameters of a Graph, Ph.D. thesis, Princeton University. As cited by Brandstädt, Le & Spinrad (1999).
- Sysło, Maciej M. (1979), "Characterizations of outerplanar graphs", Discrete Mathematics, 26 (1): 47–53, doi:10.1016/0012-365X(79)90060-8.
- Sysło, Maciej M.; Proskurowski, Andrzej (1983), "On Halin graphs", Graph Theory: Proceedings of a Conference held in Lagów, Poland, February 10–13, 1981, Lecture Notes in Mathematics, vol. 1018, Springer-Verlag, pp. 248–256, doi:10.1007/BFb0071635.
- Unger, Walter (1988), "On the k-colouring of circle-graphs", Proc. 5th Symposium on Theoretical Aspects of Computer Science (STACS '88), Lecture Notes in Computer Science, vol. 294, Springer-Verlag, pp. 61–72, doi:10.1007/BFb0035832.
- Wessel, W.; Pöschel, R. (1985), "On circle graphs", in Sachs, Horst (ed.), Graphs, Hypergraphs and Applications: Proceedings of the Conference on Graph Theory Held in Eyba, October 1st to 5th, 1984, Teubner-Texte zur Mathematik, vol. 73, B.G. Teubner, pp. 207–210. As cited by Unger (1988).
