आपको याद होगा कि एक दूसरे से तिरछे तिरछे एक ही रंग का हो सकता है! आपका सूत्र उस पर ध्यान नहीं देता है। हम समावेश-अपवर्जन सिद्धांत के माध्यम से एक ग्राफ की रंगीन संख्या पा सकते हैं। यह एक बहुत ही सामान्य गिनती तकनीक है जो हमें जटिल संरचनाओं की गणना करने की अनुमति देती है, अगर हम कुछ सबसेट पर कुछ सीमाएं साबित कर सकते हैं।
मुख्य विचार यह है कि हम कुछ संपत्ति होने के सभी संभावित तरीकों को गिनते हैं। फिर हम कुछ "खराब" आइटम निकालते हैं। हालांकि, हमने बहुत अधिक हटा दिया है, और कुछ "अच्छे" आइटम वापस जोड़ने की आवश्यकता है। यह तब तक आगे और पीछे चला जाता है जब तक हम सभी सबसेट्स से नहीं निकल जाते।
समावेशन-बहिष्करण सिद्धांत हमें बताता है कि दिए गए कुछ ग्राउंड सेट , के तत्वों की संख्या जो किसी भी में नहीं है is
एक्स एक मैं Σ मैं ⊆ [ एन ] ( - 1 ) | मैं | | A I | , कहाँ पे | एक्स| =एनएक्सएमैं
Σमैं⊆ [ एन ]( - 1 )| मैं|| एमैं| , कहाँ पे मैंX में सूचकांकों का समूह है और एमैं= ⋂मैं ∈ मैंएमैं
मान लें कि रंगों की संख्या है, और को सभी संभव रंगों का सेट होने दें (जैसे; ), औरλएक्स| एक्स| = λ4
एइ= { रंग : ई = ( मैं , जे ) ∈ ई, रंग ( i ) = रंग ( j ) }
इससे पहले कि हम अपना अंतिम बहुपद प्राप्त करें, हमें अपने सेटों का आकार , और सभी अन्तर्विभाजक सबसेट का आकार गिनना होगा ।एइ
निरीक्षण करें कि । यह इस तथ्य के कारण है कि हम सिर्फ रंग रहे हैं लेकिन पड़ोसी के लिए समान रंग चुन रहे हैं। हमारे पास आगे बढ़ते हुए,| ए12| = | ए23| = | ए34| = | ए41| = λ3जी
| ए12∩ ए23| = | ए23∩ ए34| = | ए34∩ ए41| = | ए41∩ ए12| = | ए12∩ ए34| = | ए41∩ ए23|= λ2
मैं प्रत्येक 3-सेट को सूचीबद्ध नहीं करने जा रहा हूं, लेकिन उन सभी की गिनती समान है। । और अंत में, । अब हमारी शर्तों को इकट्ठा करने और जोड़ने की सुविधा देता है।| एइ∩ एइ'∩ एइ''| =λ| ए12∩ ए23∩ ए34∩ ए41| =λ
λ4- 4 λ3+ 6 λ2- 4 λ + λ = λ4- 4 λ3+ 6 λ2- 3 λ
अब इस समस्या के लिए शामिल किए जाने-अपवर्जन के साथ गिनती करना इतना बुरा नहीं था क्योंकि हमारे पास एक सरल 4-चक्र था। यदि ग्राफ़ में अधिक संरचना थी, तो यह जल्दी से सभी संभावित चौराहों के लिए प्रत्येक चौराहे के आकार का पता लगाने के लिए कष्टप्रद हो जाएगा।