क्या हर ट्यूरिंग-पहचानने योग्य अयोग्य भाषा में एनपी-पूर्ण उपसमूह है?
इस प्रश्न को इस तथ्य के एक मजबूत संस्करण के रूप में देखा जा सकता है कि प्रत्येक अनंत ट्यूरिंग-पहचानने योग्य भाषा में एक अनंत पर्णपाती उपसमुच्चय है।
क्या हर ट्यूरिंग-पहचानने योग्य अयोग्य भाषा में एनपी-पूर्ण उपसमूह है?
इस प्रश्न को इस तथ्य के एक मजबूत संस्करण के रूप में देखा जा सकता है कि प्रत्येक अनंत ट्यूरिंग-पहचानने योग्य भाषा में एक अनंत पर्णपाती उपसमुच्चय है।
जवाबों:
नहीं।
ट्यूरिंग-पहचानने योग्य अनिर्दिष्ट भाषाएं एकात्मक (परिभाषित) हो सकती हैं जब तक , इसलिए केवल कठिन तार केवल 0 के) से बना है। महाने की प्रमेय कहती है कि जब तक पी = एनपी नहीं होती, कोई भी अनुपयोगी भाषा एनपी-पूर्ण नहीं हो सकती।