मैं कैसे साबित कर सकता हूं कि CNF से DNF में रूपांतरण एनपी-हार्ड है?
मैं इसका जवाब नहीं मांग रहा हूं, बस कुछ सुझाव हैं कि इसे कैसे साबित किया जाए।
5
एक गहन विश्लेषण के लिए इस पेपर पर
—
वोर
@ A.Schulz: स्टीव कुक के पेपर में मूल परिभाषा कुक कमी का उपयोग करके इसे परिभाषित करती है। ऐसा लगता है कि सामान्य एनपी-कठोरता en.wikipedia.org/wiki/NP-hard
—
Kaveh
CNF <-> DNF रूपांतरण एक निर्णय नहीं है, इसके लिए एक भाषा होना चाहिए। इनपुट और आउटपुट के साथ इसका अधिक कार्य और इसे निर्णय की समस्या में बदलने के लिए यह पूछने के लिए बदलना होगा कि क्या इसकी एनपी आदि में यह लगता है कि गैर निर्णय की समस्या को आकार में तेजी से फैलने के लिए सिद्ध किया गया है [उदाहरण के लिए वोर रेफरी में] इसलिए ए निर्णय की समस्या का एनपी पूर्ण संस्करण [अगर कोई बाहर है] संभवतः एक महत्वपूर्ण सरलीकरण है। Vors ref के रूप में CNF की वास्तविक जटिलता को दर्शाता है <-> DNF रूपांतरण एक सक्रिय शोध समस्या है ... ध्यान दें कि संपीड़न एल्गोरिथ्म दक्षता में कुछ समानता है ...
—
vzn
@vzn सवाल पूछता है कि क्या यह एनपी- भार है, न कि एनपी- अधूरा। इसका मतलब है कि एनपी की सदस्यता की आवश्यकता नहीं है, इसलिए इसे निर्णय लेने की समस्या नहीं है।
—
डेविड रिचेर्बी