क्या अत्यधिक सममित एनपी- या पी-पूर्ण भाषाएं हैं?


14

वहाँ मौजूद है , एक NP- या पी-पूरा भाषा है जो समरूपता समूहों में से कुछ परिवार है (या groupoid सेट पर है, लेकिन फिर एल्गोरिथम सवाल अधिक खुला हो जाते हैं) (बहुपद समय में) अभिनय जैसे कि कुछ , जैसे कि बड़ा पर्याप्त के लिए और कुछ , और इस तरह कि दिया उत्पन्न किया जा सकता कुशलतापूर्वक?जी एन एल एन = { एल एल | | | = एन } | एल एन / जी एन | < एन सी एन सी जी एन एनLGnLn={lL|l|=n}|Ln/Gn|<ncncGnn

यहाँ बिंदु यह है कि यदि कोई इस तरह की भाषा / समूह पाता है, और यदि कोई व्यक्ति में बहुपद समय समूह क्रियाओं के तहत सामान्य रूप पा सकता है , तो कोई को एक घटाकर घटा सकता है। किसी भी लिए सामान्य रूप की गणना करके विरल भाषा , उस या अर्थ है। L P T T I M E N P = N P L = PFPLPTIMENP=NPL=P, इस पर निर्भर करता है कि आपने शुरू में क्रमशः एक एनपी- या पी-पूर्ण भाषा को चुना था। तो ऐसा लगता है कि या तो विरल कक्षाओं वाले ऐसे समूह नहीं हैं या ऐसे सभी समूहों के लिए सामान्य रूपों की गणना करना कठिन है या इनमें से कोई एक परिणाम होगा जो मुझे लगता है कि हममें से अधिकांश को विश्वास नहीं है। यह भी प्रतीत होता है कि यदि कोई सामान्य रूपों के बजाय कक्षाओं के समतुल्य संबंध की गणना कर सकता है, तो भी कोई व्यक्ति इसे गैर-समान रूप से, । कुछ अन्य लोगों की आशा इस पर विचार है।P/poly


4
आपको " -complete भाषा" से क्या मतलब है ? {NP,P}
एमिल जेकाबेक 3.0

मेरा मतलब या पूरी भाषा है। एन पीPNP
शमूएल श्लेसिंगर

1
आप ऐसा क्यों सोचते हैं कि एक बहुपत्नी कमी का अस्तित्व P से L तक घट जाएगा?
एमिल जेकाबेक 3.0

मैं लॉग कटौती के तहत सोचा होगा, लेकिन सामान्य रूप से गणना को देखते हुए लगभग निश्चित रूप से पी में होगा यह वास्तव में केवल एनपी के लिए प्रासंगिक है। उस उल्लेख के लिए धन्यवाद।
शमूएल स्लेसिंगर

जवाबों:


12

एनपी के लिए, यह निर्माण करना कठिन लगता है। विशेष रूप से, यदि आप अपने समूह से समान (लगभग) समान तत्वों का नमूना भी ले सकते हैं - जो कि समूहों के निर्माण के कई प्राकृतिक तरीकों के लिए सच है - तो अगर एक NP-complete भाषा में कुछ कक्षाओं के साथ पॉली-टाइम समूह कार्रवाई होती है, तो PH का पतन होता है। नमूनाकरण के बारे में इस अतिरिक्त धारणा के लिए, ग्राफ लिए मानक प्रोटोकॉल भी परीक्षण के लिए काम करता है कि क्या दो तार एक ही -orbit में हैं। फिर हमारे पास , इसलिए PH । इसलिए, PH के ढहने से बचने के लिए, NP के लिए इस तरह के किसी भी निर्माण के लिए समूहों को एक कुशल लगभग-समान नमूनाकारक की आवश्यकता नहीं होगी।जी एन एन पीसी एम / पी एल y = एन पी / पी एल वाई जेड पी पी एन पीcoAMGnNPcoAM/poly=coNP/polyZPPNP


अच्छा! यह वही है जो मैंने सोचा था कि कक्षा प्रतिनिधि समस्या पर आपका एक और जवाब पढ़ने के बाद होगा।
शमूएल श्लेसिंगर

5

मेरा अंतर्ज्ञान यह है कि इस प्रकार की एक एनपी-पूर्ण भाषा बहुपद पदानुक्रम के पतन का कारण बनेगी जैसे कि कार्प-लिप्टन प्रमेय में।

अधिक विशेष रूप से, यदि आप बहुपद पदानुक्रम के दूसरे स्तर तक जाते हैं, तो आप किसी दिए गए समूह तत्व और एक समतुल्य वर्ग के कुछ प्रतिनिधि के बीच समानता का अनुमान लगाने के लिए पदानुक्रम की शक्ति का उपयोग कर सकते हैं, और फिर आप Karp पर वापस आ सकते हैं। -लिप्टन मामला जहां यह तथ्य है कि आपके पास बहुपत्नी हैं कई असमान इनपुट आपको पी / पाली में डालते हैं।

(परिणाम जोशुआ ग्रोचो के उत्तर के समान होना चाहिए, लेकिन नमूने के जोड़े की धारणा के बिना)।


यह समूह के आकार पर निर्भर करता है, हालांकि, सही? मैंने यह भी नहीं कहा कि समूह परिमित था, बस यह कुशलता से भाषा पर कार्य करता है और कुशलता से उत्पन्न किया जा सकता है। यह कहा जा रहा है, मैं इस धारणा के तहत हूं कि अगर समूह को कुशलता से नमूना किया जा सकता है (जैसा कि यहोशू के जवाब में है) तो यह आपको बीपीपी में सैट को हल करने की अनुमति देगा, जो आपको सुझाव देता है। यह सकारात्मक नहीं है, लेकिन एक दृष्टिकोण है जिसका मैं पीछा कर रहा हूं, जो सैट की स्व-पुनर्निर्धारणता का उपयोग करता है और रेडी के इस पेड़ को बेतरतीब ढंग से चुभता है। जहाँ तक मैं यह बता सकता हूँ कक्षाओं की आवश्यकता होती है, हालांकि इसका आकार समान है।
सैमुअल

1
यदि आप एक समूह तत्व को लिखने के लिए बहुपद समय से अधिक समय लेते हैं तो आप बहुपद समय में कैसे कार्य कर सकते हैं?
डेविड एप्पस्टीन

बहुत से अनंत समूहों में परिमित प्रस्तुतियाँ हैं, नहीं? ये जरूरी नहीं हैं कि वे उन समूहों को क्रमोन्नत करें जिनके पास हमारी भाषा के समरूपता समूह के लिए एक समरूपता है।
शमूएल स्लेसिंगर

यह कहा जा रहा है, मुझे लगता है कि कुशल सामंजस्य आपको केवल बड़े समूहों तक ही सीमित करने के लिए सीमित करना चाहिए
सैमुअल स्लेसिंगर

1
ओह, जब तक कि आप का मतलब नहीं था कि भाषा एक स्तर भी ऊपर जाती है, जिस स्थिति में मैं सहमत हूं: कुछ कक्षाओं के साथ कोई भी भाषा PH के ढहने के बिना , लिए पूर्ण नहीं हो सकती । Σ2P
जोशुआ ग्रोको
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.