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