मैं एसएटी भिन्नता में दिलचस्पी रखता हूं जहां सीएनएफ फॉर्मूला मोनोटोन है (कोई चर नकारात्मक नहीं हैं)। ऐसा सूत्र स्पष्ट रूप से संतोषजनक है।
लेकिन कहते हैं कि सच्चे चर की संख्या इस बात का माप है कि हमारा समाधान कितना अच्छा है। तो हम निम्नलिखित समस्या है:
मिनिमम ट्रायल मोनोटोन 3SAT
इंस्टेंस: वेरिएबल्स का सेट यू, 3 लीटर के डिजाक्टिव क्लॉज का कलेक्शन C, जहां एक शाब्दिक एक वैरिएबल है (नकारा नहीं गया)।
समाधान: यू के लिए एक सच असाइनमेंट जो सी को संतुष्ट करता है।
MEASURE: चर की संख्या जो सत्य है।
क्या कोई मुझे इस समस्या पर कुछ उपयोगी टिप्पणी दे सकता है?