मुझे लगता है कि यह समस्या एनपी-हार्ड है। मैं मिनसैट से कटौती को कम करने की कोशिश करता हूं। मिनसैट समस्या में हमें CNF दिया जाता है और हमारा लक्ष्य संतुष्ट क्लॉज़ की संख्या को कम करना है। यह समस्या एनपी-हार्ड है, उदाहरण के लिए देखें, http://epubs.siam.org/doi/abs/10.1137/S0895480191220836?journalCode=sjdmec
शीर्षकों को दो समूहों में विभाजित करें - कुछ शाब्दिक का प्रतिनिधित्व करेंगे, अन्य खंड, इसलिए जहां v CNF के चर की संख्या है (सामान्य रूप से n द्वारा निरूपित ) और c खंड की संख्या है। प्रत्येक शाब्दिक-शीर्ष से एक धार को खंड-शीर्ष तक निर्देशित करें जहां यह होता है। S को शाब्दिक-शीर्ष के लिए परिभाषित करें जो x i को { i , i + v + k } (जहाँ k एक मनमाना पैरामीटर है) के रूप में प्रस्तुत करता है, इसलिए या तो f ( x i )n=2v+cvncSxi{i,i+v+k}k और f ( ˉ x i ) = i + v + k या f ( i x i ) = i और f ( x i ) = i + v + k । प्रत्येक क्लॉज-वर्टिक्स के लिए, S = { v + 1 , … , v + k , 2 v + k + 1 , …f(xi)=if(x¯i)=i+v+kf(x¯i)=if(xi)=i+v+k , इसलिएक्लॉज-वर्टिक्स के k `` छोटे '' हैं।S={v+1,…,v+k,2v+k+1,…,n}k
अब CNF के पास एक असाइनमेंट है जहां कम से कम क्लॉज़ झूठे हैं यदि और केवल तभी आपकी समस्या को उपरोक्त उदाहरण के लिए हल किया जा सकता है। MinSAT समस्या वास्तव में परीक्षण करने के लिए है कि क्या एक CNF सूत्र φ एक काम है कि बनाता है कम से कम कश्मीर खंड झूठी है, तो यह पता चलता है कि आपकी समस्या एनपी कठिन है।kφk
इस कमी को समझने में आपकी मदद करने के लिए, यहाँ अंतर्ज्ञान है: छोटे लेबल ( ) सत्य मूल्य के अनुरूप हैं, और बड़े लेबल ( v + k + 1 , … , 2 v + k ) के अनुरूप हैं सच। शाब्दिक-रेखाचित्रों के लिए अवरोध यह सुनिश्चित करते हैं कि प्रत्येक x i या तो सही है या गलत और liter x i1,2,…,v+kv+k+1,…,2v+kxixi¯¯¯¯¯विपरीत सत्य मूल्य है। किनारों से यह सुनिश्चित होता है कि यदि कोई शाब्दिक सत्य है, तो सभी क्लॉज-वर्टिस जिसमें यह सच है को भी असाइन किया गया है। (इसके विपरीत, यदि किसी क्लॉज में सभी शाब्दिक गलतियाँ दी गई हैं, तो यह ग्राफ संरचना क्लॉज-वर्टेक्स को या तो फॉल्स या ट्रू को असाइन करने की अनुमति देती है।) अंत में, की पसंद यह सुनिश्चित करती है कि क्लॉज-केर्सेस के k में फाल्स और हैं। c - उनमें से k को असाइन किया गया है True। तो, अगर इस ग्राफ़ का एक मान्य संस्थानिक तरह है, तो वहाँ चर कि कम से कम बनाता है एक काम है कश्मीर की खंड के φkkc−kkφअसत्य (सभी क्लॉज-वर्टिस को जो फाल्स को सौंपा गया था, और संभवतः उनमें से कुछ जिन्हें ट्रू असाइन किया गया था)। इसके विपरीत, यदि वहाँ चर कि कम से कम बनाता है एक काम है की खंड के φ झूठी, तो इस ग्राफ का एक मान्य संस्थानिक तरह (हम स्पष्ट तरीके से शाब्दिक-कोने के लिए लेबल में भरने के है, और के लिए प्रत्येक खंड φ जो सत्य है, हम इसके संबंधित खंड-शीर्ष को एक लेबल देते हैं जो कि True से मेल खाता है, अन्य खंड-कोने एक मनमाना सत्य मान के अनुरूप लेबल प्राप्त कर सकते हैं)।kφφ