View source for क्रोमैटिक बहुपद

{{Short description|Function in algebraic graph theory}}
[[File:Chromatic polynomial of all 3-vertex graphs BW.png|thumb|250px|right|3 शीर्षों पर सभी गैर-समरूपी रेखांकन और उनके क्रोमैटिक बहुपद, शीर्ष से दक्षिणावर्त। स्वतंत्र 3-सेट: {{math|''k''{{sup|3}}}}. एक किनारा और एक शीर्ष: {{math|''k''{{sup|2}}(''k'' – 1)}}. 3-पथ: {{math|''k''(''k'' – 1){{sup|2}}}}. 3-क्लिक: {{math|''k''(''k'' – 1)(''k'' – 2)}}.]]'''क्रोमैटिक बहुपद''' [[बीजगणितीय ग्राफ सिद्धांत]], गणित की एक शाखा में अध्ययन किया गया [[ग्राफ बहुपद]] है। यह रंगों की संख्या के फलन के रूप में [[ग्राफ रंग|ग्राफ रंगों]] की संख्या की गणना करता है और मूल रूप से चार रंगों की समस्या का अध्ययन करने के लिए [[जॉर्ज डेविड बिरखॉफ]] द्वारा  परिभाषित किया गया था। यह [[हस्लर व्हिटनी]] और डब्ल्यू टी टुट्टे द्वारा टट्टे बहुपद के लिए सामान्यीकृत किया गया था, इसे [[सांख्यिकीय भौतिकी]] के [[पॉट्स मॉडल]] से जोड़ा गया था।

==इतिहास==
[[चार रंग प्रमेय]] को साबित करने के प्रयास में, जॉर्ज डेविड बिरखॉफ़ ने 1912 में क्रोमैटिक बहुपद का प्रारम्भ किया, इसे केवल [[ प्लेनर ग्राफ |समतल रेखांकन]] के लिए परिभाषित किया गया था। अगर <math>P(G, k)</math> k रंगों के साथ ''G'' के उचित रंगों की संख्या को दर्शाता है तो चार रंग प्रमेय को  <math>P(G, 4)>0</math> सभी समतल रेखांकन के लिए ''G'' दिखाकर स्थापित किया जा सकता है। इस तरह उन्होंने [[गणितीय विश्लेषण]] और [[सार बीजगणित]] के शक्तिशाली उपकरणों को बहुपदों की मूलो का अध्ययन करने के लिए मिश्रित रंग की समस्या को लागू करने की आशा की थी।

हस्लर व्हिटनी ने 1932 में समतल मामले से सामान्य रेखांकन के लिए बिरखॉफ़ के बहुपद को सामान्यीकृत किया। 1968 में, रोनाल्ड सी. रीड ने पूछा कि कौन से बहुपद कुछ रेखांकन के क्रोमैटिक बहुपद हैं, एक प्रश्न जो खुला रहता है, और वर्णक्रमीय समकक्ष रेखांकन की अवधारणा पेश की।<ref>{{harvtxt|Read|1968}}</ref> आज, क्रोमैटिक बहुपद बीजगणितीय ग्राफ सिद्धांत के केंद्रीय विषय में से एक हैं।<ref>Several chapters {{harvtxt|Biggs|1993}}</ref>
==परिभाषा==
[[File:Chromatic polynomial of all 3-vertex graphs BW with colorings.png|thumb|300px|right|के रंगों का उपयोग करते हुए 3 शीर्षों के साथ वर्टेक्स ग्राफ के सभी उचित शीर्ष रंग <math>k=0,1,2,3</math>. प्रत्येक ग्राफ का क्रोमैटिक बहुपद उचित रंगों की संख्या के माध्यम से प्रक्षेपित होता है।]]ग्राफ G के लिए, <math>P(G,k)</math> इसके (उचित) शीर्ष k-रंगों की संख्या की गणना करता है।
अन्य सामान्यतः इस्तेमाल किए जाने वाले नोटेशन में सम्मिलित हैं <math>P_G(k)</math>, <math>\chi_G(k)</math>, या <math>\pi_G(k)</math>. एक अद्वितीय [[बहुपद]] है <math>P(G,x)</math> जिसका मूल्यांकन किसी भी पूर्णांक ''k'' ≥ 0 पर किया जाता है <math>P(G,k)</math>; इसे ''G'' का क्रोमैटिक बहुपद कहते हैं।

उदाहरण के लिए, [[पथ ग्राफ]] को रंगने के लिए <math>P_3</math> ''k'' रंगों के साथ 3 शीर्षों पर, कोई भी पहले शीर्ष के लिए ''k'' रंगों में से कोई भी चुन सकता है, इनमें से कोई भी <math>k - 1</math> दूसरे शीर्ष के लिए शेष रंग, और अंत में तीसरे शीर्ष के लिए, इनमें से कोई भी <math>k - 1</math> रंग जो दूसरे शीर्ष की पसंद से भिन्न हैं। इसलिए, <math>P(P_3,k) = k \cdot (k-1) \cdot (k-1)</math>  ''k'' - रंगों की संख्या है <math>P_3</math>. एक चर x (आवश्यक रूप से पूर्णांक नहीं) के लिए, हमारे पास इस प्रकार है <math>P(P_3,x)=x(x-1)^2=x^3-2x^2+x</math>. (रंग जो केवल रंगों की अनुमति या ''G'' के [[ग्राफ ऑटोमोर्फिज्म]] द्वारा भिन्न होते हैं, उन्हें अभी भी भिन्न के रूप में गिना जाता है।) 

===विलोपन–संकुचन===
{{Main|विलोपन-संकुचन सूत्र}}

तथ्य यह है कि ''k'' - रंगों की संख्या ''k'' में बहुपद है जो पुनरावृत्ति संबंध से अनुसरण करता है जिसे 'विलोपन-संकुचन पुनरावृत्ति' या 'मौलिक न्यूनीकरण प्रमेय' कहा जाता है। <ref>{{harvtxt|Dong|Koh|Teo|2005}}</ref> यह कोर के संकुचन पर आधारित है: शीर्षों की एक जोड़ी के लिए <math>u</math> और <math>v</math> लेखाचित्र <math>G/uv</math> दो शीर्षों को मिलाकर और उनके बीच के कोरो को हटाकर प्राप्त किया जाता है। अगर <math>u</math> और <math>v</math> ''G'' में आसन्न हैं, चलो <math>G-uv</math> कोर को हटाकर <math>uv</math>. प्राप्त ग्राफ को निरूपित करें। फिर इन ग्राफों के ''k'' -रंगों की संख्या का समाधान होता है:
:<math>P(G,k)=P(G-uv, k)- P(G/uv,k)</math>
समान रूप से, अगर <math>u</math> और <math>v</math> ''G'' में आसन्न नहीं हैं और <math>G+uv</math> कोर के साथ ग्राफ है <math>uv</math> जोड़ा, फिर
:<math>P(G,k)= P(G+uv, k) + P(G/uv,k)</math>
यह अवलोकन से अनुसरण करता है कि ''G'' का प्रत्येक ''k'' -रंग या तो अलग-अलग रंग देता है <math>u</math> और <math>v</math>, या समान रंग। पहले मामले में यह एक (उचित) ''k'' -रंग देता है <math>G+uv</math>, जबकि दूसरे मामले में यह रंग देता है <math>G/uv</math>. इसके विपरीत, ''G'' के प्रत्येक ''k'' -रंग को विशिष्ट रूप से ''k'' -रंग से प्राप्त किया जा सकता है <math>G+uv</math> या <math>G/uv</math> (अगर <math>u</math> और <math>v</math> G में आसन्न नहीं हैं)।

इसलिए क्रोमैटिक बहुपद को पुनरावर्ती रूप से परिभाषित किया जा सकता है
:<math>P(G,x)=x^n</math> ''n'' शीर्षों पर कोर रहित रेखांकन के लिए, और
:<math>P(G,x)=P(G-uv, x)- P(G/uv,x)</math> कोर वाले ग्राफ ''G'' के लिए <math>uv</math> ( अक्रमतः से चुना गया है )।
चूंकि एजलेस ग्राफ के ''k'' -रंगों की संख्या वास्तव में है <math>k^n</math>, यह कोरो की संख्या पर प्रेरण द्वारा अनुसरण करता है जो सभी ''G'' के लिए बहुपद है <math>P(G,x)</math> प्रत्येक पूर्णांक बिंदु ''x'' = ''k'' पर ''k'' -रंगों की संख्या के साथ मेल खाता है। विशेष रूप से, क्रोमैटिक बहुपद अंक के माध्यम से अधिकतम ''n'' पर डिग्री का अद्वितीय [[प्रक्षेपित बहुपद]] है
:<math>\left \{ (0, P(G, 0)), (1, P(G, 1)), \ldots, (n, P(G, n)) \right \}.</math>
[[ सभी | टुट्टे]] की जिज्ञासा जिसके बारे में अन्य [[ग्राफ अपरिवर्तनीय]] ने इस तरह की पुनरावृत्ति के समाधान के लिए, उन्हें क्रोमैटिक बहुपद, टुट्टे बहुपद के द्विभाजित सामान्यीकरण की खोज <math>T_G(x,y)</math> करने के लिए प्रेरित किया था।

==उदाहरण==
{| class="wikitable" 
|+कुछ रेखांकन के लिए क्रोमैटिक बहुपद
|-
|त्रिकोण <math>K_3</math>||<math>x(x-1)(x-2)</math>
|-
|[[Complete graph|पूरा ग्राफ]] <math>K_n</math>|| <math>x(x-1)(x-2)\cdots(x-(n-1))</math>
|-
|[[Edgeless graph|एजलेस ग्राफ]] <math>\overline K_n</math>||<math>x^n</math>
|-
|[[Path graph|पथ ग्राफ]] <math>P_n</math>||<math>x(x-1)^{n-1}</math>
|-
|n शीर्षों पर कोई भी [[Tree graph|रेखा]]||<math>x(x-1)^{n-1}</math>
|-
|[[Cycle graph|चक्र]] <math>C_n</math>||<math>(x-1)^n+(-1)^n(x-1)</math>
|-
|[[Petersen graph|पीटरसन ग्राफ]]||<math>x(x-1)(x-2) \left (x^7-12x^6+67x^5-230x^4+529x^3-814x^2+775x-352 \right)</math>
|}
==गुण==
''n'' शीर्षों पर निश्चित ''G'' के लिए, क्रोमैटिक बहुपद <math>P(G, x)</math> पूर्णांक गुणांकों के साथ बिल्कुल ''n'' डिग्री का [[मोनिक बहुपद]] है।

क्रोमैटिक बहुपद में ''G'' की रंगीनता के बारे में कम से कम उतनी ही जानकारी सम्मिलित होती है जितनी क्रोमैटिकसंख्या होती है। दरअसल, क्रोमैटिकसंख्या सबसे छोटी धनात्मक पूर्णांक है जो क्रोमैटिक बहुपद का शून्य नहीं है,
:<math>\chi (G)=\min\{ k\in\mathbb{N} : P(G, k) > 0 \}.</math>
बहुपद का मूल्यांकन किया गया <math>-1</math>, वह है <math>P(G,-1)</math>, प्रतिफल <math>(-1)^{|V(G)|}</math> ''G'' के [[ चक्रीय अभिविन्यास |चक्रीय अभिविन्यास]] की संख्या का गुना है।<ref>{{harvtxt|Stanley|1973}}</ref>

डेरिवेटिव का मूल्यांकन 1 पर किया गया, <math>P'(G, 1)</math> [[रंगीन अपरिवर्तनीय|क्रोमैटिकअपरिवर्तनीय]] के बराबर <math>\theta(G)</math> इंगित करने तक है।
 
यदि ''G'' में ''n'' शीर्ष और ''c'' जुड़ा हुआ घटक है (रेखांकन सिद्धांत) <math>G_1, \ldots, G_c</math>, तब
*<math> x^0, \ldots, x^{c-1}</math> के गुणांक शून्य हैं।
*<math> x^c, \ldots, x^n</math> के गुणांक सभी गैर-शून्य हैं और संकेतों में वैकल्पिक हैं।
*<math>x^n</math> 1 का गुणांक है ( बहुपद मोनिक है )।
*<math>x^{n-1}</math> का गुणांक  <math>-|E(G)|</math> है।

हम साधारण ग्राफ ''G'' पर कोरो की संख्या पर प्रेरण के माध्यम से इसे  <math>n</math> शिखर और <math>k</math> कोरो साबित करते हैं। जब कि <math>k = 0</math>, ''G'' एक खाली ग्राफ है। इसलिए प्रति परिभाषा <math>P(G, x)= x^n</math>है तो  <math>x^{n-1}</math> का गुणांक <math>0</math> है, जिसका अर्थ है कि खाली ग्राफ के लिए कथन सत्य है। जब <math>k = 1</math>, जैसा कि ''G'' में केवल एक किनारा है, <math>P(G, x) = x^n - x^{n-1}</math>. इस प्रकार  <math>x^{n-1}</math> का गुणांक <math>-1 = -|E(G)|</math> है तो कथन  k = 1 के लिए है। [[मजबूत प्रेरण|बहुसंख्यक प्रेरण]] का उपयोग करके मान लें कि कथन  <math>k = 0,1,2,\ldots,(k-1)</math> सत्य है। ''G'' के पास <math>k</math> कोरो है। [[विलोपन-संकुचन सूत्र|विलोपन-संकुचन सिद्धांत]] द्वारा, 

<math> P(G, x) = P(G-e, x) - P(G/e, x)</math>, 

मान ले कि <math>P(G-e, x) = x^n - a_{n-1}x^{n-1} + a_{n-2}x^{n-2}-\cdots</math>, और <math>P(G/e, x) = x^{n-1} - b_{n-2} x^{n-2} + b_{n-3}x^{n-3}-\cdots</math>. <br>इसलिए <math>P(G, x) = x^n - (a_{n-1} +1)x^{n-1} +\cdots</math>.<br>चूंकि <math>G-e</math> केवल कोर ''e'' को हटाकर ''G'' से  <math>a_{n-1} = k - 1</math> प्राप्त किया जाता है, इसलिए <math>a_{n-1} + 1 = k</math> और इस प्रकार कथन ''k'' के लिए सत्य है।

*<math>x^1</math> का गुणांक <math>(-1)^{n-1}</math> निर्दिष्ट है, अक्रमतः से चुने गए शीर्ष पर अद्वितीय सिंक वाले चक्रीय अभिविन्यास की संख्या का गुना है।<ref>{{harvtxt|Ellis-Monaghan|Merino|2011}}</ref>
*प्रत्येक क्रोमैटिक बहुपद के गुणांक के पूर्ण मूल्य लघुगणक अवतल अनुक्रम बनाते हैं।<ref>{{harvtxt|Huh|2012}}</ref>
*<math>\scriptstyle P(G, x) = P(G_1, x)P(G_2,x) \cdots P(G_c,x)</math>
अंतिम गुण को इस तथ्य से सामान्यीकृत किया जाता है कि यदि ''G'' एक ''k'' -क्लिक-योग है <math>G_1</math> और <math>G_2</math> (अर्थात, k सिरों पर एक क्लिक पर दोनों को चिपकाकर प्राप्त किया गया ग्राफ), फिर
:<math>P(G, x) = \frac{P(G_1,x)P(G_2,x)}{x(x-1)\cdots(x-k+1)}.</math>
''n'' शीर्षों वाला ग्राफ ''G'' एक रेखा है यदि और केवल यदि
:<math>P(G, x) = x(x-1)^{n-1}.</math>
===क्रोमैटिक समानता===
[[File:Chromatically equivalent graphs.svg|thumb|right|250px|{{center|तीन रेखांकन के साथ रंगीन बहुपद के बराबर<math>(x-2)(x-1)^3x</math>.}}]]दो रेखांकनों को वर्णिक रूप से समतुल्य कहा जाता है यदि उनके पास एक ही क्रोमैटिक बहुपद है। आइसोमॉर्फिक रेखांकन में समान क्रोमैटिक बहुपद होते हैं, लेकिन गैर-आइसोमॉर्फिक रेखांकन क्रोमेटिक रूप से समतुल्य हो सकते हैं। उदाहरण के लिए, ''n'' शीर्षों पर स्थित सभी रेखाों में एक ही वर्णिक बहुपद होता है।
विशेष रूप से, <math>(x-1)^3x</math> दोनों पंजे (ग्राफ सिद्धांत) और 4 कोने पर पथ ग्राफ का क्रोमैटिक बहुपद है।

एक रेखांकन क्रोमैटिक रूप से अद्वितीय होता है यदि यह समरूपता तक, इसके क्रोमैटिक बहुपद द्वारा निर्धारित किया जाता है। दूसरे शब्दों में, ''G'' तब क्रोमेटिक रूप से अद्वितीय है <math>P(G, x) = P(H, x)</math> इसका अर्थ यह होगा कि ''G'' और ''H'' समरूपी हैं। सभी चक्र रेखांकन क्रोमैटिकअद्वितीय हैं।<ref>{{harvtxt|Chao|Whitehead|1978}}</ref>
===क्रोमैटिक मूल===
क्रोमैटिक बहुपद के फलन (या शून्य) की मूल, जिसे "क्रोमैटिकमूल" कहा जाता है, एक मान x है जहां <math>P(G, x)=0</math>. क्रोमैटिकमूलो का बहुत अच्छी तरह से अध्ययन किया गया है, वास्तव में, क्रोमैटिक बहुपद को परिभाषित करने के लिए बिरखॉफ की मूल प्रेरणा यह दिखाने के लिए थी कि प्लानर ग्राफ के लिए, <math>P(G, x)>0</math> x ≥ 4 के लिए है। इससे चार रंगों की प्रमेय स्थापित हो जाती है।

कोई भी ग्राफ 0-रंग का नहीं हो सकता, इसलिए 0 हमेशा एक क्रोमैटिकमूल होता है। केवल कोर रहित रेखांकन 1-रंग के हो सकते हैं, इसलिए 1 कम से कम एक कोर वाले प्रत्येक रेखांकन का एक क्रोमैटिकमूल है। दूसरी ओर, इन दो बिंदुओं को छोड़कर, किसी भी ग्राफ में 32 / 27 से कम या उसके बराबर वास्तविक संख्या में क्रोमैटिकमूल नहीं हो सकती है।<ref>{{harvtxt|Jackson|1993}}</ref> टुट्टे का परिणाम [[ सुनहरा अनुपात | गोल्डन अनुपात]] को जोड़ता है <math>\phi</math> क्रोमैटिकमूलो के अध्ययन के साथ, यह दर्शाता है कि क्रोमैटिकमूलें बहुत करीब मौजूद <math>\phi^2</math> हैं। अगर <math>G_n</math> तब गोले का समतलीय त्रिकोण है

:<math>P(G_n,\phi^2) \leq \phi^{5-n}.</math>
जबकि वास्तविक रेखा में बड़े हिस्से होते हैं जिनमें किसी भी ग्राफ के लिए कोई क्रोमैटिकमूलें नहीं होती हैं, [[जटिल विमान|सम्मिश्र समतल]] में हर बिंदु अक्रमतः से क्रोमैटिकमूल के करीब होता है, जिसमें ग्राफ के एक अनंत परिवार मौजूद होते हैं जिनकी क्रोमैटिकमूलें सम्मिश्र समतल में घन होती हैं। <ref>{{harvtxt|Sokal|2004}}</ref>
===सभी रंगों का उपयोग कर रंगना===
''n'' शीर्षों पर ग्राफ ''G'' के लिए, मान लीजिए <math>e_k</math> रंगों का नाम बदलने तक ठीक ''k'' रंगों का उपयोग करके रंगों की संख्या को निरूपित करें (इसलिए रंगों को अनुमति देकर एक दूसरे से प्राप्त किए जा सकने वाले रंगों को एक के रूप में गिना जाता है; ''G'' के ग्राफ ऑटोमोर्फिज़्म द्वारा प्राप्त रंगों को अभी भी अलग से गिना जाता है)। दूसरे शब्दों में, <math>e_k</math> k (गैर-खाली) स्वतंत्र सेट (रेखांकन सिद्धांत) में वर्टेक्स सेट के एक सेट के विभाजन की संख्या की गणना करता है। तब <math>k! \cdot e_k</math> ठीक ''k'' रंगों (अलग-अलग रंगों के साथ) का उपयोग करके रंगों की संख्या की गणना करता है। एक पूर्णांक ''x'' के लिए, G के सभी ''x'' -रंगों को विशिष्ट रूप से एक पूर्णांक ''k ≤ x'' चुनकर प्राप्त किया जा सकता है, उपलब्ध ''x'' में से उपयोग किए जाने वाले ''k'' रंगों को चुनकर, और ठीक उन्हीं ''k'' (अलग-अलग) रंगों का उपयोग करके रंग भरना है। इसलिए:
:<math>P(G,x) = \sum_{k=0}^x \binom{x}{k} k! \cdot e_k = \sum_{k=0}^x (x)_k \cdot e_k</math>,
जहां <math>(x)_k = x(x-1)(x-2)\cdots(x-k+1)</math> अवरोही भाज्य को दर्शाता है। इस प्रकार संख्याएँ <math>e_k</math> बहुपद के <math>P(G,x)</math> आधार में <math>1,(x)_1,(x)_2,(x)_3,\ldots</math> अवरोही भाज्य का गुणांक हैं।

मान लीजिए  <math>a_k</math> का ''k'' -वॉ गुणांक हो <math>P(G,x)</math> मानक आधार पर <math>1,x,x^2,x^3,\ldots</math>, वह है:
:<math>P(G,x) = \sum_{k=0}^n a_k x^k</math>
[[स्टर्लिंग संख्या|स्टर्लिंग संख्याएँ]] मानक आधार और घटते क्रमगुणों के आधार के बीच के आधार में परिवर्तन दर्शाती हैं। यह संकेत करता है:
:<math>a_k = \sum_{j=0}^{n} (-1)^{j-k} \begin{bmatrix}j\\k\end{bmatrix} e_j</math> और <math>e_k = \sum_{j=0}^n \begin{Bmatrix}j\\k\end{Bmatrix} a_j</math>.

===[[वर्गीकरण]] ===
क्रोमैटिक बहुपद को [[खोवानोव होमोलॉजी|खोवानोव समरूपता]] से संबंधित एक समरूपता सिद्धांत द्वारा वर्गीकृत किया गया है। <ref>{{harvtxt|Helme-Guizon|Rong|2005}}</ref>
==एल्गोरिदम==
{{infobox
| above = Chromatic polynomial
| abovestyle = background: #DD9; font-size: 125%;
| labelstyle = font-weight:normal
| label1 = इनपुट
| data1 = ग्राफ ''G'' को ''n'' शीर्षों के साथ।
| label2 = उत्पादन
| data2 = गुणांक के <math>P(G, x)</math>
| label3 = कार्यकारी समय
| data3 = <math>O(2^nn^r)</math> कुछ स्थिर के लिए <math>r</math>
| label4 = जटिलता
| data4 = [[Sharp-P|#P]]-hard
| label5 = कमी से
| data5 =<nowiki>#</nowiki>3SAT
}}
{{infobox
| above =<nowiki>#</nowiki>k-रंग
| abovestyle = background: #DD9; font-size: 125%;
| labelstyle = font-weight:normal
| label1 = इनपुट
| data1 = ग्राफ ''G'' को ''n'' शीर्षों के साथ।
| label2 = उत्पादन
| data2 = <math>P(G, k)</math>
| label3 =कार्यकारी समय
| data3 = In [[P (complexity class)|P]] के लिए <math>k=0,1,2</math>. <math>O(1.6262^n)</math> के लिए <math>k=3</math>. अन्यथा
<math>O(2^nn^r)</math>कुछ स्थिर के लिए <math>r</math>
| label4 =जटिलता
| data4 = [[Sharp-P|#P]]-कठिन जब तक <math>k=0,1,2</math>
| label5 = सन्निकटन
| data5 =  No FPRAS for <math>k>2</math>
}}

क्रोमैटिक बहुपद से जुड़ी कम्प्यूटेशनल समस्याओं में सम्मिलित हैं

*क्रोमैटिक बहुपद निष्कर्ष <math>P(G, x)</math> किसी दिए गए ग्राफ ''G'' का;
*मूल्यांकन <math>P(G, x)</math> दिए गए ''G'' के लिए एक निश्चित ''x'' पर।

पहली समस्या अधिक सामान्य है क्योंकि यदि हम के गुणांकों को जानते हैं <math>P(G, x)</math> हम बहुपद समय में किसी भी बिंदु पर इसका मूल्यांकन कर सकते हैं क्योंकि डिग्री ''n'' है। दूसरे प्रकार की समस्या की कठिनाई ''x'' के मान पर दृढ़ता से निर्भर करती है और [[कम्प्यूटेशनल जटिलता सिद्धांत]] में इसका गहन अध्ययन किया गया है। जब ''x'' एक प्राकृतिक संख्या है, तो इस समस्या को सामान्य रूप से किसी दिए गए रेखांकन के ''x'' -रंगों की संख्या की गणना के रूप में देखा जाता है। उदाहरण के लिए, इसमें 3-रंगों की संख्या गिनने की समस्या '#3-रंग' सम्मिलित है, गिनती की जटिलता के अध्ययन में विहित समस्या, गणना वर्ग #P के लिए पूरा करें।

===कुशल एल्गोरिदम===
कुछ बुनियादी ग्राफ वर्गों के लिए, क्रोमैटिक बहुपद के लिए बंद सूत्र ज्ञात हैं। उदाहरण के लिए, यह रेखा और गुटों के लिए सही है, जैसा कि ऊपर दी गई तालिका में सूचीबद्ध है।

बहुपद समय एल्गोरिदम व्यापक वर्गों के रेखांकन के लिए क्रोमैटिक बहुपद की गणना के लिए जाना जाता है, जिसमें [[कॉर्डल ग्राफ]] <ref>{{harvtxt|Naor|Naor|Schaffer|1987}}.</ref> और बंधे हुए [[गुट-चौड़ाई|क्लिक-चौड़ाई]] के ग्राफ़ भी सम्मिलित हैं।<ref>{{harvtxt|Giménez|Hliněný|Noy|2005}}; {{harvtxt|Makowsky|Rotics|Averbouch|Godlin|2006}}.</ref> परवर्ती वर्ग में परिबद्ध रेखा-चौड़ाई के [[कोग्राफ|सह रेखांकन]] और रेखांकन सम्मिलित हैं, जैसे कि [[आउटरप्लानर ग्राफ|बाहरी प्लैनर]] ग्राफ।

[[विलोपन-संकुचन पुनरावृत्ति]] क्रोमैटिक बहुपद की गणना करने का एक तरीका देता है, जिसे विलोपन-संकुचन एल्गोरिथम कहा जाता है। पहले रूप में (ऋण के साथ), पुनरावृत्ति खाली ग्राफ के संग्रह में समाप्त हो जाती है। दूसरे रूप में (प्लस के साथ), यह पूर्ण रेखांकन के संग्रह में समाप्त होता है। यह ग्राफ कलरिंग के लिए कई एल्गोरिदम का आधार बनता है। कंप्यूटर बीजगणित प्रणाली के कॉम्बिनेटरिका पैकेज में क्रोमैटिकपोलिनोमियल फलन [[मेथेमेटिका]] दूसरी पुनरावृत्ति का उपयोग करता है यदि ग्राफ सघन है, और पहली पुनरावृत्ति यदि ग्राफ विरल है।<ref>{{harvtxt|Pemmaraju|Skiena|2003}}</ref> किसी भी सूत्र का सबसे खराब स्थिति चलने का समय [[फाइबोनैचि संख्या|फाइबोनैचि संख्याओं]] के समान पुनरावृत्ति संबंध को संतुष्ट करता है, इसलिए सबसे खराब स्थिति में, एल्गोरिथ्म एक बहुपद गुणक के भीतर समय पर चलता है,

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

===घन विधि===
रेखांकन रंगों पर प्राकृतिक ज्यामितीय परिप्रेक्ष्य है, यह देखते हुए कि प्रत्येक शीर्ष पर प्राकृतिक संख्याओं के असाइनमेंट के रूप में, एक रेखांकन रंग पूर्णांक जाली में सदिश है। चूंकि दो शिखर <math>i</math> और <math>j</math> हैं एक ही रंग दिया जा रहा है, <math>i</math> वाँ और <math>j</math> वाँ वेक्टर में कोऑर्डिनेट बराबर होने पर, प्रत्येक कोर को फॉर्म के हाइपरप्लेन से जोड़ा जा सकता है <math>\{x\in R^d:x_i=x_j\}</math>. किसी दिए गए रेखांकन के लिए ऐसे हाइपरप्लेन का संग्रह हाइपरप्लेन की ग्राफिक व्यवस्था कहलाता है। ग्राफ के उचित रंग वे जाली बिंदु हैं जो वर्जित हाइपरप्लेन से बचते हैं। एक सेट तक सीमित करना <math>k</math> रंग, जाली बिंदु घन में समाहित <math>[0,k]^n</math> हैं। इस संदर्भ में क्रोमैटिक बहुपद जाली बिंदुओं की संख्या की गणना करता है <math>[0,k]</math>-क्यूब जो ग्राफिक प्रक्रिया से बचते हैं।

===कम्प्यूटेशनल जटिलता===
किसी दिए गए ग्राफ के 3-रंगों की संख्या की गणना करने की समस्या तीव्र #P -पूर्ण समस्या का विहित उदाहरण है, इसलिए क्रोमैटिक बहुपद के गुणांकों की गणना करने की समस्या  #P -कठिन है। इसी प्रकार मूल्यांकन करना <math>P(G, 3)</math> दिए गए G के लिए #P-पूर्ण है। दूसरी ओर, <math>k=0,1,2</math> के लिए गणना करना आसान है <math>P(G, k)</math>, इसलिए संबंधित समस्याएँ बहुपद-समय संगणनीय हैं। पूर्णांकों के लिए <math>k>3</math> समस्या #P -कठिन है, जो केस के समान स्थापित <math>k=3</math> है। दरअसल, यह पता चला है <math>P(G, x)</math> तीन "आसान बिंदुओं" को छोड़कर सभी x (ऋणात्मक पूर्णांक और यहां तक कि सभी जटिल संख्याओं सहित) के लिए #P-कठिन है।<ref>{{harvtxt|Jaeger|Vertigan|Welsh|1990}}, based on a reduction in {{harv|Linial|1986}}.</ref> इस प्रकार, #P -कठिन के दृष्टिकोण से, क्रोमैटिक बहुपद की गणना की जटिलता को पूरी तरह से समझा जाता है।

विस्तार में

:<math>P(G, x)= a_1 x + a_2x^2+\cdots +a_nx^n,</math>
गुणांक <math>a_n</math> हमेशा 1 के बराबर होता है, और गुणांक के कई अन्य गुण ज्ञात होते हैं। यह सवाल उठाता है कि क्या कुछ गुणांकों की गणना करना आसान है। यधपि कंप्यूटिंग की कम्प्यूटेशनल समस्या ''a<sub>r</sub>''  एक निश्चित ''r ≥ 1'' के लिए और एक दिया गया ग्राफ ''G''  #P-कठिन है, द्विपक्षीय प्लानर ग्राफ के लिए भी है।<ref>{{harvtxt|Oxley|Welsh|2002}}</ref>

कंप्यूटिंग के लिए कोई [[सन्निकटन एल्गोरिदम]] नहीं <math>P(G, x)</math> तीन आसान बिंदुओं को छोड़कर किसी भी ''x'' के लिए जाने जाते हैं। पूर्णांक बिंदुओं पर <math>k=3,4,\ldots</math>, किसी दिए गए रेखांकन को  ''k'' -क्रोमैटिककिया जा सकता है या नहीं, यह तय करने की संबंधित [[निर्णय समस्या]] [[ एनपी कठिन | NP- कठिन]] है। इस तरह की समस्याओं को किसी बाउंडेड-एरर प्रोबेबिलिस्टिक एल्गोरिथम द्वारा किसी भी गुणक गुणक के लिए अनुमानित नहीं किया जा सकता है जब तक कि NP = RP, क्योंकि कोई भी गुणक सन्निकटन 0 और 1 के मानों को अलग कर देगा, प्रभावी रूप से परिबद्ध-त्रुटि संभाव्य बहुपद समय में निर्णय संस्करण को हल करेगा। विशेष रूप से, इसी धारणा के तहत, यह पूर्ण बहुपद समय यादृच्छिक सन्निकटन योजना ([[FPRAS]]) की संभावना को बाहर करता है। अन्य बिंदुओं के लिए, अधिक जटिल तर्कों की आवश्यकता है, और प्रश्न सक्रिय शोध का फोकस है। 2008 तक, यह ज्ञात है कि कंप्यूटिंग के लिए कोई FPRAS नहीं है <math>P(G, x)</math> किसी भी  ''x'' > 2 के लिए, जब तक कि[[ एनपी (जटिलता वर्ग) | NP (जटिलता वर्ग)]]  = [[ आरपी (जटिलता वर्ग) | RP (जटिलता वर्ग)]] धारण नहीं करता है।<ref>{{harvtxt|Goldberg|Jerrum|2008}}</ref>
==टिप्पणियाँ==
{{reflist|2}}
==संदर्भ==
{{refbegin|2}}
*{{Citation
|last=Biggs | first=N.
|title=Algebraic Graph Theory
|publisher=Cambridge University Press
|year=1993
|isbn=978-0-521-45897-9
}}
*{{Citation
|last1=Chao | first1=C.-Y.
|last2=Whitehead | first2=E. G.
|contribution=On chromatic equivalence of graphs
|title=Theory and Applications of Graphs
|year=1978
|volume=642
|pages=121–131
|publisher=Springer
|series=Lecture Notes in Mathematics
|isbn=978-3-540-08666-6
}}
*{{Citation
|last1= Dong | first1= F. M.
|last2= Koh | first2= K. M.
|last3=  Teo| first3= K. L.
|title=Chromatic polynomials and chromaticity of graphs
|publisher=World Scientific Publishing Company
|year=2005
|isbn= 978-981-256-317-0
}}
* {{citation|title=Structural Analysis of Complex Networks 
|chapter=Graph polynomials and their applications I: The Tutte polynomial 
|first1=Joanna A. |last1=Ellis-Monaghan | author1-link = Jo Ellis-Monaghan
|first2=Criel |last2=Merino 
|arxiv=0803.3079
|date=2011
|isbn=978-0-8176-4789-6
|editor-last=Dehmer |editor-first=Matthias
|language=en-gb 
|doi=10.1007/978-0-8176-4789-6_9
|s2cid=585250 
}}
*{{citation
 | last1 = Giménez | first1 = O.
 | last2 = Hliněný | first2 = P.
 | last3 = Noy | first3 = M.
 | contribution = Computing the Tutte polynomial on graphs of bounded clique-width
 | doi = 10.1007/11604686_6
 | pages = 59–68
 | publisher = Springer-Verlag
 | series = Lecture Notes in Computer Science
 | title = Proc. 31st Int. Worksh. Graph-Theoretic Concepts in Computer Science (WG 2005)
 | volume = 3787
 | year = 2005| isbn = 978-3-540-31000-6
 | citeseerx = 10.1.1.353.6385
 }}
*{{Citation
|last1=Goldberg | first1= L.A. | author1-link = Leslie Ann Goldberg
|last2=Jerrum | first2=  M.
|author2-link=Mark Jerrum
|title= Inapproximability of the Tutte polynomial
|journal=Information and Computation
| doi= 10.1016/j.ic.2008.04.003    
|year=2008
|volume=206
|pages=908
|issue=7
|arxiv=cs/0605140
| s2cid= 53304001 }}
*{{Citation
|last1=Helme-Guizon | first1=Laure
|last2=Rong | first2=Yongwu
|title=A categorification of the chromatic polynomial
|journal=Algebraic & Geometric Topology
| doi= 10.2140/agt.2005.5.1365   
|year=2005
|volume=5
|pages=1365–1388
|issue=4
|arxiv=math/0412264| s2cid=1339633
}}
*{{citation
 | last = Huh | first = June
 | arxiv = 1008.4749
 | doi = 10.1090/S0894-0347-2012-00731-0
 | issue = 3
 | journal = Journal of the American Mathematical Society
 | mr = 2904577
 | pages = 907–927
 | title = Milnor numbers of projective hypersurfaces and the chromatic polynomial of graphs
 | volume = 25
 | year = 2012| s2cid = 13523955
 }}
*{{Citation
| doi= 10.1017/S0963548300000705
| last1= Jackson |first1= B.
| title= A Zero-Free Interval for Chromatic Polynomials of Graphs
|journal=Combinatorics, Probability and Computing
| volume= 2| issue= 3 |pages = 325–336
| year= 1993
| s2cid= 39978844 }}
*{{Citation
| doi= 10.1017/S0305004100068936
| last1= Jaeger |first1= F.
|last2= Vertigan | first2=  D. L.
|last3= Welsh | first3  =D. J. A. 
| title= On the computational complexity of the Jones and Tutte polynomials
|journal=Mathematical Proceedings of the Cambridge Philosophical Society
| volume= 108| issue= 1 |pages = 35–53
| year= 1990
|bibcode= 1990MPCPS.108...35J| s2cid= 121454726 }}
*{{Citation
|doi=10.1137/0607036
|last=Linial | first=N. | authorlink = Nati Linial
|title=Hard enumeration problems in geometry and combinatorics
|journal= SIAM J. Algebr. Discrete Methods
|volume= 7|issue=2|pages=331–335|year= 1986
}} 
*{{citation
 | last1 = Makowsky | first1 = J. A.
 | last2 = Rotics | first2 = U.
 | last3 = Averbouch | first3 = I.
 | last4 = Godlin | first4 = B.
 | contribution = Computing graph polynomials on graphs of bounded clique-width
 | doi = 10.1007/11917496_18
 | pages = 191–204
 | publisher = Springer-Verlag
 | series = Lecture Notes in Computer Science
 | title = Proc. 32nd Int. Worksh. Graph-Theoretic Concepts in Computer Science (WG 2006)
 | volume = 4271
 | year = 2006| isbn = 978-3-540-48381-6
 | citeseerx = 10.1.1.76.2320
 }}
*{{citation
 | last1 = Naor | first1 = J.
 | last2 = Naor | first2 = M.
 | last3 = Schaffer | first3 = A.
 | contribution = Fast parallel algorithms for chordal graphs
 | doi = 10.1145/28395.28433
 | pages = 355–364
 | title = Proc. 19th ACM Symp. Theory of Computing (STOC '87)
 | year = 1987| isbn = 978-0897912211
 | s2cid = 12132229
 | doi-access = free
 }}.
*{{Citation
|last1=Oxley | first1=J. G.
|last2=Welsh | first2=D. J. A.
|title=Chromatic, flow and reliability polynomials: The complexity of their coefficients.
|journal=[[Combinatorics, Probability and Computing]]
|volume=11
|year=2002
|issue=4
|pages=403–426
| doi=10.1017/S0963548302005175
| s2cid=14918970
}}
*{{Citation
|last1=Pemmaraju | first1=S.
|last2= Skiena | first2= S.
|title= Computational Discrete Mathematics: Combinatorics and Graph Theory with Mathematica
|publisher=Cambridge University Press
|year=2003
|at=section 7.4.2
|isbn=978-0-521-80686-2
}}
*{{Citation
|last=Read | first=R. C. | author-link=Ronald C. Read
|title=An introduction to chromatic polynomials
|journal=[[Journal of Combinatorial Theory]]
|year=1968
|pages=52–71
|volume=4
|doi=10.1016/S0021-9800(68)80087-0
|url=http://dml.cz/bitstream/handle/10338.dmlcz/128421/CzechMathJ_43-1993-3_10.pdf
|doi-access=free
}}
*{{citation
 | last1 = Sekine | first1 = Kyoko
 | last2 = Imai | first2 = Hiroshi
 | last3 = Tani | first3 = Seiichiro
 | editor1-last = Staples | editor1-first = John
 | editor2-last = Eades | editor2-first = Peter
 | editor3-last = Katoh | editor3-first = Naoki
 | editor4-last = Moffat | editor4-first = Alistair
 | contribution = Computing the Tutte polynomial of a graph of moderate size
 | doi = 10.1007/BFb0015427
 | pages = 224–233
 | publisher = Springer
 | series = Lecture Notes in Computer Science
 | title = Algorithms and Computation, 6th International Symposium, ISAAC '95, Cairns, Australia, December 4–6, 1995, Proceedings
 | volume = 1004
 | year = 1995}}
*{{Citation
|doi=10.1017/S0963548303006023
|last=Sokal | first=A. D. |author-link=Alan Sokal
|title=Chromatic Roots are Dense in the Whole Complex Plane
|journal=[[Combinatorics, Probability and Computing]] |year=2004 |pages= 221–261|volume= 13
|issue=2 
|arxiv=cond-mat/0012369|s2cid=5549332 }}
*{{Citation
| doi=10.1016/0012-365X(73)90108-8
| last=Stanley |first= R. P.
|title= Acyclic orientations of graphs
|journal= [[Discrete Mathematics (journal)|Discrete Math.]] 
|volume=5 |pages=171–178|year= 1973
| issue=2
|url=http://math.mit.edu/~rstan/pubs/pubfiles/18.pdf
}}
*{{Citation
| last= Voloshin | first= Vitaly I.
| title= Coloring Mixed Hypergraphs: Theory, Algorithms and Applications. 
| publisher=  American Mathematical Society 
| year  =2002
| isbn= 978-0-8218-2812-0
}}
*{{Citation
| last= Wilf | first= H. S. | author-link=Herbert Wilf
| title= Algorithms and Complexity
| publisher=  Prentice–Hall
| year  =1986
| isbn= 978-0-13-021973-2
}}
{{refend}}
==बाहरी संबंध== 
*{{MathWorld | urlname=ChromaticPolynomial| title=Chromatic polynomial|mode=cs2}}
*[[PlanetMath]] [http://planetmath.org/encyclopedia/ChromaticPolynomial.html Chromatic polynomial]
*Code for computing Tutte, Chromatic and Flow Polynomials by Gary Haggard, David J. Pearce and Gordon Royle: [https://archive.today/20121220104146/http://www.ecs.vuw.ac.nz/~djp/tutte/]

{{DEFAULTSORT:Chromatic Polynomial}}

[[Category:Articles with hatnote templates targeting a nonexistent page|Chromatic Polynomial]]
[[Category:CS1 British English-language sources (en-gb)|Chromatic Polynomial]]
[[Category:Lua-based templates|Chromatic Polynomial]]
[[Category:Machine Translated Page|Chromatic Polynomial]]
[[Category:Pages with script errors|Chromatic Polynomial]]
[[Category:Short description with empty Wikidata description|Chromatic Polynomial]]
[[Category:Template documentation pages|Short description/doc]]
[[Category:Templates Vigyan Ready|Chromatic Polynomial]]
[[Category:Templates that add a tracking category|Chromatic Polynomial]]
[[Category:Templates that generate short descriptions|Chromatic Polynomial]]
[[Category:Templates using TemplateData|Chromatic Polynomial]]