एक निश्चित निर्देशित ग्राफ ( डिग्राफ ) को देखते हुए , कॉलिंग निर्णय समस्या पूछती है कि क्या इनपुट डिग्राफ में लिए एक समरूपता है । (का एक समरूपता को मैपिंग है के के कि बरकरार रखता है आर्क्स, कि है, अगर का एक चाप है , फिर का एक चाप है ।)
कोलोरिंग समस्याओं का वर्ग फेडर और वर्डी ( साइटसीर पर सुलभ ) द्वारा बताए गए सीएसपी के लिए डाइकोटॉमी अनुमान से जुड़ा हुआ है ।
में 2001 कागज (लेखक का पृष्ठ पर सुलभ यहाँ ), फेडर एक विरोधाभास प्रमेय साबित होता है जब एक उन्मुख चक्र (कर रहा है उन्मुख चक्र मैं एक अनिर्दिष्ट चक्र जहां प्रत्येक किनारे एक भी चाप से बदल दिया जाता है, कि मनमाने ढंग से उन्मुख किया जा सकता मतलब) दूसरे शब्दों में, वह दर्शाता है कि किसी भी उन्मुख चक्र , कोलोरिंग या तो बहुपद-समय विलेय या एनपी-पूर्ण है।
दुर्भाग्य से, फ़ेडर का वर्गीकरण बहुत ही सामान्य है और स्पष्ट नहीं है, क्योंकि कई मामलों की जटिलता सेटी के कुछ प्रतिबंधित वेरिएंट की जटिलता से संबंधित है जो कि अभिविन्यास पर निर्भर करते हैं। कागज को देखकर, मैं अपने प्रश्न का उत्तर निर्धारित नहीं कर पाया:
प्रश्न: एक उन्मुख चक्र का सबसे छोटा आकार ऐसा है जो -COLORING NP-complete है?
इसका उत्तर शायद साहित्य में कहीं बताया जा सकता है, लेकिन मुझे यह नहीं मिला।
संपादित करें:मुझे फेडर के वर्गीकरण पर अधिक जानकारी दें। फेडर से पता चलता है कि किसी भी एनपी-पूर्ण उन्मुख चक्र को संतुलित होना चाहिए, अर्थात दोनों दिशाओं में समान संख्या में आर्क्स हैं (इसलिए इसका भी क्रम है)। फिर, अभिविन्यास से प्रेरित "स्तरों" पर विचार करें (एक मनमाना शीर्ष पर चक्र के चारों ओर जाना शुरू करें; यदि एक चाप सही जाता है, तो आप 1 से ऊपर जाते हैं, यदि एक चाप बाएं जाता है, तो आप 1 से नीचे जाते हैं)। फिर, अगर कोई एक "टॉप-बॉटम रन" है, तो यह बहुपद है। यदि कम से कम 3 ऐसे "रन" हैं और चक्र एक कोर है, तो यह एनपी-पूर्ण है। (टिप्पणियों में एंड्रस के उदाहरण में, ऐसे तीन "रन" हैं, लेकिन चक्र कोई कोर नहीं है।) सबसे मुश्किल मामले वे हैं जिनमें दो "टॉप-बॉटम रन" हैं। कुछ कठिन हैं, कुछ बहुपद हैं, और फेडर एक द्विबीजपत्री प्राप्त करने के लिए विशेष SAT समस्याओं से संबंधित हैं।
एक मध्यवर्ती प्रश्न के रूप में: सबसे छोटा उन्मुख चक्र क्या है जिसमें तीन "टॉप-बॉटम" रन हैं और एक कोर है? उपरोक्त चर्चा से ऐसा उदाहरण एनपी-पूर्ण होगा।