यह उत्तर आपके प्रश्न के "बड़े चित्र" के संदर्भ में दिखेगा। कंप्यूटर विज्ञान वास्तव में एक अपेक्षाकृत युवा और कुछ हद तक खुला विज्ञान है और इसमें अभी तक कुछ बुनियादी और बुनियादी सवालों के शानदार या अच्छे उत्तर नहीं हैं। मूल प्रश्न "क्या कुशलतापूर्वक गणना की जाती है" या तो सही ढंग से या मोटे तौर पर औपचारिक रूप से सीएस (राय पर निर्भर करता है) में प्रसिद्ध पी बनाम एनपी समस्या (या निकटता से संबंधित पी बनाम एक्सपटाइम समस्या) के रूप में है, और इसके चार दशकों से अधिक समय बाद भी खुला है शुरुआत में कुक / लेविन ~ 1970 और दुनिया के सबसे बड़े कंप्यूटर वैज्ञानिकों द्वारा गहन कार्य (और कई गणितज्ञ भी मौलिक के रूप में समस्या में रुचि रखते हैं) द्वारा शुरू किए जा रहे हैं।
तो दूसरे शब्दों में, यहां तक कि पी समय के रूप में "कुशल" की एक मोटी परिभाषा के साथ , और उच्चतम मूल्यवान वैज्ञानिक पुरस्कारों में से एक - अर्थात् 10yrs से अधिक के लिए समस्या से जुड़ा $ 1M पुरस्कार - कंप्यूटर विज्ञान भी साबित नहीं कर सकता है कि कुछ समस्याएं (करीब इस बॉर्डरलाइन) में कुशल (PIME) एल्गोरिदम होना चाहिए या नहीं होना चाहिए। इसलिए पी समय की तुलना में "कुशल" की सटीक परिभाषा आवश्यक नहीं है या इस समय भी संभव नहीं है । यदि / जब पी बनाम एनपी अनुमान एक या दूसरे तरीके से तय किया जाता है, तो "कुशल" की अधिक सख्त परिभाषा संभव है या संभवतः संभव होगी।
इसके अलावा, किसी को लग सकता है कि "कुशल" की PIME परिभाषा थोड़ी "टेढ़ी" भी हो सकती है, और अधिकांश कंप्यूटर वैज्ञानिक शायद सहमत होंगे, और उनमें से लगभग सभी को लगता है कि P बनाम NP अनुमान विशेष रूप से हल करने के लिए अत्यंत महत्वपूर्ण है, जिस बिंदु पर वे इस दावे या अवलोकन को तुच्छ समझ सकते हैं .... दूसरे शब्दों में, तो यह बोलने के लिए, इसका कार्य प्रगति पर है / हम इस पर काम कर रहे हैं । (वास्तव में मुख्यधारा के कंप्यूटर वैज्ञानिक भी अब तक, केवल आधे-मजाक में, शर्मनाक के रूप में प्रगति और निश्चित अलगाव की कमी और कमी का उल्लेख करते हैं ।)
वास्तव में , पी बनाम एनपी, अर्थात् एनपी बनाम पी / पॉली की तुलना में एक निकट से संबंधित / काफी मजबूत अनुमान भी है, जिसे इस समय कंप्यूटर विज्ञान द्वारा भी हल नहीं किया जा सकता है। यह अनुमान लगाता है कि एनपी-समय की समस्याओं को किसी भी "पी-आकार" सर्किट द्वारा हल नहीं किया जा सकता है , अर्थात उन सर्किटों तक भी सीमित नहीं है जो एल्गोरिदम / ट्यूरिंग मशीनों द्वारा बनाए जा सकते हैं।
पी बनाम एनपी कितना कठिन हो सकता है - यह सोचने के लिए कुछ ठोस कारण है कि यह कम से कम उतना ही कठिन हो सकता है जितना कि गणित में बहुत पुराना रीमैन अनुमान (अब 1.5 सदी पुराना), क्योंकि दोनों को एक ही $ 1M से अधिक पुरस्कार मिला है एक दशक, और न ही अभी तक / पहले हल किया गया है।
तो दूसरे शब्दों में, यह परिभाषित करने के लिए कि एल्गोरिदम वास्तव में "कुशल" हैं, वास्तव में सैद्धांतिक विज्ञान और गणित में सबसे महत्वपूर्ण और सबसे कठिन मौजूदा खुली समस्याओं में से एक है ।
वास्तव में "क्या कुशलतापूर्वक गणना की जाती है" का प्रश्न वास्तव में और भी अधिक सूक्ष्म है, क्योंकि चर्च-ट्यूरिंग थीसिस का एक प्रकार है जिसे पी-टाइम सीटी थीसिस कहा जाता है, और यह ज्ञात नहीं है कि क्वांटम कंप्यूटिंग वास्तव में इसका उल्लंघन करता है। पी-टाइम क्यूएम के शोर के सफल परिणाम के साथ, फैक्टरिंग ने इस शोध में एक नाटकीय मोड़ माना। दूसरे शब्दों में, कुशलतापूर्वक गणना की जाने वाली समस्या वास्तव में गहरी भौतिकी सिद्धांतों के लिए सभी तरह से उतरती है, और इस बात से संबंधित है कि क्या क्वांटम कंप्यूटिंग शास्त्रीय गणना की तुलना में अधिक कुशलता से गणना कर सकती है, जो सैद्धांतिक सीएस और उन्नत भौतिकी में भी आम तौर पर खुली समस्या है।
तो एक भी जोड़ सकते हैं कि पी बनाम एनपी और कुशल कंप्यूटिंग का सवाल सीएस और गणित - भौतिकी के अतिरिक्त महत्वपूर्ण या मौलिक महत्व का हो सकता है ।
[१] पी बनाम एनपी समस्या, विकिपीडिया
[२] मिलेनियम पुरस्कार की समस्याएं
[३] पी / पॉली क्लास, विकिपीडिया
[४] शोर का एल्गोरिथ्म