शून्य दबाने वाले बाइनरी निर्णय आरेख में शामिल होने की गणना करने के लिए एल्गोरिदम

Question

दो शून्य दबाने वाले बाइनरी निर्णय आरेखों में शामिल होने की गणना करने के लिए एल्गोरिदम क्या है?

मैंने इसे घंटों के लिए खोजा है, मुझे बस यह नहीं मिल रहा है। यह नथ की पुस्तक में नहीं है, जहां तक ​​मुझे मिल सकता है, हालांकि यह परिणाम की परिभाषा देता है।

मैं किसी भी विशिष्ट कार्यान्वयन के माध्यम से नहीं बढ़ना पसंद करूंगा; मुझे कार्यान्वयन विवरण बहुत विचलित लगता है।

---

ZDDs f के शामिल होने और g{ a ∪ b | a ∈ f and b ∈ g }

Answer 1

कंप्यूटर प्रोग्रामिंग, खंड 4 ए इस सटीक प्रश्न अनुभाग 7.1.4 में व्यायाम 205 के रूप में उत्पन्न कर रहा है की कला के अपने प्रतिलिपि में है। यह पिछले दो प्रश्नों से संबंधित है, लेकिन सभी तीनों के जवाब पुस्तक के पीछे हैं। आप संसाधन के रूप में इसे देखना चाह सकते हैं।

मैं कुछ साल पहले नथ ने एक बात की थी जहां वह शामिल होने के तरीके सहित जेडीडी और उनके एल्गोरिदम पर चर्चा कर रहे थे। यदि आप रुचि रखते हैं, तो मुझे विश्वास है कि व्याख्यान रिकॉर्ड किया गया था और ऑनलाइन होना चाहिए here।

आशा है कि इससे मदद मिलती है!