बूलियन 2-सैटिसिफ़िबिलिटी समस्या यह पूछती है कि क्या बूलियन चर पर युग्मित बाधाओं के दिए गए संग्रह का कोई समाधान है। 2SAT, जैसा कि आमतौर पर जाना जाता है, बहुपद समय में हल करने योग्य है।

के बारे में अधिक 2-satisfiability...

एससीसी से जुड़े 2-सैट का बहुपद समय एल्गोरिथ्म हमें बताता है कि कोई समाधान मौजूद है या नहीं और समस्या का समाधान तैयार करने में भी हमारी मदद करता है। लेकिन एक से अधिक समाधान हो सकते हैं। मैं जानना चाहता था कि क्या मौजूदा समाधान का कुशलतापूर्वक उपयोग करके अन्य समाधान उत्पन्न करना संभव है?....
13 नवम्बर 2020, 11:43
मान लें कि मेरे पास एन इनपुट और 1 आउटपुट वाला ब्लैक बॉक्स सर्किट है। मैं एम इनपुट के मूल्य को ठीक करना चाहता हूं और बाकी इनपुट (एन-एम) का मूल्य खोजना चाहता हूं जिसके लिए सर्किट संतोषजनक है। यदि मैं मैन्युअल रूप से वेरिलॉग आरटीएल में एम इनपुट को ठीक करता हूं, और इसे सीएनएफ (एबीसी का उपयोग करके) में ....
21 सितंबर 2018, 21:38
जब भी मैं 2-शनि के लिए एल्गोरिदम खोजता हूं, तो मुझे समस्या के निर्णय रूप के लिए एल्गोरिदम वापस मिल जाता है: क्या मूल्यों का कोई कानूनी सेट मौजूद है जो सभी खंडों को पूरा करता है। हालांकि, यह मुझे संतोषजनक बूलियन मूल्यों का एक सेट आसानी से खोजने की अनुमति नहीं देता है। मैं मूल्यों का एक कानूनी सेट कु....
22 फरवरी 2010, 19:50
मैं थोड़ी देर के लिए देख रहा हूं, लेकिन मुझे 2-शनि एल्गोरिदम का कोई कार्यान्वयन नहीं मिल रहा है। मैं बूस्ट लाइब्रेरी के साथ c++ में काम कर रहा हूं (जिसमें एक दृढ़ता से जुड़े घटक मॉड्यूल) और एक कुशल 2-सैट प्रोग्राम बनाने के लिए कुछ मार्गदर्शन की आवश्यकता है या मेरे लिए c++ के माध्यम से उपयोग करने के ....
14 नवम्बर 2009, 11:10
मैंने 2-संतुष्टि की समस्या के लिए एक SAT सॉल्वर लिखा है, कृपया कोई मुझे 10000 शाब्दिकों के साथ एक परीक्षण केस प्रदान करें जिसमें केवल एक संतोषजनक असाइनमेंट है यानी केवल एक समाधान The format can be:(for 3 literals) 2 // No of clauses and then each clause 2 3 1 -2 corresponding to (b+c).(a+....
4 नवम्बर 2009, 12:16
मैं 100000 शाब्दिक के लिए 2-सैट समस्या को लागू करना चाहता हूँ। तो 200000 शिखर होंगे। इसलिए मैं O(200000^2) की अंतरिक्ष जटिलता, प्रत्येक शीर्ष से सभी पहुंच योग्य शिखरों की एक सरणी रखने पर अटका हुआ हूं, जो कि संभव नहीं है, इसलिए कृपया इसके लिए एक समाधान सुझाएं। और कृपया 2-सैट समस्या के कुशल कार्यान....
3 नवम्बर 2009, 06:59
मुझे एक समस्या है जो 2-SAT समस्या का विस्तार है। मानक 2-सैट समस्या में, हम कोई भी सत्य असाइनमेंट पा सकते हैं जो हमारे द्वारा चुने गए शीर्षों के क्रम पर निर्भर करता है। मैं यह जांचना चाहता हूं कि क्या एक और केवल एक सत्य असाइनमेंट मौजूद है (यानी केवल एक संयोजन) जिसके लिए अभिव्यक्ति संतोषजनक है। शाब....
3 नवम्बर 2009, 06:07