एक ग्राफ है -choosable (भी रूप में जाना जाता -List-संभाव्य है, हर कार्य के लिए) कि के सेट करने के लिए कोने नक्शे रंग, वहाँ एक रंग असाइनमेंट है ऐसी है कि, के लिए सभी कोने , , और ऐसा है कि सभी किनारों के लिए , ।कश्मीर च कश्मीर सी वी सी ( v ) ∈ च ( v ) वी डब्ल्यू सी ( v ) ≠ सी ( डब्ल्यू )
अब मान लें कि एक ग्राफ नहीं कर रहा है -choosable। है, वहाँ एक समारोह में मौजूद है के कोने से रंग कि एक वैध रंग काम नहीं है की -tuples । मैं जानना चाहता हूं कि कुल कितने रंगों की जरूरत है? कितना छोटा हो सकता है? क्या कोई संख्या ( स्वतंत्र ) ऐसी है जिसे हम एक अनचाहे को खोजने के लिए गारंटी दे सकते हैं जो केवल अलग-अलग रंगों का उपयोग करता है ?कश्मीर च कश्मीर ग ∪ वी ∈ जी च ( v ) एन ( कश्मीर ) जी च एन ( कश्मीर )
CS की प्रासंगिकता यह है कि, यदि मौजूद है, तो हम लगातार- लिए -ososability का परीक्षण अकेले-घातीय समय में कर सकते हैं (बस सभी \ binom {N (k)} {k} ^ f के n विकल्प चुनते हैं , और) प्रत्येक के लिए जाँच करें कि यह समय k ^ nn ^ {O (1)} ) में रंगीन हो सकता है, जबकि अन्यथा कुछ और तेजी से n ^ {kn} की तरह बढ़ रहा है।के के