कॉर्डल ग्राफ: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Graph where all long cycles have a chord}} Image:Chordal-graph.svg|thumb|220px|दो तारों वाला एक चक्र (काला) (...")
 
No edit summary
Line 1: Line 1:
{{Short description|Graph where all long cycles have a chord}}
{{Short description|Graph where all long cycles have a chord}}
[[Image:Chordal-graph.svg|thumb|220px|दो तारों वाला एक चक्र (काला) (हरा)। इस भाग के लिए, ग्राफ़ कॉर्डल है। हालाँकि, एक हरे किनारे को हटाने से एक गैर-कॉर्डल ग्राफ़ प्राप्त होगा। दरअसल, तीन काले किनारों वाला दूसरा हरा किनारा बिना किसी तार के चार लंबाई का एक चक्र बनाएगा।]][[ग्राफ सिद्धांत]] के गणित क्षेत्र में, एक कॉर्डल ग्राफ वह होता है जिसमें चार या अधिक शीर्ष (ग्राफ सिद्धांत) के सभी [[चक्र (ग्राफ सिद्धांत)]] में एक ''कॉर्ड'' होता है, जो एक किनारा (ग्राफ सिद्धांत) होता है जो भाग नहीं होता है चक्र का लेकिन चक्र के दो शीर्षों को जोड़ता है। समान रूप से, ग्राफ़ में प्रत्येक [[प्रेरित चक्र]] में ठीक तीन शीर्ष होने चाहिए। कॉर्डल ग्राफ़ को ऐसे ग्राफ़ के रूप में भी चित्रित किया जा सकता है जिनमें पूर्ण उन्मूलन आदेश होते हैं, ऐसे ग्राफ़ के रूप में जिनमें प्रत्येक न्यूनतम विभाजक एक क्लिक (ग्राफ़ सिद्धांत) होता है, और एक पेड़ के उपवृक्षों के [[प्रतिच्छेदन ग्राफ]]़ के रूप में। इन्हें कभी-कभी कठोर सर्किट ग्राफ़ भी कहा जाता है<ref name="dirac">{{harvtxt|Dirac|1961}}.</ref> या त्रिकोणीय ग्राफ़.<ref name="berge">{{harvtxt|Berge|1967}}.</ref>
[[Image:Chordal-graph.svg|thumb|220px|दो तारों वाला एक चक्र (काला) (हरा)। इस भाग के लिए, ग्राफ़ कॉर्डल है। हालाँकि, एक हरे किनारे को हटाने से एक गैर-कॉर्डल ग्राफ़ प्राप्त होगा। दरअसल, तीन काले किनारों वाला दूसरा हरा किनारा बिना किसी तार के चार लंबाई का एक चक्र बनाएगा।]]
कॉर्डल ग्राफ़ पूर्ण ग्राफ़ का एक उपसमूह हैं। उन्हें [[रैखिक समय]] में पहचाना जा सकता है, और कई समस्याएं जो ग्राफ़ के अन्य वर्गों पर कठिन होती हैं जैसे कि [[ग्राफ़ रंग]] को बहुपद समय में हल किया जा सकता है जब इनपुट कॉर्डल होता है। एक मनमाना ग्राफ़ की [[ वृक्ष चौड़ाई ]] को कॉर्डल ग्राफ़ में क्लिक (ग्राफ़ सिद्धांत) के आकार से पहचाना जा सकता है जिसमें यह शामिल है।


==उत्तम उन्मूलन और कुशल पहचान==
एक ग्राफ़ में एक पूर्ण उन्मूलन क्रम ग्राफ़ के शीर्षों का एक क्रम है, जैसे कि प्रत्येक शीर्ष के लिए {{mvar|v}}, {{mvar|v}} और [[पड़ोस (ग्राफ सिद्धांत)]] का {{mvar|v}} जो बाद में घटित होता है {{mvar|v}} क्रम में एक क्लिक (ग्राफ सिद्धांत) बनाएं। एक ग्राफ़ कॉर्डल होता है यदि और केवल तभी जब इसमें पूर्ण उन्मूलन क्रम हो।{{sfnp|Fulkerson|Gross|1965}}


{{harvtxt|Rose|Lueker|Tarjan|1976}} (यह सभी देखें {{harvnb|Habib|McConnell|Paul|Viennot|2000}}) दिखाएं कि कॉर्डल ग्राफ़ का एक आदर्श उन्मूलन क्रम लेक्सिकोग्राफ़िक चौड़ाई-पहली खोज नामक एल्गोरिदम का उपयोग करके कुशलतापूर्वक पाया जा सकता है। यह एल्गोरिदम ग्राफ़ के शीर्षों के विभाजन को सेटों के अनुक्रम में बनाए रखता है; प्रारंभ में इस अनुक्रम में सभी शीर्षों के साथ एक एकल सेट होता है। एल्गोरिथम बार-बार एक शीर्ष चुनता है {{mvar|v}} अनुक्रम के सबसे पुराने सेट से जिसमें पहले से न चुने गए शीर्ष शामिल हैं, और प्रत्येक सेट को विभाजित करता है {{mvar|S}} अनुक्रम को दो छोटे उपसमूहों में बाँट दिया गया है, पहले में इसके पड़ोसी शामिल हैं {{mvar|v}} में {{mvar|S}} और दूसरे में गैर-पड़ोसी शामिल हैं। जब यह विभाजन प्रक्रिया सभी शीर्षों के लिए निष्पादित की जाती है, तो समुच्चयों के अनुक्रम में एक पूर्ण उन्मूलन क्रम के विपरीत, प्रति समुच्चय एक शीर्ष होता है।
ग्राफ सिद्धांत के गणितीय क्षेत्र में, एक कॉर्डल ग्राफ वह होता है जिसमें चार या अधिक शीर्षों के सभी चक्रों में एक कॉर्ड होता है, जो एक किनारा होता है जो चक्र का भाग नहीं होता है किंतु चक्र के दो शीर्षों को जोड़ता है। समान रूप से, ग्राफ़ में प्रत्येक प्रेरित चक्र में ठीक तीन शीर्ष होने चाहिए। कॉर्डल ग्राफ़ को ऐसे ग्राफ़ के रूप में भी चित्रित किया जा सकता है जिनमें पूर्ण उन्मूलन आदेश होते हैं, ऐसे ग्राफ़ के रूप में जिनमें प्रत्येक न्यूनतम विभाजक एक समूह होता है, और एक ट्री के सबट्री के प्रतिच्छेदन ग्राफ़ के रूप में। इन्हें कभी-कभी कठोर परिपथ ग्राफ़<ref name="dirac">{{harvtxt|Dirac|1961}}.</ref> या त्रिकोणीय ग्राफ़ भी कहा जाता है।<ref name="berge">{{harvtxt|Berge|1967}}.</ref>
कॉर्डल ग्राफ़ पूर्ण ग्राफ़ का एक उपसमूह हैं। उन्हें [[रैखिक समय]] में पहचाना जा सकता है, और अनेक समस्याएं जो ग्राफ़ के अन्य वर्गों पर कठिन होती हैं जैसे कि [[ग्राफ़ रंग]] को बहुपद समय में हल किया जा सकता है जब इनपुट कॉर्डल होता है। एक इच्छित  ग्राफ़ की [[ वृक्ष चौड़ाई | ट्रीविड्थ]] को कॉर्डल ग्राफ़ में क्लिक (ग्राफ़ सिद्धांत) के आकार से पहचाना जा सकता है जिसमें यह सम्मिलित है।


चूँकि यह लेक्सिकोग्राफ़िक चौड़ाई पहली खोज प्रक्रिया और यह परीक्षण करने की प्रक्रिया कि क्या कोई ऑर्डर एक पूर्ण उन्मूलन ऑर्डर है, रैखिक समय में किया जा सकता है, इसलिए रैखिक समय में कॉर्डल ग्राफ़ को पहचानना संभव है। कॉर्डल ग्राफ़ पर [[ग्राफ़ सैंडविच समस्या]] एनपी-पूर्ण है{{sfnp|Bodlaender|Fellows|Warnow|1992}} जबकि कॉर्डल ग्राफ़ पर जांच ग्राफ़ समस्या में बहुपद-समय जटिलता होती है।{{sfnp|Berry|Golumbic|Lipshteyn|2007}}
==उत्तम उन्मूलन और कुशल पहचान==
ग्राफ़ में एक पूर्ण उन्मूलन क्रम ग्राफ़ के शीर्षों का एक क्रम है, जैसे कि, प्रत्येक शीर्ष {{mvar|v}}, के लिए, {{mvar|v}} और {{mvar|v}} के निकटवर्ती जो क्रम में v के बाद आते हैं, एक समूह बनाते हैं। एक ग्राफ़ कॉर्डल होता है यदि और केवल तभी जब इसमें पूर्ण उन्मूलन क्रम होते है ।


कॉर्डल ग्राफ के सभी पूर्ण उन्मूलन आदेशों के सेट को [[एंटीमैट्रोइड]] के मूल शब्दों के रूप में तैयार किया जा सकता है; {{harvtxt|Chandran|Ibarra|Ruskey|Sawada|2003}} किसी दिए गए कॉर्डल ग्राफ के सभी पूर्ण उन्मूलन आदेशों को कुशलतापूर्वक सूचीबद्ध करने के लिए एल्गोरिदम के हिस्से के रूप में एंटीमैट्रोइड्स के साथ इस कनेक्शन का उपयोग करें।
{{harvtxt|Rose|Lueker|Tarjan|1976}} (यह सभी देखें {{harvnb|Habib|McConnell|Paul|Viennot|2000}}) दिखाते हैं कि कॉर्डल ग्राफ़ का एक आदर्श उन्मूलन क्रम लेक्सिकोग्राफ़िक चौड़ाई-पहली खोज नामक एल्गोरिदम का उपयोग करके कुशलतापूर्वक पाया जा सकता है। यह एल्गोरिदम ग्राफ़ के शीर्षों के विभाजन को सेटों के अनुक्रम में बनाए रखता है; प्रारंभ में इस अनुक्रम में सभी शीर्षों के साथ एक एकल समुच्चय होता है। एल्गोरिथ्म बार-बार अनुक्रम में सबसे पुराने समुच्चय से एक शीर्ष v चुनता है जिसमें पहले से न चुने गए शीर्ष सम्मिलित होते हैं, और अनुक्रम के प्रत्येक समुच्चय {{mvar|S}} को दो छोटे उपसमुच्चयों में विभाजित करता है, पहले में {{mvar|S}} में {{mvar|v}} के निकटवर्ती सम्मिलित होते हैं और दूसरे में गैर -निकटवर्ती सम्मिलित होता है। जब यह विभाजन प्रक्रिया सभी शीर्षों के लिए निष्पादित की जाती है, तो समुच्चयों के अनुक्रम में एक पूर्ण उन्मूलन क्रम के विपरीत, प्रति समुच्चय एक शीर्ष होता है।


==[[अधिकतम क्लिक]]्स और ग्राफ़ रंग==
चूँकि यह लेक्सिकोग्राफ़िक चौड़ाई पहली खोज प्रक्रिया और यह परीक्षण करने की प्रक्रिया कि क्या कोई क्रम एक पूर्ण उन्मूलन क्रम है, रैखिक समय में किया जा सकता है, इसलिए रैखिक समय में कॉर्डल ग्राफ़ को पहचानना संभव है। कॉर्डल ग्राफ़ पर [[ग्राफ़ सैंडविच समस्या]] एनपी-पूर्ण है{{sfnp|Bodlaender|Fellows|Warnow|1992}} जबकि कॉर्डल ग्राफ़ पर जांच ग्राफ़ समस्या में बहुपद-समय सम्मिश्रता होती है।{{sfnp|Berry|Golumbic|Lipshteyn|2007}}
पूर्ण उन्मूलन आदेशों का एक अन्य अनुप्रयोग बहुपद-समय में एक कॉर्डल ग्राफ का अधिकतम क्लिक (ग्राफ सिद्धांत) ढूंढना है, जबकि सामान्य ग्राफ़ के लिए एक ही समस्या एनपी-पूर्ण है। अधिक आम तौर पर, एक कॉर्डल ग्राफ़ में केवल रैखिक रूप से कई अधिकतम क्लिक्स हो सकते हैं, जबकि गैर-कॉर्डल ग्राफ़ में तेजी से कई हो सकते हैं। कॉर्डल ग्राफ़ के सभी अधिकतम क्लिकों को सूचीबद्ध करने के लिए, बस एक पूर्ण उन्मूलन क्रम ढूंढें, प्रत्येक शीर्ष के लिए एक क्लिक बनाएं {{mvar|v}}के पड़ोसियों के साथ मिलकर {{mvar|v}} जो बाद में हैं {{mvar|v}} सही उन्मूलन क्रम में, और परीक्षण करें कि प्रत्येक परिणामी क्लिक्स अधिकतम है या नहीं।


कॉर्डल ग्राफ़ के [[ ग्राफ़ पर क्लिक करें ]]़ दोहरे कॉर्डल ग्राफ़ हैं।{{sfnp|Szwarcfiter|Bornstein|1994}}
कॉर्डल ग्राफ के सभी पूर्ण उन्मूलन आदेशों के समुच्चय को [[एंटीमैट्रोइड]] के मूल शब्दों के रूप में तैयार किया जा सकता है; {{harvtxt|Chandran|Ibarra|Ruskey|Sawada|2003}} किसी दिए गए कॉर्डल ग्राफ के सभी पूर्ण उन्मूलन आदेशों को कुशलतापूर्वक सूचीबद्ध करने के लिए एल्गोरिदम के भाग के रूप में एंटीमैट्रोइड्स के साथ इस कनेक्शन का उपयोग किया जाता है।


सबसे बड़ा अधिकतम क्लिक एक अधिकतम क्लिक है, और, चूंकि कॉर्डल ग्राफ़ परिपूर्ण होते हैं, इस क्लिक का आकार कॉर्डल ग्राफ़ की [[रंगीन संख्या]] के बराबर होता है। कॉर्डल ग्राफ़ पूरी तरह से क्रमबद्ध ग्राफ़ हैं: एक पूर्ण उन्मूलन क्रम के विपरीत शीर्षों पर एक [[लालची रंग]] एल्गोरिदम लागू करके एक इष्टतम रंग प्राप्त किया जा सकता है।{{sfnp|Maffray|2003}}
==[[अधिकतम क्लिक|अधिकतम क्लिक्स]] और ग्राफ़ रंग==
पूर्ण उन्मूलन आदेशों का एक अन्य अनुप्रयोग बहुपद-समय में कॉर्डल ग्राफ का अधिकतम क्लिक खोजता है, जबकि सामान्य ग्राफ़ के लिए एक ही समस्या एनपी-पूर्ण है। अधिक समान्यत: एक कॉर्डल ग्राफ़ में केवल रैखिक रूप से कई अधिकतम क्लिक्स हो सकते हैं, जबकि गैर-कॉर्डल ग्राफ़ में तेजी से कई हो सकते हैं। कॉर्डल ग्राफ के सभी अधिकतम क्लिकों को सूचीबद्ध करने के लिए, बस एक पूर्ण उन्मूलन क्रम ढूंढें, प्रत्येक शीर्ष v के लिए v के निकटवर्ती के साथ एक क्लिक बनाएं जो कि सही उन्मूलन क्रम में v से बाद में हैं, और परीक्षण करें कि प्रत्येक परिणामी क्लिक्स अधिकतम है या नहीं है


कॉर्डल ग्राफ़ के [[रंगीन बहुपद]] की गणना करना आसान है। एक आदर्श उन्मूलन आदेश खोजें {{math|''v''{{sub|1}}, ''v''{{sub|2}}, …, ''v{{sub|n}}''}}. होने देना {{mvar|N{{sub|i}}}} के पड़ोसियों की संख्या के बराबर {{mvar|v{{sub|i}}}} जो बाद में आता है {{mvar|v{{sub|i}}}} उस क्रम में। उदाहरण के लिए, {{math|1=''N{{sub|n}}'' = 0}}. वर्णिक बहुपद बराबर होता है <math>(x-N_1)(x-N_2)\cdots(x-N_n).</math> (अंतिम कारक बस है {{mvar|x}}, इसलिए {{mvar|x}} बहुपद को विभाजित करता है, जैसा कि होना चाहिए।) स्पष्ट रूप से, यह गणना कॉर्डलिटी पर निर्भर करती है।<ref>For instance, {{harvtxt|Agnarsson|2003}}, Remark 2.5, calls this method well known.</ref>
कॉर्डल ग्राफ़ के क्लिक ग्राफ़ दोहरे कॉर्डल ग्राफ़ हैं।{{sfnp|Szwarcfiter|Bornstein|1994}}


सबसे बड़ा अधिकतम क्लिक एक अधिकतम क्लिक है, और, चूंकि कॉर्डल ग्राफ़ परिपूर्ण होते हैं, इस क्लिक का आकार कॉर्डल ग्राफ़ की [[रंगीन संख्या]] के समान होता है। कॉर्डल ग्राफ़ पूरी तरह से क्रमबद्ध ग्राफ़ हैं: एक पूर्ण उन्मूलन क्रम के विपरीत शीर्षों पर एक [[लालची रंग|ग्रीडी रंग]] एल्गोरिदम प्रयुक्त करके एक इष्टतम रंग प्राप्त किया जा सकता है।{{sfnp|Maffray|2003}}


कॉर्डल ग्राफ़ के रंगीन बहुपद की गणना करना आसान है। जिससे {{math|''v''{{sub|1}}, ''v''{{sub|2}}, …, ''v{{sub|n}}''}} को क्रमबद्ध करते हुए एक पूर्ण उन्मूलन खोजें। मान लीजिए कि {{mvar|N{{sub|i}}}} उस क्रम में {{mvar|v{{sub|i}}}}  के बाद आने वाले {{mvar|v{{sub|i}}}} के निकटवर्ती  की संख्या के समान है। उदाहरण के लिए, {{math|1=''N{{sub|n}}'' = 0}}. वर्णिक बहुपद <math>(x-N_1)(x-N_2)\cdots(x-N_n).</math> के समान होता है (अंतिम कारक केवल {{mvar|x}} है, इसलिए {{mvar|x}} बहुपद को विभाजित करता है, जैसा कि इसे करना चाहिए।) स्पष्ट रूप से, यह गणना कॉर्डैलिटी पर निर्भर करती है।<ref>For instance, {{harvtxt|Agnarsson|2003}}, Remark 2.5, calls this method well known.</ref>
==न्यूनतम विभाजक==
==न्यूनतम विभाजक==
किसी भी ग्राफ़ में, एक [[शीर्ष विभाजक]] शीर्षों का एक सेट होता है जिसे हटाने से शेष ग्राफ़ डिस्कनेक्ट हो जाता है; एक विभाजक न्यूनतम है यदि इसमें कोई उचित उपसमुच्चय नहीं है जो एक विभाजक भी है। के एक प्रमेय के अनुसार {{harvtxt|Dirac|1961}}, कॉर्डल ग्राफ़ ऐसे ग्राफ़ होते हैं जिनमें प्रत्येक न्यूनतम विभाजक एक क्लिक होता है; डिराक ने इस लक्षण वर्णन का उपयोग यह साबित करने के लिए किया कि कॉर्डल ग्राफ़ सही ग्राफ़ हैं।
किसी भी ग्राफ़ में, एक [[शीर्ष विभाजक]] शीर्षों का एक समुच्चय होता है जिसे हटाने से शेष ग्राफ़ डिस्कनेक्ट हो जाता है; एक विभाजक न्यूनतम है यदि इसमें कोई उचित उपसमुच्चय नहीं है जो एक विभाजक भी है। के एक प्रमेय के अनुसार {{harvtxt|Dirac|1961}}, कॉर्डल ग्राफ़ ऐसे ग्राफ़ होते हैं जिनमें प्रत्येक न्यूनतम विभाजक एक क्लिक होता है; डिराक ने इस लक्षण वर्णन का उपयोग यह सिद्ध करने के लिए किया कि कॉर्डल ग्राफ़ सही ग्राफ़ हैं।
 
कॉर्डल ग्राफ़ के परिवार को आगमनात्मक रूप से ऐसे ग्राफ़ के रूप में परिभाषित किया जा सकता है जिनके शीर्षों को तीन गैर-रिक्त उपसमूहों में विभाजित किया जा सकता है {{mvar|A}}, {{mvar|S}}, और {{mvar|B}}, ऐसा है कि {{tmath|A \cup S}} और {{tmath|S \cup B}} दोनों कॉर्डल [[प्रेरित सबग्राफ]] बनाते हैं, {{mvar|S}} एक गुट है, और इसका कोई किनारा नहीं है {{mvar|A}} को {{mvar|B}}. अर्थात्, वे ऐसे ग्राफ़ हैं जिनमें क्लिक विभाजकों द्वारा छोटे उपग्राफों में पुनरावर्ती अपघटन होता है। इस कारण से, कॉर्डल ग्राफ़ को कभी-कभी विघटित ग्राफ़ भी कहा जाता है।<ref>{{cite web |url=http://www.stat.berkeley.edu/~bartlett/courses/241A-spring2007/graphnotes.pdf |title=Undirected Graphical Models: Chordal Graphs, Decomposable Graphs, Junction Trees, and Factorizations | author=Peter Bartlett}}</ref>
 


==उपवृक्षों का प्रतिच्छेदन ग्राफ==
कॉर्डल ग्राफ़ के वर्ग को आगमनात्मक रूप से ऐसे ग्राफ़ के रूप में परिभाषित किया जा सकता है जिनके शीर्षों को तीन गैर-रिक्त उपसमूह  {{mvar|A}}, {{mvar|S}}, और {{mvar|B}}, में विभाजित किया जा सकता है, जैसे कि {{tmath|A \cup S}} और {{tmath|S \cup B}}  दोनों कॉर्डल प्रेरित सबग्राफ बनाते हैं, जो की {{mvar|S}} एक क्लिक है, और वहां {{mvar|A}} को {{mvar|B}}.  तक कोई किनारा नहीं है। अथार्त , वे ग्राफ़ हैं जिनमें क्लिक विभाजकों द्वारा छोटे सबग्राफ में पुनरावर्ती अपघटन होता है। इस कारण से, कॉर्डल ग्राफ़ को कभी-कभी विघटित ग्राफ़ भी कहा जाता है।<ref>{{cite web |url=http://www.stat.berkeley.edu/~bartlett/courses/241A-spring2007/graphnotes.pdf |title=Undirected Graphical Models: Chordal Graphs, Decomposable Graphs, Junction Trees, and Factorizations | author=Peter Bartlett}}</ref>
[[Image:Tree decomposition.svg|thumb|आठ शीर्षों वाला एक कॉर्डल ग्राफ, छह-नोड पेड़ के आठ उपवृक्षों के प्रतिच्छेदन ग्राफ के रूप में दर्शाया गया है।]]कॉर्डल ग्राफ़ का एक वैकल्पिक लक्षण वर्णन, के कारण {{harvtxt|Gavril|1974}}, [[पेड़ (ग्राफ़ सिद्धांत)]] और उनके उपवृक्ष शामिल हैं।
==सबट्री का प्रतिच्छेदन ग्राफ==
[[Image:Tree decomposition.svg|thumb|आठ शीर्षों वाला एक कॉर्डल ग्राफ, छह-नोड ट्री के आठ सबट्री के प्रतिच्छेदन ग्राफ के रूप में दर्शाया गया है।]]कॉर्डल ग्राफ़ का एक वैकल्पिक लक्षण वर्णन, के कारण {{harvtxt|Gavril|1974}}, [[पेड़ (ग्राफ़ सिद्धांत)|ट्री (ग्राफ़ सिद्धांत)]] और उनके सबट्री  सम्मिलित  हैं।


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


उपवृक्षों के प्रतिच्छेदन के रूप में कॉर्डल ग्राफ़ का प्रतिनिधित्व ग्राफ़ का एक वृक्ष अपघटन बनाता है, जिसमें ग्राफ़ में सबसे बड़े क्लिक के आकार से एक कम के बराबर वृक्ष चौड़ाई होती है; किसी भी ग्राफ ''जी'' के वृक्ष अपघटन को इस तरह से कॉर्डल ग्राफ के उपग्राफ के रूप में ''जी'' के प्रतिनिधित्व के रूप में देखा जा सकता है। ग्राफ़ का ट्री अपघटन [[जंक्शन ट्री एल्गोरिदम]] का जंक्शन ट्री भी है।
'''सबट्री के प्रतिच्छेदन के रूप में कॉर्डल''' ग्राफ़ का प्रतिनिधित्व ग्राफ़ का एक ट्री अपघटन बनाता है, जिसमें ग्राफ़ में सबसे बड़े क्लिक के आकार से एक कम के समान ट्री चौड़ाई होती है; किसी भी ग्राफ ''जी'' के ट्री अपघटन को इस तरह से कॉर्डल ग्राफ के उपग्राफ के रूप में ''जी'' के प्रतिनिधित्व के रूप में देखा जा सकता है। ग्राफ़ का ट्री अपघटन [[जंक्शन ट्री एल्गोरिदम]] का जंक्शन ट्री भी है।


==अन्य ग्राफ वर्गों से संबंध==
==अन्य ग्राफ वर्गों से संबंध==


===उपवर्ग===
===उपवर्ग===
[[अंतराल ग्राफ]]़ [[पथ ग्राफ]]़ के उपवृक्षों के प्रतिच्छेदन ग्राफ़ हैं, पेड़ों का एक विशेष मामला। इसलिए, वे कॉर्डल ग्राफ़ का एक उपपरिवार हैं।
[[अंतराल ग्राफ]]़ [[पथ ग्राफ]]़ के सबट्री के प्रतिच्छेदन ग्राफ़ हैं, पेड़ों का एक विशेष मामला। इसलिए, वे कॉर्डल ग्राफ़ का एक उपपरिवार हैं।


[[ विभाजित ग्राफ ]]़ ऐसे ग्राफ़ होते हैं जो कॉर्डल और कॉर्डल ग्राफ़ के पूरक (ग्राफ़ सिद्धांत) दोनों होते हैं। {{harvtxt|Bender|Richmond|Wormald|1985}} ने दिखाया कि, सीमा में {{mvar|n}} अनन्त तक जाता है, का अंश {{mvar|n}}-वर्टेक्स कॉर्डल [[कॉग्रफ़]]़ जो विभाजित हैं, एक के करीब पहुंचते हैं।
[[ विभाजित ग्राफ ]]़ ऐसे ग्राफ़ होते हैं जो कॉर्डल और कॉर्डल ग्राफ़ के पूरक (ग्राफ़ सिद्धांत) दोनों होते हैं। {{harvtxt|Bender|Richmond|Wormald|1985}} ने दिखाया कि, सीमा में {{mvar|n}} अनन्त तक जाता है, का अंश {{mvar|n}}-वर्टेक्स कॉर्डल [[कॉग्रफ़]]़ जो विभाजित हैं, एक के करीब पहुंचते हैं।
Line 47: Line 46:
सशक्त रूप से कॉर्डल ग्राफ़ ऐसे ग्राफ़ होते हैं जो कॉर्डल होते हैं और उनमें कोई नहीं होता है {{mvar|n}}-सूर्य (के लिए {{math|''n'' ≥ 3}}) एक प्रेरित उपसमूह के रूप में। यहाँ एक {{mvar|n}}-सूर्य एक है {{mvar|n}}-वर्टेक्स कॉर्डल ग्राफ़ {{mvar|G}} के संग्रह के साथ {{mvar|n}} डिग्री-दो शीर्ष, [[हैमिल्टनियन चक्र]] के किनारों से सटे हुए{{mvar|G}}.
सशक्त रूप से कॉर्डल ग्राफ़ ऐसे ग्राफ़ होते हैं जो कॉर्डल होते हैं और उनमें कोई नहीं होता है {{mvar|n}}-सूर्य (के लिए {{math|''n'' ≥ 3}}) एक प्रेरित उपसमूह के रूप में। यहाँ एक {{mvar|n}}-सूर्य एक है {{mvar|n}}-वर्टेक्स कॉर्डल ग्राफ़ {{mvar|G}} के संग्रह के साथ {{mvar|n}} डिग्री-दो शीर्ष, [[हैमिल्टनियन चक्र]] के किनारों से सटे हुए{{mvar|G}}.


के-पेड़|{{mvar|K}}-पेड़ कॉर्डल ग्राफ़ होते हैं जिनमें सभी अधिकतम क्लिक और सभी अधिकतम क्लिक विभाजक का आकार समान होता है।<ref name="patil86">{{harvtxt|Patil|1986}}.</ref> [[अपोलोनियन नेटवर्क]] कॉर्डल मैक्सिमम [[समतलीय ग्राफ]], या समकक्ष प्लेनर 3-पेड़ हैं।<ref name="patil86"/>मैक्सिमम [[ बाह्यतलीय ग्राफ ]]़ 2-पेड़ों का एक उपवर्ग हैं, और इसलिए कॉर्डल भी हैं।
के-पेड़|{{mvar|K}}-ट्री कॉर्डल ग्राफ़ होते हैं जिनमें सभी अधिकतम क्लिक और सभी अधिकतम क्लिक विभाजक का आकार समान होता है।<ref name="patil86">{{harvtxt|Patil|1986}}.</ref> [[अपोलोनियन नेटवर्क]] कॉर्डल मैक्सिमम [[समतलीय ग्राफ]], या समकक्ष प्लेनर 3-ट्री हैं।<ref name="patil86"/>मैक्सिमम [[ बाह्यतलीय ग्राफ ]]़ 2-पेड़ों का एक उपवर्ग हैं, और इसलिए कॉर्डल भी हैं।


===सुपरक्लासेस===
===सुपरक्लासेस===
कॉर्डल ग्राफ़ सुप्रसिद्ध परफेक्ट ग्राफ़ का एक उपवर्ग हैं।
कॉर्डल ग्राफ़ सुप्रसिद्ध परफेक्ट ग्राफ़ का एक उपवर्ग हैं।
कॉर्डल ग्राफ़ के अन्य सुपरक्लास में कमजोर कॉर्डल ग्राफ़, [[ पुलिस-जीत का ग्राफ ]]़, विषम-छेद-मुक्त ग्राफ़, सम-छेद-मुक्त ग्राफ़ और [[मेनियल ग्राफ]]़ शामिल हैं। कॉर्डल ग्राफ़ वास्तव में वे ग्राफ़ हैं जो विषम-छिद्र-मुक्त और सम-छिद्र-मुक्त दोनों हैं (ग्राफ़ सिद्धांत में [[छेद (ग्राफ़ सिद्धांत)]] देखें)।
कॉर्डल ग्राफ़ के अन्य सुपरक्लास में कमजोर कॉर्डल ग्राफ़, [[ पुलिस-जीत का ग्राफ ]]़, विषम-छेद-मुक्त ग्राफ़, सम-छेद-मुक्त ग्राफ़ और [[मेनियल ग्राफ]]़ सम्मिलित  हैं। कॉर्डल ग्राफ़ वास्तव में वे ग्राफ़ हैं जो विषम-छिद्र-मुक्त और सम-छिद्र-मुक्त दोनों हैं (ग्राफ़ सिद्धांत में [[छेद (ग्राफ़ सिद्धांत)]] देखें)।


प्रत्येक कॉर्डल ग्राफ़ एक [[ गला घोंट दिया गया ग्राफ ]]़ है, एक ग्राफ़ जिसमें प्रत्येक [[परिधीय चक्र]] एक त्रिकोण है, क्योंकि परिधीय चक्र प्रेरित चक्रों का एक विशेष मामला है। स्ट्रांगुलेटेड ग्राफ़ ऐसे ग्राफ़ होते हैं जो कॉर्डल ग्राफ़ और अधिकतम समतल ग्राफ़ के क्लिक-योग द्वारा बनाए जा सकते हैं। इसलिए, स्ट्रैंगुलेटेड ग्राफ़ में अधिकतम समतलीय ग्राफ़ शामिल होते हैं।{{sfnp|Seymour|Weaver|1984}}
प्रत्येक कॉर्डल ग्राफ़ एक [[ गला घोंट दिया गया ग्राफ ]]़ है, एक ग्राफ़ जिसमें प्रत्येक [[परिधीय चक्र]] एक त्रिकोण है, क्योंकि परिधीय चक्र प्रेरित चक्रों का एक विशेष मामला है। स्ट्रांगुलेटेड ग्राफ़ ऐसे ग्राफ़ होते हैं जो कॉर्डल ग्राफ़ और अधिकतम समतल ग्राफ़ के क्लिक-योग द्वारा बनाए जा सकते हैं। इसलिए, स्ट्रैंगुलेटेड ग्राफ़ में अधिकतम समतलीय ग्राफ़ सम्मिलित  होते हैं।{{sfnp|Seymour|Weaver|1984}}


==कॉर्डल पूर्णताएं और ट्रीविड्थ==
==कॉर्डल पूर्णताएं और ट्रीविड्थ==
{{main|Chordal completion}}
{{main|Chordal completion}}
अगर {{mvar|G}} एक मनमाना ग्राफ़ है, एक कॉर्डल समापन {{mvar|G}} (या न्यूनतम भरण) एक कॉर्डल ग्राफ है जिसमें शामिल है {{mvar|G}} एक सबग्राफ के रूप में। न्यूनतम भरण का पैरामीटरयुक्त संस्करण पैरामीटरीकृत जटिलता है, और इसके अलावा, पैरामीटरयुक्त उपघातीय समय में हल करने योग्य है।{{sfnp|Kaplan|Shamir|Tarjan|1999}}{{sfnp|Fomin|Villanger|2013}}
अगर {{mvar|G}} एक इच्छित  ग्राफ़ है, एक कॉर्डल समापन {{mvar|G}} (या न्यूनतम भरण) एक कॉर्डल ग्राफ है जिसमें सम्मिलित  है {{mvar|G}} एक सबग्राफ के रूप में। न्यूनतम भरण का पैरामीटरयुक्त संस्करण पैरामीटरीकृत सम्मिश्र है, और इसके अलावा, पैरामीटरयुक्त उपघातीय समय में हल करने योग्य है।{{sfnp|Kaplan|Shamir|Tarjan|1999}}{{sfnp|Fomin|Villanger|2013}}
की वृक्ष चौड़ाई {{mvar|G}} इस क्लिक आकार को कम करने के लिए चुने गए कॉर्डल पूर्णता के अधिकतम क्लिक में शीर्षों की संख्या से एक कम है।
की ट्री चौड़ाई {{mvar|G}} इस क्लिक आकार को कम करने के लिए चुने गए कॉर्डल पूर्णता के अधिकतम क्लिक में शीर्षों की संख्या से एक कम है।
के-वृक्ष|{{mvar|k}}-पेड़ वे ग्राफ़ होते हैं जिनमें उनकी ट्रीविड्थ को इससे बड़ी संख्या तक बढ़ाए बिना कोई अतिरिक्त किनारा नहीं जोड़ा जा सकता है{{mvar|k}}.
के-वृक्ष|{{mvar|k}}-ट्री वे ग्राफ़ होते हैं जिनमें उनकी ट्रीविड्थ को इससे बड़ी संख्या तक बढ़ाए बिना कोई अतिरिक्त किनारा नहीं जोड़ा जा सकता है{{mvar|k}}.
इसलिए {{mvar|k}}-पेड़ अपनी स्वयं की कॉर्डल पूर्णताएं हैं, और कॉर्डल ग्राफ़ का एक उपवर्ग बनाते हैं। कॉर्डल पूर्णताओं का उपयोग ग्राफ़ के कई अन्य संबंधित वर्गों को चिह्नित करने के लिए भी किया जा सकता है।{{sfnp|Parra|Scheffler|1997}}
इसलिए {{mvar|k}}-ट्री अपनी स्वयं की कॉर्डल पूर्णताएं हैं, और कॉर्डल ग्राफ़ का एक उपवर्ग बनाते हैं। कॉर्डल पूर्णताओं का उपयोग ग्राफ़ के अनेक अन्य संबंधित वर्गों को चिह्नित करने के लिए भी किया जा सकता है।{{sfnp|Parra|Scheffler|1997}}


== टिप्पणियाँ ==
== टिप्पणियाँ ==

Revision as of 12:46, 12 August 2023

दो तारों वाला एक चक्र (काला) (हरा)। इस भाग के लिए, ग्राफ़ कॉर्डल है। हालाँकि, एक हरे किनारे को हटाने से एक गैर-कॉर्डल ग्राफ़ प्राप्त होगा। दरअसल, तीन काले किनारों वाला दूसरा हरा किनारा बिना किसी तार के चार लंबाई का एक चक्र बनाएगा।


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

उत्तम उन्मूलन और कुशल पहचान

ग्राफ़ में एक पूर्ण उन्मूलन क्रम ग्राफ़ के शीर्षों का एक क्रम है, जैसे कि, प्रत्येक शीर्ष v, के लिए, v और v के निकटवर्ती जो क्रम में v के बाद आते हैं, एक समूह बनाते हैं। एक ग्राफ़ कॉर्डल होता है यदि और केवल तभी जब इसमें पूर्ण उन्मूलन क्रम होते है ।

Rose, Lueker & Tarjan (1976) (यह सभी देखें Habib et al. 2000) दिखाते हैं कि कॉर्डल ग्राफ़ का एक आदर्श उन्मूलन क्रम लेक्सिकोग्राफ़िक चौड़ाई-पहली खोज नामक एल्गोरिदम का उपयोग करके कुशलतापूर्वक पाया जा सकता है। यह एल्गोरिदम ग्राफ़ के शीर्षों के विभाजन को सेटों के अनुक्रम में बनाए रखता है; प्रारंभ में इस अनुक्रम में सभी शीर्षों के साथ एक एकल समुच्चय होता है। एल्गोरिथ्म बार-बार अनुक्रम में सबसे पुराने समुच्चय से एक शीर्ष v चुनता है जिसमें पहले से न चुने गए शीर्ष सम्मिलित होते हैं, और अनुक्रम के प्रत्येक समुच्चय S को दो छोटे उपसमुच्चयों में विभाजित करता है, पहले में S में v के निकटवर्ती सम्मिलित होते हैं और दूसरे में गैर -निकटवर्ती सम्मिलित होता है। जब यह विभाजन प्रक्रिया सभी शीर्षों के लिए निष्पादित की जाती है, तो समुच्चयों के अनुक्रम में एक पूर्ण उन्मूलन क्रम के विपरीत, प्रति समुच्चय एक शीर्ष होता है।

चूँकि यह लेक्सिकोग्राफ़िक चौड़ाई पहली खोज प्रक्रिया और यह परीक्षण करने की प्रक्रिया कि क्या कोई क्रम एक पूर्ण उन्मूलन क्रम है, रैखिक समय में किया जा सकता है, इसलिए रैखिक समय में कॉर्डल ग्राफ़ को पहचानना संभव है। कॉर्डल ग्राफ़ पर ग्राफ़ सैंडविच समस्या एनपी-पूर्ण है[3] जबकि कॉर्डल ग्राफ़ पर जांच ग्राफ़ समस्या में बहुपद-समय सम्मिश्रता होती है।[4]

कॉर्डल ग्राफ के सभी पूर्ण उन्मूलन आदेशों के समुच्चय को एंटीमैट्रोइड के मूल शब्दों के रूप में तैयार किया जा सकता है; Chandran et al. (2003) किसी दिए गए कॉर्डल ग्राफ के सभी पूर्ण उन्मूलन आदेशों को कुशलतापूर्वक सूचीबद्ध करने के लिए एल्गोरिदम के भाग के रूप में एंटीमैट्रोइड्स के साथ इस कनेक्शन का उपयोग किया जाता है।

अधिकतम क्लिक्स और ग्राफ़ रंग

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

कॉर्डल ग्राफ़ के क्लिक ग्राफ़ दोहरे कॉर्डल ग्राफ़ हैं।[5]

सबसे बड़ा अधिकतम क्लिक एक अधिकतम क्लिक है, और, चूंकि कॉर्डल ग्राफ़ परिपूर्ण होते हैं, इस क्लिक का आकार कॉर्डल ग्राफ़ की रंगीन संख्या के समान होता है। कॉर्डल ग्राफ़ पूरी तरह से क्रमबद्ध ग्राफ़ हैं: एक पूर्ण उन्मूलन क्रम के विपरीत शीर्षों पर एक ग्रीडी रंग एल्गोरिदम प्रयुक्त करके एक इष्टतम रंग प्राप्त किया जा सकता है।[6]

कॉर्डल ग्राफ़ के रंगीन बहुपद की गणना करना आसान है। जिससे v1, v2, …, vn को क्रमबद्ध करते हुए एक पूर्ण उन्मूलन खोजें। मान लीजिए कि Ni उस क्रम में vi के बाद आने वाले vi के निकटवर्ती की संख्या के समान है। उदाहरण के लिए, Nn = 0. वर्णिक बहुपद के समान होता है (अंतिम कारक केवल x है, इसलिए x बहुपद को विभाजित करता है, जैसा कि इसे करना चाहिए।) स्पष्ट रूप से, यह गणना कॉर्डैलिटी पर निर्भर करती है।[7]

न्यूनतम विभाजक

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

कॉर्डल ग्राफ़ के वर्ग को आगमनात्मक रूप से ऐसे ग्राफ़ के रूप में परिभाषित किया जा सकता है जिनके शीर्षों को तीन गैर-रिक्त उपसमूह A, S, और B, में विभाजित किया जा सकता है, जैसे कि और दोनों कॉर्डल प्रेरित सबग्राफ बनाते हैं, जो की S एक क्लिक है, और वहां A को B. तक कोई किनारा नहीं है। अथार्त , वे ग्राफ़ हैं जिनमें क्लिक विभाजकों द्वारा छोटे सबग्राफ में पुनरावर्ती अपघटन होता है। इस कारण से, कॉर्डल ग्राफ़ को कभी-कभी विघटित ग्राफ़ भी कहा जाता है।[8]

सबट्री का प्रतिच्छेदन ग्राफ

आठ शीर्षों वाला एक कॉर्डल ग्राफ, छह-नोड ट्री के आठ सबट्री के प्रतिच्छेदन ग्राफ के रूप में दर्शाया गया है।

कॉर्डल ग्राफ़ का एक वैकल्पिक लक्षण वर्णन, के कारण Gavril (1974), ट्री (ग्राफ़ सिद्धांत) और उनके सबट्री सम्मिलित हैं।

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

सबट्री के प्रतिच्छेदन के रूप में कॉर्डल ग्राफ़ का प्रतिनिधित्व ग्राफ़ का एक ट्री अपघटन बनाता है, जिसमें ग्राफ़ में सबसे बड़े क्लिक के आकार से एक कम के समान ट्री चौड़ाई होती है; किसी भी ग्राफ जी के ट्री अपघटन को इस तरह से कॉर्डल ग्राफ के उपग्राफ के रूप में जी के प्रतिनिधित्व के रूप में देखा जा सकता है। ग्राफ़ का ट्री अपघटन जंक्शन ट्री एल्गोरिदम का जंक्शन ट्री भी है।

अन्य ग्राफ वर्गों से संबंध

उपवर्ग

अंतराल ग्राफपथ ग्राफ़ के सबट्री के प्रतिच्छेदन ग्राफ़ हैं, पेड़ों का एक विशेष मामला। इसलिए, वे कॉर्डल ग्राफ़ का एक उपपरिवार हैं।

विभाजित ग्राफ ़ ऐसे ग्राफ़ होते हैं जो कॉर्डल और कॉर्डल ग्राफ़ के पूरक (ग्राफ़ सिद्धांत) दोनों होते हैं। Bender, Richmond & Wormald (1985) ने दिखाया कि, सीमा में n अनन्त तक जाता है, का अंश n-वर्टेक्स कॉर्डल कॉग्रफ़़ जो विभाजित हैं, एक के करीब पहुंचते हैं।

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

सशक्त रूप से कॉर्डल ग्राफ़ ऐसे ग्राफ़ होते हैं जो कॉर्डल होते हैं और उनमें कोई नहीं होता है n-सूर्य (के लिए n ≥ 3) एक प्रेरित उपसमूह के रूप में। यहाँ एक n-सूर्य एक है n-वर्टेक्स कॉर्डल ग्राफ़ G के संग्रह के साथ n डिग्री-दो शीर्ष, हैमिल्टनियन चक्र के किनारों से सटे हुएG.

के-पेड़|K-ट्री कॉर्डल ग्राफ़ होते हैं जिनमें सभी अधिकतम क्लिक और सभी अधिकतम क्लिक विभाजक का आकार समान होता है।[9] अपोलोनियन नेटवर्क कॉर्डल मैक्सिमम समतलीय ग्राफ, या समकक्ष प्लेनर 3-ट्री हैं।[9]मैक्सिमम बाह्यतलीय ग्राफ ़ 2-पेड़ों का एक उपवर्ग हैं, और इसलिए कॉर्डल भी हैं।

सुपरक्लासेस

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

प्रत्येक कॉर्डल ग्राफ़ एक गला घोंट दिया गया ग्राफ ़ है, एक ग्राफ़ जिसमें प्रत्येक परिधीय चक्र एक त्रिकोण है, क्योंकि परिधीय चक्र प्रेरित चक्रों का एक विशेष मामला है। स्ट्रांगुलेटेड ग्राफ़ ऐसे ग्राफ़ होते हैं जो कॉर्डल ग्राफ़ और अधिकतम समतल ग्राफ़ के क्लिक-योग द्वारा बनाए जा सकते हैं। इसलिए, स्ट्रैंगुलेटेड ग्राफ़ में अधिकतम समतलीय ग्राफ़ सम्मिलित होते हैं।[10]

कॉर्डल पूर्णताएं और ट्रीविड्थ

अगर G एक इच्छित ग्राफ़ है, एक कॉर्डल समापन G (या न्यूनतम भरण) एक कॉर्डल ग्राफ है जिसमें सम्मिलित है G एक सबग्राफ के रूप में। न्यूनतम भरण का पैरामीटरयुक्त संस्करण पैरामीटरीकृत सम्मिश्र है, और इसके अलावा, पैरामीटरयुक्त उपघातीय समय में हल करने योग्य है।[11][12] की ट्री चौड़ाई G इस क्लिक आकार को कम करने के लिए चुने गए कॉर्डल पूर्णता के अधिकतम क्लिक में शीर्षों की संख्या से एक कम है। के-वृक्ष|k-ट्री वे ग्राफ़ होते हैं जिनमें उनकी ट्रीविड्थ को इससे बड़ी संख्या तक बढ़ाए बिना कोई अतिरिक्त किनारा नहीं जोड़ा जा सकता हैk. इसलिए k-ट्री अपनी स्वयं की कॉर्डल पूर्णताएं हैं, और कॉर्डल ग्राफ़ का एक उपवर्ग बनाते हैं। कॉर्डल पूर्णताओं का उपयोग ग्राफ़ के अनेक अन्य संबंधित वर्गों को चिह्नित करने के लिए भी किया जा सकता है।[13]

टिप्पणियाँ

  1. Dirac (1961).
  2. Berge (1967).
  3. Bodlaender, Fellows & Warnow (1992).
  4. Berry, Golumbic & Lipshteyn (2007).
  5. Szwarcfiter & Bornstein (1994).
  6. Maffray (2003).
  7. For instance, Agnarsson (2003), Remark 2.5, calls this method well known.
  8. Peter Bartlett. "Undirected Graphical Models: Chordal Graphs, Decomposable Graphs, Junction Trees, and Factorizations" (PDF).
  9. 9.0 9.1 Patil (1986).
  10. Seymour & Weaver (1984).
  11. Kaplan, Shamir & Tarjan (1999).
  12. Fomin & Villanger (2013).
  13. Parra & Scheffler (1997).


संदर्भ


बाहरी संबंध