ग्राफ कलरिंग: Difference between revisions

From Vigyanwiki
m (Sugatha moved page ग्राफ रंगना to ग्राफ कलरिंग without leaving a redirect)
No edit summary
 
(7 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Methodic assignment of colors to elements of a graph}}
{{Short description|Methodic assignment of colors to elements of a graph}}
[[File:Petersen graph 3-coloring.svg|thumb|right|3 रंगों के साथ [[पीटरसन ग्राफ]] का उचित शीर्ष रंग, न्यूनतम संभव संख्या।]]ग्राफ़ सिद्धांत में, ग्राफ़ कलरिंग [[ग्राफ लेबलिंग]] का एक विशेष मामला है; यह कुछ बाधाओं के अधीन एक ग्राफ के तत्वों के लिए पारंपरिक रूप से "रंग" कहे जाने वाले लेबल का एक असाइनमेंट है। अपने सरलतम रूप में, यह ग्राफ के शीर्षों को इस प्रकार रंगने का एक तरीका है कि कोई भी दो आसन्न शीर्ष एक ही रंग के न हों; इसे वर्टेक्स कलरिंग कहा जाता है। इसी तरह, किनारे का रंग प्रत्येक किनारे को एक रंग प्रदान करता है ताकि कोई भी दो आसन्न किनारे एक ही रंग के न हों, और समतल ग्राफ का एक चेहरा रंग प्रत्येक चेहरे या क्षेत्र को एक रंग प्रदान करता है ताकि कोई भी दो आसन्न किनारे एक ही रंग के चेहरे न हों एक ही रंग का न हो।
[[File:Petersen graph 3-coloring.svg|thumb|right|3 रंगों के साथ [[पीटरसन ग्राफ]] का उचित शीर्ष रंग, न्यूनतम संभव संख्या।]]ग्राफ़ सिद्धांत में, '''ग्राफ़ कलरिंग''' [[ग्राफ लेबलिंग]] का एक विशेष स्थिति है; यह कुछ बाधाओं के अधीन एक ग्राफ के तत्वों के लिए पारंपरिक रूप से "रंग" कहे जाने वाले लेबल का एक असाइनमेंट है। अपने सरलतम रूप में, यह ग्राफ के शीर्षों को इस प्रकार रंगने का एक तरीका है कि कोई भी दो आसन्न शीर्ष एक ही रंग के न हों; इसे वर्टेक्स कलरिंग कहा जाता है। इसी तरह, किनारे का रंग प्रत्येक किनारे को एक रंग प्रदान करता है ताकि कोई भी दो आसन्न किनारे एक ही रंग के न हों, और समतल ग्राफ का एक चेहरा रंग प्रत्येक चेहरे या क्षेत्र को एक रंग प्रदान करता है ताकि कोई भी दो आसन्न किनारे एक ही रंग के चेहरे न हों एक ही रंग का न हो।


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


रंगों का उपयोग करने की परिपाटी एक मानचित्र के देशों को रंगने से उत्पन्न होती है, जहाँ प्रत्येक चेहरा सचमुच रंगीन होता है। यह विमान में एम्बेडेड ग्राफ के चेहरों को रंगने के लिए सामान्यीकृत किया गया था। प्लेनर द्वैत द्वारा यह कोने को रंगने लगा, और इस रूप में यह सभी रेखांकन के लिए सामान्य हो गया। गणितीय और कंप्यूटर अभ्यावेदन में, पहले कुछ सकारात्मक या गैर-नकारात्मक पूर्णांकों को "रंग" के रूप में उपयोग करना विशिष्ट है। सामान्य तौर पर, कोई भी परिमित सेट को "रंग सेट" के रूप में उपयोग कर सकता है। रंजक समस्या की प्रकृति रंगों की संख्या पर निर्भर करती है न कि वे क्या हैं।
रंगों का उपयोग करने की परिपाटी एक मानचित्र के देशों को रंगने से उत्पन्न होती है, जहाँ प्रत्येक चेहरा सचमुच रंगीन होता है। यह सतह में अंतर्निहितग्राफ के चेहरों को रंगने के लिए सामान्यीकृत किया गया था। प्लेनर द्वैत द्वारा यह कोने को रंगने लगा, और इस रूप में यह सभी रेखांकन के लिए सामान्य हो गया। गणितीय और कंप्यूटर अभ्यावेदन में, पहले कुछ धनात्मक या गैर-ऋणात्मक पूर्णांकों को "रंग" के रूप में उपयोग करना विशिष्ट है। सामान्य तौर पर, कोई भी परिमित सेट को "रंग सेट" के रूप में उपयोग कर सकता है। रंजक समस्या की प्रकृति रंगों की संख्या पर निर्भर करती है न कि वे क्या हैं।


ग्राफ़ कलरिंग कई व्यावहारिक अनुप्रयोगों के साथ-साथ सैद्धांतिक चुनौतियों का भी आनंद लेती है। शास्त्रीय प्रकार की समस्याओं के अलावा, ग्राफ़ पर, या जिस तरह से एक रंग सौंपा गया है, या यहाँ तक कि स्वयं रंग पर भी विभिन्न सीमाएँ निर्धारित की जा सकती हैं। यहां तक कि यह लोकप्रिय संख्या पहेली सुडोकू के रूप में साधारण जनता के बीच लोकप्रियता तक पहुंच गया है। ग्राफ कलरिंग अभी भी अनुसंधान का एक बहुत ही सक्रिय क्षेत्र है।
ग्राफ़ कलरिंग कई व्यावहारिक अनुप्रयोगों के साथ-साथ सैद्धांतिक चुनौतियों का भी आनंद लेती है। शास्त्रीय प्रकार की समस्याओं के अलावा, ग्राफ़ पर, या जिस तरह से एक रंग सौंपा गया है, या यहाँ तक कि स्वयं रंग पर भी विभिन्न सीमाएँ निर्धारित की जा सकती हैं। यहां तक कि यह लोकप्रिय संख्या पहेली सुडोकू के रूप में साधारण जनता के बीच लोकप्रियता तक पहुंच गया है। ग्राफ कलरिंग अभी भी अनुसंधान का एक बहुत ही सक्रिय क्षेत्र है।
Line 13: Line 13:
{{See also |चार रंग प्रमेय का इतिहास|ग्राफ सिद्धांत का इतिहास}}
{{See also |चार रंग प्रमेय का इतिहास|ग्राफ सिद्धांत का इतिहास}}


ग्राफ़ कलरिंग के बारे में पहला परिणाम नक्शों के रंग के रूप में लगभग अनन्य रूप से प्लानर ग्राफ़ से संबंधित है। इंग्लैंड की काउंटियों के मानचित्र को रंगने की कोशिश करते समय, [[फ्रांसिस गुथरी]] ने चार रंगों के अनुमान को स्वीकार किया, यह देखते हुए कि चार रंग नक्शे को रंगने के लिए पर्याप्त थे ताकि किसी भी क्षेत्र में एक समान सीमा साझा करने पर एक ही रंग न हो। मिलना। गुथरी के भाई ने [[यूनिवर्सिटी कॉलेज लंदन|यूनिवर्सिटी कॉलेज]] में उनके गणित के शिक्षक [[ऑगस्टस डी मॉर्गन]] को प्रश्न दिया, जिन्होंने 1852 में [[विलियम रोवन हैमिल्टन]] को लिखे एक पत्र में इसका उल्लेख किया। [[आर्थर केली]] ने 1879 में लंदन मैथमेटिकल सोसाइटी की बैठक में समस्या को उठाया। उसी वर्ष, [[अल्फ्रेड केम्पे]] ने एक पेपर प्रकाशित किया जिसमें परिणाम स्थापित करने का दावा किया गया था, और एक दशक तक चार-रंग की समस्या हल हो गई थी। उनकी उपलब्धि के लिए, केम्पे को रॉयल सोसाइटी का फेलो और बाद में लंदन मैथमेटिकल सोसाइटी का अध्यक्ष चुना गया। [1]
ग्राफ़ कलरिंग के बारे में पहला परिणाम नक्शों के रंग के रूप में लगभग अनन्य रूप से प्लानर ग्राफ़ से संबंधित है। इंग्लैंड की काउंटियों के मानचित्र को रंगने की प्रयास करते समय, [[फ्रांसिस गुथरी]] ने चार रंगों के अनुमान को स्वीकार किया, यह देखते हुए कि चार रंग नक्शे को रंगने के लिए पर्याप्त थे ताकि किसी भी क्षेत्र में एक समान सीमा साझा करने पर एक ही रंग न हो। गुथरी के भाई ने [[यूनिवर्सिटी कॉलेज लंदन|यूनिवर्सिटी कॉलेज]] में उनके गणित के शिक्षक [[ऑगस्टस डी मॉर्गन]] को प्रश्न दिया, जिन्होंने 1852 में [[विलियम रोवन हैमिल्टन]] को लिखे एक पत्र में इसका उल्लेख किया। [[आर्थर केली]] ने 1879 में लंदन मैथमेटिकल सोसाइटी की बैठक में समस्या को उठाया। उसी वर्ष, [[अल्फ्रेड केम्पे]] ने एक पेपर प्रकाशित किया जिसमें परिणाम स्थापित करने का दावा किया गया था, और एक दशक तक चार-रंग की समस्या हल हो गई थी। उनकी उपलब्धि के लिए केम्पे को रॉयल सोसाइटी का फेलो और बाद में लंदन मैथमेटिकल सोसाइटी का अध्यक्ष चुना गया था।<ref>M. Kubale, ''History of graph coloring'', in {{harvtxt|Kubale|2004}}</ref>


1890 में हेवुड ने बताया कि केम्पे का तर्क गलत था। हालांकि, उस पेपर में उन्होंने यह कहते हुए पांच रंग प्रमेय को साबित कर दिया कि केम्पे के विचारों का उपयोग करके प्रत्येक प्लानर मानचित्र को पांच से अधिक रंगों से रंगा जा सकता है। अगली शताब्दी में, रंगों की संख्या को चार तक कम करने के लिए बड़ी मात्रा में काम और सिद्धांत विकसित किया गया था, जब तक कि केनेथ एपेल और वोल्फगैंग हेइकेन द्वारा 1976 में चार रंग प्रमेय को अंततः सिद्ध नहीं किया गया था। साक्ष्य हेवुड और केम्पे के विचारों पर वापस चले गए और बड़े पैमाने पर हस्तक्षेपों के विकास की अवहेलना की। [2] चार रंग प्रमेय का प्रमाण पहला प्रमुख कंप्यूटर-एडेड प्रमाण होने के लिए भी उल्लेखनीय है।
1890 में हेवुड ने बताया कि केम्पे का तर्क गलत था। हालांकि, उस पेपर में उन्होंने यह कहते हुए पांच रंग प्रमेय को साबित कर दिया कि केम्पे के विचारों का उपयोग करके प्रत्येक प्लानर मानचित्र को पांच से अधिक रंगों से रंगा जा सकता है। अगली शताब्दी में, रंगों की संख्या को चार तक कम करने के लिए बड़ी मात्रा में काम और सिद्धांत विकसित किया गया था, जब तक कि केनेथ एपेल और वोल्फगैंग हेइकेन द्वारा 1976 में चार रंग प्रमेय को अंततः सिद्ध नहीं किया गया था। साक्ष्य हेवुड और केम्पे के विचारों पर वापस चले गए और बड़े पैमाने पर हस्तक्षेपों के विकास की अवहेलना की।<ref>{{harvtxt|van Lint|Wilson|2001|loc=Chap. 33}}</ref> चार रंग प्रमेय का प्रमाण पहला प्रमुख कंप्यूटर-एडेड प्रमाण होने के लिए भी उल्लेखनीय है।


1912 में, [[जॉर्ज डेविड बिरखॉफ]] ने रंगीन समस्याओं का अध्ययन करने के लिए रंगीन बहुपदों की प्रारम्भ की, जिन्हें टुट्टे से टुट्टे बहुपदों तक सामान्यीकृत किया गया था, [[बीजगणितीय ग्राफ सिद्धांत]] में महत्वपूर्ण संरचनाएं। केम्पे ने पहले ही 1879 में सामान्य, गैर-प्लानर मामले पर ध्यान आकर्षित किया था, [3] और 20 वीं शताब्दी की प्रारम्भ में उच्च क्रम सतहों के लिए प्लानर ग्राफ रंग के सामान्यीकरण पर कई परिणाम दिखाई दिए।
1912 में, [[जॉर्ज डेविड बिरखॉफ]] ने रंगीन समस्याओं का अध्ययन करने के लिए रंगीन बहुपदों की प्रारम्भ की, जिन्हें टुट्टे से टुट्टे बहुपदों तक सामान्यीकृत किया गया था, [[बीजगणितीय ग्राफ सिद्धांत]] में महत्वपूर्ण संरचनाएं। केम्पे ने पहले ही 1879 में सामान्य, गैर-प्लानर स्थिति पर ध्यान आकर्षित किया था, <ref>{{harvtxt|Jensen|Toft|1995}}, p. 2</ref> और 20 वीं शताब्दी की प्रारम्भ में उच्च क्रम सतहों के लिए प्लानर ग्राफ रंग के सामान्यीकरण पर कई परिणाम दिखाई दिए।


1960 में, क्लॉड बर्ज ने ग्राफ कलरिंग के बारे में एक और अनुमान तैयार किया, मजबूत सही ग्राफ अनुमान, जो मूल रूप से एक सूचना-सैद्धांतिक अवधारणा से प्रेरित था जिसे शैनन द्वारा प्रस्तुत ग्राफ की शून्य-त्रुटि क्षमता कहा जाता है। यह अनुमान 40 वर्षों तक अनसुलझा रहा, जब तक कि इसे 2002 में [[मारिया चुडनोव्स्की|चुडनोव्स्की]], [[नील रॉबर्टसन (गणितज्ञ)|नील रॉबर्टसन]], सीमोर और थॉमस द्वारा एक प्रसिद्ध मजबूत पूर्ण ग्राफ प्रमेय के रूप में स्थापित नहीं किया गया।
1960 में, क्लॉड बर्ज ने ग्राफ कलरिंग के बारे में एक और अनुमान तैयार किया, मजबूत सही ग्राफ अनुमान, जो मूल रूप से एक सूचना-सैद्धांतिक अवधारणा से प्रेरित था जिसे शैनन द्वारा प्रस्तुत ग्राफ की शून्य-त्रुटि क्षमता कहा जाता है। यह अनुमान 40 वर्षों तक अनसुलझा रहा, जब तक कि इसे 2002 में [[मारिया चुडनोव्स्की|चुडनोव्स्की]], [[नील रॉबर्टसन (गणितज्ञ)|नील रॉबर्टसन]], सीमोर और थॉमस द्वारा एक प्रसिद्ध मजबूत पूर्ण ग्राफ प्रमेय के रूप में स्थापित नहीं किया गया था।


1970 के दशक की प्रारम्भ से ग्राफ कलरिंग का एक एल्गोरिथम समस्या के रूप में अध्ययन किया गया है: क्रोमैटिक नंबर प्रॉब्लम (नीचे देखें) 1972 से कार्प की 21 np-पूर्ण समस्याओं में से एक है, और लगभग उसी समय बैकट्रैकिंग एक्सपोनेंशियल-टाइम एल्गोरिदम पर आधारित विभिन्न तरीके थे और ज़ीकोव (1949) के विलोपन-संकुचन पुनरावृत्ति पर। ग्राफ कलरिंग के प्रमुख अनुप्रयोगों में से एक, कंपाइलर्स में रजिस्टर आवंटन, 1981 में पेश किया गया था।
1970 के दशक की प्रारम्भ से ग्राफ कलरिंग का एक एल्गोरिथम समस्या के रूप में अध्ययन किया गया है: क्रोमैटिक नंबर प्रॉब्लम (नीचे देखें) 1972 से कार्प की 21 एनपी-सम्पूर्ण समस्याओं में से एक है, और लगभग उसी समय बैकट्रैकिंग घातीय-समय एल्गोरिथम पर आधारित विभिन्न तरीके थे और ज़ीकोव (1949) के विलोपन-संकुचन पुनरावृत्ति पर। ग्राफ कलरिंग के प्रमुख अनुप्रयोगों में से एक, कंपाइलर्स में रजिस्टर आवंटन, 1981 में पेश किया गया था।


== परिभाषा और शब्दावली ==
== परिभाषा और शब्दावली ==
Line 30: Line 30:
जब बिना किसी योग्यता के उपयोग किया जाता है, तो ग्राफ़ का रंग लगभग हमेशा एक ''उचित शीर्ष रंग'' होता है, अर्थात् ग्राफ़ के शीर्षों को रंगों के साथ लेबल करना, जैसे कि एक ही किनारे (ग्राफ़ सिद्धांत) को साझा करने वाले दो शीर्षों का रंग समान नहीं होता है। चूंकि एक [[पाश (ग्राफ सिद्धांत)]] (अर्थात् सीधे अपने आप में एक कनेक्शन) के साथ एक शीर्ष कभी भी ठीक से रंगीन नहीं हो सकता है, यह समझा जाता है कि इस संदर्भ में ग्राफ लूपलेस हैं।
जब बिना किसी योग्यता के उपयोग किया जाता है, तो ग्राफ़ का रंग लगभग हमेशा एक ''उचित शीर्ष रंग'' होता है, अर्थात् ग्राफ़ के शीर्षों को रंगों के साथ लेबल करना, जैसे कि एक ही किनारे (ग्राफ़ सिद्धांत) को साझा करने वाले दो शीर्षों का रंग समान नहीं होता है। चूंकि एक [[पाश (ग्राफ सिद्धांत)]] (अर्थात् सीधे अपने आप में एक कनेक्शन) के साथ एक शीर्ष कभी भी ठीक से रंगीन नहीं हो सकता है, यह समझा जाता है कि इस संदर्भ में ग्राफ लूपलेस हैं।


वर्टेक्स लेबल्स के लिए ''रंगों'' का उपयोग करने की शब्दावली मैप कलरिंग पर वापस जाती है। ''लाल'' और ''नीला'' जैसे लेबल केवल तभी उपयोग किए जाते हैं जब रंगों की संख्या कम होती है, और सामान्यतः यह समझा जाता है कि लेबल [[पूर्णांक]]ों से खींचे गए हैं {{math|{1, 2, 3, …}.}} अधिक से अधिक उपयोग करने वाला रंग {{mvar|k}} रंग कहा जाता है (उचित){{mvar|k}}-रंग। किसी ग्राफ़ को रंगने के लिए आवश्यक रंगों की न्यूनतम संख्या {{mvar|G}} इसकी रंगीन संख्या कहा जाता है, और इसे प्रायः निरूपित किया जाता है {{math|χ(''G'')}}. कभी-कभी {{math|γ(''G'')}} उपयोग किया जाता है, क्योंकि {{math|χ(''G'')}} एक ग्राफ की [[यूलर विशेषता]] को निरूपित करने के लिए भी प्रयोग किया जाता है। एक ग्राफ जिसे असाइन किया जा सकता है (उचित) {{mvar|k}}-रंग है {{mvar|k}}-रंगीन, और यह है{{mvar|k}}-क्रोमैटिक अगर इसकी क्रोमैटिक संख्या बिल्कुल है {{mvar|k}}. एक ही रंग को सौंपे गए शीर्षों के एक उपसमुच्चय को रंग वर्ग कहा जाता है, ऐसा प्रत्येक वर्ग एक स्वतंत्र सेट (ग्राफ़ सिद्धांत) बनाता है। इस प्रकार, एक {{mvar|k}}-coloring एक शीर्ष सेट को {{mvar|k}}-स्वतंत्र सेटों में विभाजित करने के बराबर है, और {{mvar|k}}-match और {{mvar|k}}-colourable शब्दों का अर्थ समान है।
वर्टेक्स लेबल्स के लिए ''रंगों'' का उपयोग करने की शब्दावली मैप कलरिंग पर वापस जाती है। ''लाल'' और ''नीला'' जैसे लेबल केवल तभी उपयोग किए जाते हैं जब रंगों की संख्या कम होती है, और सामान्यतः यह समझा जाता है कि लेबल [[पूर्णांक]] से खींचे गए हैं {{math|{1, 2, 3, …}.}} अधिक से अधिक उपयोग करने वाला रंग {{mvar|k}} रंग कहा जाता है (उचित) {{mvar|k}}-रंग। किसी ग्राफ़ को रंगने के लिए आवश्यक रंगों की न्यूनतम संख्या {{mvar|G}} इसकी रंगीन संख्या कहा जाता है, और इसे प्रायः निरूपित किया जाता है {{math|χ(''G'')}}. कभी-कभी {{math|γ(''G'')}} उपयोग किया जाता है, क्योंकि {{math|χ(''G'')}} ग्राफ की [[यूलर विशेषता]] को निरूपित करने के लिए भी प्रयोग किया जाता है। एक ग्राफ जिसे असाइन किया जा सकता है (उचित) {{mvar|k}}-रंग है {{mvar|k}}-रंगीन, और यह है{{mvar|k}}-क्रोमैटिक अगर इसकी क्रोमैटिक संख्या बिल्कुल है {{mvar|k}}. एक ही रंग को सौंपे गए शीर्षों के एक उपसमुच्चय को रंग वर्ग कहा जाता है, ऐसा प्रत्येक वर्ग एक स्वतंत्र सेट (ग्राफ़ सिद्धांत) बनाता है। इस प्रकार, एक {{mvar|k}}-coloring एक शीर्ष सेट को {{mvar|k}}-स्वतंत्र सेटों में विभाजित करने के बराबर है, और {{mvar|k}}-match और {{mvar|k}}-colourable शब्दों का अर्थ समान है।


=== रंगीन बहुपद ===
=== रंगीन बहुपद ===
Line 45: Line 45:
| 0 || 0 || 12 || 72 || …
| 0 || 0 || 12 || 72 || …
|}
|}
रंगीन बहुपद एक कार्य है {{math|''P''(''G'',''t'')}} जो की संख्या की गणना करता है {{mvar|t}}- का रंग {{mvar|G}}. जैसा कि नाम इंगित करता है, दिए गए के लिए {{mvar|G}} समारोह वास्तव में एक [[बहुपद]] है {{mvar|t}}. उदाहरण ग्राफ के लिए, {{math|1=''P''(''G'',''t'') = ''t''(''t'' – 1){{sup|2}}(''t'' – 2)}}, वास्तव में {{math|1=''P''(''G'',4) = 72}}.
रंगीन बहुपद एक कार्य है {{math|''P''(''G'',''t'')}} जो की संख्या की गणना करता है {{mvar|t}}- का रंग {{mvar|G}}. जैसा कि नाम इंगित करता है, दिए गए के लिए {{mvar|G}} फंक्शन वास्तव में एक [[बहुपद]] है {{mvar|t}}. उदाहरण ग्राफ के लिए, {{math|1=''P''(''G'',''t'') = ''t''(''t'' – 1){{sup|2}}(''t'' – 2)}}, वास्तव में {{math|1=''P''(''G'',4) = 72}}.


रंगीन बहुपद में की रंगीनता के बारे में अधिक जानकारी सम्मिलित है {{mvar|G}} रंगीन संख्या की तुलना में। वास्तव में, {{mvar|χ}} सबसे छोटा सकारात्मक पूर्णांक है जो रंगीन बहुपद का शून्य नहीं है {{math|1=χ(''G'') = min{''k'' : ''P''(''G'',''k'') > 0}.}}
रंगीन बहुपद में की रंगीनता के बारे में अधिक जानकारी सम्मिलित है {{mvar|G}} रंगीन संख्या की तुलना में। वास्तव में, {{mvar|χ}} सबसे छोटा धनात्मक पूर्णांक है जो {{math|1=χ(''G'') = min{''k'' : ''P''(''G'',''k'') > 0}.}}रंगीन बहुपद का शून्य नहीं है


{| class="wikitable" style="background:white;"
{| class="wikitable" style="background:white;"
Line 70: Line 70:
===किनारे का रंग ===
===किनारे का रंग ===
{{Main|किनारे का रंग}}
{{Main|किनारे का रंग}}
एक ग्राफ़ का एक किनारा रंग ''किनारों'' का एक उचित रंग है, जिसका अर्थ है कि किनारों को रंगों का एक असाइनमेंट ताकि एक ही रंग के दो किनारों पर कोई शीर्ष घटना न हो। एक किनारे का रंग {{mvar|k}} रंगों को कहा जाता है {{mvar|k}}-एज-कलरिंग और एज सेट को विभाजित करने की समस्या के बराबर है {{mvar|k}} [[मिलान (ग्राफ सिद्धांत)]]। किसी ग्राफ़ के किनारों को रंगने के लिए आवश्यक रंगों की सबसे छोटी संख्या {{mvar|G}} क्रोमैटिक इंडेक्स या एज क्रोमैटिक नंबर है, {{math|χ′(''G'')}}. टैट कलरिंग [[क्यूबिक ग्राफ]] का 3-किनारे वाला कलरिंग है। [[चार रंग प्रमेय]] इस दावे के बराबर है कि प्रत्येक प्लानर क्यूबिक [[पुल (ग्राफ सिद्धांत)]] ग्राफ एक टैट रंग को स्वीकार करता है।
एक ग्राफ़ का एक किनारा रंग ''किनारों'' का एक उचित रंग है, जिसका अर्थ है कि किनारों को रंगों का एक असाइनमेंट ताकि एक ही रंग के दो किनारों पर कोई शीर्ष घटना न हो। एक किनारे का रंग {{mvar|k}} रंगों को कहा जाता है {{mvar|k}}-एज-कलरिंग और एज सेट को विभाजित करने की समस्या के बराबर है {{mvar|k}} [[मिलान (ग्राफ सिद्धांत)]]। किसी ग्राफ़ के किनारों को रंगने के लिए आवश्यक रंगों की सबसे छोटी संख्या {{mvar|G}} क्रोमैटिक सूचकांक या एज क्रोमैटिक नंबर है, {{math|χ′(''G'')}}. टैट कलरिंग [[क्यूबिक ग्राफ]] का 3-किनारे वाला कलरिंग है। [[चार रंग प्रमेय]] इस दावे के बराबर है कि प्रत्येक प्लानर क्यूबिक [[पुल (ग्राफ सिद्धांत)]] ग्राफ एक टैट रंग को स्वीकार करता है।


=== कुल रंग ===
=== कुल रंग ===
Line 77: Line 77:


=== बिना लेबल वाला रंग ===
=== बिना लेबल वाला रंग ===
किसी ग्राफ़ का लेबल रहित रंग ग्राफ़ के [[ग्राफ ऑटोमोर्फिज्म]] की क्रिया के अंतर्गत किसी रंग की [[समूह क्रिया (गणित)]] है। ध्यान दें कि रंग लेबल रहते हैं; यह वह ग्राफ है जिसे लेबल नहीं किया गया है।
किसी ग्राफ़ का लेबल रहित रंग ग्राफ़ के [[ग्राफ ऑटोमोर्फिज्म]] की क्रिया के अंतर्गत किसी रंग की [[समूह क्रिया (गणित)]] है। ध्यान दें कि रंग लेबल रहते हैं; यह वह ग्राफ है जिसे लेबल नहीं किया गया है। रंगीन बहुपद का एक एनालॉग है जो किसी दिए गए परिमित रंग सेट से ग्राफ के बिना लेबल वाले रंगों की संख्या की गणना करता है। अगर हम एक ग्राफ के रंग की व्याख्या करते हैं {{mvar|d}} में एक वेक्टर के रूप में शिखर {{tmath|\mathbb{Z}^d}}, ऑटोमोर्फिज्म की क्रिया रंगीन वेक्टर में गुणांकों का क्रम [[परिवर्तन]] है।
रंगीन बहुपद का एक एनालॉग है जो किसी दिए गए परिमित रंग सेट से ग्राफ के बिना लेबल वाले रंगों की संख्या की गणना करता है।
 
अगर हम एक ग्राफ के रंग की व्याख्या करते हैं {{mvar|d}} में एक वेक्टर के रूप में शिखर {{tmath|\mathbb{Z}^d}}, ऑटोमोर्फिज्म की क्रिया रंगीन वेक्टर में गुणांकों का क्रम [[परिवर्तन]] है।


== गुण ==
== गुण ==
Line 89: Line 86:


: <math>1 \le \chi(G) \le n.</math>
: <math>1 \le \chi(G) \le n.</math>
एकमात्र ग्राफ़ जो 1-रंग का हो सकता है, वे [[किनारा रहित ग्राफ]] हैं। एक [[पूरा ग्राफ]] <math>K_n</math> n शीर्षों की आवश्यकता है <math>\chi(K_n)=n</math> रंग की। एक इष्टतम रंग में रंग वर्गों की प्रत्येक जोड़ी के बीच ग्राफ के एम किनारों में से कम से कम एक होना चाहिए, इसलिए
एकमात्र ग्राफ़ जो 1-रंग का हो सकता है, वे [[किनारा रहित ग्राफ]] हैं। एक [[पूरा ग्राफ]] <math>K_n</math> n शीर्षों की आवश्यकता है <math>\chi(K_n)=n</math> रंग की। एक इष्टतम रंग में रंग वर्गों की प्रत्येक जोड़ी के बीच ग्राफ के m किनारों में से कम से कम एक होना चाहिए, इसलिए


: <math>\chi(G)(\chi(G)-1) \le 2m.</math>
: <math>\chi(G)(\chi(G)-1) \le 2m.</math>
Line 97: Line 94:
सही रेखांकन के लिए यह सीमा तंग है। क्लिक्स ढूँढना क्लिक्स समस्या के रूप में जाना जाता है।
सही रेखांकन के लिए यह सीमा तंग है। क्लिक्स ढूँढना क्लिक्स समस्या के रूप में जाना जाता है।


अधिक सामान्यतः एक परिवार <math>\mathcal{F}</math> रेखांकन का Χ-बाध्य है<math>\chi</math>-बाउंडेड अगर कोई फंक्शन है <math>c</math> जैसे कि रेखांकन <math>G</math> में <math>\mathcal{F}</math> ज्यादा से ज्यादा रंगा जा सकता है <math>c(\omega(G))</math> रंग, सही रेखांकन के परिवार के लिए यह कार्य है <math>c(\omega(G))=\omega(G)</math>.
अधिक सामान्यतः एक परिवार <math>\mathcal{F}</math> रेखांकन का Χ-बाध्य है<math>\chi</math>-बाउंडेड अगर कोई फंक्शन है <math>c</math> जैसे कि रेखांकन <math>G</math> में <math>\mathcal{F}</math> ज्यादा से ज्यादा रंगा जा सकता है <math>c(\omega(G))</math> रंग, सही रेखांकन <math>c(\omega(G))=\omega(G)</math>के परिवार के लिए यह कार्य है .


2-रंगीन ग्राफ़ वास्तव में द्विदलीय ग्राफ़ हैं, जिनमें वृक्ष (ग्राफ़ सिद्धांत) और वन सम्मिलित हैं।
2-रंगीन ग्राफ़ वास्तव में द्विदलीय ग्राफ़ हैं, जिनमें वृक्ष (ग्राफ़ सिद्धांत) और वन सम्मिलित हैं।
Line 103: Line 100:
चार रंग प्रमेय के अनुसार, प्रत्येक प्लानर ग्राफ 4-रंगों का हो सकता है।
चार रंग प्रमेय के अनुसार, प्रत्येक प्लानर ग्राफ 4-रंगों का हो सकता है।


एक [[लालची रंग]] दिखाता है कि प्रत्येक ग्राफ को अधिकतम शीर्ष [[डिग्री (ग्राफ सिद्धांत)]] की तुलना में एक और रंग से रंगा जा सकता है।
एक [[लालची रंग|लोभी रंग]] दिखाता है कि प्रत्येक ग्राफ को अधिकतम शीर्ष [[डिग्री (ग्राफ सिद्धांत)]] की तुलना में एक और रंग से रंगा जा सकता है।


: <math>\chi(G) \le \Delta(G) + 1. </math>
: <math>\chi(G) \le \Delta(G) + 1. </math>
पूरा रेखांकन है <math>\chi(G)=n</math> और <math>\Delta(G)=n-1</math>, और [[विषम चक्र]] हैं <math>\chi(G)=3</math> और <math>\Delta(G)=2</math>, इसलिए इन ग्राफ़ के लिए यह बाउंड सर्वोत्तम संभव है। अन्य सभी मामलों में, सीमा में थोड़ा सुधार किया जा सकता है; ब्रूक्स प्रमेय<ref>{{harvtxt|Brooks|1941}}</ref> बताता है
पूरा रेखांकन है <math>\chi(G)=n</math> और <math>\Delta(G)=n-1</math>, और [[विषम चक्र]] हैं <math>\chi(G)=3</math> और <math>\Delta(G)=2</math>, इसलिए इन ग्राफ़ के लिए यह बाउंड सर्वोत्तम संभव है। अन्य सभी मामलों में, सीमा में थोड़ा सुधार किया जा सकता है; ब्रूक्स प्रमेय<ref>{{harvtxt|Brooks|1941}}</ref> बताता है
: ब्रूक्स प्रमेय:<math>\chi (G) \le \Delta (G) </math> एक जुड़े हुए, सरल ग्राफ़ G के लिए, जब तक कि G एक पूर्ण ग्राफ़ या विषम चक्र न हो।
: ब्रूक्स प्रमेय:<math>\chi (G) \le \Delta (G) </math> एक जुड़े हुए, सरल ग्राफ़ G के लिए, जब तक कि G एक पूर्ण ग्राफ़ या विषम चक्र न हो।




Line 117: Line 115:
: <math> \chi_H(G)\leq \chi(G).</math>
: <math> \chi_H(G)\leq \chi(G).</math>


{{vanchor|वेक्टर रंगीन संख्या}}: होने देना <math>W</math> एक सकारात्मक अर्ध-निश्चित मैट्रिक्स हो जैसे कि <math> W_{i,j} \le -\tfrac{1}{k-1} </math> जब कभी भी <math>(i,j) </math> में बढ़त है <math>G</math>. परिभाषित करना <math>\chi_V(G)</math> कम से कम k जिसके लिए ऐसा मैट्रिक्स हो <math>W</math> मौजूद। तब
{{vanchor|वेक्टर रंगीन संख्या}}: होने देना <math>W</math> एक धनात्मक अर्ध-निश्चित मैट्रिक्स हो जैसे कि <math> W_{i,j} \le -\tfrac{1}{k-1} </math> जब कभी भी <math>(i,j) </math> में बढ़त है <math>G</math> परिभाषित करना <math>\chi_V(G)</math> कम से कम k जिसके लिए <math>W</math> ऐसा मैट्रिक्स उपस्थित हो तब:
: <math> \chi_V(G)\leq \chi(G).</math>
: <math> \chi_V(G)\leq \chi(G).</math>
Lovász संख्या: एक पूरक ग्राफ की Lovász संख्या भी रंगीन संख्या पर एक निचली सीमा है:
लोवाज़ संख्या: एक पूरक ग्राफ की लोवाज़ संख्या भी रंगीन संख्या पर एक निचली सीमा है:
: <math> \vartheta(\bar{G}) \leq \chi(G).</math>
: <math> \vartheta(\bar{G}) \leq \chi(G).</math>
भिन्नात्मक वर्णिक संख्या: किसी ग्राफ की भिन्नात्मक वर्णिक संख्या वर्णिक संख्या पर भी निचली सीमा होती है:
भिन्नात्मक वर्णिक संख्या: किसी ग्राफ की भिन्नात्मक वर्णिक संख्या वर्णिक संख्या पर भी निचली सीमा होती है:
Line 129: Line 127:
: प्रमेय ({{harvard citations|nb|first=William T.|last=Tutte|year=1947|author-link=W. T. Tutte}},<ref>{{citation | last = Descartes | first = Blanche | author-link = Blanche Descartes | journal = Eureka | title = A three colour problem | volume = 21 | date = April 1947}}</ref> {{harvard citations|nb|first=Alexander|last=Zykov|year=1949|author-link=Alexander Zykov}}, {{harvard citations|nb|first=Jan|last=Mycielski|year=1955|author-link=Jan Mycielski}}): मनमाने ढंग से उच्च रंग संख्या के साथ त्रिभुज-मुक्त ग्राफ़ उपस्थित हैं।
: प्रमेय ({{harvard citations|nb|first=William T.|last=Tutte|year=1947|author-link=W. T. Tutte}},<ref>{{citation | last = Descartes | first = Blanche | author-link = Blanche Descartes | journal = Eureka | title = A three colour problem | volume = 21 | date = April 1947}}</ref> {{harvard citations|nb|first=Alexander|last=Zykov|year=1949|author-link=Alexander Zykov}}, {{harvard citations|nb|first=Jan|last=Mycielski|year=1955|author-link=Jan Mycielski}}): मनमाने ढंग से उच्च रंग संख्या के साथ त्रिभुज-मुक्त ग्राफ़ उपस्थित हैं।


यह साबित करने के लिए, माइसील्स्की और ज़्यकोव दोनों ने, प्रत्येक ने त्रिभुज-मुक्त ग्राफ़ के आगमनात्मक रूप से परिभाषित परिवार का निर्माण किया, लेकिन मनमाने ढंग से बड़ी रंगीन संख्या के साथ।<ref>{{citation | last1 = Scott | first1 = Alex | last2 = Seymour | first2 = Paul | journal = Journal of Graph Theory | pages = 2–3 | title = A survey of χ-boundedness | volume = 95 | year = 2020 | doi = 10.1002/jgt.22601 | issue = 3| s2cid = 4760027 }}.</ref> बर्लिंग (1965)<ref>{{citation | last = Burling | first = James Perkins | title = On coloring problems of families of prototypes (PhD thesis) | publisher = University of Colorado | location = Boulder | year = 1965}}.</ref> निर्मित अक्ष संरेखित बक्से में <math>\mathbb{R}^{3}</math> जिसका [[चौराहा ग्राफ]] त्रिभुज-मुक्त है और ठीक से रंगने के लिए मनमाने ढंग से कई रंगों की आवश्यकता होती है। ग्राफ़ के इस परिवार को बर्लिंग ग्राफ़ कहा जाता है। पावलिक एट अल द्वारा दिए गए विमान में त्रिभुज-मुक्त रेखा खंडों के एक परिवार के निर्माण के लिए ग्राफ़ के समान वर्ग का उपयोग किया जाता है। (2014)।<ref name="Triangle-free intersection graphs o">{{citation | last1 = Pawlik | first1 = A. | last2 = Kozik | first2 = J. | last3 = Krawczyk | first3 = T. | last4 = Lasoń | first4 = M. | last5 = Micek | first5 = P. | last6 = Trotter | first6 = W. | last7 = Walczak | first7 = B. | journal = [[Journal of Combinatorial Theory]] | pages = 6–10 | title = Triangle-free intersection graphs of line segments with large chromatic number | series = Series B | volume = 105 | year = 2014 | doi = 10.1016/j.jctb.2013.11.001 | issue = 5| doi-access = free }}</ref> यह दर्शाता है कि इसके प्रतिच्छेदन ग्राफ की रंगीन संख्या भी मनमाने ढंग से बड़ी है। इसलिए, इसका तात्पर्य है कि अक्ष संरेखित बक्से में <math>\mathbb{R}^{3}</math> साथ ही लाइन सेगमेंट में <math>\mathbb{R}^{2}</math> χ-बाध्य नहीं हैं।<ref name="Triangle-free intersection graphs o"/>
यह साबित करने के लिए, माइसील्स्की और ज़्यकोव दोनों ने, प्रत्येक ने त्रिभुज-मुक्त ग्राफ़ के आगमनात्मक रूप से परिभाषित परिवार का निर्माण किया, लेकिन मनमाने ढंग से बड़ी रंगीन संख्या के साथ।<ref>{{citation | last1 = Scott | first1 = Alex | last2 = Seymour | first2 = Paul | journal = Journal of Graph Theory | pages = 2–3 | title = A survey of χ-boundedness | volume = 95 | year = 2020 | doi = 10.1002/jgt.22601 | issue = 3| s2cid = 4760027 }}.</ref> बर्लिंग (1965)<ref>{{citation | last = Burling | first = James Perkins | title = On coloring problems of families of prototypes (PhD thesis) | publisher = University of Colorado | location = Boulder | year = 1965}}.</ref> निर्मित अक्ष संरेखित बक्से में <math>\mathbb{R}^{3}</math> जिसका [[चौराहा ग्राफ|प्रतिच्छेदन ग्राफ]] त्रिभुज-मुक्त है और ठीक से रंगने के लिए मनमाने ढंग से कई रंगों की आवश्यकता होती है। ग्राफ़ के इस परिवार को बर्लिंग ग्राफ़ कहा जाता है। पावलिक एट अल द्वारा दिए गए सतह में त्रिभुज-मुक्त रेखा खंडों के एक परिवार के निर्माण के लिए ग्राफ़ के समान वर्ग का उपयोग किया जाता है। (2014)।<ref name="Triangle-free intersection graphs o">{{citation | last1 = Pawlik | first1 = A. | last2 = Kozik | first2 = J. | last3 = Krawczyk | first3 = T. | last4 = Lasoń | first4 = M. | last5 = Micek | first5 = P. | last6 = Trotter | first6 = W. | last7 = Walczak | first7 = B. | journal = [[Journal of Combinatorial Theory]] | pages = 6–10 | title = Triangle-free intersection graphs of line segments with large chromatic number | series = Series B | volume = 105 | year = 2014 | doi = 10.1016/j.jctb.2013.11.001 | issue = 5| doi-access = free }}</ref> यह दर्शाता है कि इसके प्रतिच्छेदन ग्राफ की रंगीन संख्या भी मनमाने ढंग से बड़ी है। इसलिए, इसका तात्पर्य है कि अक्ष संरेखित बक्से में <math>\mathbb{R}^{3}</math> साथ ही लाइन सेगमेंट में <math>\mathbb{R}^{2}</math> χ-बाध्य नहीं हैं।<ref name="Triangle-free intersection graphs o"/>


ब्रूक्स के प्रमेय से, उच्च रंगीन संख्या वाले ग्राफ़ में उच्च अधिकतम डिग्री होनी चाहिए। लेकिन रंगीनता पूरी तरह से स्थानीय घटना नहीं है: उच्च गर्थ (ग्राफ सिद्धांत) वाला एक ग्राफ स्थानीय रूप से पेड़ की तरह दिखता है, क्योंकि सभी चक्र लंबे होते हैं, लेकिन इसकी रंगीन संख्या 2 नहीं होनी चाहिए:
ब्रूक्स के प्रमेय से, उच्च रंगीन संख्या वाले ग्राफ़ में उच्च अधिकतम डिग्री होनी चाहिए। लेकिन रंगीनता पूरी तरह से स्थानीय घटना नहीं है: उच्च गर्थ (ग्राफ सिद्धांत) वाला एक ग्राफ स्थानीय रूप से पेड़ की तरह दिखता है, क्योंकि सभी चक्र लंबे होते हैं, लेकिन इसकी रंगीन संख्या 2 नहीं होनी चाहिए:
: प्रमेय (पॉल एर्डोस | एर्डोस): मनमाने ढंग से उच्च परिधि और रंगीन संख्या के ग्राफ मौजूद हैं।<ref>{{citation | last = Erdős | first = Paul | author-link = Paul Erdős | journal = Canadian Journal of Mathematics | pages = 34–38 | title = Graph theory and probability | volume = 11 | year = 1959 | doi = 10.4153/CJM-1959-003-9| s2cid = 122784453 }}.</ref>
: प्रमेय (पॉल एर्डोस | एर्डोस): मनमाने ढंग से उच्च परिधि और रंगीन संख्या के ग्राफ उपस्थित हैं।<ref>{{citation | last = Erdős | first = Paul | author-link = Paul Erdős | journal = Canadian Journal of Mathematics | pages = 34–38 | title = Graph theory and probability | volume = 11 | year = 1959 | doi = 10.4153/CJM-1959-003-9| s2cid = 122784453 }}.</ref>
=== रंगीन सूचकांक पर सीमा ===
=== रंगीन सूचकांक पर सीमा ===
जी का किनारा रंग इसके लाइन ग्राफ का शीर्ष रंग है <math>L(G)</math>, और इसके विपरीत। इस प्रकार,
जी का किनारा रंग इसके लाइन ग्राफ का शीर्ष रंग है <math>L(G)</math>, और इसके विपरीत, इस प्रकार


:<math>\chi'(G)=\chi(L(G)). </math>
:<math>\chi'(G)=\chi(L(G)). </math>
Line 156: Line 154:
[[अनंत ग्राफ]] कलरिंग के बारे में कुछ परिणामों में से दो निम्नलिखित हैं:
[[अनंत ग्राफ]] कलरिंग के बारे में कुछ परिणामों में से दो निम्नलिखित हैं:
* यदि एक अनंत ग्राफ जी के सभी परिमित सबग्राफ के-रंगीन हैं, तो पसंद के स्वयंसिद्ध की धारणा के तहत जी भी है। यह डी ब्रुजन-एर्दोस प्रमेय (ग्राफ सिद्धांत) है | {{harvtxt|de Bruijn|Erdős|1951}}.
* यदि एक अनंत ग्राफ जी के सभी परिमित सबग्राफ के-रंगीन हैं, तो पसंद के स्वयंसिद्ध की धारणा के तहत जी भी है। यह डी ब्रुजन-एर्दोस प्रमेय (ग्राफ सिद्धांत) है | {{harvtxt|de Bruijn|Erdős|1951}}.
*यदि कोई ग्राफ़ प्रत्येक n ≥ n के लिए पूर्ण n-रंग स्वीकार करता है<sub>0</sub>, यह एक अनंत पूर्ण रंग को स्वीकार करता है {{harv|Fawcett|1978}}.
*यदि कोई ग्राफ़ प्रत्येक ''n'' ''n''<sub>0</sub> के लिए पूर्ण n-रंग स्वीकार करता है, यह एक अनंत पूर्ण रंग को स्वीकार करता है {{harv|Fawcett|1978}}.


=== खुली समस्याएं ===
=== प्रारंभिक समस्याएं ===
जैसा कि ऊपर कहा, <math> \omega(G) \le \chi(G) \le \Delta(G) + 1. </math> 1998 से रीड का एक अनुमान यह है कि मूल्य अनिवार्य रूप से निचली सीमा के करीब है,
जैसा कि ऊपर कहा, <math> \omega(G) \le \chi(G) \le \Delta(G) + 1. </math> 1998 से रीड का एक अनुमान यह है कि मूल्य अनिवार्य रूप से निचली सीमा के करीब है,
  <math> \chi(G) \le \left\lceil \frac{\omega(G) + \Delta(G) + 1}{2} \right\rceil. </math>
  <math> \chi(G) \le \left\lceil \frac{\omega(G) + \Delta(G) + 1}{2} \right\rceil. </math>
Line 220: Line 218:
}}
}}
=== बहुपद समय ===
=== बहुपद समय ===
यह निर्धारित करना कि क्या एक ग्राफ को 2 रंगों से रंगा जा सकता है, यह निर्धारित करने के बराबर है कि क्या ग्राफ एक द्विदलीय ग्राफ है, और इस प्रकार रैखिक समय में या तो चौड़ाई-पहली खोज या गहराई-पहली खोज का उपयोग करके गणना की जा सकती है। जा सकता है। जा सकता है। अधिक सामान्यतः, रंग संख्या और सही ग्राफ के संबंधित रंग की गणना अर्ध-निश्चित प्रोग्रामिंग का उपयोग करके बहुपद समय में की जा सकती है। रंगीन बहुपदों के लिए बंद-रूप अभिव्यक्तियां कई वर्गों के रेखांकन के लिए जानी जाती हैं, जैसे वनों, तारों के रेखांकन, चक्र, पहियों और सीढ़ी, इसलिए बहुपद समय में इनका मूल्यांकन किया जा सकता है।
यह निर्धारित करना कि क्या एक ग्राफ को 2 रंगों से रंगा जा सकता है, यह निर्धारित करने के बराबर है कि क्या ग्राफ एक द्विदलीय ग्राफ है, और इस प्रकार रैखिक समय में या तो चौड़ाई-प्रथम खोज या गहराई-प्रथम खोज का उपयोग करता है। गणना की जा सकती है। जा सकता है। जा सकता है। अधिक सामान्यतः, रंग संख्या की गणना और सही ग्राफ़ के संबंधित रंग बहुपद समय में अर्द्ध-निश्चित प्रोग्रामिंग का उपयोग करके किया जा सकता है। रंगीन बहुपदों के लिए बंद-रूप अभिव्यक्तियां कई वर्गों के रेखांकन के लिए जानी जाती हैं, जैसे कि वनों, राग रेखांकन, वृत्त, पहिए और सीढ़ी, इसलिए इनका मूल्यांकन बहुपद समय में किया जा सकता है।


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


=== सटीक एल्गोरिदम ===
=== सटीक एल्गोरिदम ===
के-कलरिंग के लिए [[क्रूर-बल खोज]] इनमें से प्रत्येक पर विचार करता है <math>k^n</math> n रंगों को k रंगों का असाइनमेंट और यदि यह कानूनी है तो प्रत्येक के लिए जाँच करता है। रंगीन संख्या और रंगीन बहुपद की गणना करने के लिए, इस प्रक्रिया का उपयोग प्रत्येक के लिए किया जाता है <math>k=1,\ldots,n-1</math>, सबसे छोटे इनपुट ग्राफ़ को छोड़कर सभी के लिए अव्यावहारिक।
के-कलरिंग के लिए [[क्रूर-बल खोज]] इनमें से प्रत्येक पर विचार करता है <math>k^n</math> n रंगों को k रंगों का असाइनमेंट और यदि यह कानूनी है तो प्रत्येक के लिए जाँच करता है। रंगीन संख्या और रंगीन बहुपद की गणना करने के लिए, इस प्रक्रिया का उपयोग प्रत्येक के लिए किया जाता है <math>k=1,\ldots,n-1</math>, सबसे छोटे इनपुट ग्राफ़ को छोड़कर सभी के लिए अव्यावहारिक।


[[गतिशील प्रोग्रामिंग]] और [[अधिकतम स्वतंत्र सेट]]ों की संख्या पर बाध्यता का उपयोग करके, समय और स्थान में k-colorability का निर्णय लिया जा सकता है <math>O(2.4423^n)</math>.<ref>{{harvtxt|Lawler|1976}}</ref> समावेशन-बहिष्करण के सिद्धांत और [[फ्रैंक येट्स]] के एल्गोरिदम का उपयोग तेजी से जीटा परिवर्तन के लिए, समय में k-colorability का निर्णय लिया जा सकता है <math>O(2^nn)</math><ref name="bhk">{{harvtxt|Björklund|Husfeldt|Koivisto|2009|page=550}}</ref><ref>{{harvtxt|Yates|1937|page=66-67}}{{Full citation needed|date=August 2022}}</ref><ref>{{harvtxt|Knuth|1997|chapter=4.6.4|page=501-502}} Sect.4.6.4</ref><ref>{{harvtxt|Koivisto|2004|page=45,96-103}}</ref> किसी के लिए तेज़ एल्गोरिदम को 3- और 4-रंगशीलता के लिए जाना जाता है, जिसे समय पर तय किया जा सकता है <math>O(1.3289^n)</math><ref>{{harvtxt|Beigel|Eppstein|2005}}</ref> और <math>O(1.7272^n)</math>,<ref>{{harvtxt|Fomin|Gaspers|Saurabh|2007}}</ref> क्रमश। घातीय रूप से तेज़ एल्गोरिदम 5- और 6-रंगशीलता के साथ-साथ विरल ग्राफ़ सहित ग्राफ़ के प्रतिबंधित परिवारों के लिए भी जाने जाते हैं।<ref>{{cite conference  |last1=Zamir |first1=Or |contribution=Breaking the 2ⁿ Barrier for 5-Coloring and 6-Coloring |editor=Bansal, Nikhil |editor2=Merelli, Emanuela |editor3=Worrell, James |title=[[International Colloquium on Automata, Languages, and Programming|48th International Colloquium on Automata, Languages, and Programming (ICALP)]] |date=2021 | publisher=Schloss Dagstuhl &ndash; Leibniz-Zentrum für Informatik |series=[[Leibniz International Proceedings in Informatics]] (LIPIcs) |volume=198 |pages=113:1–113:20 |doi=10.4230/LIPIcs.ICALP.2021.113}}</ref>
[[गतिशील प्रोग्रामिंग]] और [[अधिकतम स्वतंत्र सेट]] की संख्या पर बाध्यता का उपयोग करके, समय और स्थान में k-रंगशीलता का निर्णय लिया जा सकता है <math>O(2.4423^n)</math>.<ref>{{harvtxt|Lawler|1976}}</ref> समावेशन-बहिष्करण के सिद्धांत और [[फ्रैंक येट्स]] के एल्गोरिदम का उपयोग तेजी से जीटा परिवर्तन के लिए, समय में k-रंगशीलता का निर्णय लिया जा सकता है <math>O(2^nn)</math><ref name="bhk">{{harvtxt|Björklund|Husfeldt|Koivisto|2009|page=550}}</ref><ref>{{harvtxt|Yates|1937|page=66-67}}{{Full citation needed|date=August 2022}}</ref><ref>{{harvtxt|Knuth|1997|chapter=4.6.4|page=501-502}} Sect.4.6.4</ref><ref>{{harvtxt|Koivisto|2004|page=45,96-103}}</ref> किसी के लिए तेज़ एल्गोरिदम को 3- और 4-रंगशीलता के लिए जाना जाता है, जिसे समय पर तय किया जा सकता है <math>O(1.3289^n)</math><ref>{{harvtxt|Beigel|Eppstein|2005}}</ref> और <math>O(1.7272^n)</math>,<ref>{{harvtxt|Fomin|Gaspers|Saurabh|2007}}</ref> क्रमश। घातीय रूप से तेज़ एल्गोरिदम 5- और 6-रंगशीलता के साथ-साथ विरल ग्राफ़ सहित ग्राफ़ के प्रतिबंधित परिवारों के लिए भी जाने जाते हैं।<ref>{{cite conference  |last1=Zamir |first1=Or |contribution=Breaking the 2ⁿ Barrier for 5-Coloring and 6-Coloring |editor=Bansal, Nikhil |editor2=Merelli, Emanuela |editor3=Worrell, James |title=[[International Colloquium on Automata, Languages, and Programming|48th International Colloquium on Automata, Languages, and Programming (ICALP)]] |date=2021 | publisher=Schloss Dagstuhl &ndash; Leibniz-Zentrum für Informatik |series=[[Leibniz International Proceedings in Informatics]] (LIPIcs) |volume=198 |pages=113:1–113:20 |doi=10.4230/LIPIcs.ICALP.2021.113}}</ref>
=== संकुचन ===
=== संकुचन ===
[[संकुचन (ग्राफ सिद्धांत)]] <math>G/uv</math> एक ग्राफ जी का ग्राफ यू और वी की पहचान करके और उनके बीच के किनारों को हटाकर प्राप्त किया गया ग्राफ है। मूल रूप से यू या वी के लिए शेष शेष किनारे अब उनकी पहचान (यानी, नया फ्यूज्ड नोड यूवी) के लिए प्रासंगिक हैं। यह ऑपरेशन ग्राफ कलरिंग के विश्लेषण में एक प्रमुख भूमिका निभाता है।
[[संकुचन (ग्राफ सिद्धांत)]] <math>G/uv</math> एक ग्राफ जी का ग्राफ u और v की पहचान करके और उनके बीच के किनारों को हटाकर प्राप्त किया गया ग्राफ है। मूल रूप से u या v के लिए शेष शेष किनारे अब उनकी पहचान (यानी, नया फ्यूज्ड नोड uv) के लिए प्रासंगिक हैं। यह ऑपरेशन ग्राफ कलरिंग के विश्लेषण में एक प्रमुख भूमिका निभाता है।


वर्णिक संख्या [[पुनरावृत्ति संबंध]] को संतुष्ट करती है:
वर्णिक संख्या [[पुनरावृत्ति संबंध]] को संतुष्ट करती है:
Line 239: Line 237:
जहाँ u और v आसन्न शीर्ष हैं, और <math>G-uv</math> किनारे के साथ ग्राफ है {{mvar|uv}} निकाला गया। <math>P(G - uv, k)</math> ग्राफ़ के संभावित उचित रंगों की संख्या का प्रतिनिधित्व करता है, जहाँ शीर्षों में समान या भिन्न रंग हो सकते हैं। फिर दो अलग-अलग ग्राफों से उचित रंग उत्पन्न होते हैं। व्याख्या करने के लिए, यदि शीर्षों u और v के अलग-अलग रंग हैं, तो हम एक ग्राफ़ पर भी विचार कर सकते हैं जहाँ u और v आसन्न हैं। यदि यू और वी के समान रंग हैं, तो हम एक ग्राफ पर भी विचार कर सकते हैं जहां यू और वी अनुबंधित हैं। टुट्टे की जिज्ञासा जिसके बारे में अन्य ग्राफ गुण इस पुनरावृत्ति को संतुष्ट करते हैं, ने उन्हें रंगीन बहुपद, टुट्टे बहुपद के द्विभाजित सामान्यीकरण की खोज करने के लिए प्रेरित किया।
जहाँ u और v आसन्न शीर्ष हैं, और <math>G-uv</math> किनारे के साथ ग्राफ है {{mvar|uv}} निकाला गया। <math>P(G - uv, k)</math> ग्राफ़ के संभावित उचित रंगों की संख्या का प्रतिनिधित्व करता है, जहाँ शीर्षों में समान या भिन्न रंग हो सकते हैं। फिर दो अलग-अलग ग्राफों से उचित रंग उत्पन्न होते हैं। व्याख्या करने के लिए, यदि शीर्षों u और v के अलग-अलग रंग हैं, तो हम एक ग्राफ़ पर भी विचार कर सकते हैं जहाँ u और v आसन्न हैं। यदि यू और वी के समान रंग हैं, तो हम एक ग्राफ पर भी विचार कर सकते हैं जहां यू और वी अनुबंधित हैं। टुट्टे की जिज्ञासा जिसके बारे में अन्य ग्राफ गुण इस पुनरावृत्ति को संतुष्ट करते हैं, ने उन्हें रंगीन बहुपद, टुट्टे बहुपद के द्विभाजित सामान्यीकरण की खोज करने के लिए प्रेरित किया।


ये भाव विलोपन-संकुचन एल्गोरिथम नामक एक पुनरावर्ती प्रक्रिया को जन्म देते हैं, जो ग्राफ़ रंग के लिए कई एल्गोरिदम का आधार बनाती है। चलने का समय [[फाइबोनैचि संख्या]]ओं के समान पुनरावृत्ति संबंध को संतुष्ट करता है, इसलिए सबसे खराब स्थिति में एल्गोरिदम बहुपद कारक के भीतर समय पर चलता है <math>\left(\tfrac{1+\sqrt{5}}2\right)^{n+m}=O(1.6180^{n+m})</math> n शीर्षों और m किनारों के लिए।<ref>{{harvtxt|Wilf|1986}}</ref> संख्या के एक बहुपद कारक के भीतर विश्लेषण <math>t(G)</math> इनपुट ग्राफ के फैले हुए (गणित) में सुधार किया जा सकता है।<ref>{{harvtxt|Sekine|Imai|Tani|1995}}</ref> अभ्यास में, कुछ पुनरावर्ती कॉलों से बचने के लिए शाखा और बाध्य रणनीतियों और समरूपता अस्वीकृति को नियोजित किया जाता है। रनिंग टाइम वर्टेक्स पेयर को चुनने के लिए उपयोग किए गए ह्यूरिस्टिक पर निर्भर करता है।
ये भाव विलोपन-संकुचन एल्गोरिथम नामक एक पुनरावर्ती प्रक्रिया को जन्म देते हैं, जो ग्राफ़ रंग के लिए कई एल्गोरिदम का आधार बनाती है। चलने का समय [[फाइबोनैचि संख्या|फाइबोनैचि संख्यााओं]] के समान पुनरावृत्ति संबंध को संतुष्ट करता है, इसलिए सबसे खराब स्थिति में एल्गोरिदम बहुपद कारक के भीतर समय पर चलता है <math>\left(\tfrac{1+\sqrt{5}}2\right)^{n+m}=O(1.6180^{n+m})</math> n शीर्षों और m किनारों के लिए।<ref>{{harvtxt|Wilf|1986}}</ref> संख्या के एक बहुपद कारक के भीतर विश्लेषण <math>t(G)</math> इनपुट ग्राफ के फैले हुए (गणित) में सुधार किया जा सकता है।<ref>{{harvtxt|Sekine|Imai|Tani|1995}}</ref> अभ्यास में, कुछ पुनरावर्ती कॉलों से बचने के लिए शाखा और बाध्य रणनीतियों और समरूपता अस्वीकृति को नियोजित किया जाता है। रनिंग टाइम वर्टेक्स पेयर को चुनने के लिए उपयोग किए गए ह्यूरिस्टिक पर निर्भर करता है।


=== लोभी रंग ===
=== लोभी रंग ===
{{Main|लोभी रंग}}
{{Main|लोभी रंग}}
[[File:Greedy colourings.svg|thumb|right|अलग-अलग वर्टेक्स ऑर्डर का उपयोग करते हुए एक ही ग्राफ के दो लालची रंग। सही उदाहरण एन कोने के साथ 2-रंगीन ग्राफों को सामान्यीकृत करता है, जहां लालची एल्गोरिदम खर्च करता है <math>n/2</math> रंग की।]]लालची एल्गोरिथ्म एक विशिष्ट क्रम में कोने पर विचार करता है <math>v_1</math>,…,<math> v_n</math> और असाइन करता है <math>v_i</math> सबसे छोटा उपलब्ध रंग जिसका उपयोग नहीं किया गया <math>v_i</math>के पड़ोसियों में <math>v_1</math>,…,<math> v_{i-1}</math>, यदि आवश्यक हो तो एक नया रंग जोड़ना। परिणामी रंग की गुणवत्ता चुने हुए क्रम पर निर्भर करती है। एक आदेश मौजूद है जो इष्टतम संख्या के साथ एक लालची रंग की ओर जाता है <math>\chi(G)</math> रंग की। दूसरी ओर, लालची रंग मनमाने ढंग से खराब हो सकते हैं; उदाहरण के लिए, n शीर्षों पर [[क्राउन ग्राफ]] 2-रंग का हो सकता है, लेकिन इसमें एक क्रम है जो एक लालची रंग की ओर जाता है <math>n/2</math> रंग की।
[[File:Greedy colourings.svg|thumb|right|अलग-अलग वर्टेक्स ऑर्डर का उपयोग करते हुए एक ही ग्राफ के दो लोभी रंग। सही उदाहरण एन कोने के साथ 2-रंगीन ग्राफों को सामान्यीकृत करता है, जहां लालची एल्गोरिदम खर्च करता है <math>n/2</math> रंग की।]]लालची एल्गोरिथ्म एक विशिष्ट क्रम में कोने पर विचार करता है <math>v_1</math>,…,<math> v_n</math> और असाइन करता है <math>v_i</math> सबसे छोटा उपलब्ध रंग जिसका उपयोग नहीं किया गया <math>v_i</math>के पड़ोसियों में <math>v_1</math>,…,<math> v_{i-1}</math>, यदि आवश्यक हो तो एक नया रंग जोड़ना। परिणामी रंग की गुणवत्ता चुने हुए क्रम पर निर्भर करती है। एक आदेश उपस्थित है जो इष्टतम संख्या के साथ एक लोभी रंग की ओर जाता है <math>\chi(G)</math> रंग की। दूसरी ओर, लोभी रंग मनमाने ढंग से खराब हो सकते हैं; उदाहरण के लिए, n शीर्षों पर [[क्राउन ग्राफ]] 2-रंग का हो सकता है, लेकिन इसमें एक क्रम है जो एक लोभी रंग की ओर जाता है <math>n/2</math> रंग की।


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


यदि शीर्षों को उनकी डिग्री (ग्राफ़ सिद्धांत) के अनुसार क्रमबद्ध किया जाता है, तो परिणामी लालची रंग अधिक से अधिक उपयोग करता है <math>\text{max}_i \text{ min}
यदि शीर्षों को उनकी डिग्री (ग्राफ़ सिद्धांत) के अनुसार क्रमबद्ध किया जाता है, तो परिणामी लोभी रंग अधिक से अधिक उपयोग करता है <math>\text{max}_i \text{ min}
\{d(x_i ) + 1, i\}</math> रंग, अधिक से अधिक एक ग्राफ़ की अधिकतम डिग्री से अधिक। इस अनुमानी को कभी-कभी वेल्श-पॉवेल एल्गोरिथम कहा जाता है।<ref>{{harvtxt|Welsh|Powell|1967}}</ref> डैनियल ब्रेलाज़ के कारण एक और अनुमानी|ब्रेलाज़ गतिशील रूप से क्रम स्थापित करता है जबकि एल्गोरिथम आगे बढ़ता है, विभिन्न रंगों की सबसे बड़ी संख्या के निकट शीर्ष को चुनता है।<ref>{{harvtxt|Brélaz|1979}}</ref> कई अन्य ग्राफ़ कलरिंग ह्यूरिस्टिक्स समान रूप से एक विशिष्ट स्थैतिक या गतिशील रणनीति के लिए लालची रंग पर आधारित होते हैं, इन एल्गोरिदम को कभी-कभी अनुक्रमिक रंग एल्गोरिदम कहा जाता है।
\{d(x_i ) + 1, i\}</math> रंग, अधिक से अधिक एक ग्राफ़ की अधिकतम डिग्री से अधिक। इस अनुमानी को कभी-कभी वेल्श-पॉवेल एल्गोरिथम कहा जाता है।<ref>{{harvtxt|Welsh|Powell|1967}}</ref> डैनियल ब्रेलाज़ के कारण एक और अनुमानी|ब्रेलाज़ गतिशील रूप से क्रम स्थापित करता है जबकि एल्गोरिथम आगे बढ़ता है, विभिन्न रंगों की सबसे बड़ी संख्या के निकट शीर्ष को चुनता है।<ref>{{harvtxt|Brélaz|1979}}</ref> कई अन्य ग्राफ़ कलरिंग ह्यूरिस्टिक्स समान रूप से एक विशिष्ट स्थैतिक या गतिशील रणनीति के लिए लोभी रंग पर आधारित होते हैं, इन एल्गोरिदम को कभी-कभी अनुक्रमिक रंग एल्गोरिदम कहा जाता है।


इस संख्या को अधिकतम करने के लिए चुने गए वर्टेक्स ऑर्डरिंग का उपयोग करके, लालची एल्गोरिथ्म द्वारा प्राप्त किए जा सकने वाले रंगों की अधिकतम (सबसे खराब) संख्या को ग्राफ की [[ग्रुंडी संख्या]] कहा जाता है।
इस संख्या को अधिकतम करने के लिए चुने गए वर्टेक्स ऑर्डरिंग का उपयोग करके, लालची एल्गोरिथ्म द्वारा प्राप्त किए जा सकने वाले रंगों की अधिकतम (सबसे खराब) संख्या को ग्राफ की [[ग्रुंडी संख्या]] कहा जाता है।


=== ह्यूरिस्टिक एल्गोरिदम ===
=== ह्यूरिस्टिक एल्गोरिदम ===
ग्राफ़ कलरिंग के लिए दो प्रसिद्ध बहुपद-समय अनुमानी [[DSatur]] और रिकर्सिव सबसे बड़ा पहला एल्गोरिथम (RLF) एल्गोरिदम हैं।
ग्राफ़ कलरिंग के लिए दो प्रसिद्ध बहुपद-समय अनुमानी [[DSatur|डीसैटूर]] और रिकर्सिव सबसे बड़ा पहला एल्गोरिथम (RLF) एल्गोरिदम हैं।


लालची रंग के समान, DSatur एक [[ग्राफ (ग्राफ सिद्धांत)]] के वर्टेक्स (ग्राफ सिद्धांत) को एक के बाद एक रंग देता है, जरूरत पड़ने पर पहले से अप्रयुक्त रंग को खर्च करता है। एक बार एक नया वर्टेक्स (ग्राफ़ सिद्धांत) रंगीन हो जाने के बाद, एल्गोरिथ्म यह निर्धारित करता है कि शेष बिना रंग वाले शीर्षों में से किसमें इसके पड़ोस में विभिन्न रंगों की संख्या सबसे अधिक है और इस शीर्ष को अगला रंग देता है। इसे किसी दिए गए शीर्ष की संतृप्ति की डिग्री के रूप में परिभाषित किया गया है।
लोभी रंग के समान, डीसैटूर एक [[ग्राफ (ग्राफ सिद्धांत)]] के वर्टेक्स (ग्राफ सिद्धांत) को एक के बाद एक रंग देता है, जरूरत पड़ने पर पहले से अप्रयुक्त रंग को खर्च करता है। एक बार एक नया वर्टेक्स (ग्राफ़ सिद्धांत) रंगीन हो जाने के बाद, एल्गोरिथ्म यह निर्धारित करता है कि शेष बिना रंग वाले शीर्षों में से किसमें इसके पड़ोस में विभिन्न रंगों की संख्या सबसे अधिक है और इस शीर्ष को अगला रंग देता है। इसे किसी दिए गए शीर्ष की संतृप्ति की डिग्री के रूप में परिभाषित किया गया है।


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


DSatur की सबसे खराब स्थिति जटिलता है <math>O(n^2)</math>, कहाँ <math>n</math> ग्राफ में शीर्षों की संख्या है। एल्गोरिदम को संतृप्ति डिग्री स्टोर करने के लिए बाइनरी ढेर का उपयोग करके भी कार्यान्वित किया जा सकता है <math>O((n+m)\log n)</math> कहाँ <math>m</math> ग्राफ में किनारों की संख्या है।<ref name="Lewis2021" /> यह विरल रेखांकन के साथ बहुत तेजी से चलता है। RLF की समग्र जटिलता DSatur की तुलना में थोड़ी अधिक है <math>\mathcal{O}(mn)</math>.<ref name="Lewis2021" />
डीसैटूर की सबसे खराब स्थिति जटिलता है <math>O(n^2)</math>, कहाँ <math>n</math> ग्राफ में शीर्षों की संख्या है। एल्गोरिदम को संतृप्ति डिग्री स्टोर करने के लिए बाइनरी ढेर का उपयोग करके भी कार्यान्वित किया जा सकता है <math>O((n+m)\log n)</math> कहाँ <math>m</math> ग्राफ में किनारों की संख्या है।<ref name="Lewis2021" /> यह विरल रेखांकन के साथ बहुत तेजी से चलता है। RLF की समग्र जटिलता डीसैटूर की तुलना में थोड़ी अधिक है <math>\mathcal{O}(mn)</math>.<ref name="Lewis2021" />


DSatur और RLF द्विदलीय ग्राफ़, [[चक्र ग्राफ]]और [[पहिया ग्राफ]] के लिए सटीक एल्गोरिथम हैं।<ref name="Lewis2021" />
डीसैटूर और RLF द्विदलीय ग्राफ़, [[चक्र ग्राफ]] और [[पहिया ग्राफ]] के लिए सटीक एल्गोरिथम हैं।<ref name="Lewis2021" />
=== समानांतर और वितरित एल्गोरिदम ===
=== समानांतर और वितरित एल्गोरिदम ===
[[वितरित एल्गोरिदम]] के क्षेत्र में, ग्राफ का रंग समरूपता टूटने की समस्या से निकटता से संबंधित है। वर्तमान अत्याधुनिक यादृच्छिक एल्गोरिदम नियतात्मक एल्गोरिदम की तुलना में पर्याप्त रूप से बड़ी अधिकतम डिग्री Δ के लिए तेज़ हैं। सबसे तेज रैंडमाइज्ड एल्गोरिदम श्नाइडर एट अल द्वारा [[बहु-परीक्षण तकनीक]] को नियोजित करता है।<ref name="Schneider 2010">{{harvtxt|Schneider|2010}}</ref>
[[वितरित एल्गोरिदम]] के क्षेत्र में, ग्राफ का रंग समरूपता टूटने की समस्या से निकटता से संबंधित है। वर्तमान अत्याधुनिक यादृच्छिक एल्गोरिदम नियतात्मक एल्गोरिदम की तुलना में पर्याप्त रूप से बड़ी अधिकतम डिग्री Δ के लिए तेज़ हैं। सबसे तेज रैंडमाइज्ड एल्गोरिदम श्नाइडर एट अल द्वारा [[बहु-परीक्षण तकनीक]] को नियोजित करता है।<ref name="Schneider 2010">{{harvtxt|Schneider|2010}}</ref>
एक [[सममित ग्राफ]] में, एक [[नियतात्मक एल्गोरिथ्म]] वितरित एल्गोरिथ्म एक उचित शीर्ष रंग नहीं खोज सकता है। सममिति को तोड़ने के लिए कुछ सहायक सूचनाओं की आवश्यकता होती है। एक मानक धारणा यह है कि प्रारंभ में प्रत्येक नोड में एक अद्वितीय पहचानकर्ता होता है, उदाहरण के लिए, सेट {1, 2, ..., n} से। अन्यथा रखो, हम मानते हैं कि हमें एक n-रंग दिया गया है। रंगों की संख्या को n से घटाकर, उदाहरण के लिए, Δ+ 1 करने की चुनौती है। अधिक रंगों का उपयोग किया जाता है, उदा. Δ+1 के बजाय O(Δ), संचार के कम दौर की आवश्यकता होती है।<ref name="Schneider 2010" />
एक [[सममित ग्राफ]] में, एक [[नियतात्मक एल्गोरिथ्म]] वितरित एल्गोरिथ्म एक उचित शीर्ष रंग नहीं खोज सकता है। सममिति को तोड़ने के लिए कुछ सहायक सूचनाओं की आवश्यकता होती है। एक मानक धारणा यह है कि प्रारंभ में प्रत्येक नोड में एक अद्वितीय पहचानकर्ता होता है, उदाहरण के लिए, सेट {1, 2, ..., n} से। अन्यथा रखो, हम मानते हैं कि हमें एक n-रंग दिया गया है। रंगों की संख्या को n से घटाकर, उदाहरण के लिए, Δ+ 1 करने की चुनौती है। अधिक रंगों का उपयोग किया जाता है, उदा. Δ+1 के बजाय O(Δ), संचार के कम दौर की आवश्यकता होती है।<ref name="Schneider 2010" />


(Δ + 1)-कलरिंग के लिए लालची एल्गोरिथम का एक सीधा वितरित संस्करण सबसे खराब स्थिति में Θ(n) संचार दौर की आवश्यकता है - सूचना को नेटवर्क के एक तरफ से दूसरी तरफ प्रचारित करने की आवश्यकता हो सकती है।
(Δ + 1)-कलरिंग के लिए लालची एल्गोरिथम का एक सीधा वितरित संस्करण सबसे खराब स्थिति में Θ(n) संचार दौर की आवश्यकता है - सूचना को नेटवर्क के एक तरफ से दूसरी तरफ प्रचारित करने की आवश्यकता हो सकती है।


सबसे सरल दिलचस्प मामला एक n-साइकिल ग्राफ है। रिचर्ड कोल और [[उजी विस्किन]]<ref>{{harvtxt|Cole|Vishkin|1986}}, see also {{harvtxt|Cormen|Leiserson|Rivest|1990|loc = Section 30.5}}</ref> दिखाएँ कि एक वितरित एल्गोरिथम है जो एक तुल्यकालिक संचार चरण में रंगों की संख्या को n से O(log n) तक कम कर देता है। उसी प्रक्रिया को दोहराकर, ओ में एक n-चक्र का 3-रंग प्राप्त करना संभव है ({{log-star}}<nowiki/>n) संचार चरण (यह मानते हुए कि हमारे पास अद्वितीय नोड पहचानकर्ता हैं)।
सबसे सरल दिलचस्प स्थिति एक n-साइकिल ग्राफ है। रिचर्ड कोल और [[उजी विस्किन]]<ref>{{harvtxt|Cole|Vishkin|1986}}, see also {{harvtxt|Cormen|Leiserson|Rivest|1990|loc = Section 30.5}}</ref> दिखाएँ कि एक वितरित एल्गोरिथम है जो एक तुल्यकालिक संचार चरण में रंगों की संख्या को n से O(log n) तक कम कर देता है। उसी प्रक्रिया को दोहराकर, ओ में एक n-चक्र का 3-रंग प्राप्त करना संभव है ({{log-star}}<nowiki/>n) संचार चरण (यह मानते हुए कि हमारे पास अद्वितीय नोड पहचानकर्ता हैं)।


फ़ंक्शन {{log-star}}, [[पुनरावृत्त लघुगणक]], एक अत्यंत लगभग स्थिर धीरे-धीरे बढ़ने वाला कार्य है, इसलिए कोल और विस्किन के नतीजे ने सवाल उठाया कि क्या n-चक्र को 3-रंग देने के लिए निरंतर समय वितरित एल्गोरिदम है या नहीं। {{harvtxt|Linial|1992}} दिखाया कि यह संभव नहीं है: किसी भी नियतात्मक वितरित एल्गोरिथ्म के लिए Ω(log* ''n'') एक ''n''-चक्र में एक ''n''-रंग को 3-रंग में कम करने के लिए संचार कदम।
फ़ंक्शन {{log-star}}, [[पुनरावृत्त लघुगणक]], एक अत्यंत लगभग स्थिर धीरे-धीरे बढ़ने वाला कार्य है, इसलिए कोल और विस्किन के नतीजे ने सवाल उठाया कि क्या n-चक्र को 3-रंग देने के लिए निरंतर समय वितरित एल्गोरिदम है या नहीं। {{harvtxt|Linial|1992}} दिखाया कि यह संभव नहीं है: किसी भी नियतात्मक वितरित एल्गोरिथ्म के लिए Ω(log* ''n'') एक ''n''-चक्र में एक ''n''-रंग को 3-रंग में कम करने के लिए संचार कदम है।


कोल और विस्किन की तकनीक को मनमाना बाउंड-डिग्री ग्राफ़ में भी लागू किया जा सकता है; रनिंग टाइम पॉली (Δ) + हे ({{log-star}}''n'')।<ref>{{harvtxt|Goldberg|Plotkin|Shannon|1988}}</ref> श्नाइडर एट अल द्वारा तकनीक को [[यूनिट डिस्क ग्राफ]]तक बढ़ाया गया था।<ref>{{harvtxt|Schneider|2008}}</ref> छोटे Δ के लिए (Δ + 1)-कलरिंग के लिए सबसे तेज़ नियतात्मक एल्गोरिदम लियोनिद बारेनबोइम, माइकल एलकिन और फैबियन कुह्न के कारण हैं।<ref>{{harvtxt|Barenboim|Elkin|2009}}; {{harvtxt|Kuhn|2009}}</ref> बारेनबोइम एट अल द्वारा एल्गोरिथम। समय O(Δ) + में चलता है {{log-star}}(n)/2, जो कि n के संदर्भ में इष्टतम है क्योंकि लिनियल की निचली सीमा के कारण स्थिर कारक 1/2 में सुधार नहीं किया जा सकता है। {{harvtxt|Panconesi|Srinivasan|1996}} समय में Δ+1 कलरिंग की गणना करने के लिए नेटवर्क डिकंपोज़िशन <math> 2
कोल और विस्किन की तकनीक को मनमाना बाउंड-डिग्री ग्राफ़ में भी लागू किया जा सकता है; रनिंग टाइम पॉली (Δ) + हे ({{log-star}}''n'')।<ref>{{harvtxt|Goldberg|Plotkin|Shannon|1988}}</ref> श्नाइडर एट अल द्वारा तकनीक को [[यूनिट डिस्क ग्राफ]] तक बढ़ाया गया था।<ref>{{harvtxt|Schneider|2008}}</ref> छोटे Δ के लिए (Δ + 1)-कलरिंग के लिए सबसे तेज़ नियतात्मक एल्गोरिदम लियोनिद बारेनबोइम, माइकल एलकिन और फैबियन कुह्न के कारण हैं।<ref>{{harvtxt|Barenboim|Elkin|2009}}; {{harvtxt|Kuhn|2009}}</ref> बारेनबोइम एट अल द्वारा एल्गोरिथम। समय O(Δ) + में चलता है {{log-star}}(n)/2, जो कि n के संदर्भ में इष्टतम है क्योंकि लिनियल की निचली सीमा के कारण स्थिर कारक 1/2 में सुधार नहीं किया जा सकता है। {{harvtxt|Panconesi|Srinivasan|1996}} समय में Δ+1 कलरिंग की गणना करने के लिए नेटवर्क डिकंपोज़िशन <math> 2
^{O\left(\sqrt{\log n}\right)} </math>का उपयोग करें।
^{O\left(\sqrt{\log n}\right)} </math>का उपयोग करें।


वितरित मॉडल में किनारों के रंग की समस्या का भी अध्ययन किया गया है। {{harvtxt|Panconesi|Rizzi|2001}} a (2Δ − 1) प्राप्त करें - O(Δ + में रंगना{{log-star}}<nowiki/>n) इस मॉडल में समय। वितरित वर्टेक्स रंग के लिए निचली सीमा {{harvtxt|Linial|1992}} डिस्ट्रीब्यूटेड एज कलरिंग प्रॉब्लम पर भी लागू होता है।
वितरित मॉडल में किनारों के रंग की समस्या का भी अध्ययन किया गया है। पैनकोनेसी और रिज़ी (2001) इस मॉडल में O(Δ + log* n) समय में (2Δ - 1)-कलरिंग प्राप्त करते हैं। लिनियल (1992) के कारण वितरित वर्टेक्स कलरिंग के लिए निचली सीमा वितरित एज कलरिंग समस्या पर भी लागू होती है।


=== विकेंद्रीकृत एल्गोरिदम ===
=== विकेंद्रीकृत एल्गोरिदम ===
विकेंद्रीकृत एल्गोरिदम वे हैं जहां कोई [[संदेश देना]] की अनुमति नहीं है (वितरित एल्गोरिदम के विपरीत जहां स्थानीय संदेश पास होता है), और कुशल विकेन्द्रीकृत एल्गोरिदम मौजूद हैं जो उचित रंग मौजूद होने पर ग्राफ को रंग देंगे। ये मानते हैं कि एक शीर्ष यह समझने में सक्षम है कि क्या उसका कोई पड़ोसी शीर्ष के समान रंग का उपयोग कर रहा है, चाहे कोई स्थानीय संघर्ष मौजूद हो। यह कई अनुप्रयोगों में एक हल्की धारणा है उदा। वायरलेस चैनल आवंटन में सामान्यतः यह मान लेना उचित है कि एक स्टेशन यह पता लगाने में सक्षम होगा कि क्या अन्य हस्तक्षेप करने वाले ट्रांसमीटर उसी चैनल का उपयोग कर रहे हैं (उदाहरण के लिए SINR को मापकर)। यह सेंसिंग जानकारी सीखने के ऑटोमेटा पर आधारित एल्गोरिदम को प्रायिकता के साथ एक उचित ग्राफ रंग खोजने के लिए पर्याप्त है।<ref>E.g. see {{harvtxt|Leith|Clifford|2006}} and {{harvtxt|Duffy|O'Connell|Sapozhnikov|2008}}.</ref>
विकेंद्रीकृत एल्गोरिदम वे हैं जहां कोई [[संदेश देना]] की अनुमति नहीं है (वितरित एल्गोरिदम के विपरीत जहां स्थानीय संदेश पास होता है), और कुशल विकेन्द्रीकृत एल्गोरिदम उपस्थित हैं जो उचित रंग उपस्थित होने पर ग्राफ को रंग देंगे। ये मानते हैं कि एक शीर्ष यह समझने में सक्षम है कि क्या उसका कोई पड़ोसी शीर्ष के समान रंग का उपयोग कर रहा है, चाहे कोई स्थानीय संघर्ष उपस्थित हो। यह कई अनुप्रयोगों में एक हल्की धारणा है उदा। वायरलेस चैनल आवंटन में सामान्यतः यह मान लेना उचित है कि एक स्टेशन यह पता लगाने में सक्षम होगा कि क्या अन्य हस्तक्षेप करने वाले ट्रांसमीटर उसी चैनल का उपयोग कर रहे हैं (उदाहरण के लिए एसआईएनआर को मापकर)। यह सेंसिंग जानकारी सीखने के ऑटोमेटा पर आधारित एल्गोरिदम को प्रायिकता के साथ एक उचित ग्राफ रंग खोजने के लिए पर्याप्त है।<ref>E.g. see {{harvtxt|Leith|Clifford|2006}} and {{harvtxt|Duffy|O'Connell|Sapozhnikov|2008}}.</ref>


=== कम्प्यूटेशनल जटिलता ===
=== कम्प्यूटेशनल जटिलता ===
ग्राफ़ रंग करना कम्प्यूटेशनल रूप से कठिन है। यह तय करने के लिए np-पूर्ण है कि क्या दिया गया ग्राफ k ∈ {0,1,2} मामलों को छोड़कर किसी दिए गए k के लिए k- रंग स्वीकार करता है। विशेष रूप से, रंगीन संख्या की गणना करना np-कठिन है।<ref>{{harvtxt|Garey|Johnson|Stockmeyer|1974}};  {{harvtxt|Garey|Johnson|1979}}.</ref> 4-रेगुलर प्लानर ग्राफ़ पर भी 3-कलरिंग प्रॉब्लम NP-कंप्लीट रहती है।<ref>{{harvtxt|Dailey|1980}}</ref> अधिकतम डिग्री 3 या उससे कम वाले ग्राफ़ पर, हालांकि, ब्रूक्स प्रमेय का तात्पर्य है कि 3-रंग की समस्या को रैखिक समय में हल किया जा सकता है। इसके अलावा, प्रत्येक k > 3 के लिए, चार रंग प्रमेय द्वारा एक प्लानर ग्राफ का k-रंग मौजूद है, और बहुपद समय में इस तरह के रंग को खोजना संभव है।
ग्राफ़ रंग करना कम्प्यूटेशनल रूप से कठिन है। यह तय करने के लिए एनपी-सम्पूर्ण है कि क्या दिया गया ग्राफ k ∈ {0,1,2} मामलों को छोड़कर किसी दिए गए k के लिए k- रंग स्वीकार करता है। विशेष रूप से, रंगीन संख्या की गणना करना एनपी-हार्ड है।<ref>{{harvtxt|Garey|Johnson|Stockmeyer|1974}};  {{harvtxt|Garey|Johnson|1979}}.</ref> 4-रेगुलर प्लानर ग्राफ़ पर भी 3-कलरिंग प्रॉब्लम NP-कंप्लीट रहती है।<ref>{{harvtxt|Dailey|1980}}</ref> अधिकतम डिग्री 3 या उससे कम वाले ग्राफ़ पर, हालांकि, ब्रूक्स प्रमेय का तात्पर्य है कि 3-रंग की समस्या को रैखिक समय में हल किया जा सकता है। इसके अलावा, प्रत्येक k > 3 के लिए, चार रंग प्रमेय द्वारा एक प्लानर ग्राफ का k-रंग उपस्थित है, और बहुपद समय में इस तरह के रंग को खोजना संभव है।


सबसे प्रसिद्ध सन्निकटन एल्गोरिथम एक कारक O(n(log log n) के भीतर आकार के रंग की गणना करता है<sup>2</sup>(लॉग n)<sup>−3</sup>) रंगीन संख्या का।<ref>{{harvtxt|Halldórsson|1993}}</ref> सभी ε > 0 के लिए, n के भीतर रंगीन संख्या का अनुमान लगाना<sup>1−ε</sup> [[एनपी कठिन|np कठिन]] है।<ref>{{harvtxt|Zuckerman|2007}}</ref>
सबसे प्रसिद्ध सन्निकटन एल्गोरिथम एक कारक O(''n''(log log ''n'')<sup>2</sup>(log n)<sup>−3</sup>) के भीतर आकार के रंग की गणना करता है।<ref>{{harvtxt|Halldórsson|1993}}</ref> सभी ε > 0 के लिए, ''n''<sup>1−''ε''</sup> के भीतर रंगीन संख्या का अनुमान लगाना [[एनपी कठिन|एनपी-हार्ड]] है।<ref>{{harvtxt|Zuckerman|2007}}</ref>


3-रंगीय ग्राफ को 4 रंगों से रंगना भी np-कठिन है<ref>{{harvtxt|Guruswami|Khanna|2000}}</ref> और k के साथ k-रंगीन ग्राफ<sup>(लॉग k ) / 25</sup> पर्याप्त रूप से बड़े स्थिरांक k के लिए रंग।<ref>{{harvtxt|Khot|2001}}</ref>
3-रंगीय ग्राफ को 4 रंगों से रंगना भी एनपी-हार्ड है<ref>{{harvtxt|Guruswami|Khanna|2000}}</ref> और k के साथ ''k''<sup>(log ''k'' ) / 25</sup> पर्याप्त रूप से बड़े स्थिरांक k के लिए रंग है।<ref>{{harvtxt|Khot|2001}}</ref>


रंगीन बहुपद के गुणांकों की गणना Sharp-P-complete|#P-hard है। वास्तव में, के मूल्य की गणना भी <math>\chi(G,k)</math> k = 1 और k = 2 को छोड़कर किसी भी [[तर्कसंगत बिंदु]] k पर #P-हार्ड है।<ref>{{harvtxt|Jaeger|Vertigan|Welsh|1990}}</ref> np [[एनपी (जटिलता)|(जटिलता)]] = [[आरपी (जटिलता)]] को छोड़कर किसी भी तर्कसंगत बिंदु k ≥ 1.5 पर रंगीन बहुपद का मूल्यांकन करने के लिए कोई [[एफपीआरएएस]] नहीं है।<ref>{{harvtxt|Goldberg|Jerrum|2008}}</ref> एज कलरिंग के लिए, वाइज़िंग के परिणाम का प्रमाण एक एल्गोरिथम देता है जो अधिकतम Δ+1 रंगों का उपयोग करता है। हालांकि, किनारे के रंगीन संख्या के लिए दो उम्मीदवार मूल्यों के बीच निर्णय लेना np-पूर्ण है।<ref>{{harvtxt|Holyer|1981}}</ref> सन्निकटन एल्गोरिदम के संदर्भ में, Wiesing के एल्गोरिथ्म से पता चलता है कि किनारे की रंगीन संख्या को 4/3 के भीतर अनुमानित किया जा सकता है, और कठोरता के परिणाम से पता चलता है कि नहीं (4/3 - ε) - एल्गोरिथम का उपयोग किसी भी ε> के लिए मौजूद है 0 जब तक p = np। सन्निकटन एल्गोरिदम के साहित्य में ये सबसे पुराने परिणामों में से हैं, भले ही कोई भी पेपर उस धारणा का स्पष्ट उपयोग नहीं करता है।<ref>{{harvtxt|Crescenzi|Kann|1998}}</ref>
रंगीन बहुपद के गुणांकों की गणना Sharp-P-complete|#P-hard है। वास्तव में, के मूल्य की गणना भी <math>\chi(G,k)</math> k = 1 और k = 2 को छोड़कर किसी भी [[तर्कसंगत बिंदु]] k पर #P-हार्ड है।<ref>{{harvtxt|Jaeger|Vertigan|Welsh|1990}}</ref> np [[एनपी (जटिलता)|(जटिलता)]] = [[आरपी (जटिलता)]] को छोड़कर किसी भी तर्कसंगत बिंदु k ≥ 1.5 पर रंगीन बहुपद का मूल्यांकन करने के लिए कोई [[एफपीआरएएस]] नहीं है।<ref>{{harvtxt|Goldberg|Jerrum|2008}}</ref> एज कलरिंग के लिए, वाइज़िंग के परिणाम का प्रमाण एक एल्गोरिथम देता है जो अधिकतम Δ+1 रंगों का उपयोग करता है। हालांकि, किनारे के रंगीन संख्या के लिए दो उम्मीदवार मूल्यों के बीच निर्णय लेना एनपी-सम्पूर्ण है।<ref>{{harvtxt|Holyer|1981}}</ref> सन्निकटन एल्गोरिदम के संदर्भ में, Wiesing के एल्गोरिथ्म से पता चलता है कि किनारे की रंगीन संख्या को 4/3 के भीतर अनुमानित किया जा सकता है, और कठोरता के परिणाम से पता चलता है कि नहीं (4/3 - ε) - एल्गोरिथम का उपयोग किसी भी ε> के लिए उपस्थित है 0 जब तक p = np। सन्निकटन एल्गोरिदम के साहित्य में ये सबसे पुराने परिणामों में से हैं, भले ही कोई भी पेपर उस धारणा का स्पष्ट उपयोग नहीं करता है।<ref>{{harvtxt|Crescenzi|Kann|1998}}</ref>
== अनुप्रयोग ==
== अनुप्रयोग ==


=== निर्धारण ===
=== निर्धारण ===


कई [[निर्धारण (कंप्यूटिंग)]] के वर्टेक्स कलरिंग मॉडल।<ref>{{harvtxt|Marx|2004}}</ref> साफ-सुथरे रूप में, जॉब के दिए गए सेट को टाइम स्लॉट में असाइन करने की आवश्यकता होती है, प्रत्येक जॉब के लिए ऐसे एक स्लॉट की आवश्यकता होती है। कार्यों को किसी भी क्रम में निर्धारित किया जा सकता है, लेकिन नौकरियों के जोड़े इस अर्थ में संघर्ष में हो सकते हैं कि उन्हें एक ही समय स्लॉट में नहीं सौंपा जा सकता है, उदाहरण के लिए क्योंकि वे दोनों एक साझा संसाधन पर निर्भर हैं। संबंधित ग्राफ़ में प्रत्येक कार्य के लिए एक शीर्ष और प्रत्येक परस्पर विरोधी जोड़ी नौकरियों के लिए एक किनारा होता है। ग्राफ की रंगीन संख्या बिल्कुल न्यूनतम मेकपैन है, बिना संघर्ष के सभी कार्यों को पूरा करने का इष्टतम समय।
कई [[निर्धारण (कंप्यूटिंग)]] के वर्टेक्स कलरिंग मॉडल<ref>{{harvtxt|Marx|2004}}</ref> साफ-सुथरे रूप में, जॉब के दिए गए सेट को टाइम स्लॉट में असाइन करने की आवश्यकता होती है, प्रत्येक जॉब के लिए ऐसे एक स्लॉट की आवश्यकता होती है। कार्यों को किसी भी क्रम में निर्धारित किया जा सकता है, लेकिन नौकरियों के जोड़े इस अर्थ में संघर्ष में हो सकते हैं कि उन्हें एक ही समय स्लॉट में नहीं सौंपा जा सकता है, उदाहरण के लिए क्योंकि वे दोनों एक साझा संसाधन पर निर्भर हैं। संबंधित ग्राफ़ में प्रत्येक कार्य के लिए एक शीर्ष और प्रत्येक परस्पर विरोधी जोड़ी नौकरियों के लिए एक किनारा होता है। ग्राफ की रंगीन संख्या बिल्कुल न्यूनतम मेकपैन है, बिना संघर्ष के सभी कार्यों को पूरा करने का इष्टतम समय।


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


=== रजिस्टर आवंटन ===
=== रजिस्टर आवंटन ===
Line 304: Line 303:
=== अन्य अनुप्रयोग ===
=== अन्य अनुप्रयोग ===


ग्राफ को रंगने की समस्या कई व्यावहारिक क्षेत्रों में उत्पन्न होती है जैसे [[पैटर्न मिलान]], स्पोर्ट्स शेड्यूलिंग, सीटिंग प्लान डिजाइन करना, परीक्षा टाइमटेबलिंग, टैक्सियों का शेड्यूलिंग और सुडोकू पहेलियों को हल करना है।<ref name="Lewis2021">{{Cite book|url=https://link.springer.com/book/10.1007/978-3-030-81054-2|doi = 10.1007/978-3-030-81054-2|title = Guide to Graph Colouring|series = Texts in Computer Science|year = 2021|isbn = 978-3-030-81053-5|last1 = Lewis|first1 = R. M. R.|s2cid = 57188465}}</ref>
ग्राफ कलरिंग की समस्या कई व्यावहारिक क्षेत्रों में उत्पन्न होती है जैसे [[पैटर्न मिलान]], खेल शेड्यूलिंग, बैठने की योजना तैयार करना, परीक्षा समय सारिणी, टैक्सी शेड्यूल करना और सुडोकू पहेली को हल करना है।<ref name="Lewis2021">{{Cite book|url=https://link.springer.com/book/10.1007/978-3-030-81054-2|doi = 10.1007/978-3-030-81054-2|title = Guide to Graph Colouring|series = Texts in Computer Science|year = 2021|isbn = 978-3-030-81053-5|last1 = Lewis|first1 = R. M. R.|s2cid = 57188465}}</ref>
== अन्य रंग ==
== अन्य रंग ==


Line 310: Line 309:


{{Main|रैमसे सिद्धांत}}
{{Main|रैमसे सिद्धांत}}
[[रैमसे सिद्धांत]] में अनुचित रंग समस्याओं का एक महत्वपूर्ण वर्ग का अध्ययन किया जाता है, जहां ग्राफ के किनारों को रंगों को सौंपा गया है, और घटना किनारों के रंगों पर कोई प्रतिबंध नहीं है। एक साधारण उदाहरण [[दोस्तों और अजनबियों पर प्रमेय]] है, जो बताता है कि किनारों के किसी भी रंग में <math>K_6</math>, छह शीर्षों का पूरा ग्राफ, एक मोनोक्रोमैटिक त्रिभुज होगा; प्रायः यह कहकर सचित्र किया जाता है कि छह लोगों के किसी भी समूह में या तो तीन पारस्परिक अजनबी हैं या तीन पारस्परिक परिचित हैं। रैमसे सिद्धांत इस विचार के सामान्यीकरण से संबंधित है, ताकि अव्यवस्था के बीच नियमितता की तलाश की जा सके, दी गई संरचना के साथ मोनोक्रोमैटिक सबग्राफ के अस्तित्व के लिए सामान्य स्थितियों का पता लगाया जा सके।
[[रैमसे सिद्धांत]] में अनुचित रंग समस्याओं का एक महत्वपूर्ण वर्ग का अध्ययन किया जाता है, जहां ग्राफ के किनारों को रंगों को सौंपा गया है, और घटना किनारों के रंगों पर कोई प्रतिबंध नहीं है। एक साधारण उदाहरण [[दोस्तों और अजनबियों पर प्रमेय]] है, जो बताता है कि किनारों के किसी भी रंग में <math>K_6</math>, छह शीर्षों का पूरा ग्राफ, एकवर्णी त्रिभुज होगा; प्रायः यह कहकर सचित्र किया जाता है कि छह लोगों के किसी भी समूह में या तो तीन पारस्परिक अजनबी हैं या तीन पारस्परिक परिचित हैं। रैमसे सिद्धांत इस विचार के सामान्यीकरण से संबंधित है, ताकि अव्यवस्था के बीच नियमितता की तलाश की जा सके, दी गई संरचना के साथ मोनोक्रोमैटिक सबग्राफ के अस्तित्व के लिए सामान्य स्थितियों का पता लगाया जा सके।


=== अन्य रंग ===
=== अन्य रंग ===
Line 896: Line 895:
{{Authority control}}
{{Authority control}}


{{DEFAULTSORT:Graph Coloring}}[[Category: ग्राफ कलरिंग| ग्राफ कलरिंग]] [[Category: ग्राफ सिद्धांत | रंग]] [[Category: एनपी-पूर्ण समस्याएं]] [[Category: एनपी-कठिन समस्याएं]] [[Category: ग्राफ सिद्धांत में कम्प्यूटेशनल समस्याएं]] [[Category: रेखांकन का विस्तार और सामान्यीकरण]]
{{DEFAULTSORT:Graph Coloring}}
 
 


[[Category: Machine Translated Page]]
[[Category:All articles with incomplete citations|Graph Coloring]]
[[Category:Created On 18/02/2023]]
[[Category:Articles with hatnote templates targeting a nonexistent page|Graph Coloring]]
[[Category:Articles with incomplete citations from August 2022|Graph Coloring]]
[[Category:Articles with invalid date parameter in template|Graph Coloring]]
[[Category:CS1|Graph Coloring]]
[[Category:CS1 русский-language sources (ru)|Graph Coloring]]
[[Category:Commons category link from Wikidata|Graph Coloring]]
[[Category:Commons category link is the pagename|Graph Coloring]]
[[Category:Created On 18/02/2023|Graph Coloring]]
[[Category:Lua-based templates|Graph Coloring]]
[[Category:Machine Translated Page|Graph Coloring]]
[[Category:Pages with script errors|Graph Coloring]]
[[Category:Short description with empty Wikidata description|Graph Coloring]]
[[Category:Templates Vigyan Ready|Graph Coloring]]
[[Category:Templates that add a tracking category|Graph Coloring]]
[[Category:Templates that generate short descriptions|Graph Coloring]]
[[Category:Templates using TemplateData|Graph Coloring]]
[[Category:Webarchive template wayback links|Graph Coloring]]
[[Category:एनपी-कठिन समस्याएं|Graph Coloring]]
[[Category:एनपी-पूर्ण समस्याएं|Graph Coloring]]
[[Category:ग्राफ कलरिंग| ग्राफ कलरिंग]]
[[Category:ग्राफ सिद्धांत| रंग]]
[[Category:ग्राफ सिद्धांत में कम्प्यूटेशनल समस्याएं|Graph Coloring]]
[[Category:रेखांकन का विस्तार और सामान्यीकरण|Graph Coloring]]

Latest revision as of 17:29, 4 September 2023

File:Petersen graph 3-coloring.svg
3 रंगों के साथ पीटरसन ग्राफ का उचित शीर्ष रंग, न्यूनतम संभव संख्या।

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

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

रंगों का उपयोग करने की परिपाटी एक मानचित्र के देशों को रंगने से उत्पन्न होती है, जहाँ प्रत्येक चेहरा सचमुच रंगीन होता है। यह सतह में अंतर्निहितग्राफ के चेहरों को रंगने के लिए सामान्यीकृत किया गया था। प्लेनर द्वैत द्वारा यह कोने को रंगने लगा, और इस रूप में यह सभी रेखांकन के लिए सामान्य हो गया। गणितीय और कंप्यूटर अभ्यावेदन में, पहले कुछ धनात्मक या गैर-ऋणात्मक पूर्णांकों को "रंग" के रूप में उपयोग करना विशिष्ट है। सामान्य तौर पर, कोई भी परिमित सेट को "रंग सेट" के रूप में उपयोग कर सकता है। रंजक समस्या की प्रकृति रंगों की संख्या पर निर्भर करती है न कि वे क्या हैं।

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

नोट: इस लेख में प्रयुक्त कई शब्दों को राफ सिद्धांत की शब्दावली में परिभाषित किया गया है।

इतिहास

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

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

1912 में, जॉर्ज डेविड बिरखॉफ ने रंगीन समस्याओं का अध्ययन करने के लिए रंगीन बहुपदों की प्रारम्भ की, जिन्हें टुट्टे से टुट्टे बहुपदों तक सामान्यीकृत किया गया था, बीजगणितीय ग्राफ सिद्धांत में महत्वपूर्ण संरचनाएं। केम्पे ने पहले ही 1879 में सामान्य, गैर-प्लानर स्थिति पर ध्यान आकर्षित किया था, [3] और 20 वीं शताब्दी की प्रारम्भ में उच्च क्रम सतहों के लिए प्लानर ग्राफ रंग के सामान्यीकरण पर कई परिणाम दिखाई दिए।

1960 में, क्लॉड बर्ज ने ग्राफ कलरिंग के बारे में एक और अनुमान तैयार किया, मजबूत सही ग्राफ अनुमान, जो मूल रूप से एक सूचना-सैद्धांतिक अवधारणा से प्रेरित था जिसे शैनन द्वारा प्रस्तुत ग्राफ की शून्य-त्रुटि क्षमता कहा जाता है। यह अनुमान 40 वर्षों तक अनसुलझा रहा, जब तक कि इसे 2002 में चुडनोव्स्की, नील रॉबर्टसन, सीमोर और थॉमस द्वारा एक प्रसिद्ध मजबूत पूर्ण ग्राफ प्रमेय के रूप में स्थापित नहीं किया गया था।

1970 के दशक की प्रारम्भ से ग्राफ कलरिंग का एक एल्गोरिथम समस्या के रूप में अध्ययन किया गया है: क्रोमैटिक नंबर प्रॉब्लम (नीचे देखें) 1972 से कार्प की 21 एनपी-सम्पूर्ण समस्याओं में से एक है, और लगभग उसी समय बैकट्रैकिंग घातीय-समय एल्गोरिथम पर आधारित विभिन्न तरीके थे और ज़ीकोव (1949) के विलोपन-संकुचन पुनरावृत्ति पर। ग्राफ कलरिंग के प्रमुख अनुप्रयोगों में से एक, कंपाइलर्स में रजिस्टर आवंटन, 1981 में पेश किया गया था।

परिभाषा और शब्दावली

File:Graph with all three-colourings 2.svg
यह ग्राफ 12 अलग-अलग तरीकों से 3 रंगों का हो सकता है।

वर्टेक्स रंग

जब बिना किसी योग्यता के उपयोग किया जाता है, तो ग्राफ़ का रंग लगभग हमेशा एक उचित शीर्ष रंग होता है, अर्थात् ग्राफ़ के शीर्षों को रंगों के साथ लेबल करना, जैसे कि एक ही किनारे (ग्राफ़ सिद्धांत) को साझा करने वाले दो शीर्षों का रंग समान नहीं होता है। चूंकि एक पाश (ग्राफ सिद्धांत) (अर्थात् सीधे अपने आप में एक कनेक्शन) के साथ एक शीर्ष कभी भी ठीक से रंगीन नहीं हो सकता है, यह समझा जाता है कि इस संदर्भ में ग्राफ लूपलेस हैं।

वर्टेक्स लेबल्स के लिए रंगों का उपयोग करने की शब्दावली मैप कलरिंग पर वापस जाती है। लाल और नीला जैसे लेबल केवल तभी उपयोग किए जाते हैं जब रंगों की संख्या कम होती है, और सामान्यतः यह समझा जाता है कि लेबल पूर्णांक से खींचे गए हैं {1, 2, 3, …}. अधिक से अधिक उपयोग करने वाला रंग k रंग कहा जाता है (उचित) k-रंग। किसी ग्राफ़ को रंगने के लिए आवश्यक रंगों की न्यूनतम संख्या G इसकी रंगीन संख्या कहा जाता है, और इसे प्रायः निरूपित किया जाता है χ(G). कभी-कभी γ(G) उपयोग किया जाता है, क्योंकि χ(G) ग्राफ की यूलर विशेषता को निरूपित करने के लिए भी प्रयोग किया जाता है। एक ग्राफ जिसे असाइन किया जा सकता है (उचित) k-रंग है k-रंगीन, और यह हैk-क्रोमैटिक अगर इसकी क्रोमैटिक संख्या बिल्कुल है k. एक ही रंग को सौंपे गए शीर्षों के एक उपसमुच्चय को रंग वर्ग कहा जाता है, ऐसा प्रत्येक वर्ग एक स्वतंत्र सेट (ग्राफ़ सिद्धांत) बनाता है। इस प्रकार, एक k-coloring एक शीर्ष सेट को k-स्वतंत्र सेटों में विभाजित करने के बराबर है, और k-match और k-colourable शब्दों का अर्थ समान है।

रंगीन बहुपद

File:Chromatic polynomial of all 3-vertex graphs.png
3 शीर्षों पर सभी गैर-समरूपी रेखांकन और उनके रंगीन बहुपद। खाली ग्राफ E3 (लाल) 1-रंग स्वीकार करता है; पूरा ग्राफ K3 (नीला) 3-रंगों को स्वीकार करता है; अन्य रेखांकन एक 2-रंग स्वीकार करते हैं।

रंगीन बहुपद उन तरीकों की गणना करता है जिनमें कुछ दिए गए रंगों का उपयोग करके ग्राफ को रंगीन किया जा सकता है। उदाहरण के लिए, तीन रंगों का उपयोग करके, आसन्न छवि में ग्राफ़ को 12 तरीकों से रंगा जा सकता है। इसे केवल दो रंगों से नहीं रंगा जा सकता। चार रंगों से, इसे 24 + 4⋅12 = 72 तरीकों से रंगा जा सकता है: चारों रंगों का उपयोग करके, 4! = 24 वैध रंग (प्रत्येक चार रंगों का कोई भी 4-वर्टेक्स ग्राफ एक वैध रंग है); और चार में से तीन रंगों की हर पसंद के लिए, 12 मान्य 3-रंग हैं। इसलिए, उदाहरण में ग्राफ़ के लिए, मान्य रंगों की संख्या की तालिका इस तरह प्रारम्भ होगी:

उपलब्ध रंग 1 2 3 4
रंगों की संख्या 0 0 12 72

रंगीन बहुपद एक कार्य है P(G,t) जो की संख्या की गणना करता है t- का रंग G. जैसा कि नाम इंगित करता है, दिए गए के लिए G फंक्शन वास्तव में एक बहुपद है t. उदाहरण ग्राफ के लिए, P(G,t) = t(t – 1)2(t – 2), वास्तव में P(G,4) = 72.

रंगीन बहुपद में की रंगीनता के बारे में अधिक जानकारी सम्मिलित है G रंगीन संख्या की तुलना में। वास्तव में, χ सबसे छोटा धनात्मक पूर्णांक है जो χ(G) = min{k : P(G,k) > 0}.रंगीन बहुपद का शून्य नहीं है

कुछ रेखांकन के लिए रंगीन बहुपद
त्रिकोण K3 t(t – 1)(t – 2)
पूरा ग्राफ Kn t(t – 1)(t – 2) … (t – (n – 1))
n शीर्षों वाला ट्री t(t – 1)n – 1
चक्र Cn (t – 1)n + (-1)n(t – 1)
पीटरसन ग्राफ t(t – 1)(t – 2)(t7 – 12t6 + 67t5 – 230t4 + 529t3 – 814t2 + 775t – 352)

किनारे का रंग

एक ग्राफ़ का एक किनारा रंग किनारों का एक उचित रंग है, जिसका अर्थ है कि किनारों को रंगों का एक असाइनमेंट ताकि एक ही रंग के दो किनारों पर कोई शीर्ष घटना न हो। एक किनारे का रंग k रंगों को कहा जाता है k-एज-कलरिंग और एज सेट को विभाजित करने की समस्या के बराबर है k मिलान (ग्राफ सिद्धांत)। किसी ग्राफ़ के किनारों को रंगने के लिए आवश्यक रंगों की सबसे छोटी संख्या G क्रोमैटिक सूचकांक या एज क्रोमैटिक नंबर है, χ′(G). टैट कलरिंग क्यूबिक ग्राफ का 3-किनारे वाला कलरिंग है। चार रंग प्रमेय इस दावे के बराबर है कि प्रत्येक प्लानर क्यूबिक पुल (ग्राफ सिद्धांत) ग्राफ एक टैट रंग को स्वीकार करता है।

कुल रंग

टोटल कलरिंग ग्राफ के कोने और किनारों पर कलरिंग का एक प्रकार है। जब किसी योग्यता के बिना उपयोग किया जाता है, तो कुल रंग हमेशा इस अर्थ में उचित माना जाता है कि कोई आसन्न कोने, कोई आसन्न किनारे नहीं, और कोई किनारा नहीं है और इसके अंत-कोने को एक ही रंग दिया जाता है। कुल रंगीन संख्या χ″(G) एक ग्राफ का G के कुल रंग में सबसे कम आवश्यक रंग G है।

बिना लेबल वाला रंग

किसी ग्राफ़ का लेबल रहित रंग ग्राफ़ के ग्राफ ऑटोमोर्फिज्म की क्रिया के अंतर्गत किसी रंग की समूह क्रिया (गणित) है। ध्यान दें कि रंग लेबल रहते हैं; यह वह ग्राफ है जिसे लेबल नहीं किया गया है। रंगीन बहुपद का एक एनालॉग है जो किसी दिए गए परिमित रंग सेट से ग्राफ के बिना लेबल वाले रंगों की संख्या की गणना करता है। अगर हम एक ग्राफ के रंग की व्याख्या करते हैं d में एक वेक्टर के रूप में शिखर , ऑटोमोर्फिज्म की क्रिया रंगीन वेक्टर में गुणांकों का क्रम परिवर्तन है।

गुण

वर्णक्रमीय संख्या पर ऊपरी सीमा

अलग-अलग रंगों को अलग-अलग रंगों में निर्दिष्ट करने से हमेशा एक उचित रंग मिलता है, इसलिए

एकमात्र ग्राफ़ जो 1-रंग का हो सकता है, वे किनारा रहित ग्राफ हैं। एक पूरा ग्राफ n शीर्षों की आवश्यकता है रंग की। एक इष्टतम रंग में रंग वर्गों की प्रत्येक जोड़ी के बीच ग्राफ के m किनारों में से कम से कम एक होना चाहिए, इसलिए

यदि G में आकार k का एक समूह (ग्राफ़ सिद्धांत) है, तो उस समूह को रंगने के लिए कम से कम k रंगों की आवश्यकता होती है; दूसरे शब्दों में, रंगीन संख्या कम से कम क्लिक संख्या है:

सही रेखांकन के लिए यह सीमा तंग है। क्लिक्स ढूँढना क्लिक्स समस्या के रूप में जाना जाता है।

अधिक सामान्यतः एक परिवार रेखांकन का Χ-बाध्य है-बाउंडेड अगर कोई फंक्शन है जैसे कि रेखांकन में ज्यादा से ज्यादा रंगा जा सकता है रंग, सही रेखांकन के परिवार के लिए यह कार्य है .

2-रंगीन ग्राफ़ वास्तव में द्विदलीय ग्राफ़ हैं, जिनमें वृक्ष (ग्राफ़ सिद्धांत) और वन सम्मिलित हैं।

चार रंग प्रमेय के अनुसार, प्रत्येक प्लानर ग्राफ 4-रंगों का हो सकता है।

एक लोभी रंग दिखाता है कि प्रत्येक ग्राफ को अधिकतम शीर्ष डिग्री (ग्राफ सिद्धांत) की तुलना में एक और रंग से रंगा जा सकता है।

पूरा रेखांकन है और , और विषम चक्र हैं और , इसलिए इन ग्राफ़ के लिए यह बाउंड सर्वोत्तम संभव है। अन्य सभी मामलों में, सीमा में थोड़ा सुधार किया जा सकता है; ब्रूक्स प्रमेय[4] बताता है

ब्रूक्स प्रमेय: एक जुड़े हुए, सरल ग्राफ़ G के लिए, जब तक कि G एक पूर्ण ग्राफ़ या विषम चक्र न हो।


वर्णक्रमीय संख्या पर निचली सीमा

पिछले कुछ वर्षों में रंगीन सीमाओं के लिए कई निचली सीमाएं खोजी गई हैं:

हॉफमैन की बाउंड: चलो एक वास्तविक सममित मैट्रिक्स हो जैसे कि जब कभी भी में बढ़त नहीं है . परिभाषित करना , कहाँ के सबसे बड़े और सबसे छोटे eigenvalues ​​हैं . परिभाषित करना , साथ ऊपरोक्त अनुसार। तब:

वेक्टर रंगीन संख्या: होने देना एक धनात्मक अर्ध-निश्चित मैट्रिक्स हो जैसे कि जब कभी भी में बढ़त है परिभाषित करना कम से कम k जिसके लिए ऐसा मैट्रिक्स उपस्थित हो तब:

लोवाज़ संख्या: एक पूरक ग्राफ की लोवाज़ संख्या भी रंगीन संख्या पर एक निचली सीमा है:

भिन्नात्मक वर्णिक संख्या: किसी ग्राफ की भिन्नात्मक वर्णिक संख्या वर्णिक संख्या पर भी निचली सीमा होती है:

इन सीमाओं का क्रम इस प्रकार है:

उच्च रंगीन संख्या वाले रेखांकन

बड़े क्लिक (ग्राफ़ सिद्धांत) वाले ग्राफ़ में उच्च रंगीन संख्या होती है, लेकिन विपरीत सत्य नहीं है। ग्रॉट्ज़स्च ग्राफ़ एक त्रिकोण के बिना 4-रंगीन ग्राफ़ का एक उदाहरण है, और उदाहरण को Mycielskian के लिए सामान्यीकृत किया जा सकता है।

प्रमेय (William T. Tutte 1947,[5] Alexander Zykov 1949, Jan Mycielski 1955): मनमाने ढंग से उच्च रंग संख्या के साथ त्रिभुज-मुक्त ग्राफ़ उपस्थित हैं।

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

ब्रूक्स के प्रमेय से, उच्च रंगीन संख्या वाले ग्राफ़ में उच्च अधिकतम डिग्री होनी चाहिए। लेकिन रंगीनता पूरी तरह से स्थानीय घटना नहीं है: उच्च गर्थ (ग्राफ सिद्धांत) वाला एक ग्राफ स्थानीय रूप से पेड़ की तरह दिखता है, क्योंकि सभी चक्र लंबे होते हैं, लेकिन इसकी रंगीन संख्या 2 नहीं होनी चाहिए:

प्रमेय (पॉल एर्डोस | एर्डोस): मनमाने ढंग से उच्च परिधि और रंगीन संख्या के ग्राफ उपस्थित हैं।[9]

रंगीन सूचकांक पर सीमा

जी का किनारा रंग इसके लाइन ग्राफ का शीर्ष रंग है , और इसके विपरीत, इस प्रकार

किनारे की रंगीनता और ग्राफ की अधिकतम डिग्री के बीच एक मजबूत संबंध है . चूंकि सभी किनारों को एक ही शीर्ष पर घटना के लिए अपने स्वयं के रंग की आवश्यकता होती है, हमारे पास है

इसके अतिरिक्त,

कोनिग प्रमेय (ग्राफ सिद्धांत)|कोनिग प्रमेय: यदि G द्विदलीय है।

सामान्य तौर पर, संबंध ब्रूक्स के प्रमेय से भी अधिक मजबूत होता है जो वर्टेक्स कलरिंग के लिए देता है:

'वाइज़िंग का प्रमेय|वाइज़िंग का प्रमेय:' अधिकतम डिग्री का एक ग्राफ बढ़त-रंगीन संख्या है या .

अन्य गुण

एक ग्राफ में के-रंग होता है अगर और केवल अगर इसमें एक चक्रीय अभिविन्यास होता है जिसके लिए सबसे लंबे पथ की लंबाई अधिकतर के होती है; यह गैलाई-हस्से-रॉय-विटावर प्रमेय है (Nešetřil & Ossona de Mendez 2012).

प्लानर ग्राफ़ के लिए, वर्टेक्स कलरिंग अनिवार्य रूप से दोहरे से कहीं नहीं-शून्य प्रवाह हैं।

अनंत रेखांकन के बारे में बहुत कम जानकारी है।

अनंत ग्राफ कलरिंग के बारे में कुछ परिणामों में से दो निम्नलिखित हैं:

  • यदि एक अनंत ग्राफ जी के सभी परिमित सबग्राफ के-रंगीन हैं, तो पसंद के स्वयंसिद्ध की धारणा के तहत जी भी है। यह डी ब्रुजन-एर्दोस प्रमेय (ग्राफ सिद्धांत) है | de Bruijn & Erdős (1951).
  • यदि कोई ग्राफ़ प्रत्येक nn0 के लिए पूर्ण n-रंग स्वीकार करता है, यह एक अनंत पूर्ण रंग को स्वीकार करता है (Fawcett 1978).

प्रारंभिक समस्याएं

जैसा कि ऊपर कहा, 1998 से रीड का एक अनुमान यह है कि मूल्य अनिवार्य रूप से निचली सीमा के करीब है,


हैडविगर-नेल्सन समस्या, जहां इकाई दूरी होने पर दो बिंदु आसन्न होते हैं, अज्ञात है, हालांकि यह 5, 6, या 7 में से एक है। गणित की अन्य अनसुलझी समस्याओं में रेखांकन की रंगीन संख्या से संबंधित हैडविगर अनुमान (ग्राफ सिद्धांत) सम्मिलित हैं। ) यह बताते हुए कि रंगीन संख्या के साथ प्रत्येक ग्राफ में ग्राफ माइनर के रूप में के कोने पर एक पूर्ण ग्राफ होता है, एर्डोस-फैबर-लोवाज़ अनुमान पूरे ग्राफ के यूनियनों की रंगीन संख्या को सीमित करता है जिसमें प्रत्येक जोड़ी के लिए सामान्यतः अधिकतम एक शीर्ष होता है, और अल्बर्टसन का अनुमान है कि के-क्रोमैटिक ग्राफ़ के बीच पूर्ण ग्राफ़ सबसे छोटे क्रॉसिंग नंबर (ग्राफ़ सिद्धांत) वाले होते हैं।

जब बिरखॉफ और लुईस ने चार-रंग प्रमेय पर अपने हमले में रंगीन बहुपद पेश किया, तो उन्होंने अनुमान लगाया कि प्लानर ग्राफ जी के लिए, बहुपद क्षेत्र में कोई शून्य नहीं है . हालांकि यह ज्ञात है कि इस तरह के रंगीन बहुपद का क्षेत्र में कोई शून्य नहीं है ओर वो , उनका अनुमान अभी भी अनसुलझा है। यह भी एक अनसुलझी समस्या बनी हुई है कि ग्राफ़ को चित्रित करने के लिए जिसमें एक ही रंगीन बहुपद है और यह निर्धारित करने के लिए कि कौन से बहुपद रंगीन हैं।

एल्गोरिदम

ग्राफ रंगना
File:3-coloringEx.svg
Decision
NameGraph coloring, vertex coloring, k-coloring
InputGraph G with n vertices. Integer k
OutputDoes G admit a proper vertex coloring with k colors?
Running timeO(2nn)[10]
ComplexityNP-complete
Reduction from3-Satisfiability
Garey–JohnsonGT4
Optimisation
NameChromatic number
InputGraph G with n vertices.
Outputχ(G)
ComplexityNP-hard
ApproximabilityO(n (log n)−3(log log n)2)
InapproximabilityO(n1−ε) unless P = NP
Counting problem
NameChromatic polynomial
InputGraph G with n vertices. Integer k
OutputThe number P (G,k) of proper k-colorings of G
Running timeO(2nn)
Complexity#P-complete
ApproximabilityFPRAS for restricted cases
InapproximabilityNo PTAS unless P = NP

बहुपद समय

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

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

सटीक एल्गोरिदम

के-कलरिंग के लिए क्रूर-बल खोज इनमें से प्रत्येक पर विचार करता है n रंगों को k रंगों का असाइनमेंट और यदि यह कानूनी है तो प्रत्येक के लिए जाँच करता है। रंगीन संख्या और रंगीन बहुपद की गणना करने के लिए, इस प्रक्रिया का उपयोग प्रत्येक के लिए किया जाता है , सबसे छोटे इनपुट ग्राफ़ को छोड़कर सभी के लिए अव्यावहारिक।

गतिशील प्रोग्रामिंग और अधिकतम स्वतंत्र सेट की संख्या पर बाध्यता का उपयोग करके, समय और स्थान में k-रंगशीलता का निर्णय लिया जा सकता है .[11] समावेशन-बहिष्करण के सिद्धांत और फ्रैंक येट्स के एल्गोरिदम का उपयोग तेजी से जीटा परिवर्तन के लिए, समय में k-रंगशीलता का निर्णय लिया जा सकता है [10][12][13][14] किसी के लिए तेज़ एल्गोरिदम को 3- और 4-रंगशीलता के लिए जाना जाता है, जिसे समय पर तय किया जा सकता है [15] और ,[16] क्रमश। घातीय रूप से तेज़ एल्गोरिदम 5- और 6-रंगशीलता के साथ-साथ विरल ग्राफ़ सहित ग्राफ़ के प्रतिबंधित परिवारों के लिए भी जाने जाते हैं।[17]

संकुचन

संकुचन (ग्राफ सिद्धांत) एक ग्राफ जी का ग्राफ u और v की पहचान करके और उनके बीच के किनारों को हटाकर प्राप्त किया गया ग्राफ है। मूल रूप से u या v के लिए शेष शेष किनारे अब उनकी पहचान (यानी, नया फ्यूज्ड नोड uv) के लिए प्रासंगिक हैं। यह ऑपरेशन ग्राफ कलरिंग के विश्लेषण में एक प्रमुख भूमिका निभाता है।

वर्णिक संख्या पुनरावृत्ति संबंध को संतुष्ट करती है:

इस कारण Zykov (1949), जहाँ u और v असन्निकट शीर्ष हैं, और किनारे के साथ ग्राफ है uv जोड़ा गया। कई एल्गोरिदम इस पुनरावृत्ति के मूल्यांकन पर आधारित हैं और परिणामी संगणना वृक्ष को कभी-कभी ज़ीकोव वृक्ष कहा जाता है। चलने का समय यू और वी को चुनने के लिए एक अनुमानी पर आधारित है।

रंगीन बहुपद निम्नलिखित पुनरावृत्ति संबंध को संतुष्ट करता है

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

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

लोभी रंग

File:Greedy colourings.svg
अलग-अलग वर्टेक्स ऑर्डर का उपयोग करते हुए एक ही ग्राफ के दो लोभी रंग। सही उदाहरण एन कोने के साथ 2-रंगीन ग्राफों को सामान्यीकृत करता है, जहां लालची एल्गोरिदम खर्च करता है रंग की।

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

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

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

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

ह्यूरिस्टिक एल्गोरिदम

ग्राफ़ कलरिंग के लिए दो प्रसिद्ध बहुपद-समय अनुमानी डीसैटूर और रिकर्सिव सबसे बड़ा पहला एल्गोरिथम (RLF) एल्गोरिदम हैं।

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

पुनरावर्ती सबसे बड़ा पहला एल्गोरिदम एक समय में प्रत्येक रंग वर्ग का निर्माण करके एक अलग तरीके से संचालित होता है। यह विशिष्ट ह्यूरिस्टिक नियमों का उपयोग करके ग्राफ़ में अधिकतम स्वतंत्र वर्टिकल सेट की पहचान करके ऐसा करता है। यह फिर इन शीर्षों को एक ही रंग में निर्दिष्ट करता है और उन्हें ग्राफ़ से हटा देता है। इन क्रियाओं को शेष सबग्राफ पर तब तक दोहराया जाता है जब तक कि कोई शीर्ष न रह जाए।

डीसैटूर की सबसे खराब स्थिति जटिलता है , कहाँ ग्राफ में शीर्षों की संख्या है। एल्गोरिदम को संतृप्ति डिग्री स्टोर करने के लिए बाइनरी ढेर का उपयोग करके भी कार्यान्वित किया जा सकता है कहाँ ग्राफ में किनारों की संख्या है।[22] यह विरल रेखांकन के साथ बहुत तेजी से चलता है। RLF की समग्र जटिलता डीसैटूर की तुलना में थोड़ी अधिक है .[22]

डीसैटूर और RLF द्विदलीय ग्राफ़, चक्र ग्राफ और पहिया ग्राफ के लिए सटीक एल्गोरिथम हैं।[22]

समानांतर और वितरित एल्गोरिदम

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

एक सममित ग्राफ में, एक नियतात्मक एल्गोरिथ्म वितरित एल्गोरिथ्म एक उचित शीर्ष रंग नहीं खोज सकता है। सममिति को तोड़ने के लिए कुछ सहायक सूचनाओं की आवश्यकता होती है। एक मानक धारणा यह है कि प्रारंभ में प्रत्येक नोड में एक अद्वितीय पहचानकर्ता होता है, उदाहरण के लिए, सेट {1, 2, ..., n} से। अन्यथा रखो, हम मानते हैं कि हमें एक n-रंग दिया गया है। रंगों की संख्या को n से घटाकर, उदाहरण के लिए, Δ+ 1 करने की चुनौती है। अधिक रंगों का उपयोग किया जाता है, उदा. Δ+1 के बजाय O(Δ), संचार के कम दौर की आवश्यकता होती है।[23]

(Δ + 1)-कलरिंग के लिए लालची एल्गोरिथम का एक सीधा वितरित संस्करण सबसे खराब स्थिति में Θ(n) संचार दौर की आवश्यकता है - सूचना को नेटवर्क के एक तरफ से दूसरी तरफ प्रचारित करने की आवश्यकता हो सकती है।

सबसे सरल दिलचस्प स्थिति एक n-साइकिल ग्राफ है। रिचर्ड कोल और उजी विस्किन[24] दिखाएँ कि एक वितरित एल्गोरिथम है जो एक तुल्यकालिक संचार चरण में रंगों की संख्या को n से O(log n) तक कम कर देता है। उसी प्रक्रिया को दोहराकर, ओ में एक n-चक्र का 3-रंग प्राप्त करना संभव है (log*n) संचार चरण (यह मानते हुए कि हमारे पास अद्वितीय नोड पहचानकर्ता हैं)।

फ़ंक्शन log*, पुनरावृत्त लघुगणक, एक अत्यंत लगभग स्थिर धीरे-धीरे बढ़ने वाला कार्य है, इसलिए कोल और विस्किन के नतीजे ने सवाल उठाया कि क्या n-चक्र को 3-रंग देने के लिए निरंतर समय वितरित एल्गोरिदम है या नहीं। Linial (1992) दिखाया कि यह संभव नहीं है: किसी भी नियतात्मक वितरित एल्गोरिथ्म के लिए Ω(log* n) एक n-चक्र में एक n-रंग को 3-रंग में कम करने के लिए संचार कदम है।

कोल और विस्किन की तकनीक को मनमाना बाउंड-डिग्री ग्राफ़ में भी लागू किया जा सकता है; रनिंग टाइम पॉली (Δ) + हे (log*n)।[25] श्नाइडर एट अल द्वारा तकनीक को यूनिट डिस्क ग्राफ तक बढ़ाया गया था।[26] छोटे Δ के लिए (Δ + 1)-कलरिंग के लिए सबसे तेज़ नियतात्मक एल्गोरिदम लियोनिद बारेनबोइम, माइकल एलकिन और फैबियन कुह्न के कारण हैं।[27] बारेनबोइम एट अल द्वारा एल्गोरिथम। समय O(Δ) + में चलता है log*(n)/2, जो कि n के संदर्भ में इष्टतम है क्योंकि लिनियल की निचली सीमा के कारण स्थिर कारक 1/2 में सुधार नहीं किया जा सकता है। Panconesi & Srinivasan (1996) समय में Δ+1 कलरिंग की गणना करने के लिए नेटवर्क डिकंपोज़िशन का उपयोग करें।

वितरित मॉडल में किनारों के रंग की समस्या का भी अध्ययन किया गया है। पैनकोनेसी और रिज़ी (2001) इस मॉडल में O(Δ + log* n) समय में (2Δ - 1)-कलरिंग प्राप्त करते हैं। लिनियल (1992) के कारण वितरित वर्टेक्स कलरिंग के लिए निचली सीमा वितरित एज कलरिंग समस्या पर भी लागू होती है।

विकेंद्रीकृत एल्गोरिदम

विकेंद्रीकृत एल्गोरिदम वे हैं जहां कोई संदेश देना की अनुमति नहीं है (वितरित एल्गोरिदम के विपरीत जहां स्थानीय संदेश पास होता है), और कुशल विकेन्द्रीकृत एल्गोरिदम उपस्थित हैं जो उचित रंग उपस्थित होने पर ग्राफ को रंग देंगे। ये मानते हैं कि एक शीर्ष यह समझने में सक्षम है कि क्या उसका कोई पड़ोसी शीर्ष के समान रंग का उपयोग कर रहा है, चाहे कोई स्थानीय संघर्ष उपस्थित हो। यह कई अनुप्रयोगों में एक हल्की धारणा है उदा। वायरलेस चैनल आवंटन में सामान्यतः यह मान लेना उचित है कि एक स्टेशन यह पता लगाने में सक्षम होगा कि क्या अन्य हस्तक्षेप करने वाले ट्रांसमीटर उसी चैनल का उपयोग कर रहे हैं (उदाहरण के लिए एसआईएनआर को मापकर)। यह सेंसिंग जानकारी सीखने के ऑटोमेटा पर आधारित एल्गोरिदम को प्रायिकता के साथ एक उचित ग्राफ रंग खोजने के लिए पर्याप्त है।[28]

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

ग्राफ़ रंग करना कम्प्यूटेशनल रूप से कठिन है। यह तय करने के लिए एनपी-सम्पूर्ण है कि क्या दिया गया ग्राफ k ∈ {0,1,2} मामलों को छोड़कर किसी दिए गए k के लिए k- रंग स्वीकार करता है। विशेष रूप से, रंगीन संख्या की गणना करना एनपी-हार्ड है।[29] 4-रेगुलर प्लानर ग्राफ़ पर भी 3-कलरिंग प्रॉब्लम NP-कंप्लीट रहती है।[30] अधिकतम डिग्री 3 या उससे कम वाले ग्राफ़ पर, हालांकि, ब्रूक्स प्रमेय का तात्पर्य है कि 3-रंग की समस्या को रैखिक समय में हल किया जा सकता है। इसके अलावा, प्रत्येक k > 3 के लिए, चार रंग प्रमेय द्वारा एक प्लानर ग्राफ का k-रंग उपस्थित है, और बहुपद समय में इस तरह के रंग को खोजना संभव है।

सबसे प्रसिद्ध सन्निकटन एल्गोरिथम एक कारक O(n(log log n)2(log n)−3) के भीतर आकार के रंग की गणना करता है।[31] सभी ε > 0 के लिए, n1−ε के भीतर रंगीन संख्या का अनुमान लगाना एनपी-हार्ड है।[32]

3-रंगीय ग्राफ को 4 रंगों से रंगना भी एनपी-हार्ड है[33] और k के साथ k(log k ) / 25 पर्याप्त रूप से बड़े स्थिरांक k के लिए रंग है।[34]

रंगीन बहुपद के गुणांकों की गणना Sharp-P-complete|#P-hard है। वास्तव में, के मूल्य की गणना भी k = 1 और k = 2 को छोड़कर किसी भी तर्कसंगत बिंदु k पर #P-हार्ड है।[35] np (जटिलता) = आरपी (जटिलता) को छोड़कर किसी भी तर्कसंगत बिंदु k ≥ 1.5 पर रंगीन बहुपद का मूल्यांकन करने के लिए कोई एफपीआरएएस नहीं है।[36] एज कलरिंग के लिए, वाइज़िंग के परिणाम का प्रमाण एक एल्गोरिथम देता है जो अधिकतम Δ+1 रंगों का उपयोग करता है। हालांकि, किनारे के रंगीन संख्या के लिए दो उम्मीदवार मूल्यों के बीच निर्णय लेना एनपी-सम्पूर्ण है।[37] सन्निकटन एल्गोरिदम के संदर्भ में, Wiesing के एल्गोरिथ्म से पता चलता है कि किनारे की रंगीन संख्या को 4/3 के भीतर अनुमानित किया जा सकता है, और कठोरता के परिणाम से पता चलता है कि नहीं (4/3 - ε) - एल्गोरिथम का उपयोग किसी भी ε> के लिए उपस्थित है 0 जब तक p = np। सन्निकटन एल्गोरिदम के साहित्य में ये सबसे पुराने परिणामों में से हैं, भले ही कोई भी पेपर उस धारणा का स्पष्ट उपयोग नहीं करता है।[38]

अनुप्रयोग

निर्धारण

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

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

रजिस्टर आवंटन

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

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

अन्य अनुप्रयोग

ग्राफ कलरिंग की समस्या कई व्यावहारिक क्षेत्रों में उत्पन्न होती है जैसे पैटर्न मिलान, खेल शेड्यूलिंग, बैठने की योजना तैयार करना, परीक्षा समय सारिणी, टैक्सी शेड्यूल करना और सुडोकू पहेली को हल करना है।[22]

अन्य रंग

रैमसे सिद्धांत

रैमसे सिद्धांत में अनुचित रंग समस्याओं का एक महत्वपूर्ण वर्ग का अध्ययन किया जाता है, जहां ग्राफ के किनारों को रंगों को सौंपा गया है, और घटना किनारों के रंगों पर कोई प्रतिबंध नहीं है। एक साधारण उदाहरण दोस्तों और अजनबियों पर प्रमेय है, जो बताता है कि किनारों के किसी भी रंग में , छह शीर्षों का पूरा ग्राफ, एकवर्णी त्रिभुज होगा; प्रायः यह कहकर सचित्र किया जाता है कि छह लोगों के किसी भी समूह में या तो तीन पारस्परिक अजनबी हैं या तीन पारस्परिक परिचित हैं। रैमसे सिद्धांत इस विचार के सामान्यीकरण से संबंधित है, ताकि अव्यवस्था के बीच नियमितता की तलाश की जा सके, दी गई संरचना के साथ मोनोक्रोमैटिक सबग्राफ के अस्तित्व के लिए सामान्य स्थितियों का पता लगाया जा सके।

अन्य रंग

रंग को हस्ताक्षरित रेखांकन और लाभ रेखांकन के लिए भी माना जा सकता है।

यह भी देखें

टिप्पणियाँ

  1. M. Kubale, History of graph coloring, in Kubale (2004)
  2. van Lint & Wilson (2001, Chap. 33)
  3. Jensen & Toft (1995), p. 2
  4. Brooks (1941)
  5. Descartes, Blanche (April 1947), "A three colour problem", Eureka, 21
  6. Scott, Alex; Seymour, Paul (2020), "A survey of χ-boundedness", Journal of Graph Theory, 95 (3): 2–3, doi:10.1002/jgt.22601, S2CID 4760027.
  7. Burling, James Perkins (1965), On coloring problems of families of prototypes (PhD thesis), Boulder: University of Colorado.
  8. 8.0 8.1 Pawlik, A.; Kozik, J.; Krawczyk, T.; Lasoń, M.; Micek, P.; Trotter, W.; Walczak, B. (2014), "Triangle-free intersection graphs of line segments with large chromatic number", Journal of Combinatorial Theory, Series B, 105 (5): 6–10, doi:10.1016/j.jctb.2013.11.001
  9. Erdős, Paul (1959), "Graph theory and probability", Canadian Journal of Mathematics, 11: 34–38, doi:10.4153/CJM-1959-003-9, S2CID 122784453.
  10. 10.0 10.1 Björklund, Husfeldt & Koivisto (2009, p. 550)
  11. Lawler (1976)
  12. Yates (1937, p. 66-67)[full citation needed]
  13. Knuth (1997, p. 501-502) Sect.4.6.4
  14. Koivisto (2004, p. 45,96-103)
  15. Beigel & Eppstein (2005)
  16. Fomin, Gaspers & Saurabh (2007)
  17. Zamir, Or (2021). "Breaking the 2ⁿ Barrier for 5-Coloring and 6-Coloring". In Bansal, Nikhil; Merelli, Emanuela; Worrell, James (eds.). 48th International Colloquium on Automata, Languages, and Programming (ICALP). Leibniz International Proceedings in Informatics (LIPIcs). Vol. 198. Schloss Dagstuhl – Leibniz-Zentrum für Informatik. pp. 113:1–113:20. doi:10.4230/LIPIcs.ICALP.2021.113.
  18. Wilf (1986)
  19. Sekine, Imai & Tani (1995)
  20. Welsh & Powell (1967)
  21. Brélaz (1979)
  22. 22.0 22.1 22.2 22.3 Lewis, R. M. R. (2021). Guide to Graph Colouring. Texts in Computer Science. doi:10.1007/978-3-030-81054-2. ISBN 978-3-030-81053-5. S2CID 57188465.
  23. 23.0 23.1 Schneider (2010)
  24. Cole & Vishkin (1986), see also Cormen, Leiserson & Rivest (1990, Section 30.5)
  25. Goldberg, Plotkin & Shannon (1988)
  26. Schneider (2008)
  27. Barenboim & Elkin (2009); Kuhn (2009)
  28. E.g. see Leith & Clifford (2006) and Duffy, O'Connell & Sapozhnikov (2008).
  29. Garey, Johnson & Stockmeyer (1974); Garey & Johnson (1979).
  30. Dailey (1980)
  31. Halldórsson (1993)
  32. Zuckerman (2007)
  33. Guruswami & Khanna (2000)
  34. Khot (2001)
  35. Jaeger, Vertigan & Welsh (1990)
  36. Goldberg & Jerrum (2008)
  37. Holyer (1981)
  38. Crescenzi & Kann (1998)
  39. Marx (2004)
  40. Chaitin (1982)


संदर्भ


बाहरी संबंध