घन ग्राफ



ग्राफ़ सिद्धांत के गणित क्षेत्र में एक घन ग्राफ़ एक ग्राफ़ (असतत गणित) है जिसमें सभी शीर्षों (ग्राफ़ सिद्धांत) की डिग्री (ग्राफ़ सिद्धांत) तीन होती है। दूसरे शब्दों में एक घन ग्राफ़ एक 3-नियमित ग्राफ़ है। घन ग्राफ़ को त्रिसंयोजक ग्राफ़ भी कहा जाता है।

बाइक्यूबिक ग्राफ़ एक क्यूबिक द्विदलीय ग्राफ़ है।

समरूपता
1932 में आर. एम. फोस्टर|रोनाल्ड एम. पालक जनगणना घन सममित ग्राफ के उदाहरण एकत्र करना शुरू किया जिससे फोस्टर जनगणना की प्रारंभ हुई। कई प्रसिद्ध व्यक्तिगत ग्राफ घन और सममित हैं जिनमें जल, गैस और बिजली, पीटरसन ग्राफ, हेवुड ग्राफ, मोबियस-कांटोर ग्राफ, पप्पस ग्राफ, Desargues ग्राफ, नाउरू सम्मिलित हैं। ग्राफ़, कॉक्सेटर ग्राफ़, टुटे-कॉक्सेटर ग्राफ़, डाइक ग्राफ़, पालक ग्राफ और बिग्स-स्मिथ ग्राफ़। डब्ल्यू. टी. टुटे ने सममित घन ग्राफ़ को सबसे छोटे पूर्णांक संख्या s द्वारा वर्गीकृत किया है, जिससे लंबाई s के प्रत्येक दो उन्मुख पथों को ग्राफ़ की बिल्कुल एक समरूपता द्वारा एक दूसरे से मैप किया जा सके। उन्होंने दिखाया कि s अधिकतम 5 है, और 1 से 5 तक s के प्रत्येक संभावित मान वाले ग्राफ़ के उदाहरण प्रदान किए। रेफरी>.

अर्ध-सममितीय ग्राफ़|अर्ध-सममितीय घन ग्राफ़ में ग्रे ग्राफ़ (सबसे छोटा अर्ध-सममित घन ग्राफ़), ज़ुब्लज़ाना ग्राफ़ और सभी 12-पिंजरे सम्मिलित हैं।

फल ग्राफ बिना किसी समरूपता वाले पांच सबसे छोटे घन ग्राफों में से एक है: रेफरी> इसमें केवल एक ग्राफ ऑटोमोर्फिज्म, पहचान ऑटोमोर्फिज्म है। रेफरी>.

रंग और स्वतंत्र सेट
ब्रूक्स प्रमेय के अनुसार पूर्ण ग्राफ K के अतिरिक्त प्रत्येक जुड़ा हुआ घन ग्राफ4 अधिकतम तीन रंगों के साथ एक शीर्ष रंग है। इसलिए K के अतिरिक्त प्रत्येक जुड़ा हुआ घन ग्राफ़4 इसमें कम से कम n/3 शीर्षों का एक स्वतंत्र सेट (ग्राफ सिद्धांत) है, जहां n ग्राफ़ में शीर्षों की संख्या है: उदाहरण के लिए 3-रंग में सबसे बड़े रंग वर्ग में कम से कम इतने शीर्ष होते हैं।

विज़िंग के प्रमेय के अनुसार प्रत्येक घन ग्राफ़ को किनारे के रंग के लिए तीन या चार रंगों की आवश्यकता होती है। 3-किनारों वाले रंग को टैट रंग के रूप में जाना जाता है और यह ग्राफ़ के किनारों को तीन पूर्ण मिलानों में विभाजित करता है। कोनिग के प्रमेय (ग्राफ सिद्धांत) द्वारा|कोनिग की रेखा रंग प्रमेय के अनुसार प्रत्येक बाइक्यूबिक ग्राफ में एक टैट रंग होता है।

ब्रिजलेस क्यूबिक ग्राफ जिनमें टैट रंग नहीं होता है उन्हें स्नार्क (ग्राफ सिद्धांत) के रूप में जाना जाता है। इनमें पीटरसन ग्राफ, टिट्ज़ का ग्राफ, ब्लानुसा स्नार्क, फूल स्नार्क, डबल-स्टार स्नार्क, निराला व्यंग्य और वॉटकिंस स्नार्क सम्मिलित हैं। अलग-अलग व्यंग्यों की अनंत संख्या है।

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

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

हैमिल्टोनिसिटी
क्यूबिक ग्राफ़ के हैमिल्टनियन चक्र पर बहुत शोध हुआ है। 1880 में, पीटर गुथरी टैट|पी.जी. टैट ने अनुमान लगाया कि प्रत्येक घन बहुफलकीय ग्राफ में एक हैमिल्टनियन सर्किट होता है। विलियम थॉमस ऑल  ने 1946 में टैट के अनुमान, 46-वर्टेक्स  सभी ग्राफ  का एक प्रति-उदाहरण प्रदान किया। 1971 में, टुट्टे ने अनुमान लगाया कि सभी बाइक्यूबिक ग्राफ हैमिल्टनियन हैं। हालाँकि, जोसेफ हॉर्टन ने हॉर्टन ग्राफ, 96 शीर्षों पर एक प्रति-उदाहरण प्रदान किया। बाद में, मार्क एलिंघम ने दो और प्रतिउदाहरण बनाए: एलिंगहैम-हॉर्टन ग्राफ़।  बार्नेट का अनुमान, टैट और टुट्टे के अनुमान का एक अभी भी खुला संयोजन, बताता है कि प्रत्येक बाइबिक पॉलीहेड्रल ग्राफ हैमिल्टनियन है। जब एक घन ग्राफ हैमिल्टनियन होता है, तो  एलसीएफ संकेतन  इसे संक्षिप्त रूप से प्रस्तुत करने की अनुमति देता है।

यदि एक क्यूबिक ग्राफ को सभी एन-वर्टेक्स क्यूबिक ग्राफ़ के बीच यादृच्छिक ग्राफ चुना जाता है, तो यह हैमिल्टनियन होने की बहुत संभावना है: एन-वर्टेक्स क्यूबिक ग्राफ़ का अनुपात जो हैमिल्टनियन है, सीमा में एक हो जाता है क्योंकि एन अनंत तक जाता है। रेफरी>.

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

अन्य गुण
किसी भी n-वर्टेक्स क्यूबिक ग्राफ़ की पथ चौड़ाई अधिकतम n/6 है। घन ग्राफ़ की पथ-चौड़ाई पर सबसे अच्छी ज्ञात निचली सीमा 0.082n है। यह ज्ञात नहीं है कि इस निचली सीमा और n/6 ऊपरी सीमा के बीच इस अंतर को कैसे कम किया जाए। ग्राफ सिद्धांत पर पहले पेपर के भाग के रूप में 1736 में लियोनहार्ड यूलर द्वारा सिद्ध की गई हाथ मिलाना लेम्मा  से यह पता चलता है कि प्रत्येक घन ग्राफ में शीर्षों की संख्या सम होती है।

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

एल्गोरिदम और जटिलता
कई शोधकर्ताओं ने घन ग्राफ़ तक सीमित घातीय समय एल्गोरिदम की जटिलता का अध्ययन किया है। उदाहरण के लिए, ग्राफ़ के पथ अपघटन के लिए गतिशील प्रोग्रामिंग लागू करके, फ़ोमिन और होई ने दिखाया कि समय 2 में अपने अधिकतम स्वतंत्र सेट कैसे खोजेंn/6+o(n). क्यूबिक ग्राफ़ में ट्रैवलिंग सेल्समैन की समस्या को समय O(1.2312) में हल किया जा सकता हैn) और बहुपद स्थान। कई महत्वपूर्ण ग्राफ अनुकूलन समस्याएं APX  हैं, जिसका अर्थ है कि, हालांकि उनके पास सन्निकटन एल्गोरिदम हैं जिनका सन्निकटन अनुपात एक स्थिरांक से घिरा है, उनके पास बहुपद समय सन्निकटन योजनाएं नहीं हैं जिनका सन्निकटन अनुपात 1 तक जाता है जब तक कि पी बनाम एनपी समस्या नहीं होती है|पी=एनपी। इनमें न्यूनतम शीर्ष कवर, अधिकतम स्वतंत्र सेट, न्यूनतम प्रभुत्व सेट और अधिकतम कटौती खोजने की समस्याएं सम्मिलित हैं। क्यूबिक ग्राफ का क्रॉसिंग नंबर (ग्राफ सिद्धांत) (किनारों की न्यूनतम संख्या जो किसी भी ग्राफ ड्राइंग में क्रॉस करती है) भी क्यूबिक ग्राफ के लिए  एनपी कठिन  है लेकिन अनुमानित किया जा सकता है। क्यूबिक ग्राफ़ पर ट्रैवलिंग सेल्समैन की समस्या 1153/1152 से कम किसी भी कारक के भीतर अनुमानित करने के लिए एनपी-कठिन साबित हुई है।

यह भी देखें

 * सरल घन ग्राफ़ की तालिका