एक बार पढ़ने वाले निर्णय के पेड़ को इस प्रकार परिभाषित किया गया है:
- और एफ ए एल एस ई पढ़े-एक बार निर्णय लेने वाले पेड़ हैं।
- अगर और बी कर रहे हैं पढ़ने के लिए एक बार निर्णय वृक्ष और एक्स में होने वाली नहीं एक चर रहा है एक और बी , तो ( एक्स ∧ एक ) ∨ ( ˉ एक्स ∧ बी ) भी एक पढ़ने के एक बार निर्णय का पेड़ है।
रीड-वन डिसीजन ट्री के लिए समतुल्यता समस्या की जटिलता क्या है?
- इनपुट: दो पढ़े-लिखे निर्णय पेड़ और बी ।
- आउटपुट: Is ?
प्रेरणा:
यह समस्या तब सामने आई जब मैं लीनियर लॉजिक के एक टुकड़े के सबूत तुल्यता समस्या (नियमों का क्रमांकन) देख रहा था।