मुझे पता है कि बूलियन संतुष्टि एनपी-पूर्ण है, लेकिन बूलियन अभिव्यक्ति का न्यूनतमकरण/सरलीकरण है, जिसके द्वारा मेरा मतलब है प्रतीकात्मक रूप में एक दी गई अभिव्यक्ति लेना और प्रतीकात्मक रूप, एनपी-पूर्ण में समकक्ष लेकिन सरलीकृत अभिव्यक्ति का उत्पादन करना? मुझे यकीन नहीं है कि संतुष्टि से कम करने के लिए कमी है, लेकिन मुझे लगता है कि शायद वहां है। क्या किसी को वाकई पता है?बूलियन अभिव्यक्तियों का न्यूनतमकरण एनपी-पूर्ण है?
5
A
उत्तर
7
अच्छा, इसे इस तरह देखें: कम से कम एल्गोरिदम का उपयोग करके, आप शाब्दिक false
पर किसी भी गैर-संतोषजनक अभिव्यक्ति को कॉम्पैक्ट कर सकते हैं, है ना? यह प्रभावी ढंग से एसएटी हल करता है। तो कम से कम एक पूर्ण न्यूनतम एल्गोरिदम एनपी-पूर्ण एनपी हार्ड होना चाहिए।
संबंधित मुद्दे
- 1. बूलियन अभिव्यक्तियों के लिए डेटा मॉडल
- 2. शॉपिंग कार्ट न्यूनतमकरण एल्गोरिदम
- 3. संकल्प के बिना एनएफए न्यूनतमकरण
- 4. बूलियन अभिव्यक्तियों को दोबारा करने के लिए टूल
- 5. नियमित अभिव्यक्तियों में "*" का प्रभाव क्या है?
- 6. दो लिंक अभिव्यक्तियों का संयोजन
- 7. आर - अभिव्यक्तियों का पता लगाना
- 8. दो नियमित अभिव्यक्तियों का छेड़छाड़
- 9. प्रोलॉग, अभिव्यक्तियों का उपयोग करके
- 10. बाइंड एच: बूलियन/बूलियन
- 11. बूलियन
- 12. बूलियन
- 13. है या बूलियन मूल्यों
- 14. जावा: बूलियन इंस्टेंस ओफ बूलियन?
- 15. जावा में बूलियन और बूलियन के बीच क्या अंतर है?
- 16. जावा में बूलियन अभिव्यक्ति मूल्यांकन
- 17. संदर्भ-मुक्त व्याकरण नियमित अभिव्यक्तियों का वर्णन करता है?
- 18. जावास्क्रिप्ट नियमित अभिव्यक्तियों का पता कैसे लगाता है?
- 19. लुआ स्ट्रिंग.मैच अनियमित नियमित अभिव्यक्तियों का उपयोग करता है?
- 20. ग्रोवी के जीपीएथ अभिव्यक्तियों का पूर्ण वाक्यविन्यास क्या है?
- 21. एसएसआरएस अभिव्यक्तियों में 'पसंद' का उपयोग करना
- 22. नियमित अभिव्यक्तियों का उपयोग करके स्ट्रिंग अस्वीकरण
- 23. नियमित अभिव्यक्तियों का ऐरे बनाना जावास्क्रिप्ट
- 24. दो नियमित अभिव्यक्तियों का संयोजन सी ++ 0x
- 25. निरंतर अभिव्यक्तियों में numeric_limits :: max() का उपयोग
- 26. MathML अभिव्यक्तियों का मूल्यांकन कैसे करें?
- 27. अगर (बूलियन == गलत) बनाम अगर (बूलियन!)
- 28. एक बूलियन
- 29. बूलियन पायथन
- 30. बूलियन विकल्प
थोड़ा और साफ ढंग से लिखा यह वह कमी हो सकती है जिसे वह ढूंढ रहा था। –
आप और मूल पोस्टर का शायद एनपी-हार्ड मतलब है। जहां तक मैं समस्या का पता लगा सकता हूं एनपी में नहीं जाना जाता है। – starblue
स्टारब्लू: नहीं, हमारा मतलब एनपी पूरा है। एसएटी वास्तव में शास्त्रीय एनपी पूर्ण समस्या है, यानी यह पहली समस्या थी जो एनपी पूर्ण साबित हुई थी, और अन्य सभी सीधे या अप्रत्यक्ष रूप से कम हो गए हैं। वैसे, यह विकिपीडिया लेख में समझाया गया है। –