2
मैक्सिम-सैट के बहुपत्नी समय के ठोस उदाहरण
समस्या मैक्स-सत आपको एक CNF सूत्र के असाइनमेंट को खोजने के लिए कहती है जो यथासंभव अधिक क्लॉज को संतुष्ट करता है। सरल समस्या SAT के लिए कई ज्ञात विशेष मामले हैं जिन्हें बहुपद समय में हल किया जा सकता है, जैसे हम बहुपद में 2-SAT हल कर सकते हैं। …