halting-problem

65गर्मी

13उत्तर

जब आप व्यक्तिगत रूप से halting problem फ़ील्ड में व्यक्तिगत रूप से आते हैं? यह तब हो सकता है जब एक सहकर्मी/मालिक ने एक समाधान का सुझाव दिया जो गणना की मौलिक सीमाओं का उल्लंघन करेगा, या जब आप स्वयं को

12गर्मी

1उत्तर

सबूत है कि रोकथाम समस्या एनपी-हार्ड है?

(मैं क्षमा चाहता हूं कि यह इस प्रश्न के लिए गलत साइट है, लेकिन यह देखते हुए कि "सीएस-थ्योरी के लिए पर्याप्त नहीं है" सीएस सिद्धांत प्रश्न यहां चारों ओर तैर रहे हैं, मुझे लगता है कि यह एक अच्छा फिट हो

13गर्मी

3उत्तर

गैर-ट्यूरिंग-पूर्ण भाषाओं में हेलिंग

रोकथाम की समस्या पूरी भाषाओं को ट्यूर करने के लिए हल नहीं की जा सकती है और इसे कुछ गैर-टीसी भाषाओं जैसे कि यह हमेशा रोकता है, के लिए इसे हल किया जा सकता है। मैं सोच रहा था कि ऐसी कोई भाषाएं हैं जिनमें

7गर्मी

2उत्तर

सहयोगीता, कम्यूटेटिविटी इत्यादि के लिए स्वचालित रूप से और दृढ़ता से एक फ़ंक्शन का परीक्षण

क्या उच्च आदेश फ़ंक्शन isAssociative बनाना संभव है जो दो तर्कों का एक और कार्य करता है और यह निर्धारित करता है कि वह कार्य सहयोगी है या नहीं? इसी प्रकार के प्रश्न लेकिन इस तरह के commutativity के रूप

12गर्मी

8उत्तर

क्या सभी नियमित अभिव्यक्ति रोकें?

क्या कोई नियमित अभिव्यक्ति है जो कुछ इनपुट स्ट्रिंग के लिए हमेशा के लिए एक खोज की खोज करेगी?