क्लिक-चौड़ाई: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Measure of graph complexity}} File:Clique-width construction.svg|thumb|upright=1.35|असंयुक्त संघों, रीलेबलिंग...")
 
No edit summary
Line 1: Line 1:
{{Short description|Measure of graph complexity}}
{{Short description|Measure of graph complexity}}
[[File:Clique-width construction.svg|thumb|upright=1.35|असंयुक्त संघों, रीलेबलिंग और लेबल-जॉइन्स द्वारा क्लिक-चौड़ाई 3 के [[दूरी-वंशानुगत ग्राफ]] का निर्माण। वर्टेक्स लेबल को रंगों के रूप में दिखाया गया है।]]ग्राफ़ सिद्धांत में, ग्राफ़ की क्लिक-चौड़ाई (अलग गणित) {{mvar|G}} एक पैरामीटर है जो ग्राफ़ की संरचनात्मक जटिलता का वर्णन करता है; इसका [[ वृक्ष चौड़ाई ]] से गहरा संबंध है, लेकिन ट्रीविड्थ के विपरीत यह घने ग्राफ़ के लिए छोटा हो सकता है।
[[File:Clique-width construction.svg|thumb|upright=1.35|असंयुक्त संघों, रीलेबलिंग और लेबल-जॉइन्स द्वारा क्लिक-विड्थ 3 के [[दूरी-वंशानुगत ग्राफ]] का निर्माण। वर्टेक्स लेबल को रंगों के रूप में दिखाया गया है।]]ग्राफ़ सिद्धांत में, ग्राफ़ की '''क्लिक-विड्थ (क्लिक-विड्थ''') (अलग गणित) {{mvar|G}} एक पैरामीटर है जो ग्राफ़ की संरचनात्मक सम्मिश्रता का वर्णन करता है; इसका[[ वृक्ष चौड़ाई | ट्री विड्थ]] से गहरा संबंध है, लेकिन ट्रीविड्थ के विपरीत यह घने ग्राफ़ के लिए छोटा हो सकता है।
इसे निर्माण के लिए आवश्यक [[ग्राफ़ लेबलिंग]] की न्यूनतम संख्या के रूप में परिभाषित किया गया है {{mvar|G}} निम्नलिखित 4 ऑपरेशनों के माध्यम से:
इसे निर्माण के लिए आवश्यक [[ग्राफ़ लेबलिंग]] की न्यूनतम संख्या के रूप में परिभाषित किया गया है {{mvar|G}} निम्नलिखित 4 ऑपरेशनों के माध्यम से:


#नए शिखर का निर्माण {{mvar|v}} लेबल के साथ {{mvar|i}} (द्वारा चिह्नित {{math|''i''(''v'')}})
#नए शिखर का निर्माण {{mvar|v}} लेबल के साथ {{mvar|i}} (द्वारा चिह्नित {{math|''i''(''v'')}})
#दो लेबल वाले ग्राफ़ के ग्राफ़ का असंयुक्त संघ {{mvar|G}} और {{mvar|H}} (द्वारा चिह्नित <math>G \oplus H</math>)
#दो लेबल वाले ग्राफ़ के ग्राफ़ का असंयुक्त संघ {{mvar|G}} और {{mvar|H}} (द्वारा चिह्नित <math>G \oplus H</math>)
#लेबल वाले प्रत्येक शीर्ष पर एक किनारे से जुड़ना {{mvar|i}} लेबल किए गए प्रत्येक शीर्ष पर {{mvar|j}} (द्वारा चिह्नित {{math|''η''(''i'',''j'')}}), कहाँ {{math|''i'' ≠ ''j''}}
#लेबल वाले प्रत्येक शीर्ष पर एक किनारे से जुड़ना {{mvar|i}} लेबल किए गए प्रत्येक शीर्ष पर {{mvar|j}} (द्वारा चिह्नित {{math|''η''(''i'',''j'')}}), जहाँ {{math|''i'' ≠ ''j''}}
#लेबल का नाम बदलना {{mvar|i}} सूचक पत्र के लिए {{mvar|j}} (द्वारा चिह्नित {{math|''ρ''(''i'',''j'')}})
#लेबल का नाम बदलना {{mvar|i}} सूचक पत्र के लिए {{mvar|j}} (द्वारा चिह्नित {{math|''ρ''(''i'',''j'')}})


बंधे हुए क्लिक-चौड़ाई के ग्राफ़ में [[ कॉग्रफ़ ]]और दूरी-वंशानुगत ग्राफ़ शामिल हैं। यद्यपि क्लिक-चौड़ाई की गणना करना एनपी-कठिन है जब यह असंबद्ध है, और यह अज्ञात है कि क्या इसे बहुपद समय में गणना की जा सकती है जब यह घिरा हुआ है, क्लिक-चौड़ाई के लिए कुशल सन्निकटन एल्गोरिदम ज्ञात हैं।
बंधे हुए क्लिक-विड्थ के ग्राफ़ में [[ कॉग्रफ़ | कॉग्रफ़]] और दूरी-वंशानुगत ग्राफ़ सम्मिलित हैं। यद्यपि क्लिक-विड्थ की गणना करना एनपी-कठिन है जब यह असंबद्ध है, और यह अज्ञात है कि क्या इसे बहुपद समय में गणना की जा सकती है जब यह घिरा हुआ है, क्लिक-विड्थ के लिए कुशल सन्निकटन एल्गोरिदम ज्ञात हैं।
इन एल्गोरिदम और कौरसेल के प्रमेय के आधार पर, कई ग्राफ़ अनुकूलन समस्याएं जो मनमाने ग्राफ़ के लिए [[ एनपी कठिन ]] हैं, उन्हें बाउंडेड क्लिक-चौड़ाई के ग्राफ़ पर जल्दी से हल या अनुमानित किया जा सकता है।
इन एल्गोरिदम और कौरसेल के प्रमेय के आधार पर, कई ग्राफ़ अनुकूलन समस्याएं जो मनमाने ग्राफ़ के लिए [[ एनपी कठिन ]] हैं, उन्हें बाउंडेड क्लिक-विड्थ के ग्राफ़ पर जल्दी से हल या अनुमानित किया जा सकता है।


क्लिक-चौड़ाई की अवधारणा के अंतर्निहित निर्माण क्रम को 1990 में [[ब्रूनो कौरसेल]], एंगेलफ्रिएट और रोज़ेनबर्ग द्वारा तैयार किया गया था।{{sfnp|Courcelle|Engelfriet|Rozenberg|1993}} और तक {{harvtxt|Wanke|1994}}. क्लिक-विड्थ नाम का उपयोग एक अलग अवधारणा के लिए किया गया था {{harvtxt|Chlebíková|1992}}. 1993 तक, इस शब्द का वर्तमान अर्थ पहले से ही मौजूद था।{{sfnp|Courcelle|1993}}
क्लिक-विड्थ की अवधारणा के अंतर्निहित निर्माण क्रम को 1990 में [[ब्रूनो कौरसेल]], एंगेलफ्रिएट और रोज़ेनबर्ग द्वारा तैयार किया गया था।{{sfnp|Courcelle|Engelfriet|Rozenberg|1993}} और तक {{harvtxt|Wanke|1994}}. क्लिक-विड्थ नाम का उपयोग एक अलग अवधारणा के लिए किया गया था {{harvtxt|Chlebíková|1992}}. 1993 तक, इस शब्द का वर्तमान अर्थ पहले से ही उपस्थित था।{{sfnp|Courcelle|1993}}


==ग्राफ़ के विशेष वर्ग==
==ग्राफ़ के विशेष वर्ग==
कॉग्राफ वास्तव में अधिकतम 2 क्लिक-चौड़ाई वाले ग्राफ़ होते हैं।{{sfnp|Courcelle|Olariu|2000}}
कॉग्राफ वास्तव में अधिकतम 2 क्लिक-विड्थ वाले ग्राफ़ होते हैं।{{sfnp|Courcelle|Olariu|2000}} प्रत्येक दूरी-वंशानुगत ग्राफ़ में अधिकतम 3 क्लिक-विड्थ होती है। हालाँकि, इकाई अंतराल ग्राफ़ की क्लिक-विड्थ असीमित होती है (उनकी ग्रिड संरचना के आधार पर)।{{sfnp|Golumbic|Rotics|2000}} इसी प्रकार, द्विदलीय क्रमपरिवर्तन ग्राफ़ की क्लिक-विड्थ असीमित है (समान ग्रिड संरचना के आधार पर)।{{sfnp|Brandstädt|Lozin|2003}}
प्रत्येक दूरी-वंशानुगत ग्राफ़ में अधिकतम 3 क्लिक-चौड़ाई होती है। हालाँकि, इकाई अंतराल ग्राफ़ की क्लिक-चौड़ाई असीमित होती है (उनकी ग्रिड संरचना के आधार पर)।{{sfnp|Golumbic|Rotics|2000}}
चार शीर्षों वाले पथ के लिए बिना किसी प्रेरित सबग्राफ आइसोमोर्फिक वाले ग्राफ़ के रूप में कोग्राफ के लक्षण वर्णन के आधार पर, निषिद्ध प्रेरित सबग्राफ द्वारा परिभाषित कई ग्राफ वर्गों की क्लिक-विड्थ को वर्गीकृत किया गया है।<ref>{{harvtxt|Brandstädt|Dragan|Le|Mosca|2005}}; {{harvtxt|Brandstädt|Engelfriet|Le|Lozin|2006}}.</ref>
इसी प्रकार, द्विदलीय क्रमपरिवर्तन ग्राफ़ की क्लिक-चौड़ाई असीमित है (समान ग्रिड संरचना के आधार पर)।{{sfnp|Brandstädt|Lozin|2003}}
चार शीर्षों वाले पथ के लिए बिना किसी प्रेरित सबग्राफ आइसोमोर्फिक वाले ग्राफ़ के रूप में कोग्राफ के लक्षण वर्णन के आधार पर, निषिद्ध प्रेरित सबग्राफ द्वारा परिभाषित कई ग्राफ वर्गों की क्लिक-चौड़ाई को वर्गीकृत किया गया है।<ref>{{harvtxt|Brandstädt|Dragan|Le|Mosca|2005}}; {{harvtxt|Brandstädt|Engelfriet|Le|Lozin|2006}}.</ref>
बंधे हुए क्लिक-चौड़ाई वाले अन्य ग्राफ़ में लीफ पावर शामिल है|{{mvar|k}}-परिबद्ध मूल्यों के लिए पत्ती शक्तियां {{mvar|k}}; ये एक पेड़ की पत्तियों के प्रेरित उपसमूह हैं {{mvar|T}} [[ ग्राफ शक्ति ]] में {{math|''T''<sup>''k''</sup>}}. हालाँकि, असीमित घातांक वाली पत्ती शक्तियों में सीमित क्लिक-चौड़ाई नहीं होती है।<ref>{{harvtxt|Brandstädt|Hundt|2008}}; {{harvtxt|Gurski|Wanke|2009}}.</ref>


बंधे हुए क्लिक-विड्थ वाले अन्य ग्राफ़ में लीफ पावर सम्मिलित है; {{mvar|k}}-परिबद्ध मूल्यों के लिए लीफ पावर्स {{mvar|k}}; ये एक पेड़ की पत्तियों के प्रेरित उपसमूह हैं {{mvar|T}} [[ ग्राफ शक्ति | ग्राफ शक्ति]] में {{math|''T''<sup>''k''</sup>}}. हालाँकि, असीमित घातांक वाली पत्ती शक्तियों में सीमित क्लिक-विड्थ नहीं होती है।<ref>{{harvtxt|Brandstädt|Hundt|2008}}; {{harvtxt|Gurski|Wanke|2009}}.</ref>
==सीमा==
{{harvtxt|Courcelle|Olariu|2000}} और {{harvtxt|Corneil|Rotics|2005}} कुछ ग्राफ़ की क्लिक-विड्थ पर निम्नलिखित सीमाएँ साबित हुईं:
*यदि किसी ग्राफ़ में अधिकतम क्लिक-विड्थ है {{mvar|k}}, तो ग्राफ़ का प्रत्येक प्रेरित सबग्राफ भी ऐसा ही करता है।<ref>{{harvtxt|Courcelle|Olariu|2000}}, Corollary&nbsp;3.3.</ref>
*क्लिक-विड्थ के ग्राफ का [[पूरक ग्राफ]] {{mvar|k}} में अधिकतम क्लिक-विड्थ है {{math|2''k''}}.<ref>{{harvtxt|Courcelle|Olariu|2000}}, Theorem&nbsp;4.1.</ref>
* ट्रीविड्थ के रेखांकन {{mvar|w}} अधिकतम क्लिक-विड्थ है {{math|3 &middot; 2<sup>''w'' &minus; 1</sup>}}. इस सीमा में घातीय निर्भरता आवश्यक है: ऐसे ग्राफ़ उपस्थित हैं जिनकी क्लिक-विड्थ उनकी ट्रीविड्थ से तेजी से बड़ी है।<ref>{{harvtxt|Corneil|Rotics|2005}}, strengthening {{harvtxt|Courcelle|Olariu|2000}}, Theorem&nbsp;5.5.</ref> दूसरी दिशा में, परिबद्ध क्लिक-विड्थ के ग्राफ़ में असीमित ट्रीविड्थ हो सकती है; उदाहरण के लिए, {{mvar|n}}-वर्टेक्स पूर्ण ग्राफ़ में क्लिक-विड्थ 2 लेकिन ट्रीविड्थ है {{math|''n'' &minus; 1}}. हालाँकि, क्लिक-विड्थ के ग्राफ़ {{mvar|k}} जिसका कोई [[पूर्ण द्विदलीय ग्राफ]]़ नहीं है {{math|''K''<sub>''t'',''t''</sub>}} एक सबग्राफ के रूप में अधिकतम ट्रीविड्थ है {{math|3''k''(''t'' &minus; 1) &minus; 1}}. इसलिए, [[विरल ग्राफ]]़ के प्रत्येक विड्थ के लिए, परिबद्ध ट्रीविड्थ परिबद्ध क्लिक-विड्थ के बराबर है।{{sfnp|Gurski|Wanke|2000}}
*एक अन्य ग्राफ़ पैरामीटर, [[रैंक-चौड़ाई|रैंक-विड्थ]], क्लिक-विड्थ द्वारा दोनों दिशाओं में घिरा हुआ है: {{nowrap|rank-width ≤ clique-width ≤ 2<sup>rank-width + 1</sup>.{{sfnp|Oum|Seymour|2006}}}}


==सीमा==
इसके अतिरिक्त, यदि कोई ग्राफ {{mvar|G}} में क्लिक-विड्थ है {{mvar|k}}, फिर ग्राफ पावर {{math|''G''<sup>c</sup>}} में अधिकतम क्लिक-विड्थ है {{math|2''kc''<sup>''k''</sup>}}.{{sfnp|Todinca|2003}} हालाँकि ट्रीविड्थ से क्लिक-विड्थ की सीमा और ग्राफ़ शक्तियों की क्लिक-विड्थ की सीमा दोनों में एक घातीय अंतर है, ये सीमाएँ एक-दूसरे को संयोजित नहीं करती हैं:
{{harvtxt|Courcelle|Olariu|2000}} और {{harvtxt|Corneil|Rotics|2005}} कुछ ग्राफ़ की क्लिक-चौड़ाई पर निम्नलिखित सीमाएँ साबित हुईं:
*यदि किसी ग्राफ़ में अधिकतम क्लिक-चौड़ाई है {{mvar|k}}, तो ग्राफ़ का प्रत्येक प्रेरित सबग्राफ भी ऐसा ही करता है।<ref>{{harvtxt|Courcelle|Olariu|2000}}, Corollary&nbsp;3.3.</ref>
*क्लिक-चौड़ाई के ग्राफ का [[पूरक ग्राफ]] {{mvar|k}} में अधिकतम क्लिक-चौड़ाई है {{math|2''k''}}.<ref>{{harvtxt|Courcelle|Olariu|2000}}, Theorem&nbsp;4.1.</ref>
* वृक्ष-चौड़ाई के रेखांकन {{mvar|w}} अधिकतम क्लिक-चौड़ाई है {{math|3 &middot; 2<sup>''w'' &minus; 1</sup>}}. इस सीमा में घातीय निर्भरता आवश्यक है: ऐसे ग्राफ़ मौजूद हैं जिनकी क्लिक-चौड़ाई उनकी ट्रीविड्थ से तेजी से बड़ी है।<ref>{{harvtxt|Corneil|Rotics|2005}}, strengthening {{harvtxt|Courcelle|Olariu|2000}}, Theorem&nbsp;5.5.</ref> दूसरी दिशा में, परिबद्ध क्लिक-चौड़ाई के ग्राफ़ में असीमित वृक्ष-चौड़ाई हो सकती है; उदाहरण के लिए, {{mvar|n}}-वर्टेक्स पूर्ण ग्राफ़ में क्लिक-चौड़ाई 2 लेकिन ट्रीविड्थ है {{math|''n'' &minus; 1}}. हालाँकि, क्लिक-चौड़ाई के ग्राफ़ {{mvar|k}} जिसका कोई [[पूर्ण द्विदलीय ग्राफ]]़ नहीं है {{math|''K''<sub>''t'',''t''</sub>}} एक सबग्राफ के रूप में अधिकतम ट्रीविड्थ है {{math|3''k''(''t'' &minus; 1) &minus; 1}}. इसलिए, [[विरल ग्राफ]]़ के प्रत्येक परिवार के लिए, परिबद्ध वृक्ष-चौड़ाई परिबद्ध क्लिक-चौड़ाई के बराबर है।{{sfnp|Gurski|Wanke|2000}}
*एक अन्य ग्राफ़ पैरामीटर, [[रैंक-चौड़ाई]], क्लिक-चौड़ाई द्वारा दोनों दिशाओं में घिरा हुआ है: {{nowrap|rank-width ≤ clique-width ≤ 2<sup>rank-width + 1</sup>.{{sfnp|Oum|Seymour|2006}}}}


इसके अतिरिक्त, यदि कोई ग्राफ {{mvar|G}} में क्लिक-चौड़ाई है {{mvar|k}}, फिर ग्राफ पावर {{math|''G''<sup>c</sup>}} में अधिकतम क्लिक-चौड़ाई है {{math|2''kc''<sup>''k''</sup>}}.{{sfnp|Todinca|2003}} हालाँकि ट्रीविड्थ से क्लिक-चौड़ाई की सीमा और ग्राफ़ शक्तियों की क्लिक-चौड़ाई की सीमा दोनों में एक घातीय अंतर है, ये सीमाएँ एक-दूसरे को संयोजित नहीं करती हैं:
यदि एक ग्राफ {{mvar|G}} में ट्रीविड्थ है {{mvar|w}}, तब {{math|''G''<sup>c</sup>}} में अधिकतम क्लिक-विड्थ है {{math|2(''c'' + 1)<sup>''w'' + 1</sup> &minus; 2}}, ट्रीविड्थ में केवल एकल घातीय।{{sfnp|Gurski|Wanke|2009}}
यदि एक ग्राफ {{mvar|G}} में ट्रीविड्थ है {{mvar|w}}, तब {{math|''G''<sup>c</sup>}} में अधिकतम क्लिक-चौड़ाई है {{math|2(''c'' + 1)<sup>''w'' + 1</sup> &minus; 2}}, वृक्ष चौड़ाई में केवल एकल घातीय।{{sfnp|Gurski|Wanke|2009}}


==कम्प्यूटेशनल जटिलता==
==कम्प्यूटेशनल सम्मिश्रता==
{{unsolved|mathematics|Can graphs of bounded clique-width be recognized in polynomial time?}}
कई अनुकूलन समस्याएं जो ग्राफ़ के अधिक सामान्य वर्गों के लिए एनपी-हार्ड हैं, उन्हें बंधे हुए क्लिक-विड्थ के ग्राफ़ पर [[गतिशील प्रोग्रामिंग]] द्वारा कुशलतापूर्वक हल किया जा सकता है, जब इन ग्राफ़ के लिए एक निर्माण अनुक्रम ज्ञात होता है।{{sfnp|Cogis|Thierry|2005}}{{sfnp|Courcelle|Makowsky|Rotics|2000}} विशेष रूप से, प्रत्येक [[ग्राफ़ संपत्ति]] जिसे एमएसओ में व्यक्त किया जा सकता है<sub>1</sub> मोनैडिक द्वितीय-क्रम तर्क (तर्क का एक रूप जो शीर्षों के सेट पर परिमाणीकरण की अनुमति देता है) में कौरसेल के प्रमेय के एक रूप के अनुसार, बंधे हुए क्लिक-विड्थ के ग्राफ़ के लिए एक रैखिक-समय एल्गोरिदम है।{{sfnp|Courcelle|Makowsky|Rotics|2000}}
कई अनुकूलन समस्याएं जो ग्राफ़ के अधिक सामान्य वर्गों के लिए एनपी-हार्ड हैं, उन्हें बंधे हुए क्लिक-चौड़ाई के ग्राफ़ पर [[गतिशील प्रोग्रामिंग]] द्वारा कुशलतापूर्वक हल किया जा सकता है, जब इन ग्राफ़ के लिए एक निर्माण अनुक्रम ज्ञात होता है।{{sfnp|Cogis|Thierry|2005}}{{sfnp|Courcelle|Makowsky|Rotics|2000}} विशेष रूप से, प्रत्येक [[ग्राफ़ संपत्ति]] जिसे एमएसओ में व्यक्त किया जा सकता है<sub>1</sub> मोनैडिक द्वितीय-क्रम तर्क (तर्क का एक रूप जो शीर्षों के सेट पर परिमाणीकरण की अनुमति देता है) में कौरसेल के प्रमेय के एक रूप के अनुसार, बंधे हुए क्लिक-चौड़ाई के ग्राफ़ के लिए एक रैखिक-समय एल्गोरिदम है।{{sfnp|Courcelle|Makowsky|Rotics|2000}}


बहुपद समय में बंधे हुए क्लिक-चौड़ाई के ग्राफ़ के लिए इष्टतम [[ग्राफ़ रंग]] या [[हैमिल्टनियन चक्र]] ढूंढना भी संभव है, जब एक निर्माण अनुक्रम ज्ञात होता है, लेकिन बहुपद का घातांक क्लिक-चौड़ाई के साथ बढ़ता है, और कम्प्यूटेशनल जटिलता सिद्धांत से साक्ष्य से पता चलता है कि यह निर्भरता आवश्यक होने की संभावना है।{{sfnp|Fomin|Golovach|Lokshtanov|Saurabh|2010}}
बहुपद समय में बंधे हुए क्लिक-विड्थ के ग्राफ़ के लिए इष्टतम [[ग्राफ़ रंग]] या [[हैमिल्टनियन चक्र]] ढूंढना भी संभव है, जब एक निर्माण अनुक्रम ज्ञात होता है, लेकिन बहुपद का घातांक क्लिक-विड्थ के साथ बढ़ता है, और कम्प्यूटेशनल सम्मिश्रता सिद्धांत से साक्ष्य से पता चलता है कि यह निर्भरता आवश्यक होने की संभावना है।{{sfnp|Fomin|Golovach|Lokshtanov|Saurabh|2010}}
परिबद्ध क्लिक-चौड़ाई के ग्राफ χ-परिबद्ध| हैं{{mvar|χ}}-बाउंडेड, जिसका अर्थ है कि उनकी रंगीन संख्या उनके सबसे बड़े समूह के आकार का एक कार्य है।{{sfnp|Dvořák|Král'|2012}}
परिबद्ध क्लिक-विड्थ के ग्राफ χ-परिबद्ध| हैं{{mvar|χ}}-बाउंडेड, जिसका अर्थ है कि उनकी रंगीन संख्या उनके सबसे बड़े समूह के आकार का एक कार्य है।{{sfnp|Dvořák|Král'|2012}}


[[विभाजित अपघटन]] पर आधारित एल्गोरिदम का उपयोग करके बहुपद समय में क्लिक-चौड़ाई तीन के ग्राफ़ को पहचाना जा सकता है, और उनके लिए एक निर्माण अनुक्रम पाया जा सकता है।{{sfnp|Corneil|Habib|Lanlignel|Reed|2012}}
[[विभाजित अपघटन]] पर आधारित एल्गोरिदम का उपयोग करके बहुपद समय में क्लिक-विड्थ तीन के ग्राफ़ को पहचाना जा सकता है, और उनके लिए एक निर्माण अनुक्रम पाया जा सकता है।{{sfnp|Corneil|Habib|Lanlignel|Reed|2012}}
असंबद्ध क्लिक-चौड़ाई के ग्राफ़ के लिए, क्लिक-चौड़ाई की सटीक गणना करना एनपी-कठिन है, और सबलाइनर एडिटिव त्रुटि के साथ एक अनुमान प्राप्त करना भी एनपी-कठिन है।{{sfnp|Fellows|Rosamond|Rotics|Szeider|2009}} हालाँकि, जब क्लिक-चौड़ाई बंधी होती है, तो बहुपद समय में बंधी हुई चौड़ाई (वास्तविक क्लिक-चौड़ाई से तेजी से बड़ी) का निर्माण अनुक्रम प्राप्त करना संभव है,<ref>{{harvtxt|Oum|Seymour|2006}}; {{harvtxt|Hliněný|Oum|2008}}; {{harvtxt|Oum|2008}}; {{harvtxt|Fomin|Korhonen|2022}}.</ref> विशेष रूप से शीर्षों की संख्या में द्विघात समय में।{{sfnp|Fomin|Korhonen|2022}} यह खुला रहता है कि क्या सटीक क्लिक-चौड़ाई, या इसके लिए एक सख्त सन्निकटन, की गणना [[पैरामीटरयुक्त जटिलता]] में की जा सकती है।{{sfnp|Fellows|Rosamond|Rotics|Szeider|2009}}
असंबद्ध क्लिक-विड्थ के ग्राफ़ के लिए, क्लिक-विड्थ की सटीक गणना करना एनपी-कठिन है, और सबलाइनर एडिटिव त्रुटि के साथ एक अनुमान प्राप्त करना भी एनपी-कठिन है।{{sfnp|Fellows|Rosamond|Rotics|Szeider|2009}} हालाँकि, जब क्लिक-विड्थ बंधी होती है, तो बहुपद समय में बंधी हुई विड्थ (वास्तविक क्लिक-विड्थ से तेजी से बड़ी) का निर्माण अनुक्रम प्राप्त करना संभव है,<ref>{{harvtxt|Oum|Seymour|2006}}; {{harvtxt|Hliněný|Oum|2008}}; {{harvtxt|Oum|2008}}; {{harvtxt|Fomin|Korhonen|2022}}.</ref> विशेष रूप से शीर्षों की संख्या में द्विघात समय में।{{sfnp|Fomin|Korhonen|2022}} यह खुला रहता है कि क्या सटीक क्लिक-विड्थ, या इसके लिए एक सख्त सन्निकटन, की गणना [[पैरामीटरयुक्त जटिलता|पैरामीटरयुक्त  सम्मिश्रता]] में की जा सकती है।{{sfnp|Fellows|Rosamond|Rotics|Szeider|2009}}


==संबंधित चौड़ाई पैरामीटर==
==संबंधित विड्थ पैरामीटर==
बाउंडेड क्लिक-विड्थ के ग्राफ़ का सिद्धांत बाउंडेड ट्रीविड्थ के ग्राफ़ के समान है, लेकिन ट्रीविड्थ के विपरीत घने ग्राफ़ की अनुमति देता है। यदि ग्राफ़ के एक परिवार ने क्लिक-चौड़ाई को सीमित कर दिया है, तो या तो इसमें वृक्ष-चौड़ाई की सीमा है या प्रत्येक पूर्ण द्विदलीय ग्राफ परिवार में एक ग्राफ का एक उपग्राफ है।{{sfnp|Gurski|Wanke|2000}} ट्रीविड्थ और क्लिक-विड्थ भी [[लाइन ग्राफ]]़ के सिद्धांत के माध्यम से जुड़े हुए हैं: ग्राफ़ के एक परिवार ने ट्रीविड्थ को सीमित कर दिया है यदि और केवल यदि उनके लाइन ग्राफ़ ने क्लिक-विड्थ को सीमित कर दिया है।{{sfnp|Gurski|Wanke|2007}}
बाउंडेड क्लिक-विड्थ के ग्राफ़ का सिद्धांत बाउंडेड ट्रीविड्थ के ग्राफ़ के समान है, लेकिन ट्रीविड्थ के विपरीत घने ग्राफ़ की अनुमति देता है। यदि ग्राफ़ के एक विड्थ ने क्लिक-विड्थ को सीमित कर दिया है, तो या तो इसमें ट्रीविड्थ की सीमा है या प्रत्येक पूर्ण द्विदलीय ग्राफ विड्थ में एक ग्राफ का एक उपग्राफ है।{{sfnp|Gurski|Wanke|2000}} ट्रीविड्थ और क्लिक-विड्थ भी [[लाइन ग्राफ]]़ के सिद्धांत के माध्यम से जुड़े हुए हैं: ग्राफ़ के एक विड्थ ने ट्रीविड्थ को सीमित कर दिया है यदि और केवल यदि उनके लाइन ग्राफ़ ने क्लिक-विड्थ को सीमित कर दिया है।{{sfnp|Gurski|Wanke|2007}}


परिबद्ध क्लिक-चौड़ाई के ग्राफ़ में परिबद्ध [[जुड़वां-चौड़ाई]] भी होती है।{{sfnp|Bonnet|Kim|Thomassé|Watrigant|2022}}
परिबद्ध क्लिक-विड्थ के ग्राफ़ में परिबद्ध [[जुड़वां-चौड़ाई|ट्विन-विड्थ]] भी होती है।{{sfnp|Bonnet|Kim|Thomassé|Watrigant|2022}}


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

Revision as of 22:58, 7 August 2023

असंयुक्त संघों, रीलेबलिंग और लेबल-जॉइन्स द्वारा क्लिक-विड्थ 3 के दूरी-वंशानुगत ग्राफ का निर्माण। वर्टेक्स लेबल को रंगों के रूप में दिखाया गया है।

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

इसे निर्माण के लिए आवश्यक ग्राफ़ लेबलिंग की न्यूनतम संख्या के रूप में परिभाषित किया गया है G निम्नलिखित 4 ऑपरेशनों के माध्यम से:

  1. नए शिखर का निर्माण v लेबल के साथ i (द्वारा चिह्नित i(v))
  2. दो लेबल वाले ग्राफ़ के ग्राफ़ का असंयुक्त संघ G और H (द्वारा चिह्नित )
  3. लेबल वाले प्रत्येक शीर्ष पर एक किनारे से जुड़ना i लेबल किए गए प्रत्येक शीर्ष पर j (द्वारा चिह्नित η(i,j)), जहाँ ij
  4. लेबल का नाम बदलना i सूचक पत्र के लिए j (द्वारा चिह्नित ρ(i,j))

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

क्लिक-विड्थ की अवधारणा के अंतर्निहित निर्माण क्रम को 1990 में ब्रूनो कौरसेल, एंगेलफ्रिएट और रोज़ेनबर्ग द्वारा तैयार किया गया था।[1] और तक Wanke (1994). क्लिक-विड्थ नाम का उपयोग एक अलग अवधारणा के लिए किया गया था Chlebíková (1992). 1993 तक, इस शब्द का वर्तमान अर्थ पहले से ही उपस्थित था।[2]

ग्राफ़ के विशेष वर्ग

कॉग्राफ वास्तव में अधिकतम 2 क्लिक-विड्थ वाले ग्राफ़ होते हैं।[3] प्रत्येक दूरी-वंशानुगत ग्राफ़ में अधिकतम 3 क्लिक-विड्थ होती है। हालाँकि, इकाई अंतराल ग्राफ़ की क्लिक-विड्थ असीमित होती है (उनकी ग्रिड संरचना के आधार पर)।[4] इसी प्रकार, द्विदलीय क्रमपरिवर्तन ग्राफ़ की क्लिक-विड्थ असीमित है (समान ग्रिड संरचना के आधार पर)।[5] चार शीर्षों वाले पथ के लिए बिना किसी प्रेरित सबग्राफ आइसोमोर्फिक वाले ग्राफ़ के रूप में कोग्राफ के लक्षण वर्णन के आधार पर, निषिद्ध प्रेरित सबग्राफ द्वारा परिभाषित कई ग्राफ वर्गों की क्लिक-विड्थ को वर्गीकृत किया गया है।[6]

बंधे हुए क्लिक-विड्थ वाले अन्य ग्राफ़ में लीफ पावर सम्मिलित है; k-परिबद्ध मूल्यों के लिए लीफ पावर्स k; ये एक पेड़ की पत्तियों के प्रेरित उपसमूह हैं T ग्राफ शक्ति में Tk. हालाँकि, असीमित घातांक वाली पत्ती शक्तियों में सीमित क्लिक-विड्थ नहीं होती है।[7]

सीमा

Courcelle & Olariu (2000) और Corneil & Rotics (2005) कुछ ग्राफ़ की क्लिक-विड्थ पर निम्नलिखित सीमाएँ साबित हुईं:

  • यदि किसी ग्राफ़ में अधिकतम क्लिक-विड्थ है k, तो ग्राफ़ का प्रत्येक प्रेरित सबग्राफ भी ऐसा ही करता है।[8]
  • क्लिक-विड्थ के ग्राफ का पूरक ग्राफ k में अधिकतम क्लिक-विड्थ है 2k.[9]
  • ट्रीविड्थ के रेखांकन w अधिकतम क्लिक-विड्थ है 3 · 2w − 1. इस सीमा में घातीय निर्भरता आवश्यक है: ऐसे ग्राफ़ उपस्थित हैं जिनकी क्लिक-विड्थ उनकी ट्रीविड्थ से तेजी से बड़ी है।[10] दूसरी दिशा में, परिबद्ध क्लिक-विड्थ के ग्राफ़ में असीमित ट्रीविड्थ हो सकती है; उदाहरण के लिए, n-वर्टेक्स पूर्ण ग्राफ़ में क्लिक-विड्थ 2 लेकिन ट्रीविड्थ है n − 1. हालाँकि, क्लिक-विड्थ के ग्राफ़ k जिसका कोई पूर्ण द्विदलीय ग्राफ़ नहीं है Kt,t एक सबग्राफ के रूप में अधिकतम ट्रीविड्थ है 3k(t − 1) − 1. इसलिए, विरल ग्राफ़ के प्रत्येक विड्थ के लिए, परिबद्ध ट्रीविड्थ परिबद्ध क्लिक-विड्थ के बराबर है।[11]
  • एक अन्य ग्राफ़ पैरामीटर, रैंक-विड्थ, क्लिक-विड्थ द्वारा दोनों दिशाओं में घिरा हुआ है: rank-width ≤ clique-width ≤ 2rank-width + 1.[12]

इसके अतिरिक्त, यदि कोई ग्राफ G में क्लिक-विड्थ है k, फिर ग्राफ पावर Gc में अधिकतम क्लिक-विड्थ है 2kck.[13] हालाँकि ट्रीविड्थ से क्लिक-विड्थ की सीमा और ग्राफ़ शक्तियों की क्लिक-विड्थ की सीमा दोनों में एक घातीय अंतर है, ये सीमाएँ एक-दूसरे को संयोजित नहीं करती हैं:

यदि एक ग्राफ G में ट्रीविड्थ है w, तब Gc में अधिकतम क्लिक-विड्थ है 2(c + 1)w + 1 − 2, ट्रीविड्थ में केवल एकल घातीय।[14]

कम्प्यूटेशनल सम्मिश्रता

कई अनुकूलन समस्याएं जो ग्राफ़ के अधिक सामान्य वर्गों के लिए एनपी-हार्ड हैं, उन्हें बंधे हुए क्लिक-विड्थ के ग्राफ़ पर गतिशील प्रोग्रामिंग द्वारा कुशलतापूर्वक हल किया जा सकता है, जब इन ग्राफ़ के लिए एक निर्माण अनुक्रम ज्ञात होता है।[15][16] विशेष रूप से, प्रत्येक ग्राफ़ संपत्ति जिसे एमएसओ में व्यक्त किया जा सकता है1 मोनैडिक द्वितीय-क्रम तर्क (तर्क का एक रूप जो शीर्षों के सेट पर परिमाणीकरण की अनुमति देता है) में कौरसेल के प्रमेय के एक रूप के अनुसार, बंधे हुए क्लिक-विड्थ के ग्राफ़ के लिए एक रैखिक-समय एल्गोरिदम है।[16]

बहुपद समय में बंधे हुए क्लिक-विड्थ के ग्राफ़ के लिए इष्टतम ग्राफ़ रंग या हैमिल्टनियन चक्र ढूंढना भी संभव है, जब एक निर्माण अनुक्रम ज्ञात होता है, लेकिन बहुपद का घातांक क्लिक-विड्थ के साथ बढ़ता है, और कम्प्यूटेशनल सम्मिश्रता सिद्धांत से साक्ष्य से पता चलता है कि यह निर्भरता आवश्यक होने की संभावना है।[17] परिबद्ध क्लिक-विड्थ के ग्राफ χ-परिबद्ध| हैंχ-बाउंडेड, जिसका अर्थ है कि उनकी रंगीन संख्या उनके सबसे बड़े समूह के आकार का एक कार्य है।[18]

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

संबंधित विड्थ पैरामीटर

बाउंडेड क्लिक-विड्थ के ग्राफ़ का सिद्धांत बाउंडेड ट्रीविड्थ के ग्राफ़ के समान है, लेकिन ट्रीविड्थ के विपरीत घने ग्राफ़ की अनुमति देता है। यदि ग्राफ़ के एक विड्थ ने क्लिक-विड्थ को सीमित कर दिया है, तो या तो इसमें ट्रीविड्थ की सीमा है या प्रत्येक पूर्ण द्विदलीय ग्राफ विड्थ में एक ग्राफ का एक उपग्राफ है।[11] ट्रीविड्थ और क्लिक-विड्थ भी लाइन ग्राफ़ के सिद्धांत के माध्यम से जुड़े हुए हैं: ग्राफ़ के एक विड्थ ने ट्रीविड्थ को सीमित कर दिया है यदि और केवल यदि उनके लाइन ग्राफ़ ने क्लिक-विड्थ को सीमित कर दिया है।[23]

परिबद्ध क्लिक-विड्थ के ग्राफ़ में परिबद्ध ट्विन-विड्थ भी होती है।[24]

टिप्पणियाँ


संदर्भ