पीएल से उत्पन्न होने वाली (अनसुलझी) जटिलता समस्याओं की सूची

Question

प्रोग्रामिंग भाषाओं, विशेष रूप से कार्यक्रम विश्लेषण और संकलन से उत्पन्न होने वाली कुछ प्रमुख, खुली कम्प्यूटेशनल जटिलता समस्याएं क्या हैं? मैं "हिंडले-मिलनर प्रकार के अनुमान की समय जटिलता" या "0CFA की समय जटिलता" (हालांकि दोनों हल की गई समस्याएं हैं) की तर्ज पर समस्याओं की तलाश कर रहा हूं।

Comments

वोट बंद क्यों? यदि यह प्रश्न "बहुत व्यापक" है, तो इस साइट पर अन्य प्रश्नों के टन को बंद कर दिया जाना चाहिए।

— डेमियानो माज़ा

एक मुझे दिलचस्पी है (लेकिन मुझे यकीन नहीं है कि अगर यह अनसुलझा है) एक जटिलता के उपाय के रूप में एक जमीनी शब्द से लंबोदा शब्दों की बीटा दूरी (गैर-बंद) का उपयोग कर रहा है।

— शमूएल श्लेसिंगर

Answer 1

1996 से पीपेन्जर (1) से पता चलता है कि (कुछ मान्यताओं के तहत) सख्त (सीबीवी) कार्यात्मक प्रोग्रामिंग भाषाएं अपरिहार्य रूप से धीमी होती हैं। यह खुला है कि क्या पिपंजर के परिणाम को आलसी कार्यात्मक भाषाओं के लिए सामान्यीकृत किया जा सकता है , जैसा कि (2) में बताया गया था।

पिप्पेंगर दो सरलीकृत मान्यताओं (ऑन-लाइन संगणना, और इनपुट की एक निश्चित परमाणु) को लागू करता है। यह खुला है कि क्या उन्हें हटाया जा सकता है। पिप्पेंजर अनुमान लगाता है कि यह किया जा सकता है, लेकिन चेतावनी देता है: "[s] एक परिणाम के रूप में [...] कम्प्यूटेशनल जटिलता सिद्धांत में वर्तमान में उपलब्ध तरीकों की पहुंच से परे लगता है" ।

कैंपबेल के जवाब में (3), और बेन-अम्राम के नोट्स (4) भी देखें।

---

^{1. एन। पिप्पेंगर, शुद्ध वर्सस इम्प्रेस लिस्प ।}

^{2. आर। बर्ड, जी। जोन्स, ओ। डी। मूर, अधिक जल्दबाजी, कम गति: आलसी बनाम उत्सुक मूल्यांकन ।}

^{3. ढेर अतिप्रवाह, विशुद्ध रूप से कार्यात्मक प्रोग्रामिंग की क्षमता ।}

^{4. एएम बेन-अमराम, पिप्पेंगर की तुलना शुद्ध और अशुद्ध LISP पर नोट्स ।}