Let वैरिएबल और क्लाज के साथ CNF फॉर्मूला हो । चलो एक चर असाइनमेंट और प्रतिनिधित्व के लिए एक चर काम से संतुष्ट खंड की संख्या की गिनती । फिर मेडियन-सैट को के माध्य मान की गणना करने में समस्या के रूप में सभी परिभाषित करें । उदाहरण के लिए, अगर एक तना हुआ है तो मेडियन-सैट का समाधान होगा क्योंकि असाइनमेंट की परवाह किए बिना हर क्लॉज संतुष्ट हो जाएगा। हालाँकि, के मामले मेंn मीटर टी ∈ { 0 , 1 } n च φ ( टी ) ∈ { 0 , ... , मीटर } φ च φ ( टी ) टी ∈ { 0 , 1 } n φ मीटर ¯ एस ए टीमेडियन-सैट का समाधान और बीच कहीं भी हो सकता है ।मीटर - 1
यह सवाल तब खड़ा हुआ जब मैं SAT, MAX-SAT और #SAT के दो प्राकृतिक एक्सटेंशनों के बारे में बता रहा था और अगर उन्हें एक साथ रखा जाता तो परिणाम की समस्या क्या होती। MAX-SAT के लिए हमें एक विशेष वेरिएबल असाइनमेंट को खोजना होगा, जो वेरिएबल्स की संख्या को अधिकतम करने के लिए संतुष्ट हो । #SAT के लिए हम गिनती करने के लिए कितने कार्य सभी को संतुष्ट है की धाराएं । यह वैरिएंट मुख्य रूप से #SAT (और वास्तव में #WSAT ) के विस्तार के रूप में हवा देता है , लेकिन MAX-SAT के स्वाद को कुछ हद तक बनाए रखता है, जिसमें हम केवल संतुष्ट होने के बजाय संतुष्ट क्लॉस की संख्या की गणना करते हैं कि वे सभी संतुष्ट हैं या नहीं।एम φ
यह समस्या #SAT या #WSAT से अधिक कठिन लगती है। प्रत्येक चर असाइनमेंट के लिए # एसएटी बुलियन समस्या का निर्णय करता है कि क्या असाइनमेंट संतुष्ट करता है या नहीं, जबकि मेडियन-सैट "यह निर्धारित करता है कि किस हद तक क्लॉज की संख्या के संदर्भ में संतुष्ट है जो एक असाइनमेंट संतुष्ट करता है।"φ
मुझे एहसास है कि यह समस्या कुछ हद तक मनमानी है; प्रत्येक चर असाइनमेंट से संतुष्ट क्लॉज़ की औसत या मोड संख्या की गणना करना समान गुणवत्ता पर कब्जा करने लगता है। शायद कई अन्य समस्याएं भी करती हैं।
क्या इस समस्या का अध्ययन किया गया है, शायद एक अलग आड़ में? #SAT की तुलना में यह कितना कठिन है? यह मेरे लिए स्पष्ट नहीं है कि मेडियन-सैट एफपीएसपीएसी में भी समाहित है, हालांकि यह एफएक्सपीटीईईएम में निहित है।