त्रिकोण मुक्त ग्राफ

ग्राफ़ सिद्धांत के गणित क्षेत्र में, एक त्रिभुज-मुक्त ग्राफ़ एक अप्रत्यक्ष ग्राफ़ है जिसमें कोई तीन कोने किनारों के त्रिभुज ग्राफ़ नहीं बनाते हैं। त्रिभुज-मुक्त ग्राफ़ को क्लिक के साथ ग्राफ़ (ग्राफ़ सिद्धांत) ≤ 2, परिधि के साथ ग्राफ़ (ग्राफ़ सिद्धांत) ≥ 4, बिना प्रेरित पथ वाले ग्राफ़|प्रेरित 3-चक्र, या नेबरहुड (ग्राफ़ सिद्धांत) ग्राफ़ के रूप में समान रूप से परिभाषित किया जा सकता है।

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

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

यह परीक्षण करना संभव है कि क्या एक ग्राफ के साथ $m$ किनारे समय में त्रिभुज-मुक्त हैं $O(m1.41)$. एक अन्य दृष्टिकोण का ट्रेस (रैखिक बीजगणित) खोजने के लिए है $A3$, कहाँ $A$ ग्राफ का आसन्न मैट्रिक्स है। ट्रेस शून्य है अगर और केवल अगर ग्राफ त्रिभुज-मुक्त है। घने रेखांकन के लिए, इस सरल एल्गोरिथ्म का उपयोग करना अधिक कुशल है जो मैट्रिक्स गुणन पर निर्भर करता है, क्योंकि इससे समय की जटिलता कम हो जाती है $O(n2.373)$, कहाँ $n$ शीर्षों की संख्या है।

जैसा दिखाया गया है, त्रिभुज-मुक्त ग्राफ़ पहचान माध्यिका ग्राफ़ पहचान की जटिलता के बराबर है; हालांकि, औसत ग्राफ पहचान के लिए वर्तमान सर्वोत्तम एल्गोरिदम त्रिभुज पहचान का उपयोग इसके विपरीत के बजाय उपनेमका के रूप में करते हैं। निर्णय पेड़ की जटिलता या समस्या की क्वेरी जटिलता, जहां प्रश्न एक ऑरैकल के लिए हैं जो ग्राफ के आसन्न मैट्रिक्स को संग्रहीत करता है, है $Θ(n2)$. हालाँकि, क्वांटम एल्गोरिथ्म के लिए, सबसे अच्छी ज्ञात निचली सीमा है $Ω(n)$, लेकिन सबसे अच्छा ज्ञात एल्गोरिथम है $O(n5/4)$.

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

इन परिणामों की व्याख्या फॉर्म के रैमसे संख्या R(3,t) पर स्पर्शोन्मुख सीमा देने के रूप में भी की जा सकती है $$\Theta(\tfrac{t^2}{\log t})$$: यदि एक पूर्ण ग्राफ के किनारों पर $$\Omega(\tfrac{t^2}{\log t})$$ कोने लाल और नीले रंग के होते हैं, तो या तो लाल ग्राफ़ में एक त्रिभुज होता है या, यदि यह त्रिभुज-मुक्त होता है, तो इसमें नीले ग्राफ़ में समान आकार के समूह के अनुरूप आकार t का एक स्वतंत्र सेट होना चाहिए।

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

मनमाने ढंग से उच्च रंगीन संख्या के साथ त्रिभुज मुक्त ग्राफ़ का पहला निर्माण सभी  (ब्लैंच डेसकार्टेस के रूप में लेखन) के कारण है ). यह निर्माण ग्राफ से एकल शीर्ष मान के साथ शुरू हुआ $$G_1$$ और आगमनात्मक रूप से निर्मित $$G_{k+1}$$ से $$G_{k}$$ इस प्रकार है: चलो $$G_{k}$$ पास $$n$$ शिखर, फिर एक सेट लें $$Y$$ का $$k(n-1)+1$$ शिखर और प्रत्येक उपसमुच्चय के लिए $$X$$ का $$Y$$ आकार का $$n$$ की एक असंबद्ध प्रति जोड़ें $$G_{k}$$ और इसमें शामिल हों $$X$$ एक मिलान के साथ। कबूतर के सिद्धांत से यह आगमनात्मक रूप से अनुसरण करता है $$G_{k+1}$$ क्या नहीं है $$k$$ रंगीन, कम से कम एक सेट के बाद से $$X$$ यदि हमें केवल k रंगों का उपयोग करने की अनुमति है, तो उन्हें मोनोक्रोमैटिक रूप से रंगा जाना चाहिए।  ने एक अन्य त्रिभुज-मुक्त ग्राफ़ से एक नया त्रिभुज-मुक्त ग्राफ़ बनाने के लिए एक संरचना को परिभाषित किया, जिसे अब Mycielskian कहा जाता है। यदि किसी ग्राफ़ में वर्णक्रमीय संख्या k है, तो इसके Mycielskian में वर्णक्रमीय संख्या k + 1 है, इसलिए इस निर्माण का उपयोग यह दिखाने के लिए किया जा सकता है कि गैर-प्लानर त्रिभुज-मुक्त ग्राफ़ को रंगने के लिए मनमाने ढंग से बड़ी संख्या में रंगों की आवश्यकता हो सकती है। विशेष रूप से ग्रॉट्ज़स्च ग्राफ़, एक 11-वर्टेक्स ग्राफ़, जो मैसिएल्स्की के निर्माण के दोहराए गए आवेदन से बनता है, एक त्रिभुज-मुक्त ग्राफ़ है जिसे चार से कम रंगों से रंगा नहीं जा सकता है, और इस संपत्ति के साथ सबसे छोटा ग्राफ़ है।   और  ने दिखाया कि किसी भी एम-एज त्रिकोण मुक्त ग्राफ को रंगने के लिए आवश्यक रंगों की संख्या है
 * $$O \left(\frac{m^{1/3}}{(\log m)^{2/3}} \right)$$

और यह कि त्रिभुज-मुक्त ग्राफ़ मौजूद हैं जिनकी रंगीन संख्याएँ इस सीमा के समानुपाती हैं।

त्रिभुज-मुक्त ग्राफ़ में रंग को न्यूनतम डिग्री से संबंधित कई परिणाम भी मिले हैं। ने सिद्ध किया कि कोई भी n-शीर्ष त्रिभुज-मुक्त ग्राफ़ जिसमें प्रत्येक शीर्ष पर 2n/5 से अधिक पड़ोसी हों, द्विदलीय होना चाहिए। यह इस प्रकार का सबसे अच्छा संभव परिणाम है, क्योंकि 5-चक्र में तीन रंगों की आवश्यकता होती है, लेकिन प्रति शीर्ष 2n/5 पड़ोसी होते हैं। इस परिणाम से प्रेरित होकर,  ने अनुमान लगाया कि कोई भी n-शीर्ष त्रिभुज-मुक्त ग्राफ़ जिसमें प्रत्येक शीर्ष के कम से कम n/3 पड़ोसी हों, केवल तीन रंगों से रंगा जा सकता है; हालाँकि,  ने इस अनुमान को एक काउंटर उदाहरण ढूंढकर खारिज कर दिया जिसमें ग्रोट्ज़स्च ग्राफ के प्रत्येक शीर्ष को सावधानी से चुने गए आकार के एक स्वतंत्र सेट द्वारा प्रतिस्थापित किया गया है।  ने दिखाया कि कोई भी n-शीर्ष त्रिभुज-मुक्त ग्राफ़ जिसमें प्रत्येक शीर्ष में 10n/29 पड़ोसियों से अधिक है, 3-रंगीय होना चाहिए; यह इस प्रकार का सर्वोत्तम संभव परिणाम है, क्योंकि हैग्कविस्ट के ग्राफ़ में चार रंगों की आवश्यकता होती है और प्रति शीर्ष ठीक 10n/29 पड़ोसी होते हैं। आखिरकार,  ने सिद्ध किया कि कोई भी n-शीर्ष त्रिभुज-मुक्त ग्राफ़ जिसमें प्रत्येक शीर्ष के n/3 पड़ोसियों से अधिक है, 4-रंगीय होना चाहिए। हजनल के रूप में इस प्रकार के अतिरिक्त परिणाम संभव नहीं हैं किसी भी ε> 0 के लिए मनमाने ढंग से बड़ी रंगीन संख्या और न्यूनतम डिग्री (1/3 − ε)n के साथ त्रिभुज-मुक्त ग्राफ़ के उदाहरण मिले।

यह भी देखें

 * आंद्रसफाई ग्राफ, दो व्यास वाले त्रिभुज-मुक्त सर्कुलेंट ग्राफ का एक परिवार
 * हेंसन ग्राफ़, एक अनंत त्रिभुज-मुक्त ग्राफ़ जिसमें प्रेरित सबग्राफ के रूप में सभी परिमित त्रिभुज-मुक्त ग्राफ़ शामिल हैं
 * शिफ्ट ग्राफ, मनमाने ढंग से उच्च रंगीन संख्या के साथ त्रिकोण-मुक्त ग्राफ का एक परिवार
 * केसर ग्राफ $$KG_{3k-1, k}$$ त्रिभुज मुक्त है और इसमें रंगीन संख्या है $$k + 1$$
 * मोनोक्रोमैटिक त्रिभुज समस्या, किसी दिए गए ग्राफ़ के किनारों को दो त्रिभुज-मुक्त ग्राफ़ में विभाजित करने की समस्या
 * रुज़सा-ज़ेमेरीडी समस्या, ग्राफ़ पर जिसमें हर किनारा ठीक एक त्रिकोण से संबंधित है

संदर्भ

 * Notes


 * Sources