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

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

मान लें कि मेरे पास एन इनपुट और 1 आउटपुट वाला ब्लैक बॉक्स सर्किट है। मैं एम इनपुट के मूल्य को ठीक करना चाहता हूं और बाकी इनपुट (एन-एम) का मूल्य खोजना चाहता हूं जिसके लिए सर्किट संतोषजनक है। यदि मैं मैन्युअल रूप से वेरिलॉग आरटीएल में एम इनपुट को ठीक करता हूं, और इसे सीएनएफ (एबीसी का उपयोग करके) में ....
21 सितंबर 2018, 21:38