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

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

एससीसी से जुड़े 2-सैट का बहुपद समय एल्गोरिथ्म हमें बताता है कि कोई समाधान मौजूद है या नहीं और समस्या का समाधान तैयार करने में भी हमारी मदद करता है। लेकिन एक से अधिक समाधान हो सकते हैं। मैं जानना चाहता था कि क्या मौजूदा समाधान का कुशलतापूर्वक उपयोग करके अन्य समाधान उत्पन्न करना संभव है?....
13 नवम्बर 2020, 11:43
मान लें कि मेरे पास एन इनपुट और 1 आउटपुट वाला ब्लैक बॉक्स सर्किट है। मैं एम इनपुट के मूल्य को ठीक करना चाहता हूं और बाकी इनपुट (एन-एम) का मूल्य खोजना चाहता हूं जिसके लिए सर्किट संतोषजनक है। यदि मैं मैन्युअल रूप से वेरिलॉग आरटीएल में एम इनपुट को ठीक करता हूं, और इसे सीएनएफ (एबीसी का उपयोग करके) में ....
21 सितंबर 2018, 21:38