क्या अप्रत्यक्ष रेखांकन का एक क्रम है , जहां प्रत्येक C n में बिल्कुल n कोने और समस्या है
दिया गया और एक ग्राफ G , C n G का एक प्रेरित उपसमूह है ?
कक्षा में जाना जाता है ? (उदाहरण के लिए, जब C n = K n , यह NP- पूर्ण क्लिक समस्या है।)
क्या अप्रत्यक्ष रेखांकन का एक क्रम है , जहां प्रत्येक C n में बिल्कुल n कोने और समस्या है
दिया गया और एक ग्राफ G , C n G का एक प्रेरित उपसमूह है ?
कक्षा में जाना जाता है ? (उदाहरण के लिए, जब C n = K n , यह NP- पूर्ण क्लिक समस्या है।)
जवाबों:
अगर मैं गलत नहीं हूँ तो आपके सवाल का जवाब चेन-थर्ले-वीयर -2008 मॉडुलो ने जटिल जटिलता मान्यताओं द्वारा दिया।
मैंने अभी तक कागज को ध्यान से नहीं पढ़ा, लेकिन जहाँ तक मैं समझता हूँ, इस अर्थ में एक द्वंद्वात्मकता है कि यदि परिमित है तो समस्या P में है , लेकिन यदि C में रेखांकन की अनंत संख्या है तो प्रेरित उपसमूह समरूपता है डब्ल्यू [ 1 ] पूरा (उपप्रमेय 4, पेज 6)।
इस प्रकार ऐसा लगता है कि जब तक प्रथम स्तर के डब्ल्यू पदानुक्रम यह संक्षिप्त हो एफ पी टी , वहाँ रेखांकन जिसका प्रेरित subgraph समाकृतिकता में है की ऐसी कोई एक अनंत वर्ग है पी ।
वहाँ करते हुए कहा कि यदि एक और दिलचस्प परिणाम है जिसके लिए प्रेरित समाकृतिकता में न तो श्रेणियां हैं पी है और न ही एन पी पूरा।